Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

The relation between Wittgenstein's philosophy of mathematics and mathematical Intuitionism has raised a considerable debate. My attempt is to analyse if there is a commitment in Wittgenstein to themes characteristic of the intuitionist movement in Mathematics and if that commitment is one important strain that runs through his Remarks on the foundations of mathematics. The intuitionistic themes to analyse in his philosophy of mathematics are: firstly, his attacks on the unrestricted use of the Law of Excluded Middle; secondly, his distrust (...) of non-constructive proofs; and thirdly, his impatience with the idea that mathematics stands in need of a foundation. These elements are Fogelin's starting point for the systematic reconstruction of Wittgenstein's conception of mathematics. (shrink)

When it comes to Wittgenstein's philosophy of mathematics, even sympathetic admirers are cowed into submission by the many criticisms of influential authors in that field. They say something to the effect that Wittgenstein does not know enough about or have enough respect for mathematics, to take him as a serious philosopher of mathematics. They claim to catch Wittgenstein pooh-poohing the modern set-theoretic extensional conception of a real number. This article, however, will show that Wittgenstein's criticism is well grounded. A real (...) number, as an 'extension', is a homeless fiction; 'homeless' in that it neither is supported by anything nor supports anything. The picture of a real number as an 'extension' is not supported by actual practice in calculus; calculus has nothing to do with 'extensions'. The extensional, set-theoretic conception of a real number does not give a foundation for real analysis, either. The so-called complete theory of real numbers, which is essentially an extensional approach, does not define (in any sense of the word) the set of real numbers so as to justify their completeness, despite the common belief to the contrary. The only correct foundation of real analysis consists in its being 'existential axiomatics'. And in real analysis, as existential axiomatics, a point on the real line need not be an 'extension'. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

The paper reviews the grounds for relativist interpretations of Wittgenstein's later thought, especially in On Certainty . It distinguishes between factual and virtual forms of epistemic relativism and argues that, on closer inspection, Wittgenstein's notes don't support any form of relativism – let it be factual or virtual. In passing, it considers also so-called "naturalist" readings of On Certainty , which may lend support to a relativist interpretation of Wittgenstein's ideas, finds them wanting, and recommends to interpret his positive proposal (...) in On Certainty as a form of "internal rationalism.". (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)

I support Rips et al.'s critique of psychology through (1) a complementary argument about the normative, modal, constitutive nature of mathematical principles. I add two reservations about their analysis of mathematical induction, arguing (2) for constructivism against their logicism as to its interpretation and formation in childhood (Smith 2002), and (3) for Piaget's account of reasons in rule learning.

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)

A number of prominent philosophers advance the following ideas: (1) Meaning is use. (2) Meaning is an intrinsically normative notion. Call (1) the use thesis, hereafter UT, and (2) the normativity thesis, hereafter NT. They come together in the view that for a linguistic expression to have meaning is for there to be certain proprieties governing its employment.1 These ideas are often associated with a third.

A dialetheia is a sentence, A, such that both it and its negation, A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and (...) false. (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)

The long‐standing issue of Wittgenstein's controversial remarks on Gödel's Theorem has recently heated up in a number of different and interesting directions [, , ]. In their , Juliet Floyd and Hilary Putnam purport to argue that Wittgenstein's‘notorious’ “Contains a philosophical claim of great interest,” namely, “if one assumed. that →P is provable in Russell's system one should… give up the “translation” of P by the English sentence ‘P is not provable’,” because if ωP is provable in PM, PM is (...) ω ‐inconsistent, and if PM is ω‐inconsistent, we cannot translate ‘P’as ’P is not provable in PM’because the predicate‘NaturalNo.’in ‘P’“cannot be…interpreted” as “x is a natural number.” Though Floyd and Putnam do not clearly distinguish the two tasks, they also argue for “The Floyd‐Putnam Thesis,” namely, that in the 1930's Wittgenstein had a particular understanding of Gödel's First Incompleteness Theorem. In this paper, I endeavour to show, first, that the most natural and most defensible interpretation of Wittgenstein's and the rest of is incompatible with the Floyd‐Putnam attribution and, second, that evidence from Wittgenstein's Nachla strongly indicates that the Floyd‐ Putnam attribution and the Floyd‐Putnam Thesis are false. By way of this examination, we shall see that despite a failure to properly understand Gödel's proof—perhaps because, as Kreisel says, Wittgenstein did not read Gödel's 1931 paper prior to 1942‐Wittgenstein's 1937–38, 1941 and 1944 remarks indicate that Gödel's result makes no sense from Wittgenstein's own perspective. (shrink)

