This paper draws upon the works of Wilfred Sellars, Jerry Fodor, and Ruth Millikan to argue against epistemological holism and conceptual holism. In the first section, I content that contrary to confirmation holism, there are individual beliefs ("basic beliefs") that receive nondoxastic/noninferential warrant. In the earliest stages of cognitive development, modular processes produce basic beliefs about how things are. The disadvantage of this type of basic belief is that the person may possess information that should have defeated the belief but (...) that was not taken into account in the module's operations. For this reason, at more advanced stages of cognitive development, basic beliefs concern how things appear to be. These appearance beliefs are not formed holistically but should be checked against background beliefs before the person infers how things are. In the second section, I argue against functional-role/inferential-role semantics. Championing teleosemantics, I argue that many concepts' meanings are not determined by the meanings of other concepts. Rather, many concepts are skills of knowing how to identify of what the concept is. These skills can be developed independently of other beliefs or skills and are, in an important sense, theory-neutral. (shrink)

This paper argues that transcendental phenomenology (here represented by Edmund Husserl) can accommodate the main thesis of semantic externalism, namely, that intentional content is not simply a matter of what is ‘in the head,’ but depends on how the world is. I first introduce the semantic problem as an issue of how linguistic tokens or mental states can have ‘content’—that is, how they can set up conditions of satisfaction or be responsive to norms such that they can succeed or fail (...) at referring. The standard representationalist view—which thinks of the problem in first-person terms—is contrasted with Brandom’s pragmatic inferentialist approach, which adopts a third-person stance. The rest of the paper defends a phenomenological version of the representationalist position (seeking to preserve its first-person stance) but offers a conception of representation that does not identify it with an entity ‘in the head.’ The standard view of Husserl as a Cartesian internalist is undermined by rejecting its fundamental assumption—that Husserl’s concept of the ‘noema’ is a mental entity—and by defending a concept of ‘phenomenological immanence’ that has a normative, rather than a psychological, structure. Finally, it is argued that phenomenological immanence cannot be identified with ‘consciousness’ in Husserl’s sense, though consciousness is a necessary condition for it. (shrink)

