Leibniz on Intension,Extension, and the Representation of Syllogistic Inference

New light is shed on Leibniz’s commitment to the metaphysical priority of the intensional interpretation of logic by considering the arithmetical and graphical representations of syllogistic inference that Leibniz studied. Crucial to understanding this connection is the idea that concepts can be intensionally represented in terms of properties of geometric extension, though significantly not the simple geometric property of part-whole inclusion. I go on to provide an explanation for how Leibniz could maintain the metaphysical priority of the intensional interpretation while holding that logically the intensional and the extensional stand in strictly inverse relation to each other. This revised version was published online in June 2006 with corrections to the Cover Date.     

Extending Montague's system: a three valued intensional logic

In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.     

Natural language semantics in biproduct dagger categories

Biproduct dagger categories serve as models for natural language. In particular, the biproduct dagger category of finite dimensional vector spaces over the field of real numbers accommodates both the extensional models of predicate calculus and the intensional models of quantum logic. The morphisms representing the extensional meanings of a grammatical string are translated to morphisms representing the intensional meanings such that truth is preserved. Pregroup grammars serve as the tool that transforms a grammatical string into a morphism. The chosen linguistic examples concern negation, relative noun phrases, comprehension and quantifiers.     

Intensional and extensional analogy items: Differences in performance as a function of academic major and sex

Is there a relationship between academic field and ability to use different types of semantic relation? Performance on two types of analogy item in the Graduate Record Examination (GRE) General Test was compared. Intensional relations are inherent in the meanings of the words and are based on shared or contrasting properties (e. g. farmer:person, breeze:gale, alive: dead, beggar: poor). Extensional relations reflect empirical relations between things in the world and are based on contiguity or causality (e. g.farmer:tractor, road:sidewalk, flu:headache). Performance on the two kinds of analogy items was compared for a single administration of the GRE for English and History majors (verbal group, n = 2238) and electrical engineering, computer science, and mathematics majors (practical group, n = 2143). The verbal group did better on intensional, and the practical group did better on extensional analogies. The difference was not explained by a correlated gender difference by which women did better on intensional and men did better on extensional items. Thus differences in the ability to use intensional and extensional relations was related to academic training, although the direction of this relationship was not established.     

The Broadest Necessity

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language (using truth functional connectives and quantifiers). This relates more generally to a conjecture that it is not possible to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given.     

Suppressing natural heuristics by formal instruction: The case of the conjunction fallacy

A basic principle of probability is the conjunction rule, p(B) p(A&B). People violate this rule often, particularly when judgments of probability are based on intensional heuristics such as representativeness and availability. Though other probabilistic rules are obeyed with increasing frequency as people's levels of mathematical talent and training increase, the conjunction rule generally does not show such a correlation. We argue that this recalcitrance is not due to inescapable “natural assessments”; rather, it stems from the absence of generally useful problem-solving designs that bring extensional principles to bear on this class of problem. We predict that when helpful extensional strategies are made available, they should compete well with intensional heuristics. Two experiments were conducted, using as subjects adult women with little mathematical background. In Experiment 1, brief training on concepts of algebra of sets, with examples of their use in solving problems, reduced conjunction-rule violations substantially, compared with a control group. Evidence from similarity judgments suggested that use of the representativeness heuristic was reduced by the training. Experiment 2 confirmed these training effects and also tested the hypothesis that conjunction-rule violations are due to misunderstanding of “B” as “B and not A.” Changes in detailed wording of the propositions to be ranked produced substantial effects on judgment, but the pattern of these effects supported the hypothesis that, for the type of problem used here, most conjunction errors are due to use of representativeness or availability. We conclude that such intensional heuristics can be suppressed when alternative strategies are taught.     

No Future

The difficulties with formalizing the intensional notions necessity, knowability and omniscience, and rational belief are well-known. If these notions are formalized as predicates applying to (codes of) sentences, then from apparently weak and uncontroversial logical principles governing these notions, outright contradictions can be derived. Tense logic is one of the best understood and most extensively developed branches of intensional logic. In tense logic, the temporal notions future and past are formalized as sentential operators rather than as predicates. The question therefore arises whether the notions that are investigated in tense logic can be consistently formalized as predicates. In this paper it is shown that the answer to this question is negative. The logical treatment of the notions of future and past as predicates gives rise to paradoxes due the specific interplay between both notions. For this reason, the tense paradoxes that will be presented are not identical to the paradoxes referred to above.     

An intensional epistemic logic

One of the fundamental properties inclassical equational reasoning isLeibniz's principle of substitution. Unfortunately, this propertydoes not hold instandard epistemic logic. Furthermore,Herbrand's lifting theorem which isessential to thecompleteness ofresolution andParamodulation in theclassical first order logic (FOL), turns out to be invalid in standard epistemic logic. In particular, unlike classical logic, there is no skolemization normal form for standard epistemic logic. To solve these problems, we introduce anintensional epistemic logic, based on avariation of Kripke's possible-worlds semantics that need not have a constant domain. We show how a weaker notion of substitution through indexed terms can retain the Herbrand theorem. We prove how the logic can yield a satisfibility preserving skolemization form. In particular, we present an intensional principle for unifing indexed terms. Finally, we describe asound andcomplete inference system for a Horn subset of the logic withequality, based onepistemic SLD-resolution.     

State-of-affairs Semantics for Positive Free Logic

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain–outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails.     

Abstraction in Fitch's Basic Logic

