Formal Reconstructions Research Articles

Berkeley's Master Argument

AbstractOne of Berkeley's best-known arguments for the view that there are no material objects is the so-called Master Argument. There are several good critical discussions of it. That invites the question: is there anything new to say? Well, it will be argued, there are a few things to say. First, although refutations by logical analogy have been advanced against the Master Argument, the strongest such refutation, one which demonstrates its incoherence, has not been. It is here. Second, there are few formal reconstructions of the Master Argument – the great majority of discussions treat it discursively – but a formal reconstruction, and one not found elsewhere, is offered here. Third, the formal reconstruction makes possible identification of the essential mistake of the argument. That mistake is equivocation. The common complaint that Berkeley illicitly introduces the act of conceiving into the content of the concept conceived is not quite correct; but to the extent that it is correct, it's explicable in terms of an underlying equivocation. Fourth, the article presupposes no acquaintance with Berkeley's work and is written in a conversational, easy-to-read style. Given that Berkeley himself wrote in a similar style, he could at least agree that the fourth point is a merit of the article.

Gazeta tilidagi ba’zi standart vositalarning grammatik-funksional xususiyatlari

This article discusses the grammatical and functional features of some standard tools used in newspaper language. Newspaper standards are sometimes used exactly in the process of covering the material, sometimes with different lexical-grammatical means, with certain changes, and in various forms. This change is sometimes characterized by their expansion at the expense of various components, and in some cases, the loss of one of the components of the compound is observed. As a result of these changes, the enrichment of functional synonymous lines in the vocabulary system increases. In some of them, new semantic and formal reconstructions occur. In this way, vocabulary becomes richer. This, in turn, has an active influence on the development of syntactic synonymy. As a result of changes in language rules and syntactic norms, we observe that several different functional options have been created due to the fact that standard expressions are not repeated exactly the same way and the language possibilities are used effectively and appropriately for other purposes.

The Consequence of the Consequence Argument

Abstract The aim of my paper is to compare three alternative formal reconstructions of van Inwagen's famous argument for incompatibilism. In the first part of my paper, I examine van Inwagen's own reconstruction within a propositional modal logic. I point out that, due to the expressive limitations of his propositional modal logic, van Inwagen is unable to argue directly (that is, within his formal framework) for incompatibilism. In the second part of my paper, I suggest to reconstruct van Inwagen's argument within a first-order predicate logic. I show, however, that even though this reconstruction is not susceptible to the same objection, this reconstruction can be shown to be inconsistent (given van Inwagen's own assumptions). At the end of my paper, I suggest to reconstruct van Inwagen's argument within a quantified counterfactual logic with propositional quantifiers. I show that within this formal framework van Inwagen would not only be able to argue directly for incompatibilism, he would also be able to argue for crucial assumptions of his argument.

Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts

ABSTRACTIn this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify a formal language, input axioms and models formulated in that language, and then ask if the models satisfy the axioms. The second innovation is the introduction of incomplete models (for which the denotation of some terms is missing) into scientific metatheory, in order to represent cases of missing information. I specify the paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third development consists in a new way of explicating the structuralist notion of a determination method, by equating them with algorithms. This allows determination methods to be loaded into Reconstructor and then executed within a model to find out the value of a previously non-denoting term (i.e. it allows the formal reconstruction to make predictions). This, in turn, can help test the reconstruction in a different way. Finally, I conclude with some suggestions about additional uses the program may have.

Conceptual Reconstruction and Epistemic Import: Allosteric Mechanistic Explanations As a Unified Theory-Net

The goal of this article is to show that formal analysis and reconstructions may be useful to discuss and shed light on substantive meta-theoretical issues. We proceed here by exemplification, analysing and reconstructing as a case study a paradigmatic biochemical theory, the Monod-Wyman-Changeux (MWC) theory of allosterism, and applying the reconstruction to the discussion of some issues raised by prominent representatives of the new mechanist philosophy. We conclude that our study shows that at least in this case mechanicism and (some version of) more traditional accounts are not rivals but complementary approaches.

Formal reconstructions of St. Anselm’s ontological argument

