Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...) is used as a tool for developing a theoretical foundation of logic, focused on a critical examination, explanation, and justification of its veridicality and modal force. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Kolmogorov''s axiomatization of probability includes the familiarratio formula for conditional probability: 0).$$ " align="middle" border="0">.

Collective volume with papers by alumni and students from the Campinas Aristotle Group.

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

La lógica de la Edad Media se presenta a los lógicos contemporáneos, filósofos medievalistas, historiadores y filósofos de la lógica, como un campo tan fascinante como de difícil acceso. Parece demasiado intrincado para casi cualquier investigador de estas áreas encontrar la punta del ovillo que lo conduzca a transitar una presentación ordenada e inteligible de la lógica medieval. Este libro pretende solucionar este problema. Para ello, presenta de manera ordenada y autocontenida los desarrollos lógicos de la parte técnicamente más evolucionada (...) de la lógica de la Edad Media: el siglo XIV. A diferencia de otras presentaciones no evade los hechos históricos y culturales que conforman el panorama de la época ni las cuestiones filosóficas detrás de los desarrollos lógicos, a fin de entender cabalmente las cuestiones técnicas y no desnaturalizar la propuesta medieval. Los primeros tres capítulos se abocan a cuestiones introductorias, históricas y a la genealogía de los tópicos más importantes. El cuarto capítulo está dedicado a la presentación sintáctica del lenguaje de la lógica medieval. El quinto y el sexto a la metateoría de esta lógica. El séptimo explora y presenta la semántica. Los dos últimos nos brindan una reconstrucción racional, en términos del lenguaje simbólico contemporáneo, de la lógica de finales del siglo XIV. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that the notion (...) in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

We can distinguish two non-equivalent ways in which a natural language argument can be valid: it can be interpretationally or representationally valid. However, there is just one notion of classical first-order validity for formal languages: truth-preservation in all classical first-order models. To ease the tension, Baumgartner suggests that we should understand interpretational and representational validity as imposing different adequacy conditions on formalizations of natural language arguments. I argue against this proposal. To that end, I first show that Baumgartner’s definition of (...) representational validity is extensionally inadequate. I present a number of natural language arguments that we pre-theoretically hold to be representationally valid, but are not representationally valid according to Baumgartner’s definition. I then point to two further untenable features of Baumgartner’s definitions: according to Baumgartner’s definition of a representationally correct formalization, we cannot arrive at formalizations in a recursive way, and Baumgartner’s definition of representational validity is non-monotonic. I conclude that interpretational and representational validity cannot be understood as merely imposing different adequacy conditions on formalizations. If we want to capture our interpretational and representational intuitions, we need two different formal definitions of validity. (shrink)

I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to be (...) the most natural minimal way of distinguishing content and form and suggest further problems arising for this route. (shrink)

I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to be (...) the most natural minimal way of distinguishing content and form and suggest further problems arising for this route. (shrink)

Nominalism faces the task of explaining away the ontological commitments of applied mathematical statements. This paper reviews an argument from the philosophy of logic that focuses on this task and which has been used as an objection to certain specific formulations of nominalism. The argument as it is developed in this paper aims to show that nominalism in general does not have the epistemological advantages its defendants claim it has. I distinguish between two strategies that are available to the nominalist: (...) The Evaluation Programme, which tries to preserve the common truth‐values of mathematical statements even if there are no mathematical objects, and Fictionalism, which denies that mathematical sentences have significant truth‐values. It is argued that the tenability of both strategies depends on the nominalist’s ability to account for the notion of consequence. This is a problem because the usual meta‐logical explications of consequence do themselves quantify over mathematical entities. While nominalists of both varieties may try to appeal to a primitive notion of consequence, or, alternatively, to primitive notions of logical or structural possibilities, such measures are objectionable. Even if we are equipped with a notion of either consequence or possibility that is primitive in the relevant sense, it will not be strong enough to account for the consequence relation required in classical mathematics. These examinations are also useful in assessing the possible counter‐intuitive appeal of the argument from the philosophy of logic. (shrink)