While engaged in the analysis of topics such as the nature of knowledge, meaning, or justice, analytic philosophers have traditionally relied extensively on their own intuitions about when the relevant terms can, and can't, be correctly applied. Consequently, if intuitions about possible cases turned out not to be a reliable tool for the proper analysis of philosophically central concepts, then a radical reworking of philosophy's (or at least analytic philosophy's) methodology would seem to be in order. It is thus not (...) surprising that the increasingly critical scrutiny that intuitions have received of late has produced what has been referred to as a "crisis" in analytic philosophy. This paper will argue, however, that at least those criticisms that stem from recent work on semantic externalism are not as serious as their proponents have claimed. Indeed, this paper will argue while the conceptual intuitions (and the analyses that result from them) will have to be recognized as fallible, they still have a prima facie claim to correctness. A naturalistic and externalistic account of concepts thus merely requires that the methodology of conceptual analysis be reinterpreted (from a 'Platonic' to a 'constructive' model) rather than given up. (shrink)

I think recent discussions of content and reference have not paid enough attention to the role of language as a convention-governed system of communication. With this as a background theme, I explain the role of A-intensions in elucidating one important notion of content and correlative notions of reference.

Kripke and Putnam have convinced most philosophers that we cannot do metaphysics of nature by analysing the senses of natural kind terms -- simply because natural kind terms do not have senses. Neo-descriptivists, especially Frank Jackson and David Chalmers, believe that this view is mistaken. Merging classical descriptivism with a Kaplan-inspired two-dimensional framework, neo-descriptivists devise a semantics for natural kind terms that assigns natural kind terms so-called 'primary intensions'. Since primary intensions are senses by other names, Jackson and Chalmers conclude (...) that we can and should do metaphysics of nature by analysing the natural kind concepts competent speakers possess. I argue that neo-descriptivism does not provide a suitable basis for doing this kind of metaphysics. I first of all give a detailed account of the neo-descriptivist semantics and deflate the intuitive support neo-descriptivists try to draw from their case of the XYZ-world. I then present three arguments -- the Argument from Ignorance, the Argument from Conceptual Analysis, and the Argument from Laziness. Taken together, these arguments undermine the neo-descriptivist analysis of natural kind terms. I conclude that natural kind terms do not have senses, that we cannot do metaphysics of nature by analysing the senses of our kind terms, and that the Kripke-Putnam account still provides the best semantics for natural kind terms we have. (shrink)

(1) Content properties are nonrelational, that is, having a content property does not entail the existence of any contingent object not identical with the thinker or a part of the thinker.2 (2) We have noninferential knowledge of our conscious thoughts, that is, for any of our..

(revisions posted 12/5/2006) to appear in Internalism and Externalism in Semantics and Epistemology, ed. by Sanford Goldberg (to be published by Oxford in 2006 or 2007) Michael McKinsey formulated an argument that raises a puzzle about the relation between externalism about content and our introspective awareness of content. The puzzle goes like this: it seems like I can know the contents of my thoughts by introspection alone; but philosophical reflection tells me that the contents of those thoughts are externalist, and (...) so I couldn. (shrink)

I look at incompatibilist arguments aimed at showing that the conjunction of the thesis that a subject has privileged, a priori access to the contents of her own thoughts, on the one hand, and of semantic externalism, on the other, lead to a putatively absurd conclusion, namely, a priori knowledge of the external world. I focus on arguments involving a variety of externalism resulting from the singularity or object-dependence of certain terms such as the demonstrative ‘that’. McKinsey argues that incompatibilist (...) arguments employing such externalist theses are at their strongest, and conclusively show that privileged access must be rejected. While I agree on the truth of the relevant externalist theses, I show that all plausible versions of the incompatibilist reductio argument as applied to such theses are fundamentally flawed, for these versions of the argument must make assumptions that lead to putatively absurd knowledge of the external world independently of the thesis of privileged access. (shrink)

The Burge-Putnam thought experiments have generated the thesis that beliefs are not fixed by the constitution of the body. However, many philosophers have thought that if this is true then there must be another content-like property. Even if the contents of our attitudes such as the one in ‘believes that aluminum is a light metal’, do not supervene on our physical makeups, nevertheless people who are physical duplicates must be the same when it comes to evaluating their rationality and explaining (...) their actions. I argue that the considerations motivating this view are best handled with just the ordinary ‘that’-clause contents. (shrink)

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

Ascriptions of content are sensitive not only to our physical and social environment, but also to unforeseeable developments in the subsequent usage of our terms. This paper argues that the problems that may seem to come from endorsing such 'temporally sensitive' ascriptions either already follow from accepting the socially and historically sensitive ascriptions Burge and Kripke appeal to, or disappear when the view is developed in detail. If one accepts that one's society's past and current usage contributes to what one's (...) terms mean, there is little reason not to let its future usage to do so as well. (shrink)

Anti-individualists claim that concepts are individuated with an eye to purely external facts about a subject's environment about which she may be ignorant or mistaken. This paper offers a novel reason for thinking that anti-individualistic concepts are an ineliminable part of commonsense psychology. Our commitment to anti-individualism, I argue, is ultimately grounded in a rational epistemic agent's commitment to refining her own representational practices in the light of new and surprising information about her environment. Since anti-individualism is an implicit part (...) of responsible epistemic practices, we cannot abandon it without compromising our own epistemic agency. The story I tell about the regulation of one's own representational practices yields a new account of the identity conditions for anti-individualistic concepts. (shrink)

Feelings and experiences vary widely. For example, I run my fingers over sandpaper, smell a skunk, feel a sharp pain in my finger, seem to see bright purple, become extremely angry. In each of these cases, I am the subject of a mental state with a very distinctive subjective character. There is something it is like for me to undergo each state, some phenomenology that it has. Philosophers often use the term ‘qualia’ (singular ‘quale’) to refer to the introspectively accessible, (...) phenomenal aspects of our mental lives. In this standard, broad sense of the term, it is difficult to deny that there are qualia. Disagreement typically centers on which mental states have qualia, whether qualia are intrinsic qualities of their bearers, and how qualia relate to the physical world both inside and outside the head. The status of qualia is hotly debated in philosophy largely because it is central to a proper understanding of the nature of consciousness. Qualia are at the very heart of the mindbody problem. (shrink)

1 Introduction 2 Perceptual Concepts 2.1 Perceptual Concepts are not Demonstrative 2.2 Perceptual Concepts as Stored Templates 2.3 Perceptual Semantics 2.4 Perceptually Derived Concepts 3 Phenomenal Concepts.

A representationalist-friendly introduction to representationalism which covers a number of central problems and objections.

This thesis is an examination and critique of naturalistic representational theories of phenomenal character. Phenomenal character refers to the distinctive quality that perceptual and sensational experiences seem to have; it is identified with 'what it is like' to undergo experiences. The central claims of representationalism are that phenomenal character is identical with the content of experience and that all representational states, bearing appropriate relations to the cognitive system, are conscious experiences. These claims are taken to explain both how conscious experiential (...) states arise and their nature. After examining the desiderata for naturalistic explanations, I argue that theories which ascribe nonconceptual content to experiences are the most plausible versions of representationalism. Further, causal covariation and teleological theories yield distinctive and interesting representationalist positions, hence, they become the focus of this study. To assess representationalism, I investigate whether all differences in phenomenal character can be correlated with differences in content. I claim that a useful distinction can be drawn between implicit and explicit content, which allows one to best describe the phenomena of perfect and relative pitch. I then argue that ambiguous figures show that two experiences can have the same content but different phenomenal character. I explicate the Inverted Earth hypothesis and claim that to identify content and phenomenal character, representationalists either have to condone the possibility of philosophical zombies, or hold that people lack authoritative first-person knowledge of their current experiences. Both these positions are unpalatable. Finally, I argue that representationalists cannot ascribe contents to experiences of novel colours to account for their phenomenal character. I also question, in light of dissociation phenomena, whether there is one distinctive relationship that all experiences bear to the cognitive system. I conclude that phenomenal character cannot be identical with the type of content under investigation, and that naturalistic representationalist theories cannot fully explain conscious experience. (shrink)

In the history of modern philosophy systematic connections were assumed to hold between the modal concepts of logical possibility and necessity and the concept of conceivability. However, in the eyes of many contemporary philosophers, insuperable objections face any attempt to analyze the modal concepts in terms of conceivability. It is important to keep in mind that a philosophical explanation of modality does not have to take the form of a reductive analysis. In this paper I attempt to provide a response-dependent (...) account of the modal concepts in terms of conceivability along the lines of a nonreductive model of explanation. (shrink)

Some people believe that there is an “explanatory gap” between the facts of physics and certain other facts about the world—for example, facts about consciousness. The gap is presented as a challenge to any thoroughgoing naturalism or physicalism. We believe that advocates of the explanatory gap have some reasonable expectations that cannot be merely dismissed. We also believe that naturalistic thinkers have the resources to close the explanatory gap, but that they have not adequately explained how and why these resources (...) work. In this paper we isolate the legitimate explanatory demands in the gap reasoning, as it is defended by Chalmers and Jackson . We then argue that these demands can be met. Our solution involves a novel proposal for understanding the relationship between theories, explanations, and scientific identities. (shrink)

Many philosophical issues concern questions of objectivity and subjectivity. Of these questions, there are two kinds. The first considers whether something is objective or subjective; the second what it _means_ for something to be objective or subjective.

Questions of persistence and change are central to metaphysics. There is almost always a role for sortal or essential properties to play in theories of persistence. However, one might reasonably be suspicious of many of the claims about sortal properties and essential properties on which so many accounts of persistence conditions rest. The aim of this paper is to think through what persistence looks like if we don't help ourselves to these assumptions. In so doing, we shall uncover a deep (...) and difficult problem when it comes to identity facts and their relation to qualitative facts. Towards the end of the paper, I sketch a potential line of response that builds upon our seeming awareness of a genuinely persisting self. (shrink)

Natural kind essentialism is a specification of the intuitive idea that there are some mind-independent or objective categories in nature. These categories are thought to be characterised by a shared essence, which may involve intrinsic or extrinsic properties, mechanisms, or causal history. While the ontological basis of natural kinds has its roots in antiquity and especially Aristotle, the contemporary notion of a “natural kind” in philosophical discussion is often traced to William Whewell’s and John Stuart Mill’s work in the 1800s. (...) In its more modern form, natural kind essentialism was popularised in the 1970s mainly by Saul Kripke and Hilary Putnam. Traditionally, natural kind essentialism has been associated with intrinsic and microstructural properties, but contemporary work has made it clear that more refined versions of natural kind essentialism may have to accept extrinsic or relational essences. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

According to the causal-historical theory of reference, natural kind terms refer in virtue of complicated causal relations the speakers have to their environment. A common objection to the theory is that purely causal relations are insufficient to fix reference in a determinate fashion. The so-called hybrid view holds that what is also needed for successful fixing are true descriptions associated in the mind of the speaker with the referent. The main claim of this paper is that the objection fails: reference (...) fixing of natural kind terms can be purely causal. The main argument draws inspiration from recent theoretical advances made in metaphysics of kinds by Marion Godman, Antonella Mallozzi, and David Papineau. The main claim is that their notion of super-explanatory properties may explain how reference of many kind terms can be fixed purely causally. (shrink)

Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

The so-called ‘mental files theory’ in the philosophy of mind stems from an analogy comparing object-concepts to ‘files’, and the mind to a ‘filing system’. Though this analogy appears in philosophy of mind and language from the 1970s onward, it remains unclear to many how it should be interpreted. The central commitments of the mental files theory therefore also remain unclear. Based on influential uses of the file analogy within philosophy, I elaborate three central explanatory roles for mental files. Next, (...) I outline several common criticisms of the file picture, which have been a source of resistance to the view. Finally, I outline several interpretations of the theory, thus highlighting that the best interpretation of the file-theory's central analogy remains a live issue. (shrink)

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...) subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas. (shrink)

