Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...) necessary prerequisite to first possess a clear picture of what the deviation of mathematical proof from formal proof consists in. The present work aims to contribute building such a picture by investigating the relation between the elementary steps of deduction constituting the two types of proofs—mathematical inference and logical inference. Many claims have been made in the literature regarding the relation between mathematical inference and logical inference, most of them stating that the former is lacking properties that are constitutive of the latter. Such differentiating claims are, however, usually put forward without a clear conception of the properties occurring in them, and are generally considered to be immediately justified by our direct acquaintance, or phenomenological experience, with the two types of inferences. The present study purports to advance our understanding of the relation between mathematical inference and logical inference by developing a detailed philosophical analysis of the differentiating claims, that is, an analysis of the meaning of the differentiating claims—through the properties that occur in them—as well as the reasons that support them. To this end, we provide at the outset a representative list of the different properties of logical inference that have occurred in the differentiating claims, and we notice that they all boil down to the three properties of formality, generality, and mechanicality. For each one of these properties, our analysis proceeds in two steps: we first provide precise conceptual characterizations of the different ways logical inference has been said to be formal, general, and mechanical, in the philosophical and logical literature on formal proof; we then examine why mathematical inference does not appear to be formal, general, and mechanical, for the different variations of these notions identified. Our study results in a precise conceptual apparatus for expressing and discussing the properties differentiating mathematical inference from logical inference, and provides a first inventory of the various reasons supporting the observations of those differences. The differentiating claims constitute thus a set of data that any philosophical account of mathematical inference and proof purporting to be more faithful to mathematical practice ought to be able to accommodate and explain. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\"onig's (...) Lemma, and (iv) the large-scale intellectual backdrop to arithmetical transfinite recursion in descriptive set theory and its effectivization by Borel, Lusin, Addison, and others. (shrink)

Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made completely inferentially rigorous by decomposing its inferential steps into the type of step found in a natural deduction system. It is commonly thought that atomization, paradigmatically in mathematics but also more generally, is pro tanto epistemically valuable. The paper considers some plausible candidates for the epistemic value arising from atomization and finds (...) that none of them fits the bill. In particular, atomized arguments do not ground the correctness of their unatomized counterparts; they are typically not credence-preserving; and they need not reveal the source of inferential disagreement. The moral this suggests is that complete rigour is not even a defeasible epistemic ideal. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Following the development of the selectionist theory of the immune system, there was an attempt to characterize many biological mechanisms as being "selectionist" as juxtaposed to "instructionist." But this broad definition would group Darwinian evolution, the immune system, embryonic development, and Chomsky's language-acquisition mechanism as all being "selectionist." Yet Chomsky's mechanism (and embryonic development) are significantly different from the selectionist mechanisms of biological evolution or the immune system. Surprisingly, there is a very abstract way using two dual mathematical logics to (...) make the distinction between genuinely selectionist mechanisms and what are better called "generative" mechanisms. This note outlines that distinction. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

This document consists primarily of an excerpt (chapter 5) from the author’s book From Brain to Cosmos. That excerpt presents an analysis of personal identity through time, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).

This collection serves as an introduction to the concept of subjective fact, which plays a central role in some of the author's philosophical writings. The collection contains two book chapters and a paper. The first chapter (Chapter 2 of From Brain to Cosmos) begins with an informal characterization of the concept of subjective fact. Then it fleshes out this concept with examples, gives a more precise characterization, and addresses some potential weaknesses of the concept. This chapter shows how subjective fact (...) is related to key ideas in the philosophy of mind, such as intentionality. The second chapter (Chapter 3) is a detailed study of the concept of “instance of seeming” that was introduced in Chapter 2. Chapter 3 ends with some remarks on the modal logic of subjective facts. The paper, also by the book’s author, answers some potential questions about the ideas in the two included chapters. (shrink)

This document consists primarily of an excerpt (chapter 4) from the author’s book From Brain to Cosmos. That excerpt presents a study of a specific problem about knowledge: the logical justification of one’s knowledge of the immediate past. (This document depends heavily upon the concept of subjective fact that the author developed in chapters 2 and 3 of From Brain to Cosmos. Readers unfamiliar with that concept are strongly advised to read those chapters first. See the last page of this (...) document for details on how to obtain those chapters.). (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...) algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper. (shrink)

