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)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned than their expressivist rivals to provide (...) the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

Italian translation of "On Logical Relativity" (2002), by Luca Morena.

Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, treated as (...) variables. A constituent of a sentence is logical just if it is formal in meaning, in the sense roughly that its application is invariant under permutations of individuals.1 Thus ‘=’ is a logical constant because no permutation maps two individuals to one or one to two; ‘∈’ is not a logical constant because some permutations interchange the null set and its singleton. Truth functions, the usual quantifiers and bound variables also count as logical constants. An argument is logically valid if and only if the conclusion is true under every assignment of semantic values to variables (including all non-logical expressions) under which all its premises are true. A sentence is logically true if and only if the argument with no premises of which it is the conclusion is logically valid, that is, if and only if the sentence is true under every assignment of semantic values to variables. An interpretation assigns values to all variables. (shrink)

This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...) argue that informational semantics needs to be supplemented by allowing content-constitutive rules of inference (“meaning postulates”). This is because the content of one important class of concepts, the logical terms, is not plausibly informational. And since, it is argued, no principled distinction can be drawn between logical concepts and the rest, the problem that this raises is a general one. An immediate difficulty is that Quine’s classic arguments against the analytic/synthetic distinction suggest that there can be no principled basis for distinguishing content-constitutive rules from the rest. I show that this concern can be overcome by taking a psychological approach: there is a fact of the matter as to whether or not a particular inference is governed by a mentally-represented inference rule, albeit one that analytic philosophy does not have the resources to determine. I then consider the implications of this approach for concept acquisition. One mechanism underlying concept acquisition is the development of perceptual detectors for the objects that we encounter. I investigate how this might work, by drawing on recent ideas in ethology on ‘learning instincts’, and recent insights into the neurological basis for perceptual learning. What emerges is a view of concept acquisition as involving a complex interplay between innate constraints and environmental input. This supports Fodor’s recent move away from radical concept nativism: concept acquisition requires innate mechanisms, but does not require that concepts themselves be innate. (shrink)

This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so-called Tarski-Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the notion of invariance is needed if one wants to use it to characterize logicality.

In this paper, the connection between logicism and the principle of tolerance in Carnap’s philosophy of logic and mathematics is to be presented in terms of the history of its development. Such development is conditioned by two lines of criticism to Carnap’s attempt to combine Logicism and Conventionalism, the first of which comes from Gödel, the second from Alfred Tarski. The presentation will take place in three steps. First, the Logicism of Carnap before the publication of The Logical Syntax of (...) Language will be analyzed in its main features. Second, the relationship between Logicism and the Principle of Tolerance at the time of the publication of Logical Syntax, and thirdly, in the so-called semantical phase of Carnap’s thought will be examined. On the basis of the two preceding points, we will then critically analyze two interpretations of the possibility to maintain a philosophical position like that of Carnap nowadays. (shrink)

According to Tarski's model-theoretic analysis of logical consequence, the sentence X is a logical consequence of a set of sentences Γ if and only if any model for Γ is also a model for X. Etchemendy, however, does not accept the analysis and critiques it. According to Etchemendy, Tarski’s analysis 1- involves a conceptual mistake: confusing the symptoms of logical consequence with their cause; 2- cannot properly explain the necessity of logical consequence; 3- faces the problem of overgeneration; and 4- (...) faces the problem of undergeneration. In the present article, by evaluating these critiques and examining the effectiveness of some of the answers presented in defense of Tarski's analysis, we try to show that among these critiques, only the problem of undergeneration is not acceptable. According to our common sense understanding, if an argument is valid, it is truth-preserving, and by assuming the truth of the premises, the conclusion will be true as well. But it does not mean that we can reduce the logical consequence relation to truth preservation. This flaw leads Tarski’s analysis to be an unacceptable analysis of logical consequence. (shrink)

We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality (...) point of view, continuing earlier work by Bonnay, Feferman, and Sagi. We suggest that a logic is the more logical the closer it is to first order logic. We also offer a refinement of the result of McGee that logical properties of models can be expressed in $L_{\infty \infty }$ if the expression is allowed to depend on the cardinality of the model, based on replacing $L_{\infty \infty }$ by a “tamer” logic. (shrink)

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (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)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

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)

In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap’s contributions to the development of modern logic. (shrink)

It is known that an epsilon-invariant sentence has a first-order reformulation, although it is not in an explicit form, since, the proof uses the non-constructive interpolation theorem. We make an attempt to describe the explicit meaning of sentences containing epsilon-terms, adopting the strong assumption of their first-order reformulability. We will prove that, if a monadic predicate is syntactically independent from an epsilon-term and if the sentence obtained by substituting the variable of the predicate with the epsilon-term is epsilon-invariant, then the (...) sentence has an explicit first-order reformulation. Finally, we point out that the formula gives a contextual-quantificational meaning for the indefinite descriptions, provided that one accepts Kneebone’s read of epsilon-terms. (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)

