Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

We propose a critique ofnormativism, defined as the idea that human thinking reflects a normative system against which it should be measured and judged. We analyze the methodological problems associated with normativism, proposing that it invites the controversial “is-ought” inference, much contested in the philosophical literature. This problem is triggered when there are competing normative accounts (the arbitration problem), as empirical evidence can help arbitrate between descriptive theories, but not between normative systems. Drawing on linguistics as a model, we propose (...) that a clear distinction between normative systems and competence theories is essential, arguing that equating them invites an “is-ought” inference: to wit, supporting normative “ought” theories with empirical “is” evidence. We analyze in detail two research programmes with normativist features – Oaksford and Chater's rational analysis and Stanovich and West's individual differences approach – demonstrating how, in each case, equating norm and competence leads to an is-ought inference. Normativism triggers a host of research biases in the psychology of reasoning and decision making: focusing on untrained participants and novel problems, analyzing psychological processes in terms of their normative correlates, and neglecting philosophically significant paradigms when they do not supply clear standards for normative judgement. For example, in a dual-process framework, normativism can lead to a fallacious “ought-is” inference, in which normative responses are taken as diagnostic of analytic reasoning. We propose that little can be gained from normativism that cannot be achieved by descriptivist computational-level analysis, illustrating our position with Hypothetical Thinking Theory and the theory of the suppositional conditional. We conclude that descriptivism is a viable option, and that theories of higher mental processing would be better off freed from normative considerations. (shrink)

It is not the aim of the present essay to defend the principle of empiricism against apriorism or anti-empiricist metaphysics. Taking empirism for granted, we wish to discuss, the question what is meaningful. The word ‘meaning’ will here be taken in its empiricist sense; an expression of language has meaning in this sense if we know how to use it in speaking about empirical facts, either actual or possible ones. Now our problem is what expressions are meaningful in this sense. (...) We may restrict this question to sentences because expressions other than sentences are meaningful if and only if they can occur in a meaningful sentence. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

The aim here is to investigate assertion and inference as notions of logic. Assertion will be explained in terms of its purpose, which is to give interlocutors the right to request the assertor to do a certain task. The assertion is correct if, and only if, the assertor knows how to do this task. Inference will be explained as an assertion equipped with what I shall call a justification profile, a strategy for making good on the assertion. The inference is (...) valid if, and only if, correctness is preserved from the premiss assertions to the conclusion assertion. Most of this is a spelling out of views on assertion and inference presented by Per Martin-Löf in lectures since 2015. (shrink)

The metaphysics of relations is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations. Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if progress is to be made.

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of (...) import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

