I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

http://dx.doi.org/10.5007/1808-1711.2009v13n3p357 Neste trabalho concorda-se com a tese de I. Hacking segundo a qual o significado das constantes lógicas é dado pelas Regras de Introdução e Eliminação do cálculo de sequentes de Gentzen que caracterizam a concepção da noção de consequência lógica abstrata. Perguntamos quais são as regras mínimas que um conectivo deve satisfazer para que seja considerado uma negação genuína. Tomaremos como referência para tratar dessa questão os C-sistemas de Newton da Costa e o sistema LP de Graham Priest. Finalmente, (...) analisaremos esses sistemas na lógica de sequentes a fim de mostrar que a negação paraconsistente ou bem carece das regras puras de eliminação e negação da negação ou ela envolve outros conectivos, o que torna difícil atribuir um significado unívoco à negação paraconsistente. (shrink)

Two different kinds of multiple-conclusion consequence relations taken from Shoesmith and Smiley and Galatos and Tsinakis or Nowak, called here disjunctive and conjunctive, respectively, defined on a formal language, are considered. They are transferred into a bounded lattice and a complete lattice, respectively. The properties of such abstract consequence relations are presented.

A comparison is given between two conditions used to define logical constants: Belnap's uniqueness and Hacking's deducibility of identicals. It is shown that, in spite of some surface similarities, there is a deep difference between them. On the one hand, deducibility of identicals turns out to be a weaker and less demanding condition than uniqueness. On the other hand, deducibility of identicals is shown to be more faithful to the inferentialist perspective, permitting definition of genuinely proof-theoretical concepts. This kind of (...) analysis is driven by exploiting the Curry–Howard correspondence. In particular, deducibility of identicals is shown to correspond to the computational property of eta expansion, which is essential in the characterization of propositional identity. (shrink)

According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In (...) this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic. (shrink)

This article begins by exploring a lost topic in the philosophy of science:the properties of the relations evidence confirming h confirmsh'' and, more generally, evidence confirming each ofh1, h2, ..., hm confirms at least one of h1, h2,ldots;, hn''.The Bayesian understanding of confirmation as positive evidential relevanceis employed throughout. The resulting formal system is, to say the least, oddlybehaved. Some aspects of this odd behaviour the system has in common withsome of the non-classical logics developed in the twentieth century. Oneaspect (...) – its ``parasitism'''' on classical logic – it does not, and it is this featurethat makes the system an interesting focus for discussion of questions in thephilosophy of logic. We gain some purchase on an answer to a recently prominentquestion, namely, what is a logical system? More exactly, we ask whether satisfaction of formal constraints is sufficient for a relation to be considered a (logical) consequence relation. The question whether confirmation transfer yields a logical system is answered in the negative, despite confirmation transfer having the standard properties of a consequence relation, on the grounds that validity of sequents in the system is not determined by the meanings of the connectives that occur in formulas. Developing the system in a different direction, we find it bears on the project of ``proof-theoretic semantics'''': conferring meaning on connectives by means of introduction (and possibly elimination) rules is not an autonomous activity, rather it presupposes a prior, non-formal,notion of consequence. Some historical ramifications are alsoaddressed briefly. (shrink)

I finished my undergraduate degree at Monash University and joined Charles Hamblin’s seminar at the University of NSW in March, 1968. Phil Staines from the University of Newcastle joined at the same time, and Vic Dudman was an established member. Hamblin’s book Fallacies would be published in 1970, but the seminar discussions rarely concerned fallacies. This may have been because Hamblin had been working for so long and so closely with those ideas that he was now ready to turn elsewhere. (...) But I shall argue that the book was only part of a much broader program, other parts of which occupied us in the seminars. Hamblin never explicitly discussed the writing of Fallacies with me, and what follows is an attempt to explain how the book fitted into his overall project as a logician, drawn from his published works and from what I remember of his contributions to the seminar. (shrink)