Dans ce texte, je pars de l’analyse intuitionniste de la vérité mathématique, « A est vrai si et seulement s’il existe une preuve de A » comme cas particulier de l’analyse de la vérité en termes de « vérifacteur », et je montre pourquoi Wittgenstein partageait celle-ci avec les intuitionnistes. Cependant, la notion de preuve à l’oeuvre dans cette analyse est, selon l’intuitionnisme, celle de la « preuve-comme-objet », et je montre par la suite, en interprétant son argument sur le (...) caractère « synoptique » des preuves, que Wittgenstein avait plutôt en tête une conception de la « preuve-comme-trace ».In this paper, I start with the intutionist analysis of mathematical truth, « A is true if and only if there exists a proof of A », as a particular case of the analysis of truth in terms of « truth-makers », and I show why Wittgenstein shared it with the intuitionists. However, the notion of proof at work in this analysis is, according to intuitionism, that of « proof-as-object », and I then show, with an interpretation of his argument on the « surveyability » of proofs, that, instead, Wittgenstein had in mind a notion of « proof-as-trace ». (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Inferentialism claims that the rules for the use of an expression express its meaning without any need to invoke meanings or denotations for them. Logical inferentialism endorses inferentialism specically for the logical constants. Harmonic inferentialism, as the term is introduced here, usually but not necessarily a subbranch of logical inferentialism, follows Gentzen in proposing that it is the introduction-rules whch give expressions their meaning and the elimination-rules should accord harmoniously with the meaning so given. It is proposed here that the (...) logical expressions are those which can be given schematic rules that lie in a specific sort of harmony, general-elimination harmony, resulting from applying a certain operation, the ge-procedure, to produce ge-rules in accord with the meaning defined by the I-rules. Griffiths claims that identity cannot be given such rules, concluding that logical inferentialists are committed to ruling identity a non-logical expression. It is shown that the schematic rules for identity given in Read, slightly amended, are indeed ge-harmonious, so confirming that identity is a logical notion. (shrink)

In a first section, we discuss Quine’s claim according to which identity is a logical notion. We point out that Quine mixes up various types of identities: trivial (or diagonal) identity, Leibniz identity, etc.; and this leads him to commit several mistakes. In a second section, we review Quine’s criticisms to various philosophers (Wittgenstein, Whitehead, Leibniz, etc.), who ac-cording to him made confusion between names and objects in defining identity. We show that in fact only Korzybski can be accused of (...) such confusion. In a third section, we analyze the relation between identity and entity. We notice that for Quine a river is the result of the identification of river stages, but that he admits it as an entity by opposition to squareness, which according to him is a result of an identification process of higher abtraction. (shrink)

The paper is concerned with Quine's substitutional account of logical truth. The critique of Quine's definition tends to focus on miscellaneous odds and ends, such as problems with identity. However, in an appendix to his influential article On Second Order Logic, George Boolos offered an ingenious argument that seems to diminish Quine's account of logical truth on a deeper level. In the article he shows that Quine's substitutional account of logical truth cannot be generalized properly to the general concept of (...) logical consequence. The purpose of this paper is threefold: first, to introduce the reader to the metamathematics of Quine's substitutional definition of logical truth; second, to make Boolos' result accessible to a broader audience by giving a detailed and self-contained presentation of his proof; and, finally, to discuss some of the possible implications and how a defender of the Quinean concepts might react to the challenge posed by Boolos' result. (shrink)

It has been argued in the literature that the deflationists’ thesis about the dispensability of truth as an explanatory notion forces them to adopt a conservative theory of truth. I suggest that the deflationists’ claim that the notion of truth is akin to a logical notion should be taken more seriously. This claim casts some doubts on the adequacy of the conservativity requirement, while it also calls for further investigation to assess its philosophical plausibility.

Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, since it must be supplemented (...) by a transcendental logic that will in fact study nothing other than thought's content. Once this feature of Kant's views is brought to light, a much deeper accord emerges between the two thinkers than has hitherto been appreciated, on both the nature of the content that is at issue in logic and the sense of logic's generality and formality. (shrink)

The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic in the mind or in the world? (2) Does logic need a foundation? What is the main obstacle to a foundation for logic? Can it be overcome? (3) How does logic work? What does logical form represent? Are logical constants referential? (4) Is there a criterion of logicality? (5) What is the relation between logic and mathematics?

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of permutation invariance for such principles, assessing the philosophical significance (...) of each. (shrink)

The perennial question – What is meaning? – receives many answers. In this paper I present and discuss inferentialism – a recent approach to semantics based on the thesis that to have ( such and such ) a meaning is to be governed by ( such and such ) a cluster of inferential rules . I point out that this thesis presupposes that looking for meaning requires seeing language as a social institution (rather than, say, a psychological reality). I also (...) indicate that this approach may be seen as a new embodiment of the old ideas of structuralism. (shrink)

A formula is (materially) valid iff all its instances are true sentences; and an axiomatic system is called (materially) sound and complete iff it proves all and only valid formulas. These are 'natural' concepts of validity and completeness, which were, however, in the course of the history of modern logic, stealthily replaced by their formal descendants: formal validity and completeness. A formula is formally valid iff it is true under all interpretations in all universes; and an axiomatic system is called (...) formally sound and complete iff it proves all and only formulas valid in this sense. Though the step from material to formal validity and completeness may seem to be merely an unproblematic case of explication, I argue that it is not; and that mistaking the latter concepts for the former ones may lead to serious conceptual confusions. (shrink)

The paper starts with an examination and critique of Tarski’s wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is invariant with respect to arbitrary permutations of the domain. The class of such operations has been characterized by McGee as exactly those definable in the language L∞,∞. Also characterized similarly is a natural generalization of Tarski’s thesis, due to Sher, in terms of bijections between domains. My main (...) objections are that on the one hand, the Tarski-Sher thesis thus assimilates logic to mathematics, and on the other hand fails to explain the notion of same logical operation across domains of different sizes. A new notion of homomorphism invariant operation over functional type structures (with domains M0 of individuals and {T, F} at their base) is introduced to accomplish the latter. The main result is that an operation is definable from.. (shrink)

Several accounts of logical truth are compared and shown to define distinct concepts. Nevertheless, conditions are given under which they happen to declare exactly the same sentences logically true. These conditions involve the variety of objects in the domain, the richness of the language, and the logical resources available. It is argued that the class of sentences declared logically true by each of the accounts depends on particularities of the actual world.

Thought: A Journal of Philosophy, Volume 10, Issue 3, Page 188-198, September 2021.

History and Philosophy of Logic, Volume 32, Issue 2, Page 193-196, May 2011.

Henry Leonard and Karel Lambert first introduced so-called presupposition-free (or just simply: free) logics in the 1950’s in order to provide a logical framework allowing for non-denoting singular terms (be they descriptions or constants) such as “the largest prime” or “Pegasus” (see Leonard [1956] and Lambert [1960]). Of course, ever since Russell’s paradigmatic treatment of definite descriptions (Russell [1905]), philosophers have had a way to deal with such terms. A sentence such as “the..

There have been several different and even opposed conceptions of the problem of logical constants, i.e. of the requirements that a good theory of logical constants ought to satisfy. This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to. A second aim of the paper is to sketch some ideas about what a good theory would look like. A third aim is to draw from these ideas and (...) from the preceding survey the conclusion that most conceptions of the problem of logical constants involve requirements of a philosophically demanding nature which are probably not satisfiable by any minimally adequate theory. (shrink)

The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞ so as to cover the cases that are of interest in the logicality debates, getting McGee’s theorem about quantifiers (...) invariant under all permutations and definability in pure L∞∞ as a particular case. We also prove some optimality results along the way, regarding the kinds of relations which are needed so that every subgroup of the full permutation group is characterizable as a group of automorphisms. (shrink)

In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.

In the third of his Logical Investigations, Husserl draws an important distinction between two kinds of parts: the dependent parts like the redness of a visual datum or the squareness of a given picture, and the independent parts like the head of a horse or a brick in a wall. On his view, the distinction is to be understood in terms of a more fundamental notion, the notion of foundation. This paper is an attempt at clarifying that notion. Such attempts (...) have already been undertaken by Peter Simons and Kit Fine, and the paper also contains elements of comparison of our three sets of views. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ‘On the Concept of Following Logically’. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...) more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

Henry M. Sheffer is well known to logicians for the discovery (or rather, the rediscovery) of the ?Sheffer stroke? of propositional logic. But what else did Sheffer contribute to logic? He published very little, though he is known to have been carrying on a rather mysterious research program in logic; the only substantial result of this research was the unpublished monograph The General Theory of Notational Relativity. The main aim of this paper is to explain, as far as possible (given (...) the scanty evidence), the nature of Sheffer's program, and the reasons for its failure. The paper concludes with a discussion of Sheffer's only true logical descendant, C.H. Langford, and his contributions to model theory. (shrink)