Ian Rumfitt (2000) developed a bilateralist account of logic in which the meaning of the connectives is given by conditions on asserted and rejected sentences. An additional set of inference rules, the coordination principles, determines the interaction of assertion and rejection. Fernando Ferreira (2008) found this account defective, as Rumfitt must state the coordination principles for arbitrary complex sentences. Rumfitt (2008) has a reply, but we argue that the problem runs deeper than he acknowledges and is in fact related to (...) the challenge of establishing proof-theoretic harmony. We motivate a distinctively bilateral criterion for harmony and show how the bilateralist can meet it. This also resolves Ferreira's complaint. (shrink)

Connectives such as Tonk have posed a significant challenge to the inferentialist. It has been recently argued that the classical semanticist faces an analogous problem due to the definability of “nasty connectives” under non-standard interpretations of the classical propositional vocabulary. In this paper, we defend the classical semanticist from this alleged problem.

Este artículo presenta una aproximación lógico-filosófica al problema de las medidas sin interacción (ifm, por sus siglas en inglés) presentes en ciertos experimentos físicos mecánico-cuánticos. Se explicitarán tanto las posibles vías para abordar el estudio de las IFM desde una perspectiva formal, como algunos de los principales retos a la hora de llevar a cabo dicha aproximación.

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)

In “The Runabout Inference Ticket” AN Prior (1960) examines the idea that logical connectives can be given a meaning solely in virtue of the stipulation of a set of rules governing them, and thus that logical truth/consequence.

If correct, Christopher Peacocke’s [20] “manifestationism without verificationism,” would explode the dichotomy between realism and inferentialism in the contemporary philosophy of language. I first explicate Peacocke’s theory, defending it from a criticism of Neil Tennant’s. This involves devising a recursive definition for grasp of logical contents along the lines Peacocke suggests. Unfortunately though, the generalized account reveals the Achilles’ heel of the whole theory. By inventing a new logical operator with the introduction rule for the existential quantifier and the elimination (...) rule for the universal quantifier, I am able to show that Peacocke’s theory only avoids verificationism to the extent that it does not satisfy manifestationism. (shrink)

We first discuss Michael Dummett’s philosophy of mathematics and Robert Brandom’s philosophy of language to demonstrate that inferentialism entails the falsity of Church’s Thesis and, as a consequence, the Computational Theory of Mind. This amounts to an entirely novel critique of mechanism in the philosophy of mind, one we show to have tremendous advantages over the traditional Lucas-Penrose argument.

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

The logic of assertive graphs is a modification of Peirce’s logic of existential graphs, which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deep-inference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. We then compare (...) advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deep-inferential nature of proofs. (shrink)

Proof-theoretic semantics is an inferentialist theory of meaning, usually developed in a multiple-assumption and single-conclusion framework. In that framework, this theory seems unable to justify classical logic, so some authors have proposed a multiple-conclusion reformulation to accomplish this goal. In the first part of this paper, the debate originated by this proposal is briefly exposed and used to defend the diverging opinion that proof-theoretic semantics should always endorse a single-assumption and single-conclusion framework. In order to adopt this approach some of (...) its _criteria_ of validity, especially separability, need to be weakened. This choice is evaluated and defended. The main argument in this direction is based on the circular dependences of meaning between multiple assumptions and conjunctions, and between multiple conclusions and disjunctions. In the second part of this paper, some systems that suit the new requirements are proposed for both intuitionistic and classical logic. A proof that they are valid, according to the weakened _criteria_, is sketched. (shrink)

Harmony and conservative extension are two criteria proposed to discern between acceptable and unacceptable rules. Despite some interesting works in this field, the exact relation between them is still not clear. In this article, some standard counterexamples to the equivalence between them are summarized, and a recent formulation of the notion of stability is used to express a more refined conjecture about their relation. Then Prawitz's proposal of a counterexample based on the truth predicate to this refined conjecture is shown (...) to rest on dubious assumptions. As a consequence, two new counterexamples are proposed: one uses the extension of logic with a small amount of arithmetic, while the other uses the extension of a small fragment of arithmetic with a problematic operator defined by Peano. It is argued that both these new counterexamples work fine to reject the conjecture and that the last one works also as a rejection of harmony as a complete criterion of acceptability of rules. (shrink)