Gilbert Harman, in Logic and Reasoning (Synthese 60 (1984), 107–127) describes an unsuccessful attempt ... to develop a theory which would give logic a special role in reasoning. Here reasoning is psychological, a procedure for revising one''s beliefs. In the present paper, I construe reasoning sociologically, as a process of linguistic interaction; and show how both reasoning in the psychologistic sense and logic are related to that process.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...) shall grant Dummett his general bias towards verificationism, encapsulated in the slogan 'meaning is use'. The second general assumption I see no need to question is Dummett's particular breed of molecularism. Some of Dummett's assumptions will have to be given up, if classical logic is to be vindicated in his meaning-theoretical framework. A major result of this paper will be that the meaning of negation cannot be defined by rules of inference in the Dummettian framework. (shrink)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned than their expressivist rivals to provide (...) the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

The linguistic theory of the logical A Priori: is it obsolete In holistic interpretations, the logical truths are considered as continuous with empirical science: they are revisable, a posteriori, though very near to the centre of our web of belief. In this paper, we consider the merits and demerits of this approach, and we propose that it is necessary to revaluate holistic philosophies of logic. Some arguments are put forward which point in favour of the logical empiricists’ theory of logical (...) truth. We argue (following Hartry Field) that the concept of “correlation between logical facts and logical beliefs” (which is at the heart of the holistic theory) is inconsistent. Finally, we concentrate on the principle of contradiction and argue (following Manley Thompson) that this principle is fundamental for meaning, truth, and thinking. This thesis is derived from considerations on the nature of intentionality. (shrink)

In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.

Everyday reasoning is replete with arguments which, though not logically valid, nonetheless harbor a measure of credibility in their own right. Here the claim that such arguments force us to acknowledge material validity, in addition to logical validity, is advanced, and criteria that attempt to unpack this concept are examined in detail. Of special concern is the effort to model these criteria on explications of logical validity that rely on notions of substitutivity and logical form. It is argued, however, that (...) such a parallel is not easily located and that it is uncertain that a construal of material validity can be fashioned after traditional accounts of logical validity. Attention is also given to the topics of enthymemes and to the proper domain of logic. (shrink)

A new type of formalization of classical first-order logic with equality is introduced on the basis of the sequent calculus. It serves to justify the claim that equality is a logical constant characterised by well-behaved rules satisfying properties usually regarded as essential. The main feature of this approach is the application of sequents built not only from formulae but also from terms. Two variants of sequent calculus are examined, a structural and a logical one. The former is defined in accordance (...) with Dos̆en’s criteria for logical constants. The latter is a standard Gentzen’s sequent calculus and satisfies Hacking’s criteria for logicality, including cut elimination. It is also shown that provided rules are harmonious in the sense advocated by Gratzl and Orlandelli. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

Ian Hacking's [6] is a spirited romp though a broad field of metaphysics, touching on a variety of important questions, and appealing to deep results in mathematical logic while remaining free of logical pedantry. Philosophical journals might be more fun to read if others could write in his style. It is an essay in applying the theory of logic expounded in more detail in his very interesting [7]. Unfortunately, despite my sympathy for his project, I have a number of criticisms (...) to make of his argument. Some of them are picky logical points, but the major conclusions of [6] are affected. (shrink)

“The confusion of a logical with a real predicate,” according to the Critique of Pure Reason, “is almost beyond correction”. Kant did not assert that existence is no predicate, but that it is only a “logical” one, and not a “real” one. Much the same thing has been said about identity, although Kant himself thought it is real and not logical. We have long lacked a rigorous criterion to distinguish real from logical predicates, and hence have not been able to (...) say why the difference matters. This paper has two objects. First it provides a demarcation between real and logical predicates that confirms Kant's dictum that existence is only “logical.” Secondly it states the theory of a “logical” relation of identity. Perhaps this is not the only identity relation. I show only that once it has been precisely defined in the right setting, there are definite answers to a number of disputed questions about identity. Maybe there are other concepts of identity for which different answers are to be given, but I shall not discuss that disagreeable prospect here. A third application concerns the ontological argument. (shrink)

