Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to “speak” of indeterminism, its inability to present us a worldview in which new information is created as time passes. In such a case, scientific determinism would only be an illusion due to the timeless mathematical language scientists use. To investigate this possibility it is necessary (...) to develop an alternative mathematical language that is both powerful enough to allow scientists to compute predictions and compatible with indeterminism and the passage of time. We suggest that intuitionistic mathematics provides such a language and we illustrate it in simple terms. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

From the technical point of view, philosophically neutral, the duality between a paraconsistent and a paracomplete logic (for example intuitionistic logic) lies in the fact that explosion does not hold in the former and excluded middle does not hold in the latter. From the point of view of the motivations for rejecting explosion and excluded middle, this duality can be interpreted either ontologically or epistemically. An ontological interpretation of intuitionistic logic is Brouwer’s idealism; of paraconsistency is dialetheism. The epistemic interpretation (...) of intuitionistic logic is in terms of preservation of constructive proof; of paraconsistency is in terms of preservation of evidence. In this paper, we explain and defend the epistemic approach to paraconsistency. We argue that it is more plausible than dialetheism and allows a peaceful and fruitful coexistence with classical logic. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

According to methodological anti-exceptionalism, logic follows a scientific methodology. There has been some discussion about which methodology logic has. Authors such as Priest, Hjortland and Williamson have argued that logic can be characterized by an abductive methodology. We choose the logical theory that behaves better under a set of epistemic criteria. In this paper, I analyze some important discussions in the philosophy of logic, and I show that they presuppose different methodologies, involving different notions of evidence and different epistemic values. (...) I argue that, rather than having a specific methodology such as abductivism, logic can be characterized by methodological pluralism. This position can also be seen as the application of scientific pluralism to the realm of logic. (shrink)

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language is, or corresponds to, a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record which inferences are correct for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions, or possible truth conditions, for at least part of the language.

We present a new English translation of L.E.J. Brouwer's paper ‘De onbetrouwbaarheid der logische principes’ of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. (...) We note that principled objections to the general excluded middle similar to Brouwer's had been advanced in print by Jules Molk two years before. Finally, we discuss the influence on George Griss' negationless mathematics. (shrink)

From 1929 through 1944, Wittgenstein endeavors to clarify mathematical meaningfulness by showing how (algorithmically decidable) mathematical propositions, which lack contingent "sense," have mathematical sense in contrast to all infinitistic "mathematical" expressions. In the middle period (1929-34), Wittgenstein adopts strong formalism and argues that mathematical calculi are formal inventions in which meaningfulness and "truth" are entirely intrasystemic and epistemological affairs. In his later period (1937-44), Wittgenstein resolves the conflict between his intermediate strong formalism and his criticism of set theory by requiring (...) that a mathematical calculus (vs. a "sign-game") must have an extrasystemic, real world application, thereby returning to the weak formalism of the Tractatus. (shrink)

The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...) in the original derivation of the Paradox. Instead we propose that the central tenet of verificationism is most accurately formulated as follows: if φ is true, then there exists a proof of φ Building on the work of Artemov (Bull Symb Log 7(1): 1-36, 2001), a system of explicit modal logic with proof quantifiers is introduced to reason about such statements. When the original reasoning of the Paradox is developed in this setting, we reach not a contradiction, but rather the conclusion that there must exist non-constructed proofs. This outcome is evaluated relative to the controversy between Dummett and Prawitz about proof existence and bivalence. (shrink)

The purpose of this paper is to apply Crispin Wright’s criteria and various axes of objectivity to mathematics. I test the criteria and the objectivity of mathematics against each other. Along the way, various issues concerning general logic and epistemology are encountered.

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Chomsky's criticism of Bloomfieldian structuralism's conception of linguistic reality applies equally to his own conception of linguistic reality. There are too many sentences in a natural language for them to have either concrete acoustic reality or concrete psychological or neural reality. Sentences have to be types, which, by Peirce's generally accepted definition, means that they are abstract objects. Given that sentences are abstract objects, Chomsky's generativism as well as his psychologism have to be given up. Langendoen and Postal's argument in (...) The Vastness of Natural Languages to show that there are more than denumerably many sentences is flawed. But, with the view that sentences are abstract objects, the flaws can be corrected. Once psychologism and generativism are abandoned, the revolution against Bloomfieldian structuralism can be brought to completion and linguistics can be put on a sound philosophical basis. (shrink)

Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view.

