W. V. Quine

发表

On Formulas with Valid Cases

W. V. Quine, 1956, J. Symb. Log..

Set-Theoretic Foundations for Logic

W. V. Quine, 1936, J. Symb. Log..

Some theorems on definability and decidability

Alonzo Church, W. V. Quine, A. Church, 1952, Journal of Symbolic Logic.

Concatenation as a basis for arithmetic

W. V. Quine, W. Quine, 1946, Journal of Symbolic Logic.

Review: Robert Feys, A Simple Notation for Relations

W. V. Quine, 1950 .

Bernays Paul. A system of axiomatic set theory—Part I. The journal of symbolic logic, vol. 2 (1937), pp. 65–77. See Errata, The journal of symbolic logic, vol. 2 (1937), p. iv.

W. V. Quine, 1938 .

Three Grades of Modal Involvment

W. V. Quine, W. Quine, 1953 .

Natural deduction

W. V. Quine, R. Zach, P. Mancosu, 2021, An Introduction to Proof Theory.

Reduction to a dyadic predicate

W. V. Quine, W. Quine, 1954, Journal of Symbolic Logic.

The problem of interpreting modal logic

W. V. Quine, W. Quine, 1947, Journal of Symbolic Logic.

Elimination of Extra-Logical Postulates

Nelson Goodman, W. V. Quine, 1940, J. Symb. Log..

Unification of universes in set theory

W. V. Quine, W. Quine, 1956, Journal of Symbolic Logic.

Element and Number

W. V. Quine, W. Quine, 1941, Journal of Symbolic Logic (JSL).

Chwistek L. and Hetper W.. New foundation of formal metamathematics. The journal of symbolic logic, vol. 3 (1938), pp. 1–36.

W. V. Quine, 1938 .

Logic based on inclusion and abstraction

W. V. Quine, W. Quine, 1937, Journal of Symbolic Logic.

Promoting extensionality

W. V. Quine, W. Quine, W. V. Quine, 2005, Synthese.

From a logical point of view : three selected essays = Von einem logischen Standpunkt aus : drei ausgewählte Aufsätze : Englisch/Deutsch

W. V. Quine, Christian Nimtz, Roland Bluhm, 2011 .

On Reduction to a Symmetric Relation

W. V. Quine, William Craig, 1952, J. Symb. Log..

A proof procedure for quantification theory

W. V. Quine, W. Quine, 1955, Journal of Symbolic Logic.

Address: Existence and Quantification

W. V. Quine, 1969 .

On relations as coextensive with classes

W. V. Quine, W. Quine, 1946, Journal of Symbolic Logic.

Steps toward a constructive nominalism

Nelson Goodman, W. V. Quine, N. Goodman, 1947, Journal of Symbolic Logic.

On Cantor's theorem

W. V. Quine, W. Quine, 1937, Journal of Symbolic Logic.

On the theory of types

W. V. Quine, W. Quine, 1938, Journal of Symbolic Logic (JSL).

On the Logic of Quantification

W. V. Quine, 1945, J. Symb. Log..

On ordered pairs

W. V. Quine, W. Quine, 1945, Journal of Symbolic Logic.

Completeness of the Propositional Calculus

W. V. Quine, 1938, J. Symb. Log..

Levels of Abstraction (1972)

W. V. Quine, 2016 .

On Existence Conditions for Elements and Classes

W. V. Quine, 1942, J. Symb. Log..

Interpretations of Sets of Conditions

W. V. Quine, W. Quine, 1954, J. Symb. Log..

Predicate functors revisited

W. V. Quine, W. Quine, 1981, Journal of Symbolic Logic.

Toward a Calculus of Concepts

W. V. Quine, 1936, J. Symb. Log..

On ω-inconsistency and a so-called axiom of infinity

W. V. Quine, W. Quine, 1953, Journal of Symbolic Logic.

On Universals

W. V. Quine, W. Quine, W. V. Quine, 1947, Journal of Symbolic Logic.

On Derivability

W. V. Quine, 1937, J. Symb. Log..

Quantification and the empty domain

W. V. Quine, W. Quine, 1954, Journal of Symbolic Logic.

Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus.

W. V. Quine, I. Johansson, 1937 .

Review: Alfred Tarski, Uber den Begriff der Logischen Folgerung

W. V. Quine, 1937 .

Ontologische Relativität und andere Schriften

W. V. Quine, Wolfgang Spohn, Wolfgang Spohn, 1975 .

Hermes Hans. Semiotik. Eine Theorie der Zeichengestalten als Grundlage für Untersuchungen von formalisierten Sprachen. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 5. S. Hirzel, Leipzig 1938, 22 pp.

W. V. Quine, 1939, Journal of Symbolic Logic.

Review: Hans Hermes, Semiotik. Eine Theorie der Zeichengestalten als Grundlage fur Untersuchungen von Formalisierten Sprachen

W. V. Quine, 1939 .

Grundzüge der Logik

W. V. Quine, D. Siefkes, 1974 .

Wort und Gegenstand = Word and object

W. V. Quine, D. Birnbacher, J. Schulte, 1980 .

Wissenschaft und Empfindung : die Immanuel Kant Lectures

W. V. Quine, H. G. Callaway, 2003 .

Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, vol. 27. 2nd. edn., Julius Springer, Berlin 1938, viii + 133 pp.

W. V. Quine, 1938, Journal of Symbolic Logic.

Theorien und Dinge

W. V. Quine, J. Schulte, Joachim Schulte, 1991 .