This article was originally published in the Encyclopedia of Language & Linguistics, Second Edition, published by Elsevier, and the attached copy is provided by Elsevier for the author's benefit and for the benefit of the author's institution, for noncommercial research and educational use including without limitation use in instruction at your institution, sending it to specific colleagues who you know, and providing a copy to your institution’s administrator.

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Gottlob Frege (1848-1925) was a German logician, mathematician and philosopher who played a crucial role in the emergence of modern logic and analytic philosophy. Frege's logical works were revolutionary, and are often taken to represent the fundamental break between contemporary approaches and the older, Aristotelian tradition. He invented modern quantificational logic, and created the first fully axiomatic system for logic, which was complete in its treatment of propositional and first-order logic, and also represented the first treatment of higher-order logic. In (...) the philosophy of mathematics, he was one of the most ardent proponents of logicism, the thesis that mathematical truths are logical truths, and presented influential criticisms of rival views such as psychologism and formalism. His theory of meaning, especially his distinction between the sense and reference of linguistic expressions, was groundbreaking in semantics and the philosophy of language. He had a profound and direct influence on such thinkers as Russell, Carnap and Wittgenstein. Frege is often called the founder of modern logic, and he is sometimes even heralded as the founder of analytic philosophy. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

In this article, extracted from his book Exploring Meinong's Jungle and Beyond, Sylvan argues that, contrary to widespread opinion, mathematics is not an extensional discipline and cannot be extensionalized without considerable damage. He argues that some of the insights of Meinong's theory of objects, and its modern development, item theory, should be applied to mathematics and that mathematical objects and structures should be treated as mind-independent, non-existent objects.

The purpose of this article is to delimit what can and cannot be claimed on behalf of second-order logic. The starting point is some of the discussions surrounding my Foundations without Foundationalism: A Case for Secondorder Logic.

Russell had two theories of definite descriptions: one for singular descriptions, another for plural descriptions. We chart its development, in which ‘On Denoting’ plays a part but not the part one might expect, before explaining why it eventually fails. We go on to consider many-valued functions, since they too bring in plural terms—terms such as ‘4’ or the descriptive ‘the inhabitants of London’ which, like plain plural descriptions, stand for more than one thing. Logicians need to take plural reference seriously (...) if only because mathematicians take many-valued functions seriously. We assess the objection (by Russell, Frege and others) that many-valued functions are illegitimate because the corresponding terms are ambiguous. We also assess the various methods proposed for getting rid of them. Finding the objection ill-founded and the methods ineffective, we introduce a logical framework that admits plural reference, and use it to answer some earlier questions and to raise some more. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Existentialism about propositions is the view that a proposition expressed in a sentence containing a nonempty name or indexical depends ontologically on the referent of the name or indexical: the proposition could not exist if the referent did not. The paper focuses on names. It discusses some arguments for existentialism and then presents a novel one. That argument does not presuppose that propositions have constituents, and it could be accepted by those who hold broadly Fregean views about names. It shows (...) that, for example, if Aristotle had not existed, no sentence could have meant that Aristotle is a philosopher. The paper also touches on the consequences of existentialism. (shrink)

The terms denotation and reference are commonly used as synonyms. A more fine-grained analysis of natural language as offered by TIL shows that we can distinguish these terms in the case of empirical expressions. The latter are shown to denote non-trivial intensions while their reference is the value of these intensions in the actual world.

This article is an attempt to present Gödel's discussion on concepts, from 1944 to the late 1970s, in particular relation to the thought of Frege and Russell. The discussion takes its point of departure from Gödel's claim in notes on Bernay's review of ?Russell's mathematical logic?. It then retraces the historical background of the notion of intension which both Russell and Gödel use, and offers some grounds for claiming that Gödel consistently considered logic as a free-type theory of concepts, called (...) intensions, considered as the denotations of predicate names. (shrink)

In this note we present an axiomatization of the classical two-valued propositional calculus, for which proofs of decidability, consistency, completeness, and independence, are almost trivial (given an understanding of truth tables).

