This collection maintains a dialogue between the analytic and continental traditions, while aspiring to situate itself beyond the analytic-continental divide. It divides into four parts, Methodologies, Truth and Meaning, Metaphysics and Ontology, and Values, Personhood and Agency, though there is considerable overlap among the categories. History and temporality are recurrent themes, but there is a lot of metaphysics generally, with some philosophy of language, philosophy of social science, ethics, political philosophy and epistemology. Less prominent is a pragmatic, deflationary attitude, and (...) at a number of points I argue for the virtues of such an approach. (shrink)

Whether assent ("acceptance") and dissent ("rejection") are thought of as speech acts or as propositional attitudes, the leading idea of rejectivism is that a grasp of the distinction between them is prior to our understanding of negation as a sentence operator, this operator then being explicable as applying to A to yield something assent to which is tantamount to dissent from A. Widely thought to have been refuted by an argument of Frege's, rejectivism has undergone something of a revival in (...) recent years, especially in writings by Huw Price and Timothy Smiley. While agreeing that Frege's argument does not refute the position, we shall air some philosophical qualms about it in Section 5, after a thorough examination of the formal issues in Sections 1-4. This discussion draws on - and seeks to draw attention to - some pertinent work of Kent Bendall in the 1970s. (shrink)

The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results concerning intuitionistic propositional logic that bear on that perspective, and discuss their significance. First, for a range of connectives including both negation and the falsum, there are no classically or intuitionistically correct introduction rules. Second, irrespective of the choice of negation or the falsum as a primitive connective, classical and intuitionistic consequence satisfy exactly the (...) same structural, introduction, and elimination (briefly, elementary) rules. Third, for falsum as primitive only, intuitionistic consequence is the least consequence relation that satisfies all classically correct elementary rules. (shrink)

Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...) is at issue, and that the consequence relation ‘says’ nothing special about how those formulas are related that it does not say about arbitrary formulas. Each of these proposals returns counterintuitive verdicts in certain cases—the truth-value inspired approach classifying certain cases one would like to describe as involving failures of independence as being cases of independence, and the de Jongh approach counting some intuitively independent pairs of formulas as not being independent after all. In final section, a modification of the latter approach is tentatively sketched to correct for these misclassifications. The attention is on conceptual clarification throughout, rather than the provision of technical results. Proofs, as well as further elaborations, are lodged in the ‘longer notes’ in a final Appendix. (shrink)

It is often argued that the combination of deflationism about truth and the truth-conditional theory of meaning is impossible for reasons of circularity. I distinguish, and reject, two strains of circularity argument. Arguments of the first strain hold that the combination has a circular account of the order in which one comes to know the meaning of a sentence and comes to know its truth condition. I show that these arguments fail to identify any circularity. Arguments of the second strain (...) hold that the combination has a circular explanation of the ideas or concepts of meaning and truth. I show that these arguments identify a genuine, but acceptable, circularity. (shrink)

The central claim is that the semantic knowledge exercised by people when they speak is practical knowledge. The relevant idea of practical knowledge is explicated, applied to the case of speaking, and connected with an idea of agents’ knowledge. Some defence of the claim is provided.

This paper defends the claim that, in order to have a concept of time, subjects must have memories of particular events they once witnessed. Some patients with severe amnesia arguably still have a concept of time. Two possible explanations of their grasp of this concept are discussed. They take as their respective starting points abilities preserved in the patients in question: (1) the ability to retain factual information over time despite being unable to recall the past event or situation that (...) information stems from, and (2) the ability to remember at least some past events or situations themselves (typically because retrograde amnesia is not complete). It is argued that a satisfactory explanation of what it is for subjects to have a concept of time must make reference to their having episodic memories such as those mentioned under (2). It is also shown how the question as to whether subjects have such memories, and thus whether they possess a concept of time, enters into our explanation of their actions. (shrink)

In this paper I propose to inquire into the theory of self-awareness propounded by the two Buddhist epistemologists, Dignaga and Dharmakirti. I first give an outline of the Buddhist notion of consciousness, then deal with the notion of objectual appearance, and finally dwell on the theory itself together with certain arguments in its favor. It is shown that the Buddhists subscribed themselves to the following self-awareness thesis: that our waking consciousness is always pre-reflectively and nonconceptually aware of itself. Adopting an (...) approach of interpretive and comparative analysis, I also clarify significant differences between the theory and the correspondent Cartesian views in order to reveal the theory's contemporary relevancy. (shrink)