Kripke’s examples of allegedly contingent a priori sentences include ‘Stick S is exactly one meter long’, where the reference of ‘meter’ is fixed by the description ‘the length of stick S’. In response to skepticism concerning apriority Kripke replaced the meter sentence with a more sophisticated variant, arguing that the modified example is more immune to such skepticism. The case for apriority is examined. A distinction is drawn between apriority and a broader notion, “qua-priority,” of a truth whose epistemic justification (...) is dependent on no experience other than that required to justify belief of the deliverances of pure semantics. It is argued that Kripke’s examples are neither a priori nor qua-priori. (shrink)

Experimental philosophy of consciousness aims to investigate and explain our thinking about phenomenally conscious states. Based on empirical studies, researchers have argued (a) that we lack a folk concept of consciousness, (b) that we do not think entities like Microsoft feel regret, (c) that unfelt pains are widely accepted, and (d) that people do not attribute phenomenally conscious states to duplicated hamsters. In this article, I review these and other intriguing claims about people’s understanding of phenomenal consciousness. In doing so, (...) I also show why experimental philosophy of consciousness is challenging, although perhaps not quite as daunting as studying phenomenal consciousness itself. (shrink)

Bealer’s argument against Kripke is presented. We then show how Kripke could counteract it. Our idea that the identity materialist may have the possibility of explaining why type psychophysical identities only appear to be contingent (but are necessary), because we confuse the exemplified properties (one property) with the concepts that subsume them (two distinct concepts), is supported by McGinn’s and Nagel’s materialistic intuitions. It remains to be seen whether a critique of Kripke like that of Bealer runs counter to the (...) exemplified properties and the concepts that subsume them. We argue that Bealer’s criticism of Kripke does not contradict it. McGinn’s and Nagel’s intuitions support our idea. What we want to show is that, even if, from the anti-materialist side of the debate about the mind–body identity thesis, Bealer and Kripke agree on the general anti-materialist strategy but not on the strategies of phenomenological explanation (which for Bealer, Kripke neglects) and descriptivist explanation (which for Bealer is wrong), the disagreement between Bealer and Kripke still leaves open the materialist explanation of one property and two concepts. If there is an explanation for the illusion of contingency, it is quite possible that these type psychophysical identities are indeed necessary. (shrink)