The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as though it were (...) neutralized by the possibility of studying all these alternative logics within an agreed metalogical framework, typically that of first-order logic with set theory. In effect, metalogic is given the role of neutral arbiter. The paper will consider a variety of examples in which deep logical disputes re-emerge at the meta-level. One case is quantified modal logic, where some varieties of actualism require a modal meta-language (as opposed to the usual non-modal language of possible worlds model theory) in order not to make their denial of the Barcan formula self-defeating. Similarly, on some views the intended model theory for second-order logic can only be given in a second-order metalanguage—this may be needed to avoid versions of Russell’s paradox when the first-order quantifiers are read as absolutely unrestricted. It can be shown that the phenomenon of higher-order vagueness eventually forces fuzzy logical treatments of vagueness to use a fuzzy metalanguage, with consequent repercussions for what first-order principles are validated. The difficulty of proving the completeness of first-order intuitionistic logic on its intended interpretation by intuitionistically rather than just classically valid means is a more familiar example. These case studies will be discussed in some detail to reveal a variety of ways in which even metalogic is metaphysically contested, substantial and non-neutral. (shrink)

This paper attempts to confine the preconceptions that prevented Frege from appreciating Hilbert?s Grundlagen der Geometrie to two: (i) Frege?s reliance on what, following Wilfrid Hodges, I call a Frege?Peano language, and (ii) Frege?s view that the sense of an expression wholly determines its reference.I argue that these two preconceptions prevented Frege from achieving the conceptual structure of model theory, whereas Hilbert, at least in his practice, was quite close to the model?theoretic point of view.Moreover, the issues that divided Frege (...) and Hilbert did not revolve around whether one or the other allowed metalogical notions.Frege, e.g., succeeded in formulating the notion of logical consequence, at least to the extent that Bolzano did; the point is rather that even though Frege had certain semantic concepts, he did not articulate them model?theoretically, whereas, in some limited sense, Hilbert did. (shrink)

Decency requires that a discussion as lengthy as the preceding be handily brought to a close. The seriousness of Siegel's complaints against me do, however, call for a response. In what follows I will address what I take to be Siegel's main criticisms, roughly in the order that they are presented. My responses will be limited to, at most, a few paragraphs. They can do no more than indicate how I would counter the thrust of his critical remarks. As both (...) Siegel and myself readily admit, our positions exhibit deep agreements. As I shall attempt to indicate in what follows, much of what Siegel sees in my arguments as evidence of confusion, or worse, may point to equally deep differences of opinion. Our agreements, as he graciously acknowledges, are relevant to issues at the center of recent philosophy, but, as should be apparent from what follows, so are our possible differences. (shrink)

Logical structure may explain the necessity and a priori knowability of such truths as that if A is red then A is either red or green. But this explanation cannot be extended to sentences that, while necessary and knowable a priori, do not wear the appropriate logical structure on their sleeves – sentences like ''''if A is a point and A is red, then A is not green,'''' or ''''if A is a sphere, then A is not a cube.'''' The (...) real origin of these sentences'' necessity and a priori knowability is a relationship between the meanings of their component atomic sentences – a relationship which cannot be systematically reduced to logical structure by translating those atomic sentences into any kind of ''''ideal'''' language. Moreover, this kind of relationship is one to which any atomic sentences are susceptible if they have a classifying, or comparison-implying, content. Arguably, then, all atomic sentences are capable of being related to others in ways that are necessary and knowable a priori. (shrink)

It is easy to think of Frege as having offered two unintentionally discordant criteria for the identity of senses—one tied to the truth conditions of sentences, and one meant to capture relations of cognitive discriminability. This reading, however, is doubly mistaken; the discord between these two ways of thinking of senses has a Fregean resolution, but neither the resolution nor either of the original two pictures affords a genuine criterion for the identity of senses.

The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...) that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...) topic neutrality, basicness, and (quasi-)apriority, (v) the veridicality of logic and its applicability to science, (v) the normativity of logic, (vi) error, revision, and expansion in/of logic, and (vii) the relation between logic and mathematics. The high explanatory power of the truth-theoretic approach does not rule out an equal or even higher explanatory power of the proof-theoretic approach. But to the extent that the truth-theoretic approach is shown to be highly explanatory, it sets a standard for other approaches to logic, including the proof-theoretic approach. (shrink)

Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...) The degrees of invariance of highly-invariant properties are associated with high degrees of necessity of laws governing/describing these properties, and this explains the necessity of such laws both in logic and in science. This non-mysterious explanation has rich ramifications for both fields, including the formality of logic and mathematics, the apparent conflict between the contingency of science and the necessity of its laws, the difference between logical-mathematical, physical, and biological laws/principles, the abstract character of laws, the applicability of logic and mathematics to science, scientific realism, and logical-mathematical realism. (shrink)

The standard approach to what I call “proof-theoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of proof-theoretic semantics, this paper investigates in detail various notions of proof-theoretic validity and offers certain improvements of the definitions given by Prawitz. Particular emphasis is placed on the relationship between semantic validity concepts and validity concepts used in normalization theory. It (...) is argued that these two sorts of concepts must be kept strictly apart. (shrink)

