Citations of:
Add citations
You must login to add citations.


This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11page 1936 Tarski consequencedefinition paper is based on a monistic fixeduniverse framework?like Begriffsschrift and Principia Mathematica. Monistic fixeduniverse frameworks, common in preWWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multipleuniverse framework?like the 1931 Gödel incompleteness paper. A pluralistic multipleuniverse framework recognizes multiple (...) 

The purpose of this article is to delimit what can and cannot be claimed on behalf of secondorder logic. The starting point is some of the discussions surrounding my Foundations without Foundationalism: A Case for Secondorder Logic. 

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in firstorder number theory where Peano’s secondorder Induction Axiom is approximated by Herbrand’s InductionAxiom (...) 



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 (...) 

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n characterprefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) 

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) 

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premiseconclusion 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 informationprocessing procedure exhibiting a stepbystep deduction of the conclusion from the premiseset. Invalidity is established by (...) 

Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truthpreserving. However, it is not known whether all arguments that are valid in the usual modeltheoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question arises (...) 

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a selfcontained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) 

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 (...) 

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 (...) 