Does the epistemology of disagreement have significant consequences for theories of conceptual understanding? I argue that it does. I argue that the epistemology of disagreement manifests the existence of a special kind of concept, perspectival modes of metarepresentation, a kind of concept instances of which figure in the thinking about thoughts that occurs in deep disagreement. These perspectival modes of metarepresentation are de re modes of presentation of thoughts themselves – hence de re modes of metarepresentation – in which one (...) and the same thought is presented to higher‐order thinking about thoughts in different ways. These modes or ways are de re and perspectival because they are individuated by facts about whether the thought being thought about is the grasped or understood propositional object of one's own or another's thinking. I outline a broadly Fregean framework for theorizing conceptual understanding and draw out three significant consequences of the existence of perspectival modes of metarepresentation for theories of conceptual understanding: they (1) constitute a new philosophical motivation for a restricted fragment of what Terence Parsons calls a “libertine” hierarchy of Fregean sense; (2) provide, against David Chalmers, examples of a priori equivalences that are nevertheless cognitively significant; and (3) constitute a novel and pervasive example of Kripkean ‘Paderewski’‐type designators. (shrink)

I compare Russell’s theory of mathematical functions, the “descriptive functions” from Principia Mathematica ∗30, with Frege’s well known account of functions as “unsaturated” entities. Russell analyses functional terms with propositional functions and the theory of definite descriptions. This is the primary technical role of the theory of descriptions in P M . In Principles of Mathematics and some unpublished writings from before 1905, Russell offered explicit criticisms of Frege’s account of functions. Consequenly, the theory of descriptions in “On Denoting” can (...) be seen as a crucial part of Russell’s larger logicist reduction of mathematics,aswellasanexcursionintothetheoryof reference.
. (shrink)

Pavel Materna proposed valuable explications of concept and conceptual system. After their introduction, we contrast conceptual systems with (a novel notion of) derivation systems. Derivation systems differ from conceptual systems especially in including derivation rules. This enables us to show close connections among the realms of objects, their concepts, and reasoning with concepts.

Ian Hacking's [6] is a spirited romp though a broad field of metaphysics, touching on a variety of important questions, and appealing to deep results in mathematical logic while remaining free of logical pedantry. Philosophical journals might be more fun to read if others could write in his style. It is an essay in applying the theory of logic expounded in more detail in his very interesting [7]. Unfortunately, despite my sympathy for his project, I have a number of criticisms (...) to make of his argument. Some of them are picky logical points, but the major conclusions of [6] are affected. (shrink)

In his doctor's thesis [1], Henkin has shown that if a formal logic is consistent, and sufficiently complex, then it must admit a non-standard model. In particular, he showed that there must be a model in which that portion of the model which is supposed to represent the positive integers of the formal logic is not in fact isomorphic to the positive integers; indeed it is not even well ordered by what is supposed to be the relation of ≦.For the (...) purposes of the present paper, we do not need a precise definition of what is meant by a standard model of a formal logic. The non-standard models which we shall discuss will be flagrantly non-standard, as for instance a model of the sort whose existence is proved by Henkin. It will suffice if we and our readers are in agreement that a model of a formal logic is not a standard model if either: The relation in the model which represents the equality relation in the formal logic is not the equality relation for objects of the model. That portion of the model which is supposed to represent the positive integers of the formal logic is not well ordered by the relation ≦. That portion of the model which is supposed to represent the ordinal numbers of the formal logic is not well ordered by the relation ≦. (shrink)

This article examines two syllogistic arguments contrasted in an ancient Chinese book, the Mozi, which expounds doctrines of the Mohist school of philosophers. While the arguments seem to have the same form, one of them is valid but the other is not. To explain this difference, the article uses English plural constructions to formulate the arguments. Then it shows that the one-horse argument is valid because it has a valid argument form, the plural cousin of a standard form of valid (...) categorical syllogisms, and argues that the two-horse argument involves equivocal uses of a key predicate that has the distributive/nondistributive ambiguity. In doing so, the article discusses linguistic differences between Chinese and English and explains why the logic of plural constructions is applicable to Chinese arguments that involve no plural constructions. (shrink)