Anti-exceptionalism about logic is the Quinean view that logical theories have no special epistemological status, in particular, they are not self-evident or justified a priori. Instead, logical theories are continuous with scientific theories, and knowledge about logic is as hard-earned as knowledge of physics, economics, and chemistry. Once we reject apriorism about logic, however, we need an alternative account of how logical theories are justified and revised. A number of authors have recently argued that logical theories are justified by abductive (...) argument (e.g. Gillian Russell, Graham Priest, Timothy Williamson). This paper explores one crucial question about the abductive strategy: what counts as evidence for a logical theory? I develop three accounts of evidential confirmation that an anti-exceptionalist can accept: (1) intuitions about validity, (2) the Quine-Williamson account, and (3) indispensability arguments. I argue, against the received view, that none of the evidential sources support classical logic. (shrink)

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

I argue that the implementation of theDummettian program of an ``anti-realist'' semanticsrequires quite different conceptions of the technicalmeaning-theoretic terms used than those presupposed byDummett. Starting from obvious incoherences in anattempt to conceive truth conditions as assertibilityconditions, I argue that for anti-realist purposesnon-epistemic semantic notions are more usefully kept apart from epistemic ones rather than beingreduced to them. Embedding an anti-realist theory ofmeaning in Martin-Löf's Intuitionistic Type Theory(ITT) takes care, however, of many notorious problemsthat have arisen in trying to specify suitableintuitionistic (...) notions of semantic value,truth-conditions, and validity, taking into accountthe so-called ``defeasibility of evidence'' forassertions in empirical discourses. (shrink)

Antirealists who hold the knowability thesis, namely that all truths are knowable, have been put on the defensive by the Church-Fitch paradox of knowability. Rejecting the non-factivity of the concept of knowability used in that paradox, Edgington has adopted a factive notion of knowability, according to which only actual truths are knowable. She has used this new notion to reformulate the knowability thesis. The result has been argued to be immune against the Church-Fitch paradox, but it has encountered several other (...) triviality objections. Schlöder in a forthcoming paper defends the general approach taken by Edgington, but amends it to save it in turn from the triviality objections. In this paper I will argue, first, that Schlöder's justification for the factivity of his version of the concept of knowability is vulnerable to criticism, but I will also offer an improved justification that is in the same spirit as his. To the extent that some philosophers are right about our intuitive concept of knowability being a factive one, it is important to explore factive concepts of knowability that are made formally precise. I will subsequently argue that Schlöder's version of the knowability thesis overgenerates knowledge or, in other words, it leads to attributions of knowledge where there is ignorance. This fits a general pattern for the research programme initiated by Edgington. This paper also contains preliminary investigations into the internal and logical structure of lines of inquiries, which raise interesting research questions. (shrink)

Michael Dummett offered a semantic characterisation of a variety of realism-antirealism debates. This approach has fallen out of fashion. This has been to the detriment of metaphysics. This paper offers an accurate characterisation of Dummett’s view, often lacking in the literature, and then defends it against a range of attacks (from Devitt, Miller and Williamson). This understanding of realism debates is resilient, and if we take it seriously the philosophical terrain looks importantly different. In particular, the philosophy of language has (...) a foundational role with respect to metaphysics. (shrink)

It is common for contemporary ontologists to claim that they are not concerned with what exists simpliciter, but rather with what exists ’fundamentally’, or what ’really’ exists. I argue that positions of this sort cannot satisfy reasonable constraints concerning the acquisition of language. I assess and dismiss possible responses to this complaint before commenting on the prospects for a metaphysics without bespoke existence claims.

ABSTRACT Classical and intuitionistic logic both validate Ex Contradictione Quodlibet, according to which any proposition whatsoever follows from a contradiction. Many philosophers have found ECQ counter-intuitive, but criticisms of the principle have almost universally been directed from a position of support for relevance or other orthodox paraconsistent logics, according to which some, but not necessarily all, propositions follow from a contradiction. This paper draws attention to the historically significant view that nothing whatsoever follows from a contradiction – Ex Contradictione Nihil. (...) It addresses the key arguments – model-theoretic, proof-theoretic, meaning theoretic and holist – deployed by proponents of ECQ against their standard opponents, and shows that each can be defeated from a position of support for ECN. In the course of answering these arguments, some understanding is developed of possible motivations for ECN and a solid case is built that ECN deserves further investigation. (shrink)