Fitch's basic logic is an untyped illative combinatory logic with unrestricted principles of abstraction effecting a type collapse between properties (or concepts) and individual elements of an abstract syntax. Fitch does not work axiomatically and the abstraction operation is not a primitive feature of the inductive clauses defining the logic. Fitch's proof that basic logic has unlimited abstraction is not clear and his proof contains a number of errors that have so far gone undetected. This paper corrects these errors and presents a reasonably intuitive proof that Fitch's system K supports an implicit abstraction operation. Some general remarks on the philosophical significance of basic logic, especially with respect to neo-logicism, are offered, and the paper concludes that basic logic models a highly intensional form of logicism.     

CAUSALITY, INTENSIONALITY AND IDENTITY: MIND BODY INTERACTION IN SPINOZA

According to Spinoza mental events and physical events are identical. What makes Spinoza's identity theory tempting is that it solves the problem of mind body interaction rather elegantly: mental events and physical events can be causally related to each other because mental events are physical events. However, Spinoza seems to deny that there is any causal interaction between mental and physical events. My aim is to show that Spinoza's apparent denial of mind body interaction can be reconciled with the identity theory. I argue that Spinoza had both an extensional and an intensional concept of cause and when Spinoza seems to deny mind body interaction he is having in mind the intensional concept of cause. This intensional concept of cause corresponds to that of causal explanation. I will argue that Spinoza anticipated Donald Davidson's view that even though mental events cannot be explained by referring to physical events and vice versa, mental and physical events are causally related to each other.     

‘Now’ and ‘Then’ in Tense Logic

According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operators might not be redundant in some other systems of tense logic, but this merely indicates a lack of quantificational resources and does not show any deep-seated inability of tense logic to express claims about time. The paper closes with a brief discussion of the modal analogue of this issue, which concerns the role of the actuality operator in quantified modal logic.     

AN INTUITIONISTIC CHARACTERIZATION OF CLASSICAL LOGIC

By introducing the intensional mappings and their properties, we establish a new semantical approach of characterizing intermediate logics. First prove that this new approach provides a general method of characterizing and comparing logics without changing the semantical interpretation of implication connective. Then show that it is adequate to characterize all Kripke_complete intermediate logics by showing that each of these logics is sound and complete with respect to its (unique) ‘weakest characterization property’ of intensional mappings. In particular, we show that classical logic has the weakest characterization property , which is the strongest among all possible weakest characterization properties of intermediate logics. Finally, it follows from this result that a translation is an embedding of classical logic into intuitionistic logic, iff. its semantical counterpart has the property .      

Proof-theoretic Semantics for Classical Mathematics

We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is definable in the Curry-Howard theory.     

A second-order relevance logic with modality

In this paper a system, RPF, of second-order relevance logic with S5 necessity is presented which contains a defined, notion of identity for propositions. A complete semantics is provided. It is shown that RPF allows for more than one necessary proposition. RPF contains primitive syntactic counterparts of the following semantic notions: (1) the reflexive, symmetrical, transitive binary alternativeness relation for S5 necessity, (2) the ternary Routley-Meyer alternativeness relation for implication, and (3) the Routley-Meyer notion of a prime intensional theory, as well as defined syntactic counterparts, of the semantic notions of a possible world and the Routley-Meyer ^* operator.     

The Myth of Reductive Extensionalism

Extensionalism, as I understand it here, is the view that physical reality consists exclusively of extensional entities. On this view, intensional entitities must either be eliminated in favor of an ontology of extensional entities, or be reduced to such an ontology, or otherwise be admitted as non-physical. In this paper I argue that extensionalism is a misguided philosophical doctrine. First, I argue that intensional phenomena are not confined to the realm of language and thought. Rather, the ontology of such phenomena is intimately entwined with the ontology of properties. After providing some evidence to the popularity of extensionalism in contemporary analytic philosophy, I investigate the motivating reasons behind it. Considering several explanations, I argue that the main motivating reason is rooted in the identification of matter with extension, an identification which is one of the hallmarks of the mechanistic conception of nature inherited from the founding fathers of our modern scientific outlook. I then argue that such a conception is not only at odds with a robust ontology of properties but is also at odds with our best contemporary physics. Rather than vindicating extensionalism contemporary science undermines the position, and the lesson to be drawn from this surprising fact is that extensionalism needs no longer be espoused as a regulative ideal of naturalistic philosophy. I conclude by showing that the ontological approach to intensional phenomena advocated throughout the paper also gains support from an examination of the historical context within which ‘intension’ was first introduced as a semantic notion.

λ-Normal forms in an intensional logic for English

Montague [7] translates English into a tensed intensional logic, an extension of the typed -calculus. We prove that each translation reduces to a formula without -applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of English phrases have the special property that arguments to functions are modally closed. We then show that formulas in which arguments are modally closed have a unique fully reduced -normal form. As a corollary, translations of English phrases are contained in a simply defined proper subclass of the formulas of the intensional logic.This research is supported in part by National Science Foundation Grant BNS 76-23840.     

Counting distinctions: on the conceptual foundations of Shannon’s information theory

Categorical logic has shown that modern logic is essentially the logic of subsets (or “subobjects”). In “subset logic,” predicates are modeled as subsets of a universe and a predicate applies to an individual if the individual is in the subset. Partitions are dual to subsets so there is a dual logic of partitions where a “distinction” [an ordered pair of distinct elements (u, u′) from the universe U] is dual to an “element”. A predicate modeled by a partition π on U would apply to a distinction if the pair of elements was distinguished by the partition π, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered |U|² pairs from the finite universe. That yields a notion of “logical entropy” for partitions and a “logical information theory.” The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon’s theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon’s theory based on the logical notion of “distinctions.” This paper is dedicated to the memory of Gian-Carlo Rota—mathematician, philosopher, mentor, and friend.