Wilfrid Hodges; VIII*—Truth in a Structure, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986, Pages 135–152, https://doi.org/10.1093/ari.

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

In his 1936 article, "Uber den Begriff der logischen Folgerung," Tarski claims to have provided precise definitions of the concepts of logical truth and logical consequence that remain "close in essentials" to the "common" or "everyday" concepts. In this dissertation, I examine Tarski's account of these notions, as well as the standard model theoretic definitions that are based on that analysis. I argue that Tarski's analysis, and hence in turn its model theoretic heirs, are fundamentally mistaken, that they do not (...) capture the essential features of our ordinary understanding of those notions. I claim that the account's misdirection is, in a sense, quite obvious, but that it has been disguised in various different ways. First is a fallacious argument that seems to have been offered by Tarski in support of his analysis, second is the conflation of the model theoretic definitions with what I call "representational semantics," and third is a confusion of the principle underlying Tarski's account with a completely uncontroversial principle concerning the closure of logical truth under logical consequence. (shrink)

Vann McGee; XIII*—Two Problems with Tarski's Theory of Consequence, Proceedings of the Aristotelian Society, Volume 92, Issue 1, 1 June 1992, Pages 273–292, htt.

We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.