Theoria, Volume 88, Issue 4, Page 829-849, August 2022.

Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially by Coordination Principles (a kind of rule that is not present in unilateral systems) and mismatches between rules for assertion and rules for rejection. In this paper, a solution is proposed for two major issues: the availability of a reduction procedure for tonk and the existence of harmonious rules for the paradoxical (...) zero-ary connective \(\bullet\). The solution is based on a reinterpretation of bilateral rules as complex rules, that is, rules that introduce or eliminate connectives in a subordinate position. Looking at bilateral rules from this perspective, the problems faced by bilateralism can be seen as special cases of general problems of complex systems, which have been already analyzed in the literature. In the end, a comparison with other proposed solutions underlines the need for further investigation in order to complete the picture of bilateral proof-theoretic semantics. (shrink)

The connectives of classical propositional logic are given an analysis in terms of necessary and sufficient conditions of acceptance and rejection, i.e. the connectives are analyzed within an expressivist bilateral meaning-is-use framework. It is explained how such a framework differs from standard inferentialist frameworks and it is argued that it is better suited to address the particular issues raised by the expressivist thesis that the meaning of a sentence is determined by the mental state that it is conventionally used to (...) express. Furthermore, it is shown that the classical requirements governing the connectives completely characterize classical logic, are conservative and separable, are in bilateral harmony, are structurally preservative with respect to the classical coordination requirements and resolve the categoricity problem. These results are taken to show that one can give an expressivist bilateral meaning-is-use analysis of the connectives that confer on them a determinate coherent classical interpretation. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...) main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (shrink)

This is primarily a conceptual paper. The goal of the paper is to put into perspective the proof-theory of hybrid logic and in particular, try to give an answer to the following question: Why does the proof-theory of hybrid logic work so well compared to the proof-theory of ordinary modal logic?Roughly, there are two different kinds of proof systems for modal logic: Systems where the formulas involved in the rules are formulas of the object language, that is, ordinary modal-logical formulas, (...) and systems where the formulas involved in the rules are metalingustic formulas obtained by attaching labels representing possible worlds to ordinary modal-logical formulas. Systems of the second kind often also involve an explicit representation of the accessibility relation. From a proof-theoretic point of view, modal-logical systems of the first kind are less well-behaved than systems of the second kind.It turns out that this can be remedied by hybridization, that is, hybridization of modal logics enables the formulation of well-behaved proof systems without involving metalinguistic machinery. What has happened is that the metalinguistic machinery has been internalized in the object language. This gives an answer to the initial question, which is that the proof-theory of hybrid logic works so well because the metalinguistic semantic machinery has been internalized in the object language. (shrink)

1. For simplicity, let the domain of our first-level quantifiers, ‘∀ x’ and so on, be words, and in particular just those words which are adjectives. And let the adjective ‘heterological’ be abbreviated just to As is well known, one cannot legitimately stipulate that Why not? Well, the obvious answer is that if is supposed to be an adjective, then this alleged stipulation would imply the contradiction But contradictions cannot be true, and it is no use stipulating that they shall (...) be. Do we need to say anything more? Russell would apparently wish to add this: the stipulation is illegitimate because it attempts to define the word by a quantification over all words, and the word is itself taken to be one of the words quantified over. That is how this supposed definition would infringe his vicious-circle principle . 1 It is of course true that if our quantification is taken to range only over words of a certain kind, say first-order adjectives, and if the word is taken to be a word of a different kind, say a second-order adjective, then the contradiction is avoided. For the supposed stipulation then has no implications for whether is or is not true of any second-order words. Russell imagines the stipulation to be strengthened by adding that is to be true only of first-order words, and hence that it is not true of itself. But no contradiction now results from this. However, one must ask: did we need this explanation in terms of the VCP? It may seem helpful, because there is an initial temptation to say that the original stipulation could not be illegitimate. This is because it is thought of as introducing a new word, and explaining what it means, and one is apt to think that we …. (shrink)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, based on (...) the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

I want to propose to you a theory about the nature of objectivity—a theory which will tell us something about its causes, its intrinsic character, and its sources of variation. The theory in question is very simple. Indeed, it is so simple that I fear you will reject it out of hand. Here is the theory: it is thatobjectivity is social. What I mean by saying that objectivity is social is that theimpersonalandstablecharacter that attaches to some of our beliefs, and (...) the sense of reality that attaches to their reference, derives from these beliefs beingsocial institutions. (shrink)

I want to propose to you a theory about the nature of objectivity—a theory which will tell us something about its causes, its intrinsic character, and its sources of variation. The theory in question is very simple. Indeed, it is so simple that I fear you will reject it out of hand. Here is the theory: it is thatobjectivity is social. What I mean by saying that objectivity is social is that theimpersonalandstablecharacter that attaches to some of our beliefs, and (...) the sense of reality that attaches to their reference, derives from these beliefs beingsocial institutions. (shrink)