In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions—one in modal logic and one in classical logic—and compare them with each other and with existing reconstructions from the reviewed literature. Finally, we try to show why and how one can gain a better understanding of Anselm’s argument by using modern formal logic. In particular, we try to explain why formal reconstructions of the argument, despite its apparent simplicity, tend to become quite involved.

Extending ourselves: computational science, empiricism, and scientific method

Computational methods such as computer simulations, Monte Carlo methods, and agent-based modeling have become the dominant techniques in many areas of science. Extending Ourselves contains the first systematic philosophical account of these new methods, and how they require a different approach to scientific method. Paul Humphreys draws a parallel between the ways in which such computational methods have enhanced our abilities to mathematically model the world, and the more familiar ways in which scientific instruments have expanded our access to the empirical world. This expansion forms the basis for a new kind of empiricism, better suited to the needs of science than the older anthropocentric forms of empiricism. Human abilities are no longer the ultimate standard of epistemological correctness. Humphreys also includes arguments for the primacy of properties rather than objects, the need to consider technological constraints when appraising scientific methods, and a detailed account of how the path from computational template to scientific application is constructed. This last feature allows us to hold a form of selective realism in which anti-realist arguments based on formal reconstructions of theories can be avoided. One important consequence of the rise of computational methods is that the traditional organization of the sciences is being replaced by an organization founded on computational templates. Extending Ourselves will be of interest to philosophers of science, epistemologists, and to anyone interested in the role played by computers in modern science.

Verisimilitude, structuralism and scientific progress

An epistemic notion of verisimilitude (as the ‘degree in which a theory seems closer to the full truth to a scientific community’) is defined in several ways. Application to the structuralist description of theories is carried out by introducing a notion of ‘empirical regularity’ in structuralist terms. It is argued that these definitions of verisimilitude can be used to give formal reconstructions of scientific methodologies such as falsificationism, conventionalism and normal science.

On the formal connection of the Einstein-Podolsky-Rosen argument to quantum mechanics and reality

It is argued that formal reconstructions of the EPR-argument do not only show semantical incompleteness, but also incorrectness of quantum mechanics together with the projection postulate. The latter has to be rejected because it contradicts Schrodinger's equation. A logical analogon to the problem is given.

A Note on Ockham's Theory of the Modes of Common Personal Supposition

The last half of this century has seen an amazingly energetic and resourceful effort to understand Ockham's supposition theory. The result is that we are much more sophisticated in our approach to the subject today than anybody could have been before. Yet, despite the fact that we now have, not only critical editions and translations of Ockham's logic texts, but also elaborately formal reconstructions of the theory of supposition itself,1 there is no clear consensus about what Ockham was up to in presenting his theory of the Modes of Common Personal Supposition (hereafter, following Alfred Freddoso,2 MCPS). Beginning with the account Philotheus Boehner offers in his Medieval Logic,3 the clearest and most intriguing suggestion has been that Ockham's theory of MCPS is a theory of quantification. According to that theory both the subject term and the predicate term of each of the standard categorical propositions, A, E, I and O, are quantified, either explicitly, as is the case with the subject term of this A proposition,

Gunnell on “Deductivism,” the “Logic” of Science and Scientific Explanation: A Riposte

It is impossible to tender a reply to Professor Gunnell's essay, “Deduction, Explanation and Social Scientific Inquiry,” that would be both brief and adequate. It would be impossible to be brief because Gunnell conjures up a tagraggery of issues, none of which he seems prepared and/or disposed to resolve. But no matter how extensive a reply might be, it would still be impossible to conceive it as adequate for I am not sure that I, or anyone else, can determine precisely what he means to say in the essay before us. It is impossible for me to determine with any specificity whatsoever, for example, what it means to say:Logical empiricism as an approach to the philosophy of science has been concerned with developing formal representations or reconstructions of the logical structure of scientific explanation and with a meta-logical analysis of the language applied to science. In this view there is a very strict correlation between the philosophy of science and formal logic.I haven't the foggiest notion what a “metalogical analysis of the language applied to science” might mean. I had always understood “metalogic” to refer to discourse employing logic as its object language—just as metamathematics would be a language employed in the analysis of mathematics as an object language.