To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it (...) is argued that any mentalist-based radical constructivism suffers from a kind of neo-Kantian apriorism. It would be at best a lucky accident if objective spacetime structure mirrored mentalist mathematics. the latter would seem implicitly committed to a Leibnizian relationist view of spacetime, but is it doubtful if implementation of such a view would overcome the objection. As a result, an anti-realist view of physics seems forced on the radical constructivist. (shrink)

John McDowell has often emphasized the fact that the use of langauge is a rational enterprise. In this paper, I explore the sense in which this is so, arguing that our use of language depends upon our consciously knowing what our words mean. I call this a 'cognitive conception of semantic competence'. The paper also contains a close analysis of the phenomenon of implicature and some suggestions about how it should and should not be understood.

A remembrance of Dummett's work on philosophy of mathematcis.

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

A reply to two responses to an earlier paper, "A Liar Paradox".

In “Practical Knowledge of Language”, C.-h. Tsai criticizes the arguments in “Swimming and Speaking Spanish” (this issue, pp. 331–341), on the grounds that its account of knowledge of language as knowledge-how is mistaken. In its place, he proposes an alternative account in terms of Russell’s concept “knowledge-by-acquaintance”. In this paper, I show that this account succeeds neither in displacing the account in Swimming and Speaking Spanish nor in addressing Tsai’s main concern: solving the “delivery problem”.

Truth’s universal knowability entails its discovery. This threatens antirealism, which is thought to require it. Fortunately, antirealism is not committed to it. Avoiding it requires adoption (and extension) of Dag Prawitz’s position in his long-term disagreement with Michael Dummett on the notion of provability involved in intuitionism’s identification of it with truth. Antirealism (intuitionism generalized) must accommodate a notion of lost-opportunity truth (a kind of recognition-transcendent truth), and even truth consisting in the presence of unperformable verifications. Dummett’s position cannot abide (...) this, while Prawitz’s can. Antirealism’s epistemic notion of truth derives from general features of its meaning theory, not from a universal knowability principle. (shrink)

This paper argues that Dummett’s interpretation of the relationship between Frege’s anti-psychologism and Wittgenstein’s doctrine that meaning is use results in a misreading of Frege. It points out that anti-mentalism is a form of anti-psychologism, but that mentalism is not the only version of psycholgism. Thus, while Frege and Wittgenstein are united in their opposition to mentalism, they are not equally opposed to psychologism, and from Frege’s point of view, the doctrine that meaning is use could also imply a version (...) of psychologism. It then offers a realist and externalist reading of Frege’s understanding of concepts, which is more in line with what Frege intended by anti-psychologism. (shrink)

Dummettian anti-realism–the refusal to endorse bivalence–is generally thought to be associated with idealism This paper argues that this is only true of the position developed by early Dummett. In a later manifestation Dummettian anti-realism is better thought of as providing the logic for anti-realisms of an error theoretic kind. Early on Dummett distinguished deep from shallow arguments for giving up bivalence: deep arguments followed a strong ‘sufficiency’ reading of Frege’s context principle, and made the sentence the primary vehicle of meaning. (...) Enriched by an account of truth in terms of verifiability, deep arguments implied a form of linguistic idealism. From within a perspective that had already made ontology relative to theory, it was natural for the difference between realism and idealism to hinge on the notion of truth for sentences. Having given up the distinction between deep and shallow arguments against bivalence, Dummett, post 1990, asserts that every rejection of bivalence leads to a form of anti-realism. In the intervening years, he has also come to cast doubt on the sufficiency reading of the context principle, particularly as developed by Crispin Wright. These doubts open the space for some more simple-minded criticisms of this strong version of the context principle, developed in the paper. Once the sufficiency reading of the context principle is given up, arguments for failing to assert bivalence come to hinge on beliefs about ‘genuine’ existence. These forms of anti-realism cannot be taken to imply idealism. Rather, in many cases they will be the expression of views of an error-theoretic kind, that are quite compatible with a thorough-going rejection of idealism. (shrink)

In this paper it is argued that functional role semantics can be saved from criticisms, such as those raised by Putnam and Fodor and Lepore, by indicating which beliefs and inferences are more constitutive in determining mental content. The Scylla is not to use vague expressions; the Charybdis is not to endorse the analytic/synthetic distinction. The core idea is to use reflective equilibrium as a strategy to pinpoint which are the beliefs and the inferences that constitute the content of a (...) mental state. The beliefs and the inferences that are constitutive are those that are in reflective equilibrium in the process of attributing mental states to others. (shrink)

