The paper argues that a philosophically informative and mathematically precise characterization is possible by (i) describing a particular proposal for such a characterization, (ii) showing that certain criticisms of this proposal are incorrect, and (iii) discussing the general issue of what a characterization of logical constants aims at achieving.

Fully adequate answers to these questions are best provided in a comprehensive philosophy of logic. Within shorter compass, it is nevertheless possible to be guided by some conditions that are necessary to adequate answers. These will be results of the analysis of propositions and statements. They are necessary, since no answers to the questions about the constants will be acceptable if, for example, it follows from the answers that propositions or statements cannot be unities, or that propositions or statements (...) cannot be true or false. (shrink)

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

The paper provides a new argument against the classical invariance criterion for logical terms: if all terms with a permutation invariant extension qualify as logical, then for any arbitrary true contingent sentence K of the meta-language, there would be a logically true object-language sentence 'φ' such that K follows from the sentence 'φ is true'. Thus, many logically true sentences would be a posteriori. To prevent this fatal consequence, we propose to alter the invariance criterion: not only the (...) term's extension, but also its semantic clause must satisfy certain invariance conditions. The paper ends with the observation that the new criterion makes explicit the dependency of the classification of terms into logical and non-logical ones at the different levels of the Tarskian hierarchy of languages. (shrink)

Logical form is thought to be discovered by keeping fixed the logical constants and allowing the non-logical content in the sentence to vary. The problem of logical constants is the problem of defining what counts as a logical constant. In this paper, I will argue that the concept ’logical constant’ is vague. I demonstrate the vagueness of logical constancy by providing a sorites argument, thereby showing the sorites-susceptibility of the concept. Many (...) prior papers in the literature on logical constants hint at this vagueness, but do not explore how theories of vagueness apply to logical constants. In the second half of this paper, I do just this. I consider approaches to logical constants that resemble nihilism about vagueness and more recent theories that relativize truth to precisifications. Finally, I argue that approaches that accept the potential indeterminate status of putative logical constants are preferable to nihilism or relativism about logical constancy. (shrink)

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)

There is as yet no settled consensus as to what makes a term a logical constant or even as to which terms should be recognized as having this status. This essay sets out and defends a rationale for identifying logical constants. I argue for a two-tiered approach to logical theory. First, a secure, core logical theory recognizes only a minimal set of constants needed for deductively systematizing scientific theories. Second, there are extended logical (...) theories whose objectives are to systematize various pre-theoretic, modal intuitions. The latter theories may recognize a variety of additional constants as needed in order to formalize a given set of intuitions. (shrink)

This paper tries to integrate a psychological account of propositional reasoning and a realistic conception of logical constants. I argue that the harmony between the norms of reasoning given by the semantics of ordinary logic and the psychology of reasoning holds good.

The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or (...) maybe even that it should be abandoned? I shall review the different types of objections that have been made against invariance as a logicality criterion and distinguish between three kinds of objections, skeptical worries against the very relevance of such a demarcation, intensional warnings against the level at which the criterion operates, and extensional quarrels against the results that are obtained. I shall argue that the first two kinds of objections are at least partly misguided and that the third kind of objection calls for amendment rather than abandonment. (shrink)

This paper endorses and defends M. J. Cresswell's view that the distinction drawn in linguistic semantics between strictly "logical" implication and merely lexical implication is bogus, and then explores the bad consequences that concession has for the Davidsonian semantic program. A pattern of semantic explanation made famous by Davidson's "The logical form of action sentences" is shown to be far less interesting than has been thought.

What is the relationship between logic and reasoning? How do logical norms guide inferential performance? This paper agrees with Gilbert Harman and most of the psychologists that logic is not directly relevant to reasoning. It argues, however, that the mental model theory of logical reasoning allows us to harmonise the basic principles of deductive reasoning and inferential perfomances, and that there is a strong connexion between our inferential norms and actual reasoning, along the lines of Peacocke’s conception of (...) inferential role. (shrink)

There is as yet no settled consensus as to what makes a term a logical constant or even as to which terms should be recognized as having this status. This essay sets out and defends a rationale for identifying logical constants. I argue for a two-tiered approach to logical theory. First, a secure, core logical theory recognizes only a minimal set of constants needed for deductively systematizing scientific theories. Second, there are extended logical (...) theories whose objectives are to systematize various pre-theoretic, modal intuitions. The latter theories may recognize a variety of additional constants as needed in order to formalize a given set of intuitions. (shrink)

Many philosophers claim that understanding a logical constant (e.g. ‘if, then’) fundamentally consists in having dispositions to infer according to the logical rules (e.g. Modus Ponens) that fix its meaning. This paper argues that such dispositionalist accounts give us the wrong picture of what understanding a logical constant consists in. The objection here is that they give an account of understanding a logical constant which is inconsistent with what seem to be adequate manifestations of such understanding. (...) I then outline an alternative account according to which understanding a logical constant is not to be understood dispositionally, but propositionally. I argue that this account is not inconsistent with intuitively correct manifestations of understanding the logical constants. (shrink)