Karl Popper developed a theory of deductive logic in the late 1940s. In his approach, logic is a metalinguistic theory of deducibility relations that are based on certain purely structural rules. Logical constants are then characterized in terms of deducibility relations. Characterizations of this kind are also called inferential definitions by Popper. In this paper, we expound his theory and elaborate some of his ideas and results that in some cases were only sketched by him. Our focus is on Popper's (...) notion of duality, his theory of modalities, and his treatment of different kinds of negation. This allows us to show how his works on logic anticipate some later developments and discussions in philosophical logic, pertaining to trivializing connectives, the duality of logical constants, dual-intuitionistic logic, the conservativeness of language extensions, the existence of a bi-intuitionistic logic, the non-logicality of minimal negation, and to the problem of logicality in general. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

In this paper I will argue that (principled) attempts to ground a priori knowledge in default reasonable beliefs cannot capture certain common intuitions about what is required for a priori knowledge. I will describe hypothetical creatures who derive complex mathematical truths like Fermat’s last theorem via short and intuitively unconvincing arguments. Many philosophers with foundationalist inclinations will feel that these creatures must lack knowledge because they are unable to justify their mathematical assumptions in terms of the kind of basic facts (...) which can be known without further argument. Yet, I will argue that nothing in the current literature lets us draw a principled distinction between what these creatures are doing and paradigmatic cases of good a priori reasoning (assuming that the latter are to be grounded in default reasonable beliefs). I will consider, in turn, appeals to reliability, coherence, conceptual truth and indispensability and argue that none of these can do the job. (shrink)

This paper analyses the notion of ‘interpretation’, which is often tied to the semantic approach to logic, where it is used when referring to truth-value assignments, for instance. There are, however, other uses of the notion that raise interesting problems. These are the cases in which interpreting a logic is closely related to its justification for a given application. The paper aims to present an understanding of interpretations that supports the model-theoretic characterization of validity to the detriment of the proof-theoretic (...) one. This is done by making use of the hierarchy of ST-related logics. Finally, a localist conception of logic is defended as the natural view stemming from the model-theoretic approach. (shrink)

Elgin has presented an extensive defence of reflective equilibrium embedded in an epistemology which focuses on objectual understanding rather than ordinary propositional knowledge. This paper has two goals: to suggest an account of reflective equilibrium which is sympathetic to Elgin’s but includes a range of further developments, and to analyse its role in an account of understanding. We first address the structure of reflective equilibrium as a target state and argue that reflective equilibrium requires more than an equilibrium in the (...) sense of a coherent position. On the one hand, the position also needs to be stable between a ‘conservative’ pull of input commitments and a ‘progressive’ pull of epistemic goals; on the other hand, reflective equilibrium requires that enough of the resulting commitments have some credibility independent of the coherence of the position. We then turn to the dynamics of reflective equilibrium, the process of mutual adjustment of commitments and theories. Here, the most pressing internal challenges for defenders of reflective equilibrium arise: to characterize this process more exactly and to explain its status in relation to reflective equilibrium as a target state. Finally, we investigate the role of reflective equilibrium in Elgin’s account of understanding and argue that objectual understanding cannot be explained in terms of reflective equilibrium alone. An epistemic agent who understands a subject matter by means of a theory also needs to be able to use this theory and the theory needs to meet some external rightness condition. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

A priori theories of justification of logic based on meaning often lead to trouble, in particular to issues concerning circularity. First, I present Boghossian’s a prioriview. Boghossian maintains the rule-circular justifications from a conceptual role semantics. However, rule-circular justifications are problematic. Recently, Boghossian (Boghossian, 2015) has claimed that rules should be thought of as contents and contents as abstract objects. In this paper, I discuss Boghossian’s view. My argumentation consists of three main parts. First, I analyse several arguments to show (...) that in fact, Boghossian’s inferentialist solution is not fully satisfying. Second, I discuss the matter further, if one accepts that basic logical rules are constitutive of meaning, that is, they constitute the logical concepts and the content of a rule is an abstract object, then abstract objects — like, for example, rules — could be constitutive of meaning. The question is whether conceptual priority is in the judgment or in the object and what theory of content is pursued. Grasping content as a matter of knowing how a word or concept behaves in inferences is not completely explicative. Finally, I contend that rules come to exist as a result of certain kinds of mental action. These actions function as constitutive norms. Logical rules are not abstract objects but ideal. What one construes as norms or rules of content may involve idealization, but this is because we share a language. (shrink)