What does it mean that some proposition follows from others? The standard way of spelling out the notion proceeds in modal terms: x follows from y iff necessarily, if y is true, so is x. But although this yields a useful and manageable account of consequence, it fails to capture certain aspects of our pre-theoretical understanding of consequence. In this paper, an alternative notion of logical consequence, based on the idea of grounding, is developed.

In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...) I provide a rigorous way of spelling out this idea, and show that it leads to a graded account of logicality: the less structure a term requires in order for its intension to be fixed, the more logical it is. Finally, I focus on the class of terms that are invariant under isomorphisms, as they render themselves more easily to mathematical treatment. I propose a mathematical measure for the logicality of such terms based on their associated Löwenheim numbers. (shrink)

Tarski's 1936 paper, “On the concept of logical consequence”, is a rather philosophical, non-technical paper that leaves room for conflicting interpretations. My purpose is to review some important issues that explicitly or implicitly constitute its themes. My discussion contains four sections: terminological and conceptual preliminaries, Tarski's definition of the concept of logical consequence, Tarski's discussion of omega-incomplete theories, and concluding remarks concerning the kind of conception that Tarski's definition was intended to explicate. The third section involves subsidiary issues, such as (...) Tarski's discussion concerning the distinction between material and formal consequence and the important question ofthe criterion for distinguishing between logical and non-logical terms.§1. Preliminaries. In this paper an argument is a two-part system composed of a set of propositions P and a single proposition c. The expression ‘c is a [logical] consequence of P’ is used with the same meaning as the expression ‘c is [logically] implied by P’. The expressions ‘is a logical consequence of’ and the converse ‘implies’ are relational. Often, I shall be talking in the same sense of validity of an argument. Validity is a property of arguments; an argument with premise-set P and conclusion c is valid if and only if P implies c; i.e., c is a logical consequence of P. Notice that this notion of argument is strictly ontic; it does not involve any agent that thinks, determines or establishes that a given proposition is or is not a consequence of a given set of propositions. (shrink)

This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical (...) consequence. Gila Sher and Stewart Shapiro each propose a formal criterion for logical terms within a model-theoretic framework, based on the idea of invariance under isomorphism. The two criteria are formally equivalent, and thus we have a common ground for evaluating and comparing Sher and Shapiro philosophical justification of their criteria. It is argued that Shapiro's blended approach, by which models represent possible worlds under interpretations of the language, is preferable to Sher’s formal-structural view, according to which models represent formal structures. The advantages and disadvantages of both views’ reliance on isomorphism are discussed. (shrink)

In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to be incapable of (...) explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)

According to Quine, in any disagreement over basic logical laws the contesting parties must mean different things by the connectives or quantifiers implicated in those laws; when a deviant logician ‘tries to deny the doctrine he only changes the subject’. The standard semantics for intuitionism offers some confirmation for this thesis, for it represents an intuitionist as attaching quite different senses to the connectives than does a classical logician. All the same, I think Quine was wrong, even about the dispute (...) between classicists and intuitionists. I argue for this by presenting an account of consequence, and a cognate semantic theory for the language of the propositional calculus, which respects the meanings of the connectives as embodied in the familiar classical truth-tables, does not presuppose Bivalence, and with respect to which the rules of the intuitionist propositional calculus are sound and complete. Thus the disagreement between classicists and intuitionists, at least, need not stem from their attaching different senses to the connectives; one may deny the doctrine without changing the subject. The basic notion of my semantic theory is truth at a possibility, where a possibility is a way that things might be, but which differs from a possible world in that the way in question need not be fully specific or determinate. I compare my approach with a previous theory of truth at a possibility due to Lloyd Humberstone, and with a previous attempt to refute Quine’s thesis due to John McDowell. (shrink)

This paper examines Hegel’s accounts of the nature of judgements and inferences in the ‘subjective logic’ of the Science of Logic, and does so in light of the history of the tradition of formal logic to his time. It is argued that, contrary to the attitude often displayed by interpreters of Hegel’s logic, it is important to understand the positive role played by formal logic, ‘logic commonly so called’, in Hegel’s own conception of logic. It is argued that Hegel’s own (...) scientific presentation [Darstellung] of logic relies on a dialectic working through the tradition of formal logic from Aristotle to Leibniz. The positions within the dialectic are most easily brought into focus in terms of the distinction between Aristotelian and Stoic logic, but they can also be seen as internal to Aristotelian logic. The logical tradition can be regarded as presenting a type of reductio ad absurdum, and a science of logic must examine what it was about Aristotle’s original project that brought it to this fate. (shrink)