This paper reflects on the limits of logical form set by a novel criterion of logicality proposed in (Bonnay and Speitel, 2021). The interest stems from the fact that the delineation of logical terms according to the criterion exceeds the boundaries of standard first-order logic. Among ‘novel’ logical terms is the quantifier “there are infinitely many”. Since the structure of the natural numbers is categorically characterisable in a language including this quantifier we ask: does this imply that (...) arithmetical forms have been reduced to logical forms? And, in general, what other conditions need to be satisfied for a form to qualify as “fully logical”? We survey answers to these questions. (shrink)

The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.

The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in (...) particular of the vexed issue of demarcating the class of logical constants. I begin with a characterization of currently widespread views on form and matter in logic, which I refer to as 'logical hylomorphism as we know it'—LHAWKI, for short—and argue that the hylomorphism underlying LHAWKI is mereological. Next, I sketch an overview of the historical developments leading from Aristotelian, non-mereological metaphysical hylomorphism to mereological logical hylomorphism (LHAWKI). I conclude with a reassessment of the prospects for the combination of hylomorphism and logic, arguing in particular that LHAWKI is not the only and certainly not the most suitable version of logical hylomorphism. In particular, this implies that the project of demarcating the class of logical constants as a means to define the scope and nature of logic rests on highly problematic assumptions. (shrink)

Extending the language of the intuitionistic propositional logic Int with additional logical constants, we construct a wide family of extensions of Int with the following properties: (a) every member of this family is a maximal conservative extension of Int; (b) additional constants are independent in each of them.

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)

May the theory of radical interpretation developed by Donald Davidson on the basis of Quine's arguments for the indeterminacy of translation help fix the meaning of the logical constants? In particular, may the theory exclude ways of conferring meaning on the constants which, although developed within the Davidsonian framework, would lead to unexpected results? Could an interpreter fix the meaning of the constants in a non classical way, although still in accordance with the guiding principles of (...) the interpretative strategy? Or, on the contrary, does the theory incorporate constraints on interpretation which are stronger than those imposed by the possibility of non classical, or deviant logics? I examine the particular case of negation within the framework of the natural deduction system developed by Gentzen and Prawitz, and conclude that Davidson's theory, understood as an empirical theory of truth, leaves the problem of knowing which meaning should be assigned to the constant for negation without a satisfactory solution. Although interpetation has to be carried out according to the principle of charity, disagreements may come up regarding which meaning should be assigned to "not" in a properly regimented natural language. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By (...) defining a logical-term-free language with the full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

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.

Donald Dvaidson has claimed that a theory of meaning identifies the logical constants of the object language by treating them in the phrasal axioms of the theory, and that the theory entails a relation of logical consequence among the sentences of the object language. Section 1 offers a preliminary investigation of these claims. In Section 2 the claims are rebutted by appealing to Evans's paradigm of a theory of meaning. Evans's theory is deliberately blind to any relation (...) of logical consequence among the sentences of the object language, and entails only what Evans takes to be a distinct and deeper relation of structural validity among the sentences of the object language. In Section 3 we turn to Evans's motivation in order to compare the two paradigms of a theory of meaning. Evans laid down criteria under which a theory of meaning gives what he called a ‘transcendent’ semantic classification of the lexicon of the object language, in contrast to a mere ‘immanent’ classification. However, when these criteria are applied we find that, pace Evans, they favour Davidson's paradigm over Evans's. In the final section we show that Evans's conception of structural consequence turns out to be a deeper formulation of logical consequence. (shrink)

If deontic logic is to cast light on any of the normative sciences, such as legal reasoning, then certain problems regarding its logical constants must be faced. Recent studies in the area of deontic logic have tended to assume that it is our responses to the “paradoxes” of deontic implication which are fundamental to resolving problems with the use of deontic logic to investigate various branches of normative reasoning. In this paper I wish to show that the paradoxes (...) are of secondary importance; that they are merely by‐products of the central issue, namely the ability of certain syntactic forms to embody natural language structures used in reasoning about norms. An investigation of modal syntax is proffered as the best starting‐point from which to tackle the questions that still dog the legitimacy of deontic logic. Part I provides some philosophical background to the discussion of deontic logical constants. Part II addresses in greater detail issues concerning the representation of normative concepts; and Part III offers a few remarks on the general issue of deontic logic's fruitfulness as an analytical tool. (shrink)

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ?inferential definitions? of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as (...) a semantic foundation for logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations. (shrink)

ABSTRACT My aim in this paper is to present a pluralist thesis about the inferential role of logical constants, which embraces classical, relevant, linear and ordered logic. That is, I defend that a logical constant c has more than one correct inferential role. The thesis depends on a particular interpretation of substructural logics' vocabulary, according to which classical logic captures the literal meaning of logical constants and substructural logics encode a pragmatically enriched sense of those (...) connectives. The paper is divided into four parts: first, I introduce the motivation for the pluralist thesis of the paper; second I introduce the calculus for the different logics endorsed in the pluralist thesis; third, I motivate how the different behaviors of the logical vocabulary of these logics can be pragmatically interpreted, and fourth, I motivate how the different inferential roles that each substructural logic attribute to logical constants can coexist, and how we should reason with a logical constant c given this plurality. (shrink)