Penelope Mackie and Scott Soames argue, contrary to my Reference and Essence (R&E), that Hilary Putnam was correct that the direct-reference theory of natural-kind terms, taken in conjunction with empirical or otherwise uncontroversial premises, yields non-trivial essentialism, such as the conclusion that water is essentially two-parts hydrogen, one-part oxygen. A controversial distinction is drawn between rigid and non-rigid general terms. A new criterion for general-term rigidity is proposed, and Putnam’s ostensive definition of ‘water’ is reformulated accordingly to generate the consequence (...) that ‘water’ rigidly designates. Mackie and Soames propose a reformulation of Putnam’s ostensive definition that putatively yields the desired result. This reformulation, however, does not correctly explain the meaning of ‘water’ as a substance designator. Furthermore, if taken instead as a redefinition of ‘water’, the essentialism thereby generated is trivial. (shrink)

Recent theories of remembering and of reference (or singular thought) have de-emphasised the role causation was thought to play in mid- to late-twentieth century theorising. According to postcausal theories of remembering, such as simulationism, instances of the psychofunctional kind _remembering_ are not, in principle, dependent on appropriate causal chains running from some event(s) remembered to the occurrence of remembering. Instead they depend only on the reliability, or proper functioning, of the cognitive system responsible for their production. According to broadly reliabilist (...) accounts of _singular thought_, such thought is not, in principle, dependent on causal chains running from the object(s) of thought to the occurrence of thinking. Despite this common trend, accounts of the two phenomena have been pursued separately. In this paper, we argue that the two lines of research can profitably converge to address a neglected question: what enables occurrences of remembering to _refer_ to particular events, and what determines _which_ event a given occurrence of remembering refers to? We motivate and present a reliabilist account of reference-fixing for postcausal theories of remembering, focusing in particular on simulationism. We then show that this account draws attention to the possibility of _referential mnemic confabulation:_ cases where the reliability requirement for reference is met despite the improper functioning of the episodic construction system. We suggest that this makes sense of some underdiscussed phenomena described in the empirical literature on confabulation and argue that our reliabilist account of mnemic reference-fixing accommodates these more naturally than could causal theories of remembering. (shrink)