What do we learn about language from reading Wittgenstein'sPhilosophical Investigations? This question gains urgency from Wittgenstein's alleged animus against philosophical theorizing and his indirectness. Section 1 argues that Wittgenstein's goal is to prevent philosophical questioning about the foundations of language from the beginning. This conception of his aim is not in tension with Wittgenstein's use of the notion of community; community interpretations of his views betray a misguided commitment to the coherence of the idea that language might need grounding. Wittgenstein's (...) goal is not to enjoin us not to step outside of language-games, but to show that we have insufficiently clear grasp of the terms we try to use to express the limits of intelligibility. Section 2 suggests that appreciating Wittgenstein's moral concerning the relation between language and philosophizing about it involves allowing him to teach us how to read his book. What makes readingPhilosophical Investigations possible is openness to learning how not to forget our lives in language. (shrink)

This paper discusses the coverage of ordinary language philosophy in Scott Soames' Philosophical Analysis in the Twentieth Century. After praising the book's virtues, I raise three points where I dissent from Soames' take on the history. First, I suggest that there is more to ordinary language philosophy than the rather implausible version of it that Soames sees to have been destroyed by Grice. Second, I argue that confusions between analyticity, necessity and priority are less important to the ordinary language period (...) than Soames takes them to be. Finally, I claim that Soames' criticisms of Ryle turn in part on attributing reductionist positions to Ryle that Ryle did not hold. (shrink)

The paper aims at analyzing the production of creditworthiness within the context of commercial banking in international banks. Taking the interim financing in the Polish automobile sector as an example, the paper reconstructs the process between legal framing of the financial instrument, marketing, and risk management. Firstly, it shows that changes in the state vehicle registry function as a prerequisite upon which the bank uses the newly introduced vehicle registration document as a security. Secondly, it analyzes the change of perspectives (...) which takes place between the marketing of the product and the analysis of documents . Thirdly, it argues that creditworthiness cannot be deduced from the economic representation of the enterprise but is the very result of negotiations between the actors involved. (shrink)

This is a short, and therefore necessarily very incomplete discussion of one of the great questions of modern philosophy. I return to a station at which an interpretative train of thought of mine came to a halt in a paper written almost 20 years ago, about Wittgenstein and Chomsky,[1] hoping to advance a little bit further down the track. The rule-following passages in the Investigations and Remarks on the Foundations of Mathematics in fact raise a number of distinct issues about (...) rules, meaning, objectivity, and reasons, whose conflation is encouraged by the standard caption, "the Rule-following Considerations".[2] So, let me begin by explaining my focus here. (shrink)

Defining the real numbers by abstraction as ratios of quantities gives prominence to then- applications in just the way that Frege thought we should. But if all the reals are to be obtained in this way, it is necessary to presuppose a rich domain of quantities of a land we cannot reasonably assume to be exemplified by any physical or other empirically measurable quantities. In consequence, an explanation of the applications of the reals, defined in this way, must proceed indirectly. (...) This paper explains the main complications involved and answers the main objections advanced in Batitsky's paper in this issue. (shrink)

Kalhat has forcefully criticised Wittgenstein's linguistic or conventionalist account of logical necessity, drawing partly on Waismann and Quine. I defend conventionalism against the charge that it cannot do justice to the truth of necessary propositions, renders them unacceptably arbitrary or reduces them to metalingustic statements. At the same time, I try to reconcile Wittgenstein's claim that necessary propositions are constitutive of meaning with the logical positivists’ claim that they are true by virtue of meaning. Explaining necessary propositions by reference to (...) linguistic conventions does not reduce modal to non‐modal notions, but it avoids metaphysical accounts, which are incapable of explaining how we can have a priori knowledge of necessity. (shrink)

The author deals with the operational core oflogic, i.e. its diverse procedures ofinference, in order to show that logicallyfalse inferences may in fact be right because –in contrast to logical rationality – theyactually enlarge our knowledge of the world.This does not only mean that logically trueinferences say nothing about the world, butalso that all our inferences are inventedhypotheses the adequacy of which cannot beproved within logic but only pragmatically. Inconclusion the author demonstrates, through therelationship between rule-following andrationality, that it is (...) most irrational to wantto exclude the irrational: it may, at times, bemost rational to think and infer irrationally.Focussing on the operational aspects of knowingas inferring does away with the hiatus betweenlogic and life, cognition and the world(reality) – or whatever other dualism one wantsto invoke –: knowing means inferring, inferringmeans rule-governed interpreting, interpretingis a constructive, synthetic act, and aconstruction that proves adequate (viable) inthe ``world of experience'', in life, in thepraxis of living, is, to the constructivistmind, knowledge. It is the practice of livingwhich provides the orienting standards forconstructivist thinking and its judgments ofviability. The question of truth is replaced bythe question of viability, and viabilitydepends on the (right) kind of experiential fit. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