Drawing on affective sciences, I argue that normally elicited emotions involve a component—the appraisal process—that represents evaluative properties unconsciously. More specifically, I argue that, given a substantial agreement in affective sciences about what emotions are, given broadly shared definitions of representation, evaluative properties, and unconsciousness, given how appraisals are conceptualized by most (neuro)psychological theories of emotion, and given empirical evidence about affective states elicited by stimuli perceived unconsciously, we are led to conclude that normally elicited emotions involve a component that (...) represents evaluative properties unconsciously. In the last section, I assess which philosophical theories of emotions are in contradiction with my conclusion, ask whether it implies that emotions represent evaluative properties consciously as well, and discuss how it relates to the debate on unconscious emotions. (shrink)

When we see or hear a spontaneous emotional expression, we usually immediately, effortlessly, and often correctly interpret it to mean happiness, sadness, or some other emotion as well as what this emotion is about. How do we do that? In this article, I evaluate how useful the concepts of natural meaning and probabilistic meaning are when it comes to explaining how we and other animals interpret emotional signs displayed without communicative intentions. I argue that Grice’s notion of natural meaning, because (...) it is a factive relation, is too restrictive for this purpose. I then present the notion of probabilistic meaning. The latter seems adequate for analyzing our ability to interpret non-communicative emotional signs, but it faces several difficulties when it comes to analyzing how we and other animals interpret emotional _signals_, i.e. signs that have the function to communicate emotional information. I present three of these difficulties. En passant, I suggest that a teleosemantic notion may be better suited for these challenges. (shrink)

Bayesian approaches to legal reasoning propose causal models of the relation between evidence, the credibility of evidence, and ultimate hypotheses, or verdicts. They assume that legal reasoning is the process whereby one infers the posterior probability of a verdict based on observed evidence, or facts. In practice, legal reasoning does not operate quite that way. Legal reasoning is also an attempt at inferring applicable rules derived from legal precedents or statutes based on the facts at hand. To make such an (...) inference, legal reasoning follows syllogistic logic and first order transitivity. This paper proposes a Bayesian model of legal syllogistic reasoning that complements existing Bayesian models of legal reasoning using a Bayesian network whose variables correspond to legal precedents, statutes, and facts. We suggest that legal reasoning should be modelled as a process of finding the posterior probability of precedents and statutes based on available facts. (shrink)

Drewermann himself typifies his whole literary theological activity as a therapy. Therefore, we may consider his therapeutic concern as the structural principle of this synthetic survey of his fundamental ideas. Therapy means deliverance from an evil situation. Throughout Drewermann’s oeuvre this evil situation is being approached from a double standpoint. Now it is described as anxiety , then again as psychic imperfection of man who suppresses essential elements of his inner life in the unconscious. This two perspectives are at the (...) origin of two distinctive trains of thought which run like a seam trough Drewermann’s oeuvre. Either develops its own logic which leads to divergent standpoint with regard to religious fundamental convictions which do not lend themselves to one synthesis. The vision on God as deliverer from anxiety maintains the fundamental ideas of traditional Christian theology like the belief in a transcendent personal God and in the unique role of Christ in the mystery of salvation. Typical of this vision is also the pessimistic outlook on man’s natural existence as they are made explicit in the myths of the Jahwistic primitive history. Mythology is to be surpassed by theology. In contrast, archetypal hermeneutics are in the service of man’s perfection, and have totally different, even opposite, theological implication with regard to the essence of man and his relationship with God. Obviously, hermeneutics are based on an optimistic view of man’s natural existence as it is made explicit in the archetypes. At the same time this perspective calls God’s transcendence into question. We find many statements that point to a coincidence of ‘Gottfindung’ and 'Selbstfindung’, Christ’s unique role in the mystery of salvation according to traditional theology runs the risk to get lost. Christ is reduced to one of the many possible phenomena of a generally human retigion which comes to light in the archetypes. Confronted with these fundamental problems, Drewermann claims that Bible reading in the line of depth psychology must be surpassed by theological explanation. The concomitant emphasis on shortcomings, even aberrations which the interpretation of depth psychology exposes leads Drewermann’s line of thought into insoluble aporia. In the healing process as a coming to perfection of fragmented man, the archetypes are considered as components of a human psyche , good as such, which have to be integrated with conscious life. In man’s striving for deliverance from existential anxiety , the myths and archetypes are seen as a description of an inherently disastrous human existence labouring under anxiety. Thus, the interpretation of Drewermann’s theology is faced with an apparently insoluble contradiction: on the one hand, the archetypal dream of mankind is the ‘language of God’; on the other, Drewermann takes the ‘overcoming of the myths’ the starting point of his theology. What comes to light about the relationship between God and man in both the interpretations in depth psychology and in theology runs not not only directly parallel, but the theological interpretation gives a verdict on the ‘archetypal hermeneutics’ which Drewermann’s new contribution to theology wants to be and to which the bulk of his oeuvre is devoted. (shrink)

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of (...) Dummett and his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)