This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Dos̆en’s analysis, allows us to claim that (...) the corresponding modal operators are logical constants. (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)

In this paper investigates how natural deduction rules define connective meaning by presenting a new method for reading semantical conditions from rules called natural semantics. Natural semantics explains why the natural deduction rules are profoundly intuitionistic. Rules for conjunction, implication, disjunction and equivalence all express intuitionistic rather than classical truth conditions. Furthermore, standard rules for negation violate essential conservation requirements for having a natural semantics. The standard rules simply do not assign a meaning to the negation sign. Intuitionistic negation fares (...) much better. Not only do the intuitionistic rules have a natural semantics, that semantics amounts to familiar intuitionistic truth conditions. We will make use of these results to argue that intuitionistic connectives, rather than standard ones have a better claim to being the truly logical connectives. (shrink)

Natural deduction systems were motivated by the desire to define the meaning of each connective by specifying how it is introduced and eliminated from inference. In one sense, this attempt fails, for it is well known that propositional logic rules underdetermine the classical truth tables. Natural deduction rules are too weak to enforce the intended readings of the connectives; they allow non-standard models. Two reactions to this phenomenon appear in the literature. One is to try to restore the standard readings, (...) for example by adopting sequent rules with multiple conclusions. Another is to explore what readings the natural deduction rules do enforce. When the notion of a model of a rule is generalized, it is found that natural deduction rules express “intuitionistic” readings of their connectives. A third approach is presented here. The intuitionistic readings emerge when models of rules are defined globally, but the notion of a local model of a rule is also natural. Using this benchmark, natural deduction rules enforce exactly the classical readings of the connectives, while this is not true of axiomatic systems. This vindicates the historical motivation for natural deduction rules. One odd consequence of using the local model benchmark is that some systems of propositional logic are not complete for the semantics that their rules express. Parallels are drawn with incompleteness results in modal logic to help make sense of this. (shrink)

We build on an existing a term-sequent logic for the λ-calculus. We formulate a general sequent system that fully integrates αβη-reductions between untyped λ-terms into first order logic. We prove a cut-elimination result and then offer an application of cut-elimination by giving a notion of uniform proof for λ-terms. We suggest how this allows us to view the calculus of untyped αβ-reductions as a logic programming language (as well as a functional programming language, as it is traditionally seen).

Is it possible for there to be facts about reality with a logical structure that is in principle unrepresentable by us? I outline the main motivations for thinking that this question should receive a positive answer. I then argue that, upon inspection, the view that such structurally ineffable facts are possible is self-defeating and thus incoherent. My argument is based on considerations about the fundamental role that the purely formal concept of an object plays in our propositional representations and its (...) intimate connection with subject-predicate structure. (shrink)

The aim of this article is to argue against the real possibility of languages without subject‐predicate structure, so‐called feature‐placing languages. They were first introduced by Strawson (1959/1990), later given formal expression through Quine's Predicate Functor Logic (Quine, 1960, Quine, 1971/Quine, 1976, Quine, 1992), and further elaboration in (Hawthorne & Cortens, 1995). I argue that, on the presumption that feature‐placing languages are not mere notational variants on first‐order languages, the idea of such languages is incoherent. The argument for this view rests (...) on two highly plausible views about the conditions for the possibility of sentential meaning in natural languages. If accepted, these two views jointly imply that the sentences of feature‐placing languages lack sufficient internal structure to meet the conditions for sentential meaning. Feature‐placing languages cannot then count as genuine languages. (shrink)