Scientists cannot devise theories, construct models, propose explanations, make predictions, or even carry out observations, without first classifying their subject matter. The goal of scientific taxonomy is to come up with classification schemes that conform to nature's own. Another way of putting this is that science aims to devise categories that correspond to 'natural kinds.' The interest in ascertaining the real kinds of things in nature is as old as philosophy itself, but it takes on a different guise when one (...) adopts a naturalist stance in philosophy, that is when one looks closely at scientific practice and takes it as a guide for identifying natural kinds and investigating their general features. This Element surveys existing philosophical accounts of natural kinds, defends a naturalist alternative, and applies it to case studies in a diverse set of sciences. This title is also available as Open Access on Cambridge Core. (shrink)

Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

Peer Review Book Description - Maria Seykora (female, published age 28) -/- -/- Classical Logic will attempt to give a comprehensive and rigorous introduction and more advanced overview of the area of logic widely known as “classical logic,” as distinguished from modern-day “non-classical logic,” for undergraduate students in general. It will cover the topics of Informal Logic (including logical fallacies, deduction, induction, and abductive reasoning) and Formal Logic. (Because it aims to cover these two topics, the title may change to (...) Informal and Classical Logic for the first edition.) Within the category of Formal Logic, it will cover Syllogistic or Categorical Logic and Symbolic Logic. Furthermore, within Symbolic Logic, it will cover Propositional Logic, Predicate Logic, and Modal Logic. The Formal Logic component is currently unfinished, and the Informal Logic component is somewhat unfinished. The unique selling proposition is “the first comprehensive Classical Logic textbook.” It seems that many textbooks for college students today, including Patrick J. Hurley’s, are loosely organized around Classical Logic and other various areas of logic, yet there is not a clear-cut, comprehensive summation of Classical Logic in textbook form. For instance, Hurley’s textbook does not have a section on Modal Logic, and does not address some fallacies such as Hypothesis Contrary to Fact, the Genetic Fallacy, Appeal to Nature, No True Scotsman Fallacy, Emotionally Loaded Language fallacies, etc. Stan Baronett’s Logic textbook also does not include discussions of Modal Logic or these additional fallacies and others like them, and Siu-Fan Lee’s textbook does not include Modal Logic either. Additionally, abductive reasoning, which involves making an inference to the best explanation, is important in real life, yet it seems absent from most logic textbooks. (shrink)