In this paper I argue that the most prominent and familiar features of Wittgenstein’s rule following considerations generate a powerful argument for the thesis that most of our concepts are innate, an argument that echoes a Chomskyan poverty of the stimulus argument. This argument has a significance over and above what it tells us about Wittgenstein’s implicit commitments. For, it puts considerable pressure on widely held contemporary views of concept learning, such as the view that we learn concepts by constructing (...) prototypes. This should lead us to abandon our general default hostility to concept nativism and be much more sceptical of claims made on behalf of learning theories. (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models. (shrink)

Reasons motivate our intentions and thus our actions, justify our beliefs, ground our hopes and connect our feelings of shame and pride to our thoughts. Given that intentions, beliefs and emotions are intentional states, intentionality is strongly connected with normativity. Yet what is more precisely their relationship? Some philosophers, notably Brandom and McDowell, contend at places that intentionality is intrinsically normative. In this paper, we discuss Brandom and McDowell’s thesis and the arguments they provide for its defence. In contrast to (...) what they hold, we argue that neither reference intentionality nor content intentionality are intrinsically normative, although at least content intentionality has normative implications. More precisely, we argue that neither species of intentionality are normative from a semantical viewpoint, because being in an intentional state is not being in a state that is semantically correct or incorrect. Nevertheless, being in a state endowed with content may be a reason for believing or acting. Thus, we argue that content intentionality has normative implications. More precisely, we argue that any content is such that, if it is the content of a state that is sensitive to reasons - as judging paradigmatically is – then it entitles the subject of that state to have further states or to act in certain ways. (shrink)

This article questions social constructionists' claims to introduce Wittgenstein's philosophy to psychology. The philosophical fiction of a neonate Crusoe is introduced to cast doubt on the interpretations and use of the private language argument to support a new psychology developed by the constructionists. It is argued that a neonate Crusoe's viability in philosophy and apparent absence in psychology offends against the integrity of the philosophical contribution Wittgenstein might make to psychology. The consequences of accepting Crusoe's viability are explored as they (...) appear in both philosophy and psychology. (shrink)

EXPANDED EDITION (eBook): -/- Infinity Is Not What It Seems...Infinity is commonly assumed to be a logical concept, reliable for conducting mathematics, describing the Universe, and understanding the divine. Most of us are educated to take for granted that there exist infinite sets of numbers, that lines contain an infinite number of points, that space is infinite in expanse, that time has an infinite succession of events, that possibilities are infinite in quantity, and over half of the world’s population believes (...) in a divine Creator infinite in knowledge, power, and benevolence. -/- According to this treatise, such assumptions are mistaken. In reality, to be is to be finite. The implications of this assessment are profound: the Universe and even God must necessarily be finite. -/- The author makes a compelling case against infinity, refuting its most prominent advocates. Any defense of the infinite will find it challenging to answer the arguments laid out in this book. But regardless of the reader’s position, FOREVER FINITE offers plenty of thought-provoking material for anyone interested in the subject of infinity from the perspectives of philosophy, mathematics, science, and theology. -/- This electronic edition of FOREVER FINITE is offered free online for all and is expanded with content that does not appear in the published edition due to print production page limitations. From the Introduction to the Conclusion, Chapters 1–27 are identical to the published print edition, including the page numbering for the chapters. This electronic edition adds an appendix and associated content—specifically, updates to the book’s back matter (68 new endnotes, 17 new bibliographic references, 3 new figure credits, 14 new glossary terms) and front matter (an updated table of contents and this preface note). (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

This chapter argues that several aspects of Bernard Williams’s style, methodology, and metaphilosophy can be read as evolving dialectically out of Wittgenstein’s own. After considering Wittgenstein as a stylistic influence on Williams, especially as regards ideals of clarity, precision, and depth, Williams’s methodological debt to Wittgenstein is examined, in particular his anthropological interest in thick concepts and their point. The chapter then turns to Williams’s explicit association, in the 1990s, with a certain form of Wittgensteinianism, which he called ‘Left Wittgensteinianism’. (...) It is shown how this is not a sudden conversion, but the direct product of Williams’s longstanding critical engagement with Wittgenstein’s methodology and metaphilosophy: Williams arrives at this position by envisaging a Wittgensteinianism that thinks in concrete sociohistorical terms, embraces genuine explanation, and relinquishes its insistence on the purity of philosophy. When properly understood, moreover, this critique turns out to be continuous with Williams’s advocacy of a conception of philosophy as a humanistic discipline. Finally, it is shown that Williams inherits from Wittgenstein a certain understanding of how philosophy can help us to live, in particular the therapeutic ambition to liberate us from distortions in our self-understanding by assembling reminders. (shrink)

This work investigates intuitions' nature, demonstrating how philosophers can best use them in epistemology. First, the author considers several paradigmatic thought experiments in epistemology that depict the appeal to intuition. He then argues that the nature of thought experiment-generated intuitions is not best explained by an a priori Platonism. Second, the book instead develops and argues for a thin conception of epistemic intuitions. The account maintains that intuition is neither a priori nor a posteriori but multi-dimensional. It is an intentional (...) but non-propositional mental state that is also non-conceptual and non-phenomenal in nature. Moreover, this state is individuated by its progenitor, namely, the relevant thought experiment. Third, the author provides an argument for the evidential status of intuitions based on the correct account of the nature of epistemic intuition. The suggestion is the fitting-ness approach: intuition alone has no epistemic status. Rather, intuition has evidentiary value as long as it fits well with other pieces into a whole, namely, the pertinent thought experiment. Finally, the book addresses the key challenges raised by supporters of anti-centrality, according to which philosophers do not regard intuition as central evidence in philosophy. To that end, the author responds to them, showing that they fail to affect the account of intuition developed in this book. This text appeals to students and researchers working in epistemology. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

Wright’s judgement-dependent account of intention is an attempt to show that truths about a subject’s intentions can be viewed as constituted by the subject’s own best judgements about those intentions. The judgements are considered to be best if they are formed under certain cognitively optimal conditions, which mainly include the subject’s conceptual competence, attentiveness to the questions about what the intentions are, and lack of any material self-deception. Offering a substantive, non-trivial specification of the no-self-deception condition is one of the (...) main problems for Wright. His solution is to view it as a positive presumption, which is violated only if there is strong evidence to the effect that the subject is self-deceived. In this paper, I will argue that the concern about self-deception in Wright’s account is misplaced and generally unmotivated. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

This paper discusses the meta-ethical implications of Wittgenstein’s later moral philosophy. According to Lovibond and Brandhorst, Wittgenstein provided a novel conception of moral facts, properties and objects by adopting deflationism. Lovibond argues that Wittgenstein’s seamless conception of language together with his non-foundational epistemology and non-transcendent understanding of rationality involves a change of perspective towards a plausible and non-mystificatory moral realism. Meanwhile, Brandhorst argues that Wittgenstein’s provides a deflationist conception of moral truths from which we obtain a deflationist conception of moral (...) facts. This paper argues, on the contrary, that the attribution of deflationism does not do justice to Wittgenstein’s later work. It is concluded, therefore, that the appeal to deflationism does not afford or substantiate the exegetical claims made by Lovibond and Brandhorst. (shrink)

ABSTRACT Contemporary relativists often see their view as contributing to a semantic/post-semantic account of linguistic data about disagreement and retraction. I offer an independently motivated metasemantic account of the same data, that also handles a number of cases and empirical results that are problematic for the relativist. The key idea is that the content of assertions and beliefs is determined in part by facts about other times, including times after the assertion is made or the belief is formed. On this (...) temporal externalist view, speaker behaviours such as retraction of previous assertions play a role in making it the case that a past utterance has a given meaning. (shrink)

Since the publication of the Remarks on the Foundations of Mathematics, Wittgenstein’s interpreters have endeavored to reconcile his general constructivist/anti-realist attitude towards mathematics with his confessed anti-revisionary philosophy. In this article, the author revisits the issue and presents a solution. The basic idea consists in exploring the fact that the so-called “non-constructive results” could be interpreted so that they do not appear non-constructive at all. The author substantiates this solution by showing how the translation of mathematical results, given by the (...) possibility of translation between logics, can be seen as a tool for partially implementing the solution Wittgenstein had in mind. (shrink)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we have adopted (...) a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

The goal of the paper is to develop and propose a general model of the state space of AI. Given the breathtaking progress in AI research and technologies in recent years, such conceptual work is of substantial theoretical interest. The present AI hype is mainly driven by the triumph of deep learning neural networks. As the distinguishing feature of such networks is the ability to self-learn, self-learning is identified as one important dimension of the AI state space. Another dimension is (...) recognized as generalization, the possibility to go over from specific to more general types of problems. A third dimension is semantic grounding. Our overall analysis connects to a number of known foundational issues in the philosophy of mind and cognition: the blockhead objection, the Turing test, the symbol grounding problem, the Chinese room argument, and use theories of meaning. It shall finally be argued that the dimension of grounding decomposes into three sub-dimensions. And the dimension of self-learning turns out as only one of a whole range of “self-x-capacities” (based on ideas of organic computing) that span the self-x-subspace of the full AI state space. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

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)