In this paper, the author derives the Dedekind-Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege's *Grundgesetze*. The proofs of the theorems reconstruct Frege's derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (...) (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege's conception of numbers and logical objects. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

[This Invited Paper will be published in December 2016.].

The paper describes the evolution of russell's theory of judgment between 1910 and 1913, With especial reference to his recently published "theory of knowledge" (1913). Russell abandoned the book and with it the theory of judgment as a result of wittgenstein's criticisms. These criticisms are examined in detail and found to constitute a refutation of russell's theory. Underlying differences between wittgenstein's and russell's views on logic are broached more sketchily.

We address the following questions in this paper: (1) Which set or number existence axioms are needed to prove the theorems of ‘ordinary’ mathematics? (2) How should Frege’s theory of numbers be adapted so that it works in a modal setting, so that the fact that equivalence classes of equinumerous properties vary from world to world won’t give rise to different numbers at different worlds? (3) Can one reconstruct Frege’s theory of numbers in a non-modal setting without mathematical primitives such (...) as “the number of Fs” ( $$\#F$$ ) or mathematical axioms such as Hume’s Principle? Our answer to question (1) is ‘None’. Our answer to question (2) begins by defining ‘x numbers G’ as: x encodes all and only the properties F such that being-actually-F is equinumerous to G with respect to discernible objects. We answer (3) by showing that the mere existence of discernible objects allows one to reconstruct Frege’s derivation of the Dedekind-Peano axioms in a non-modal setting. (shrink)

The Hilbert program was actually a specific approach for proving consistency, a kind of constructive model theory. Quantifiers were supposed to be replaced by ε-terms. εxA(x) was supposed to denote a witness to ∃xA(x), or something arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system S, each ε-term can be replaced by a numeral, making each line provable and true. This implies that S must not only be consistent, but also 1-consistent. Here we (...) show that if the result is supposed to be provable within S, a statement about all Pi-0-2 statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles Gödel's but arises naturally out of the Hilbert program itself. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

The consensus among legal philosophers is probably that rule-based legal expert systems leave much to be desired as aids in legal decision-making. Why? What can we do about it? A bureaucrat administering some set of complex rules will ascertain the facts and apply the rules to them in order to discover their consequences for the case in hand. This process of deductive reasoning is characteristically bureaucratic.

This paper concerns the recent debate on the nature and motivations of the epistemological project advanced in Rudolf Carnap's (1891-1970) Aufbau. Much of this debate has been initiated by Michael Friedman and Alan Richardson who argue (against the received view of the Aufbau as a foundationalist defense of empiricism) that Carnap's epistemological project is located in the tradition of neo-Kantian epistemology. On this revisionist reading of the Aufbau, Carnap's project is not motivated to address traditional empiricist problems regarding the justification (...) of knowledge, but rather to show how objective knowledge is possible. A central aspect of the Aufbau that is neglected in the revisionists' analysis is the role of epistemic justification in Carnap's project. The aim of the present study is to argue that although the general epistemology in the Aufbau can be cast as neo-Kantian, Carnap's method of construction theory (or rational reconstruction) is formulated precisely as an empiricist method for the justification of conceptual knowledge. Construction theory radically redefines `empirical justification' into a formal-conventional notion, and is part of Carnap's more general agenda of redefining epistemology as a purely formal discipline. (shrink)

The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.

Many relevant logics can be conservatively extended by Boolean negation. Mares showed, however, that E is a notable exception. Mares’ proof is by and large a rather involved model-theoretic one. This paper presents a much easier proof-theoretic proof which not only covers E but also generalizes so as to also cover relevant logics with a primitive modal operator added. It is shown that from even very weak relevant logics augmented by a weak K-ish modal operator, and up to the strong (...) relevant logic R with a S5 modal operator, all fail to be conservatively extended by Boolean negation. The proof, therefore, also covers Meyer and Mares’ proof that NR—R with a primitive S4-modality added—also fails to be conservatively extended by Boolean negation. (shrink)

The ArgumentRecent studies in the philosophy of mathematics have increasingly stressed the social and historical dimensions of mathematical practice. Although this new emphasis has fathered interesting new perspectives, it has also blurred the distinction between mathematics and other scientific fields. This distinction can be clarified by examining the special interaction of thebodyandimagesof mathematics.Mathematics has an objective, ever-expanding hard core, the growth of which is conditioned by socially and historically determined images of mathematics. Mathematics also has reflexive capacities unlike those of (...) any other exact science. In no other exact science can the standard methodological framework usedwithinthe discipline also be used to study the nature of the discipline itself.Although it has always been present in mathematical research, reflexive thinking has become increasingly central to mathematics over the past century. Many of the images of the discipline have been dictated by the increase in reflexive thinking which has also determined a great portion of the contemporary philosophy and historiography of mathematics. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame (...) is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at (see link below). (shrink)

Some interpreters have ascribed to Wittgenstein the view that mathematical statements must have an application to extra-mathematical reality in order to have use and so any statements lacking extra-mathematical applicability are not meaningful (and hence not bona fide mathematical statements). Pure mathematics is then a mere signgame of questionable objectivity, undeserving of the name mathematics. These readings bring to light that, on Wittgenstein’s offered picture of mathematical statements as rules of description, it can be difficult to see the role of (...) mathematical statements which relate to concepts that are not employed in empirical propositions e.g. set-theoretic concepts. I will argue that Wittgenstein’s picture is more flexible than might at first be thought and that Wittgenstein sees such statements as serving purposes not directly related to empirical description. Whilst this might make such systems fringe cases of mathematics, it does not bring their legitimacy as mathematical systems into question. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

ABSTRACT I argue that some of the central doctrines of Wittgenstein's Tractatus Logico-Philosophicus can be seen as addressing the twin problems of semantic unity and...

In this article, we evaluate the Compositionality Argument for structured propositions. This argument hinges on two seemingly innocuous and widely accepted premises: the Principle of Semantic Compositionality and Propositionalism (the thesis that sentential semantic values are propositions). We show that the Compositionality Argument presupposes that compositionality involves a form of building, and that this metaphysically robust account of compositionality is subject to counter-example: there are compositional representational systems that this principle cannot accommodate. If this is correct, one of the most (...) important arguments for structured propositions is undermined. (shrink)

Frege’s _Basic Law V_ is inconsistent. The reason often given is that it posits the existence of an injection from the larger collection of first-order concepts to the smaller collection of objects. This article explains what is right and what is wrong with this diagnosis.

Kripke's lectures, published as Wittgenstein on Rules and Private Language , posed a sceptical problem about following a rule, which he cautiously attributed to Wittgenstein. He briefly noticed an analogy between his new kind of scepticism and Goodman's riddle of induction. ‘Grue’, he said, could be used to formulate a question not about induction but about meaning: the problem would not be Goodman's about induction—‘Why not predict that grass, which has been grue in the past, will be grue in the (...) future?’—but Wittgenstein's about meaning: ‘Who is to say that in the past I did not mean grue by “green”, so that now I should call the sky, not the grass, “green”?’. (shrink)

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift (1879); Peirce’s ‘Algebra of Logic’ (1885); Peano’s ‘Studii di Logica matematica’ (1897); and *9 (‘replaced’ by *8 in the second edition) of Whitehead and Russell’s Principia Mathematica (1910). Despite their divergent aims, these authors present substantially equivalent visions of what their differing symbolisms express. In each case, some passage suggests that one (but not the only) way to render one (...) of the symbols into ordinary-language words (German, English and Italian) is to say that there is something or some thing(s) exist(s). Exactly how this comes out varies from language to language, but the point remains the same. As a result, in almost all recent logic manuals that introduce ‘∃’, some passage says that the symbol means ‘there is’ or ‘there exists’, and the tradition has grown up of labelling ‘∃’ ‘the existential quantifier’. Some considerations are offered for deprecating this reading of ‘∃’ and the label adopted for it, and for preferring to read it as ‘for some (at least one)’ and for speaking of the ‘particular quantifier’. (shrink)

The concept of quantity (Größe) plays a key role in Frege's theory of real numbers. Typically enough, he refers to this theory as ?theory of quantity? (?Größenlehre?) in the second volume of his opus magnum Grundgesetze der Arithmetik (Frege 1903). In this essay, I deal, in a critical way, with Frege's treatment of the concept of quantity and his approach to analysis from the beginning of his academic career until Frege 1903. I begin with a few introductory remarks. In Section (...) 2, I first analyze Frege's use of the term ?source of knowledge? (?Erkenntnisquelle?) with particular emphasis on the logical source of knowledge. The analysis includes a brief comparison between Frege and Kant's conceptions of logic and the logical source of knowledge. In a second step, I examine Frege's theory of quantity in Rechnungsmethoden, die sich auf eine Erweiterung des Größenbegriffes gründen (Frege 1874). Section 3 contains a couple of critical observations on Frege's comments on Hankel's theory of real numbers in Die Grundlagen der Arithmetik (Frege 1884). In Section 4, I consider Frege's discussion of the concept of quantity in Frege 1903. Section 5 is devoted to Cantor's theory of irrational numbers and the critique deployed by Frege. In Section 6, I return to Frege's own constructive treatment of analysis in Frege 1903 and succinctly describe what I take to be the quintessence of his account. (shrink)

A number of authors in favor of a unitary account of singular descriptions have alleged that the unitary account can be extrapolated to account for plural definite descriptions. In this paper I take a closer look at this suggestion. I argue that while the unitary account is clearly onto something right, it is in the end empirically inadequate. At the end of the paper I offer a new partitive account of plural definite descriptions that avoids the problems with both the (...) unitary account and standard Russellian analyses. (shrink)

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift ; Peirce’s ‘Algebra of Logic’ ; Peano’s ‘St...

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...) simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics.Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)

Dans le deuxième volume, inédit, de La Philosophie de l’Algèbre, Jules Vuillemin fait une lecture inattendue et suggestive de l’œuvre de Richard Dedekind. Nous avons essayé de comprendre, en mobilisant les idées et outils de Vuillemin, les résultats de cette lecture. Ceux-ci nous semblent poser en particulier le problème des rapports entre histoire des sciences et philosophie des sciences. Notre article propose un diptyque pour présenter les questions que nous avons voulu poser au texte de Vuillemin. D’une part, nous analysons (...) de quelle manière Vuillemin continue et approfondit le travail de Jean Cavaillès. D’autre part, nous souhaitons accentuer la distance qu’établit Vuillemin entre l’histoire mathématique et son interprétation par les filiations conceptuelles qu’il propose comme essentiellement distinguées des relations historiques. (shrink)

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

The paper reviews some conceptions of logical form in the light of Andrea Iacona’s book Logical Form. I distinguish the following: logical form as schematization of natural language, provided by, for example, Aristotle’s syllogistic; the relevance to logical form of formal languages like those used by Frege and Russell to express and prove mathematical theorems; Russell’s mid-period conception of logical form as the structural cement binding propositions; the conceptions of logical form discussed by Iacona; and logical form regarded as an (...) empirical hypothesis about the psychology of language processing, as in the Discourse Representation Theory tradition. Whereas neither schematization, nor the use of special languages for mathematics, raise general methodological or empirical difficulties, other conceptions of logical form raise at least apparent problems. (shrink)

The reflections recorded in this paper arise from three moments in the theory of definition and of conceptual analysis. The moments are: Frege’s review of Husserl’s Philosophy of Arithmetic, the discussion there of the paradox of analysis, and the division that Frege marks, ensuing upon his distinction of Sinn/sense from Bedeutung/reference, between two different conceptions of definition; Leibniz’s still serviceable account of a distinction between the clarity and the distinctness of ideas---a distinction that prompts the suggestion that the guiding purpose (...) of lexical definition is Leibnizian clarity whereas that of real definition is inseparable from the pursuit of Leibnizian distinctness; Leibniz’s speculations concerning the limit or terminus of analysis. The apparent failure of these speculations, casting doubt as it does upon the aspirations that give rise to them, points to the long-standing need to reconfigure the philosophical business of enquiry into concepts. (shrink)