Examples of possible theological influences upon the development of mathematics are indicated. The best known connection can be found in the realm of infinite sets treated by us as known or graspable, which constitutes a divine-like approach. Also the move to treat infinite processes as if they were one finished object that can be identified with its limits is routine in mathematicians, but refers to seemingly super-human power. For centuries this was seen as wrong and even today some philosophers, for (...) example Brian Rotman, talk critically about “theological mathematics”. Theological metaphors, like “God’s view”, are used even by contemporary mathematicians. While rarely appearing in official texts they are rather easily invoked in “the kitchen of mathematics”. There exist theories developing without the assumption of actual infinity the tools of classical mathematics needed for applications (For instance, Mycielski’s approach). Conclusion: mathematics could have developed in another way. Finally, several specific examples of historical situations are mentioned where, according to some authors, direct theological input into mathematics appeared: the possibility of the ritual genesis of arithmetic and geometry, the importance of the Indian religious background for the emergence of zero, the genesis of the theories of Cantor and Brouwer, the role of Name-worshipping for the research of the Moscow school of topology. Neither these examples nor the previous illustrations of theological metaphors provide a certain proof that religion or theology was directly influencing the development of mathematical ideas. They do suggest, however, common points and connections that merit further exploration. (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)

This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.

The purpose of this note is to examine the relationship between the practice of mathematics and the philosophy of mathematics, ontology in particular. One conclusion is that the enterprises are (or should be) closely related, with neither one dominating the other. One cannot 'read off' the correct way to do mathematics from the true ontology, for example, nor can one ‘read off’ the true ontology from mathematics as practiced.

Context: The infinite has long been an area of philosophical and mathematical investigation. There are many puzzles and paradoxes that involve the infinite. Problem: The goal of this paper is to answer the question: Which objects are the infinite numbers (when order is taken into account)? Though not currently considered a problem, I believe that it is of primary importance to identify properly the infinite numbers. Method: The main method that I employ is conceptual analysis. In particular, I argue that (...) the infinite numbers should be as much like the finite numbers as possible. Results: Using finite numbers as our guide to the infinite numbers, it follows that infinite numbers are of the structure w + (w* + w) a + w*. This same structure also arises when a large finite number is under investigation. Implications: A first implication of the paper is that infinite numbers may be large finite numbers that have not been investigated fully. A second implication is that there is no number of finite numbers. Third, a number of paradoxes of the infinite are resolved. One change that should occur as a result of these findings is that “infinitely many” should refer to structures of the form w + (w* + w) a + w*; in contrast, there are “indefinitely many” natural numbers. Constructivist content: The constructivist perspective of the paper is a form of strict finitism. (shrink)

Hilbert's axiomatic approach was an optimistic take over on the side of the logical foundations. It was also a response to various restrictive views of mathematics supposedly bounded by the reaches of epistemic elements in mathematics. A complete axiomatization should be able to exclude epistemic or ontic elements from mathematical theorizing, according to Hilbert. This exclusion is not necessarily a logicism in similar form to Frege's or Dedekind's projects. That is, intuition can still have a role in mathematical reasoning. Nevertheless, (...) this role is to be given a structural orientation with the help of explications of the underlying logic of axiomatization. (shrink)

Hilbert izlencesinin kanıt kuramsal amacı tarihsel gelişimi içinde özetlendikten sonra arka plandaki model-kuramsal motivasyonu belirtilmektedir. Hilbert'in nihai hedefinin matematiğin temellerine ilişkin tüm epistemolojik ve ontolojik varsayımlardan arındırılmış bir matematik kuramı geliştirmek olduğu savunulmaktadır. Yakın geçmişte mantıktaki bazı gelişmelerin Hilbert izlencesinin yalnızca adcı varsayımlar temelinde sürdürülebileceğine ilişkin yeni bir bakış açısı sağladığı öne sürülmektedir.