Forthcoming in Philosophical Compass. I explain why plural quantifiers and predicates have been thought to be philosophically significant.

The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the actual objects of (...) discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia. Building on recent work by Christopher Menzel (Synthese 85 (1990)), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. I offer a purely extensional, representational account and prove that it does all the work that Menzel's account does. The result of this endeavor is an account of model theoretic semantics for modal languages requiring nothing but pure sets and the actual objects of discourse. Since ontologically beyond what is prima facie presupposed by the model theory itself. Thus, the result is truly an ontology-free model-theoretic semantics for modal languages. That is to say, getting genuine modal semantics out of the model theory is ontologically cost-free. Since my extensional account is demonstrably no less adequate, and yet is at the same time more ontologically frugal, it is certainly to be preferred. (shrink)

Alfred Tarski's (1936) semantic account of the logical properties (logical consequence, logical truth and logical consistency) makes essential appeal to a distinction between logical and non-logical terms. John Etchemendy (1990) has recently argued that Tarski's account is inadequate for quite a number of different reasons. Among them is a brief argument which purports to show that Tarski's reliance on the distinction between logical and non-logical terms is in principle mistaken. According to Etchemendy, there are very simple (even first order) languages (...) for which no such distinction can be made. This is a surprising result, and an important one, if true. Since Tarski's account does indeed depend on such a distinction, Etchemendy's argument, if correct, would rule out definitively the received view on logical truth (as well as logical consequence and logical consistency). But his argument is not correct, and it is the job of this paper to show that. (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think the (...) puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

The concept ofsemantic interpretation is a source of chronic confusion: the introduction of a notion ofinterpretation can be the result of several quite different kinds of considerations.Interpretation can be understood in at least three ways: as a process of dis-abstraction of formulas, as technical tool for the sake of characterizing truth, or as a reconstruction of meaning-assignment. However essentially different these motifs are and however properly they must be kept apart, these can all be brought to one and the same (...) notion of interpretation: to the notion of a compositional evaluation of expressions inducing a possible distribution of truth values among statements. (shrink)

Frege's account of opacity is based on two attractive ideas: every meaningful expression has a sense (Sinn) that determines the expression's semantic value (Bedeutung); and the semantic value of a‘that’‐clause is the thought expressed by its embedded sentence. Considerations of compositionality led Frege to a more problematic view: inside ‘that’‐clauses, an expression does not have its customary Bedeutung. But contrary to initial appearances, compositionality does not entail a familiar substitutivity principle. And Fregeans can exploit this point in a way that (...) lets them reject Bedeutung‐shifting. (shrink)

The overgeneration argument attempts to show that accepting second-order validity as a sound formal counterpart of logical truth has the unacceptable consequence that the Continuum Hypothesis is either a logical truth or a logical falsehood. The argument was presented and vigorously defended in John Etchemendy’s The Concept of Logical Consequence and it has many proponents to this day. Yet it is nothing but a seductive fallacy. I demonstrate this by considering five versions of the argument; as I show, each is (...) either unsound or lacks a troubling conclusion. (shrink)

In John Etchemendy's book, The Concept of Logical Consequence, several arguments are put forth against the standard model‐theoretic account of logical consequence and logical truth. I argue in this article that crucial parts of Etchemendy's attack depend on a failure to distinguish two senses of logic and two correlative senses of being something a logical question. According to one of these senses, the logic of a language, L, is the set of logical truths of L. In the other sense, logic (...) is a theoretical discipline whose aim is to characterize logical properties and it can be identified with the set of sentences on what, and why, the extension of the set of logical truths of a particular language is. Some particular claims by Etchemendy about the status assigned to the axiom of infinity in the model‐theoretic account are criticized and shown to be erroneous because of that conflation. (shrink)

In John Etchemendy's book, The Concept of Logical Consequence, several arguments are put forth against the standard model‐theoretic account of logical consequence and logical truth. I argue in this article that crucial parts of Etchemendy's attack depend on a failure to distinguish two senses of logic and two correlative senses of being something a logical question. According to one of these senses, the logic of a language, L, is the set of logical truths of L. In the other sense, logic (...) is a theoretical discipline whose aim is to characterize logical properties and it can be identified with the set of sentences on what, and why, the extension of the set of logical truths of a particular language is. Some particular claims by Etchemendy about the status assigned to the axiom of infinity in the model‐theoretic account are criticized and shown to be erroneous because of that conflation. (shrink)

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)