Various attempts at demarcating logic were undertaken, many of them based on specific understanding of how logical knowledge is formal and not material. MacFarlane has persuasively shown that general idea of formality of logic can be understood in various ways. I take two of the accounts of formality, namely the requirement of conservativity and the requirement of schematicity of logical vocabulary, into consideration as promising candidates to make the all too unclear notion of formality more precise and study to what (...) degree they could be considered as either necessary or sufficient conditions for logicality of some piece of vocabulary. Finding both notion unsatisfactory, as they stand, I propose combining them and envisage a hierarchy of logicality of expressions of a given language. Such a hierarchy is complicated and not linear, yet still offers a valuable explication of both the range and pragmatic significance of logic, if we combine it with logical expressivism. (shrink)

Between the two horns of Jørgensen's dilemma, the authors opt for that according to which logic deals not only with truth and falsity but also with those concepts not possessing this semantic reference. Notwithstanding the “descriptive” prejudice, deontic logic has gained validity among modal logics. The technical foundation proposed consists in an abstract characterization of logical consequence. By identifying in the abstract notion of consequence the primitive from which to begin, it is possible to define the connectives - even those (...) of obligation - by means of the rules of introduction or elimination in a context of derivation. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

Simon Evnine examines various epistemic aspects of what it is to be a person. Persons are defined as finite beings that have beliefs, including second-order beliefs about their own and others' beliefs, and are agents, capable of making long-term plans. It is argued that for any being meeting these conditions, a number of epistemic consequences obtain. First, all such beings must have certain logical concepts and be able to use them in certain ways. Secondly, there are at least two principles (...) governing belief that it is rational for persons to satisfy and are such that nothing can be a person at all unless it satisfies them to a large extent. These principles are that one believe the conjunction of one's beliefs and that one treat one's future beliefs as, by and large, better than one's current beliefs. Thirdly, persons both occupy epistemic points of view on the world and show up within those views. This makes it impossible for them to be completely objective about their own beliefs. Ideals of rationality that require such objectivity, while not necessarily wrong, are intrinsically problematic for persons. This "aspectual dualism" is characteristic of treatments of persons in the Kantian tradition. In sum, these epistemic consequences support a traditional view of the nature of persons, one in opposition to much recent theorizing. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

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)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

According to Brandom’s conceptual role semantics, to grasp a concept involves a commitment to drawing certain inferences. This is a consequence of the inferentialist thesis that the meaning of a term is given by its justification through assertibility conditions. Inferential commitments come out from a material notion of inference which underwrites human rational discourse and activity. In this paper I discuss a problem of Brandom’s semantics allegedly exposed in an argument by Paul Boghossian against Dummett’s and Brandom’s substantive conception of (...) meaning. I contend that Boghossian’s analysis is dubious because it overlooks an important difference between Dummett’s and Brandom’s positions related respectively to a monotonic and a non-monotonic view of the norm underwriting meaning. (shrink)

This chapter explores two central questions in the conceptual ethics of normative inquiry. The first is whether to orient one’s normative inquiry around folk normative concepts (like KNOWLEDGE or IMMORAL) or around theoretical normative concepts (like ADEQUATE EPISTEMIC JUSTIFICATION or PRO TANTO PRACTICAL REASON). The second is whether to orient one’s normative inquiry around concepts whose normative authority is especially accessible to us (such as OUGHT ALL THINGS CONSIDERED), or around concepts whose extension is especially accessible to us (such as (...) BETRAYAL). The chapter aims to make vivid and plausible a range of possible answers to these questions, and important forms of argument that can be used to favor certain answers over others. (shrink)

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...) Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

Se examinan algunas versiones representativas de las tesis contrarias a la relación entre las estructuras del discurso y de la realidad. Se propone distinguir entre los aspectos constitutivos y no constitutivos del lenguaje y de la realidad, manifiestos en la lógica de un lenguaje común. Se sostiene que los primeros son mínimos y que las teorías lógicas específicas han de considerarse partes de teorías generales sobre el mundo, parcialmente normativas, empíricamente discutibles e históricamente cambiantes. En consecuencia, no hay motivos para (...) creer que exista un dominio universal de objetos o de propiedades y, correlativamente, una única estructura del mundo, una sola concepción aceptable o completa de este, o una única lógica universal aceptable. The article examines some representative versions of views opposing the relationship between the structures of discourse and reality. On that basis, it proposes making a distinction between constitutive and non-constitutive aspects of language and reality, manifest in the logic of a common language. It argues that the former are minimal and that the specific logical theories are to be considered part of general theories about the world, partially normative, empirically questionable and historically changing. As a result, there are not grounds to believe that there is a universal domain of objects or properties and, correspondingly, a single structure of the world, only one acceptable or complete worldview, or only one acceptable universal logic. (shrink)