In the field of logics of formal inconsistency, the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom 0—i.e., the schema ◦ ◦ϕ—by considering its interpretation in contexts in which “consistency” is understood as a type of verifiability. This paper suggests that such an interpretation is implicit in two extracanonical LFIs—Sören Halldén’s nonsense-logic C and Graham Priest’s (...) cointuitionistic logic daC—drawing some interesting conclusions concerning the status of 0. Initially, we discuss Halldén’s skepticism of this axiom and provide a plausible counterexample to its validity. We then discuss the interpretation of the operator in Priest’s daC and show the equivalence of 0 to the intuitionistic principle of testability. These observations suggest that it may be fruitful for members of the LFI community to look outside the canon for evidence concerning the adoption of principles like 0. (shrink)

Öz: Frege özel adların (ve diğer dilsel simgelerin) anlamları ve gönderimleri arasında ünlü ayrımını yaptığı “Anlam ve Gönderim Üzerine” (1948) adlı makalesinde, bu ayrımın önemi, gerekliliği ve sonuçları üzerine uzun değerlendirmeler yapar ancak özel adın anlamından tam olarak ne anlaşılması gerektiğinden yalnızca bir dipnotta kısaca söz eder. Örneğin “Aristoteles” özel adının anlamının Platon’un öğrencisi ve Büyük İskender’in öğretmeni ya da Stagira’da doğan Büyük İskender’in öğretmeni olarak alınabileceğini söyler. Burada dikkat çeken nokta örnekteki özel adın olası anlamları olarak gösterilen belirli betimlemelerin (...) de özel ad içeriyor olması. Anlamın Frege için bileşimsel olduğu, bir başka deyişle bir dilsel simgenin anlamının (varsa) parçalarının anlamlarınca belirlendiği düşünülürse, örnekteki belirli betimlemelerin anlamlarının saptanabilmesi için içerdikleri özel adların da anlamları saptanıp betimleme içinde geçtikleri yere konmalıdır. Bu işlem hiçbir özel ad kalmayana kadar sürdürülmelidir. Ancak biraz düşünülünce bir özel adın nesnesini tekil olarak betimleyecek ve içinde özel ad geçmeyecek bir betimleme bulmanın kolay olmadığı görülür. Örneğin yukarıdaki betimlemelerde geçen “Platon”, “Büyük İskender” ve “Stagira” gibi özel adların anlamları olabilecek ancak özel ad içermeyen betimlemeler bulmak pek kolay görünmüyor. Ortaya bir sonsuz gerileme sorunu çıkmış gibi duruyor. Frege’nin anlam-gönderim ayrımını için ciddi sonuçları olabilecek bu sorunu Frege çözebilir mi? Bu yazıda bu sorunun yanıtını arayacağım. Sorunu betimledikten sonra Frege’nin önündeki seçenekleri (örneğin bağlama duyarlı terimlerden (gösterme adılları veya belirteçler) yararlanma veya bağlamı sınırlama gibi) değerlendireceğim. -/- Abstract: In his “Sense and Reference” (1948), Frege makes his famous distinction between the sense and the reference of a proper name (and other signs) and discusses at length the significance, necessity and consequences of the distinction, but he explains how the sense of a proper name should be understood very briefly in a footnote. According to him, for example, the sense of the proper name “Aristotle” can be taken as the pupil of Plato and teacher of Alexander the Great or the teacher of Alexander the Great who was born in Stagira. What is interesting here is that the definite descriptions given as the possible senses of this proper name do themselves contain proper names too. Since the sense is something compositional for Frege, which means the sense of a linguistic sign is determined by its constituents (if there are any), in order to determine the sense of definite descriptions in question, we should first determine the senses of proper names they contain and substitute these senses with the proper names themselves. This process should continue until no proper name remains. However, it does not seem easy to find a definite description which describes the object of a proper name uniquely but contains no proper name itself. For instance, could we find appropriate senses that contain no proper name for “Plato”, “Alexander the Great” and “Stagira”? It does not seem likely. A problem of infinite regress appears to arise. Can Frege solve this problem, which poses a serious threat for his sensereference distinction? I will explore this problem in this paper. After explaining the problem, I will discuss the options (e.g. turning to indexicals or context restriction) Frege can take to deal with it. (shrink)