The paper starts with an examination and critique of Tarski’s wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is invariant with respect to arbitrary permutations of the domain. The class of such operations has been characterized by McGee as exactly those definable in the language L∞,∞. Also characterized similarly is a natural generalization of Tarski’s thesis, due to Sher, in terms of bijections between domains. My main (...) objections are that on the one hand, the Tarski-Sher thesis thus assimilates logic to mathematics, and on the other hand fails to explain the notion of same logical operation across domains of different sizes. A new notion of homomorphism invariant operation over functional type structures (with domains M0 of individuals and {T, F} at their base) is introduced to accomplish the latter. The main result is that an operation is definable from.. (shrink)

What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbrack)$. In this paper we introduce a general semantic framework that allows us to investigate the notion of inference (...) more carefully. Validity inference and truth inference are in some sense the extremal points in our framework. We investigate the relationship between various types of inference in our general framework, and consider the complexity of deciding if an inference rule is sound, in the context of a number of logics of interest: classical propositional logic, a nonstandard propositional logic, various propositional modal logics, and first-order logic. (shrink)

Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form (...) of intra-theoretical logical pluralism. (shrink)

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

In the original publication of the article, in Definition 4, the sixth line which reads as.

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

This book proposes to identify three long-term structures in causal reasoning - in particular, in terms of the relationship between cause and identity - that appear to be of value in categorizing and organizing various trends in philosophical thought.<br>Such conceptual schemes involve a host of philosophical dilemmas (such as the problem of relativism), which are examined in the first chapter. A number of naturalistic and transcendental approaches to this problem are also analysed.<br>In particular, the book attempts to construct a theoretical (...) basis for Foucault's tripartite classification of epistemological structures in European thought.<br>The final chapter attempts to buttress the above schema by extending the analysis from cause and identity to growth, change, and stability, critiquing certain ideas of Foucault and Heidegger, as well as examining the contemporary thought of process philosophy and complexity theory.<br><br>Contents<br><br>Contents: Plurality and Causality - What is a Paradigm? - Paradigms and Causal Structure - Universality and Mathesis Universalis - Temporality and Visibility - Classical and Modern Probability Theory - The Environment and Non-Monotonicity - The Marburg School and the Limit Concept; Foucault's concept of 'Man' - Nineteenth Century Philosophy of Science - A Dynamic Model - Foucault and the Birth of the Clinic - Process, Growth and Complexity - Time and History. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note that the Tarskian theory of logical consequence has fared better in the face of the difficulties than the Tarskian theory of logical (...) constancy. Other theories of these notions are explained and criticized. (shrink)

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and ontology overlap.

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

Ian Hacking (born in 1936, Vancouver, British Columbia) is most well-known for his work in the philosophy of the natural and social sciences, but his contributions to philosophy are broad, spanning many areas and traditions. In his detailed case studies of the development of probabilistic and statistical reasoning, Hacking pioneered the naturalistic approach in the philosophy of science. Hacking’s research on social constructionism, transient mental illnesses, and the looping effect of the human kinds make use of historical materials to shed (...) light on how developments in the social, medical, and behavioural sciences have shaped our contemporary conceptions of identity and agency. Hacking’s other contributions to philosophy include his work on the philosophy of mathematics (Hacking, 2014), philosophy of statistics, philosophy of logic, inductive logic (Hacking, 1965, 1979, 2001) and natural kinds (Hacking, 1991, 2007a). (shrink)

✤ It is the characterization of those forms of reasoning that lead invariably from true sentences to true sentences, independently of the subject matter.

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics.

The semantics of noun phrases (NPs) is of crucial importance for both philosophy and linguistics. Throughout much of the history of the debate about the semantics of noun phrases there has been an implicit assumption about how they are to be understood. Basically, it is the assumption that NPs come only in two kinds. In this paper we would like to make that assumption explicit and discuss it and its status in the semantics of natural language. We will have a (...) look at how the assumption is to be understood more precisely, what its methodological status should be, whether it has been abandoned in recent work in semantics, and whether it should be abandoned in future work. To do all this, it’s best to start with some historical context. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)