What is a minimal proof-theoretical foundation of logic? Two different ways to answer this question may appear to offer themselves: reduce the whole of logic either to the relation of inference, or else to the property of incompatibility. The first way would involve defining logical operators in terms of the algebraic properties of the relation of inference—with conjunction $$\hbox {A}\wedge \hbox {B}$$ A ∧ B as the infimum of A and B, negation $$\lnot \hbox {A}$$ ¬ A as the minimal (...) incompatible of A, etc. The second way involves introducing logical operators in terms of the relation of incompatibility, such that X is incompatible with $$\{\lnot \hbox {A}\}$$ { ¬ A } iff every Y incompatible with X is incompatible with {A}; and X is incompatible with $$\{\hbox {A}\!\wedge \!\hbox {B}\}$$ { A ∧ B } iff X is incompatible with {A,B}; etc. Whereas the first route leads us naturally to intuitionistic logic, the second leads us to classical logic. The aim of this paper is threefold: to investigate the relationship of the two approaches within a very general framework, to discuss the viability of erecting logic on such austere foundations, and to find out whether choosing one of the ways we are inevitably led to a specific logical system. (shrink)

Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I demonstrate (...) a kind of converse to Carnap’s result. (shrink)

ABSTRACT: A traditional objection to inferentialism states that not all inferences can be meaning-constitutive and therefore inferentialism has to comprise an analytic-synthetic distinction. As a response, Peregrin argues that meaning is a matter of inferential rules and only the subset of all the valid inferences for which there is a widely shared corrective behaviour corresponds to rules and so determines meaning. Unfortunately, Peregrin does not discuss what counts as “widely shared”. In the paper, I argue for an empirical plausibility of (...) Peregrin’s proposal. The aim of the paper is to show that we can find examples of meaning-constitutive linguistic action, which sustain Peregrin’s response. The idea is supported by examples of meaning modulation. If Peregrin is right, then we should be able to find specific meaning modulations in which a new meaning is publicly available and modulated in such a way that it has a potential to be widely shared. I believe that binding modulations – a specific type of meaning modulations – satisfy this condition. (shrink)

This paper is a conceptual study in the philosophy of logic. The question considered is 'How may formulae of the propositional calculus be brought into a representational relation to the world?'. Four approaches are distinguished: (1) the denotational approach, (2) the abbreviational approach, (3) the truth-conditional approach, and (4) the modelling approach. (2) and (3) are very familiar, so I do not discuss them. (1), which is now largely obsolete, led to some interesting twists and turns in early analytic philosophy (...) which will come as news to many contemporary readers, so I discuss it in some detail. The modelling approach is, to the best of my knowledge, newly introduced here. I am not presenting it as a rival to the other approaches, but as a philosophically interesting possibility. (shrink)

Recent attempts to define and support realism in semantics seem to acknowledge, as the only defence from skeptical attacks to the notion of meaning, a flat acceptance of the existence of representational relations between language and things in the world. In this paper I reconsider part of the mistrust about the normative character of meaning, in order to show that some of the worries urging the realists to cling on representationalism actually rest on misconceptions. To the contrary, I suggest that (...) normativity is the main strength of a stable realist stance in semantics. Support to this suggestion comes from the reanalysis of some oft-ignored sellarsian themes. (shrink)