From a Logical Point of View

@inproceedings{Martin1953FromAL,
  title={From a Logical Point of View},
  author={R. M. Martin and W. Quine},
  year={1953}
}
entities from the very beginning rather than only where there is a real purpose in such reference. Hence my wish to keep general terms distinct from abstract singular terms. Even in the theory of validity it happens that the appeal to truth values of statements and extensions of predicates can finally be eliminated. For truth-functional validity can be redefined by the familiar tabular method of computation, and validity in quantification theory can be redefined simply by appeal to the rules of… Expand
2,696 Citations
Against the notion of Ontological Primacy
The anatytic conception of truth and the foundations of arithmetic
  • P. Apostoli
  • Computer Science, Mathematics
  • Journal of Symbolic Logic
  • 2000
  • 3
A point of reference
  • 4
A logical form for the propositional attitudes
  • 10
A Limited View of Realism
  • Highly Influenced
  • PDF
Ontology: minimalism and truth-conditions
  • 1
MATHEMATICS AND ONTOLOGY
  • 2
Semantics for Propositional Attitudes
  • 329
The Unity of Science and The Unity of Being: a Sketch of a Formal Approach
  • C. Moulines
  • Sociology, Computer Science
  • Logic, Epistemology, and the Unity of Science
  • 2004
  • 1
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 119 REFERENCES
A Set of Axioms for Logic
  • 52
The Completeness of the First-Order Functional Calculus
  • L. Henkin
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1949
  • 403
  • PDF
The inconsistency of certain formal logics
  • 189
A Complete Theory of Natural, Rational, and Real Numbers
  • J. Myhill
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1950
  • 10
Logic based on Inclusion and Abstraction
  • W. Quine
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1937
  • 22
A Formal System of Logic
  • H. Wang
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1950
  • 23
Some Theorems on Definability and Decidability
  • 20
  • PDF
On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth
  • A. Tarski
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1939
  • 45
A Note on the Entscheidungsproblem
  • A. Church
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1936
  • 621
  • PDF
The Problem of the Morning Star and the Evening Star
  • 25
...
1
2
3
4
5
...