There have been several different and even opposed conceptions of the problem of logical constants, i.e. of the requirements that a good theory of logical constants ought to satisfy. This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to. A second aim of the paper is to sketch some ideas about what a good theory would look like. A third aim is to draw from these ideas and (...) from the preceding survey the conclusion that most conceptions of the problem of logical constants involve requirements of a philosophically demanding nature which are probably not satisfiable by any minimally adequate theory. (shrink)

Logical pluralists are committed to the idea of a neutral metalanguage, which serves as a framework for debates in logic. Two versions of this neutrality can be found in the literature: an agreed upon collection of inferences, and a metalanguage that is neutral as such. I discuss both versions and show that they are not immune to Quinean criticism, which builds on the notion of meaning. In particular, I show that the first version of neutrality is sub-optimal, and hard to (...) reconcile with the theories of meaning for logical constants, and the second version collapses mathematically, if rival logics, as object languages, are treated with charity in the metalanguage. I substantiate by proving a collapse theorem that generalizes familiar results. Thus, the existence of a neutral metalanguage cannot be taken for granted, and meaning-invariant logical pluralism might turn out to be dubious. (shrink)

W. V. Quine famously argues that though all knowledge is empirical, mathematics is entrenched relative to physics and the special sciences. Further, entrenchment accounts for the necessity of mathematics relative to these other disciplines. Michael Friedman challenges Quine’s view by appealing to historicism, the thesis that the nature of science is illuminated by taking into account its historical development. Friedman argues on historicist grounds that mathematical claims serve as principles constitutive of languages within which empirical claims in physics and the (...) special sciences can be formulated and tested, where these mathematical claims are themselves not empirical but conventional. For Friedman, their conventional, constitutive status accounts for the necessity of mathematics relative to these other disciplines. Here I evaluate Friedman’s challenge to Quine and Quine’s likely response. I then show that though we have reason to find Friedman’s challenge successful, his positive project requires further development before we can endorse it. (shrink)

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results. (shrink)

The Taming of the True continues the project Neil Tennant began in Anti-realism and Logic of investigating and defending anti-realism. Tennant’s earlier book anticipated a second volume, in which issues related to empirical discourse would be addressed in greater detail. The Taming of the True provides this sequel. It also attempts a ground-clearing project, by addressing challenges to some of the presuppositions and implications of Tennant’s anti-realist position. Finally, it takes an opportunity to revisit some of the issues examined in (...) the earlier book, in light of the evolving debate over realism and anti-realism. (shrink)

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

Michael Devitt tells us that metaphysical realism has a kind of immunity from considerations concerning the nature of truth. Part of this immunity comes from Devitt’s insistence that realism is a metaphysical issue, not a semantic one. Most of Devitt’s critics have focused on this point, arguing that a proper understanding of the realism question necessarily involves semantic considerations :65–74, 1991; Miller in Synthese 136:191–217, 2003; Putnam in Comments on Michael Devitt’s ‘Hilary and Me’, in: Baghramian Reading Putnam. Taylor and (...) Francis, Hoboken, 2012; Taylor in Models, truth, and realism. Oxford University Press, New York, 2006). But Devitt also argues at length that semantic considerations should not lead us to give up on realism regardless of whether we admit that the correct characterization of realism is metaphysical in character or not. Devitt’s view hinges on the viability of a strategy which he calls Putting Metaphysics First, which essentially involves giving “a certain temporal and explanatory priority to metaphysical concerns”. Fully explicated, Devitt’s strategy is seen to be based on an epistemological naturalism in the vein of Quine. The main idea is that if we assume a naturalism according to which the only way to know anything is empirically through experience, then we will be able to establish a version of metaphysical realism early on in our investigations. According to Devitt, the empirical evidence for this realism is much stronger than the empirical evidence for the numerous semantical and epistemological views which are put forward in favor of antirealism. So, Devitt argues, we should hold on to the realism that we establish first and build our other theories on top of it. After detailing Devitt’s approach, I offer two objections. The first problem for Devitt is that in the process of putting metaphysics first, he puts epistemological naturalism first. This fact is in tension with his claim that epistemology is a weak starting place and a poor basis of theoretical revision. The second problem is that while our experiences of objects give us evidence that those objects exist, our experiences do not tell us that the objects exist mind-independently in all the ways required for metaphysical realism, or so I contend. Thus, I argue, even if we do put naturalized metaphysics first as Devitt recommends, realism is not secured as a starting point. (shrink)