L.E.J. Brouwer famously took the subject’s intuition of time to be foundational and from there ventured to build up mathematics. Despite being largely critical of formal methods, Brouwer valued axiomatic systems for their use in both communication and memory. Through the Dutch Mathematical Society, Gerrit Mannoury posed a challenge in 1927 to provide an axiomatization of intuitionistic arithmetic. Arend Heyting’s 1928 axiomatization was chosen as the winner and has since enjoyed the status of being the _de facto_ formalization of intuitionistic (...) arithmetic. We argue that axiomatizations of intuitionistic arithmetic ought to make explicit the role of the subject’s activity in the intuitionistic arithmetical process. While Heyting Arithmetic is useful when we want to contrast constructed objects with platonistic ones, Heyting Arithmetic omits the contribution of the subject and thus falls short as a response to Mannoury’s challenge. We offer our own solution, Doxastic Heyting Arithmetic, or \({\textsf{DHA}}\), which we contend axiomatizes Brouwerian intuitionistic arithmetic. (shrink)

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)

Einsteinian gravity, of which Newtonian gravity is a part, is fraught with the problem of singularity that has been established as a theorem by Hawking and Penrose. The _hypothesis_ that founds the basis of both Einsteinian and Newtonian theories of gravity is that bodies with unequal magnitudes of masses fall with the same acceleration under the gravity of a source object. Since, the Einstein’s equations is one of the assumptions that underlies the proof of the singularity theorem, therefore, the above (...) hypothesis is implicitly one of the founding pillars of the same. In this work, I demonstrate how one can possibly write a non-singular theory of gravity which manifests that the above mentioned hypothesis is only valid in an approximate sense in the “large distance” scenario. To mention a specific instance, under the gravity of the earth, a 5 kg and a 500 kg fall with accelerations which differ by approximately \(113.148\times 10^{-32}\) meter/sec \(^2\) and the more massive object falls with less acceleration. Further, I demonstrate why the concept of gravitational field is not definable in the “small distance” regime which automatically justifies why the Einstein’s and Newton’s theories fail to provide any “small distance” analysis. In course of writing down this theory, I demonstrate why the continuum hypothesis as spelled out by Goedel, is undecidable. The theory has several aspects which provide the following realizations: (i) Descartes’ self-skepticism concerning exact representation of numbers by drawing lines (ii) Born’s wish of taking into account “natural uncertainty in all observations” while describing “a physical situation” by means of “real numbers” (iii) Klein’s vision of having “a fusion of arithmetic and geometry” where “a point is replaced by a small spot” (iv) Goedel’s assertion about “non-standard analysis, in some version” being “the analysis of the future”. (shrink)

We propose a novel, ontological approach to studying mathematical propositions and proofs. By “ontological approach” we refer to the study of the categories of beings or concepts that, in their practice, mathematicians isolate as fruitful for the advancement of their scientific activity (like discovering and proving theorems, formulating conjectures, and providing explanations). We do so by developing what we call a “formal ontology” of proofs using semantic modeling tools (like RDF and OWL) developed by the computer science community. In this (...) article, (i) we describe this new approach and, (ii) to provide an example, we apply it to the problem of the identity of proofs. We also describe open issues and further applications of this approach (for example, the study of purity of methods). We lay some foundations to investigate rigorously and at large scale intellectual moves and attitudes that underpin the advancement of mathematics through cognitive means (carving out investigationally valuable concepts and techniques) and social means (like communication, collaboration, revision, and criticism of specific categories, inferential patterns, and levels of analysis). Our approach complements other types of analysis of proofs such as reconstruction in a deductive system and examination through a proof-assistant. (shrink)

In this paper it is argued that the understanding of Brouwer as replacing truth conditions with assertability or proof conditions, in particular as codified in the so-called Brouwer-Heyting-Kolmogorov Interpretation, is misleading and conflates a weak and a strong notion of truth that have to be kept apart to understand Brouwer properly: truth-as-anticipation and truth- in-content. These notions are explained, exegetical documentation provided, and semi-formal recursive definitions are given.

This paper argues that the shared intersubjective accessibility of mathematical objects has its roots in a stratum of experience prior to language or any other form of concrete social interaction. On the basis of Husserl’s phenomenology, I demonstrate that intersubjectivity is an essential stratum of the objects of mathematical experience, i.e., an integral part of the peculiar sense of a mathematical object is its common accessibility to any consciousness whatsoever. For Husserl, any experience of an objective nature has as its (...) correlate a “we,” which he terms the “community of monads”. Thus, even before mathematical objects gain expression, formalization, and axiomatization through natural and scientific language, from a phenomenological viewpoint their objectivity has its roots in raw pre-linguistic though intersubjective experience. Accordingly, I demonstrate the different senses in which the experience of mathematical objects is permeated by intersubjectivity, suggesting a picture of mathematical intersubjectivity as pre-linguistic common experience based on Husserl’s idea of a “community of monads”. (shrink)