Properties have an important role in specifying different views on laws of nature: virtually any position on laws will make some reference to properties, and some of the leading views even reduce laws to properties. This chapter will first outline what laws of nature are typically taken to be and then specify their connection to properties in more detail. We then move on to consider three different accounts of properties: natural, essential, and dispositional properties, and we shall see that different (...) conceptions of properties also result in different views of the modal status of laws, such as the question of whether laws are metaphysically necessary or contingent. Finally, there are also important links specifically between properties, natural kinds, and laws of nature that deserve our attention. (shrink)

Many philosophical discussions hinge on the concept of knowability. For example, there is a blooming literature on the so-called paradox of knowability. How to understand this notion, however? In this paper, we examine several approaches to the notion: the naive approach to take knowability as the possibility to know, the counterfactual approach endorsed by Edgington (1985) and Schlöder (2019) , approaches based on the notion of a capacity or ability to know (Fara 2010, Humphreys 2011), and finally, approaches that make (...) use of the resources of dynamic epistemic logic (van Benthem 2004, Holliday 2017). (shrink)

Recently developed large language models (LLMs) perform surprisingly well in many language-related tasks, ranging from text correction or authentic chat experiences to the production of entirely new texts or even essays. It is natural to get the impression that LLMs know the meaning of natural language expressions and can use them productively. Recent scholarship, however, has questioned the validity of this impression, arguing that LLMs are ultimately incapable of understanding and producing meaningful texts. This paper develops a more optimistic view. (...) Drawing on classic externalist accounts of reference, it argues that LLM-generated texts meet the conditions of successful reference. This holds at least for proper names and so-called paradigm terms. The key insight here is that the LLM may inherit reference from its training-data through a reference-sustaining training mechanism. (shrink)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

Kants Kritik der praktischen Vernunft (1788) steht zu Unrecht oft im Schatten der Kritik der reinen Vernunft und der Grundlegung zur Metaphysik der Sitten. Tatsächlich sind die Grundelemente der Kantischen Moralphilosophie im Gegensatz zu vielen Thesen der ersten Kritik bis heute weitgehend anerkannt, und erst der Nachweis der zweiten Kritik, dass Freiheit wirklich ist, macht "den Schlussstein von dem ganzen Gebäude eines Systems der reinen, selbst der spekulativen Vernunft aus". Entlang der Stichworte reiner Wille, gesetzgebende Form der Maxime, transzendentale Freiheit, (...) Autonomie und Faktum der Vernunft zeigt Kant in der "Analytik", dass reine Vernunft "für sich" praktisch sein, nämlich den Willen bestimmen kann. Die "Dialektik" sichert den Ideen von der Existenz Gottes und der Unsterblichkeit der Seele objektive Realität und untersucht das Verhältnis von theoretischer und praktischer Vernunft. Die "Methodenlehre" schließlich skizziert eine Theorie moralischer Erziehung, die für den heutigen Ethikunterricht noch aktuell ist. Die zwölf Beiträge dieses kooperativen Kommentars, der anlässlich des 300. Jubiläums Immanuel Kants in einer 3., überarbeiteten Auflage erscheint, rekonstruieren die Argumente eines Schlüsseltextes der Moralphilosophie und prüfen die sachliche Überzeugungskraft. Mit Beiträgen von: Karl Ameriks, Reinhard Brandt, Eckart Förster, Otfried Höffe Allen W. Wood Christoph Horn, G. Felicitas Munzel, Onora O'Neill Annemarie Pieper, Friedo Ricken, Nico Scarano. (shrink)