In Anti-Individualism and Knowledge Jessica Brown criticises views of content that combine Fregean Sense and anti-individualism. Brown assumes that all Fregean theories are motivated by a picture of the rational thinker as someone who will always have transparent access to the simple inferential consequences of his thoughts. This picture, Brown argues, is incompatible with anti-individualism about content. While traditional Fregean theories have indeed had such motivation, Brown’s mistake is in attributing this motivation to the modern Fregean anti-individualist. My goal in (...) this paper is to bring to light a different, and seldom discussed, motivation for Fregean views of content which is immune to Browns objections. (shrink)

Intuitively, when all goes well, we adopt beliefs based on inference because we realize that their truth is established by the truth of the involved premises. If this intuitive picture of our successful reasoning is correct, then it must be possible that our reasoning is motivated by our sensitivity to the soundness of the involved inference. This paper argues that such a view of ideal reasoning can only be upheld if we accept the minority view that the proper inferential role (...) of our thoughts is individuated in terms of object dependent Fregean senses. I consider respectively Millian, Guise–Fregean, and object dependent Fregean views, and show how only the latter view provides a picture of our theoretical reasoning where sensitivity to soundness can be what motivates a subject’s reasoning. (shrink)

According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devo...

Various possibilities, that one is dreaming, that one is being deceived by a deceitful demon, that one is a brain in the vat being stimulated to think one has a body and is in a regular world, have been invoked to show that all one's experience-based beliefs might be false. Descartes in Meditation I advises that in order not to lapse into his careless everyday view of things he, or at least his meditator, should pretend that all his experience-based beliefs, (...) indeed all his …. (shrink)

Fregeans follow Frege in accepting informativeness and substitution failure as reliable criteria for the existence of senses as objects of thought. In this paper I show that if we accept this, we must also accept the existence of an infinite hierarchy of senses as objects of thought. This is a bad result since it turns Fregeanism into a doctrine according to which object-related thoughts either have an infinite number of objects as contents or none at all. This shows, against the (...) Fregean, that senses cannot themselves be constituents of thought. Los fregeanos aceptan, siguiendo a Frege, que los criterios de informatividad y falla de sustitución son guías confiables de la existencia de sentidos como objetos del pensamiento. En este artículo muestro que si aceptamos esta tesis también debemos aceptar la existencia de una jerarquía infinita de sentidos como objetos del pensamiento. Esta es una mala consecuencia pues convierte al fregeanismo en una doctrina según la cual los pensamientos dirigidos a objetos o bien tienen un número infinito de objetos como contenido o ninguno. Esto muestra, contra los fregeanos, que los sentidos no pueden ellos mismos ser objeto del pensamiento. (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

The paper has two parts: 1. A brief exposition of proof-theoretic semantics, not necessarily in connection to natural language. 2. A review, with a contrastive flavour, of some of the applications of PTS to NL with an indication of advantages of PTS as a theory of meaning for NL.

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

The paper highlights proof-theoretic semantics as providing natural resources for capturing semantic variation in natural language. The semantic variations include:Distinction between extensional predication and attribution to intensional transitive verbs a non-specific object.Omission of a verbal argument in a transitive verb.Obtaining sameness of meaning of sentences with transitive verbs with omitted object and existentially quantified object.Blocking unwarranted entailments in adjective–noun combinations.Capturing quantifier scope ambiguity.Obtaining context dependent quantifier domain restriction. The proof-theoretic resources employed to capture the above semantic variations include:The use of (...) different kinds of formal parameters and different ways of binding them to predicates.Omission of a premise from a proof-rule.Basing meanings on derivations in meaning-conferring proof-systems.Appealing to substructurality of I/E-rules.Controlling the order of rule applications in derivations.Controlling the open formulas participating in a context within a sequent. (shrink)

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative (...) introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible. (shrink)

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: negative introduction and (...) elimination rules, and positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality, using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors . A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to standard (...) first-order logic, and shows that the proof-theoretic meanings of both logics coincide. The paper criticizes Frege’s original regimentation of quantified sentences of natural language, and argues for advantages of the proposed variant. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis (...) of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

In "'Yes" and "No'" (2000), Ian Rumfitt proposed bilateralism--a use-based account of the logical words, according to which the sense of a sentence is determined by the conditions under which it is asserted and denied. One of Rumfitt's key claims is that bilateralism can provide a justification of classical logic. This paper raises a techical problem for Rumfitt's proposal, one that seems to undermine the bilateralist programme.