At the beginning of the twentieth century, among the foundational schools of mathematics appeared ‘intuitionism’ by Dutchman L. E. J. Brouwer, who based arithmetic on the intuition of time and all mental constructions that could be made out of it. His pupil Arend Heyting was the first populariser of intuitionism, and he repeatedly emphasised that no philosophy was required to practise intuitionism so that such mathematics could be shared by anyone. Still, stimulated by invitations to humanistic conferences, he wrote a (...) series of notes, preserved in the State Archives, Haarlem, about solipsism. In them, he operated a series of theoretical reflections consisting of the stripping away of the patterns that are part of our consciousness and their subsequent progressive re-introduction, in order to understand the formation of our Self as distinct from the natural world and other humans. In 1996, following a stroke, neuroscientist Jill Bolte Taylor experienced the deprivation of certain abilities in her brain and their successive regaining. In her experience there are remarkable similarities with what Heyting had hypothesised about the formation of the self. The purpose of this article is to highlight them and point out how Heyting's theoretical construct was found to be embodied in the brain. (shrink)

We study a class of formulas generalizing the weak law of the excluded middle and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We use these formulas to separate logics corresponding to factors of the Medvedev lattice.

I argue that Brouwer''s general philosophy cannot accountfor itself, and, a fortiori, cannot lend justification tomathematical principles derived from it. Thus it cannot groundintuitionism, the jobBrouwer had intended it to do. The strategy is to ask whetherthat philosophy actually allows for the kind of knowledge thatsuch an account of itself would amount to.

Early sections of the paper develop a view of the natural numbers and a view of counting which are suggested by the remarks of several modern philosophers. Further investigation of these views leads to one of the main theses of the paper: a special kind of quantifier, the "numerical quantifier" is essential to counting. The remainder of the paper suggests the rudiments of a new view of the natural numbers, a view which maintains that numerical quantifiers are one kind of (...) natural number. (shrink)

Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...) ao conhecimento de outras línguas, como o inglês e o francês. Tentamos, então, suprir essa deficiência, ao introduzirmos traduções de textos importantes ao público de língua portuguesa, sem nenhuma finalidade comercial e meramente pela glória da filosofia. O presente volume é constituído de três traduções de verbetes importantes sobre lógica, da Enciclopédia de Filosofia da Stanford: (1) A Lógica de Aristóteles, (2) Lógica Clássica, (3) Lógica Modal. (shrink)

I survey Brouwer’s weak counterexamples to classical theorems, with a view to discovering what useful mathematical work is done by weak counterexamples; whether they are rigorous mathematical proofs or just plausibility arguments; the role of Brouwer’s notion of the creative subject in them, and whether the creative subject is really necessary for them; what axioms for the creative subject are needed; what relation there is between these arguments and Brouwer’s theory of choice sequences. I refute one of Brouwer’s claims with (...) a weak counterexample of my own. I also examine Brouwer’s 1927 proof of the negative continuity theorem, which appears to be a weak counterexample reliant on both the creative subject and the concept of choice sequence; I argue that it provides a good justification for the weak continuity principle, but it is not a weak counterexample and it does not depend essentially on the creative subject. (shrink)

Neste artigo, tento mostrar como o Platonismo de Frege relaciona-se muito intimamente com a noção de eternidade de Bolzano. Compreendida como o domínio total de variação do tempo, a eternidade de Bolzano nos oferece um interessante instrumento para estipular o que é eterno: um objeto é eterno se é imutável em relação ao fluxo do tempo. Desta forma, a definição do zero proposta por Frege faz uso tácito de tal noção, na medida em que o zero é definido como “o (...) número que pertence a um conceito” cuja extensão é imutável em qualquer mundo possível. Por conta disto, podemos inferir que o platonismo, sob a ótica de Frege, pode assumir que os objetos abstratos não estão necessariamente fora do tempo e do espaço, mas são eternos, no sentido bolzaniano. (shrink)