# From a Logical Point of View

@inproceedings{Martin1953FromAL, title={From a Logical Point of View}, author={Richard Milton Martin and W. V. 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…

## Topics from this paper

## 2,798 Citations

Against the notion of Ontological Primacy

- Philosophy
- 2004

Abstract Historically, it has often been maintained that some particular ontology is the right one. The hardcore nominalist, for example, would claim that the world is made up of individual objects…

A point of reference

- MathematicsSynthese
- 2004

Conclusion83. It should now be apparent that the familiar problems of reference and modality can be satisfactorily resolved without either abandoning substitutivity of identity in modal contexts or…

A logical form for the propositional attitudes

- Computer ScienceSynthese
- 2004

The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such…

How to define a mereological (collective) set

- Computer Science
- 2010

This paper explicates informally and formally what it means to join many objects into a single entity from point of view of mereology, the theory of part of (parthood) relation and motivates basic axioms for part of relation.

A Limited View of Realism

- Sociology
- 2012

In the paper we argue that no neat border line between ontology and epistemology can be drawn. This is due to the fact that the separation between factual and conceptual is rather fuzzy, and the…

Ontology: minimalism and truth-conditions

- Philosophy
- 2013

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth-conditions. Firstly, I…

MATHEMATICS AND ONTOLOGY

- Mathematics
- 1973

The Platonist attitude towards mathematical existence, though heuristically fruitful, remains epistemologically obscure. Heuristics is in fact the proper sphere in which to entertain ontological talk…

Semantics for Propositional Attitudes

- Philosophy
- 1969

In the philosophy of logic a distinction is often made between the theory of reference and the theory of meaning.1 In this paper I shall suggest (inter alia) that this distinction, though not without…

The Unity of Science and The Unity of Being: a Sketch of a Formal Approach

- Sociology, Computer ScienceLogic, Epistemology, and the Unity of Science
- 2004

It is shown that, even though it might be unavoidable to have several, not mutually reducible, fundamental theories, there could still be a sense in which the authors might speak of a unified ontological system, when the fundamental theories are not mutually incompatible.

Ontology and Analyticity

- Computer Science
- 1977

All the properties and relations about which B can formulate statements by means of the predicate- terms occurring in his language will be assumed by B to exist.

## References

SHOWING 1-10 OF 120 REFERENCES

A Set of Axioms for Logic

- Computer ScienceJ. Symb. Log.
- 1944

One of the preeminent problems confronting logicians is that of constructing a system of logic which will be adequate for mathematics, and the system of Quine's that this work is concerned is concerned.

The Completeness of the First-Order Functional Calculus

- Mathematics, Computer ScienceJ. Symb. Log.
- 1949

This paper presents a new method of proof for the first-order functional calculus which requires less formal development of the system from the axioms and suggests a new approach to the problem of completeness for functional calculi of higher order.

The inconsistency of certain formal logics

- Mathematics
- 1942

A proof that certain systems of formal logic are inconsistent, in the sense that every formula expressible in them is provable, was published by Kleene and Rosser under the above title in 1935. For…

The Semantic Conception of Truth and the Foundations of Semantics

- Philosophy
- 1944

X is true if, and only if, p. [...] we shall call a definition of truth “adequate” if all these equivalences follow from it. [...] The definition of truth which was outlined above [...] implies all…

A Complete Theory of Natural, Rational, and Real Numbers

- Mathematics, Computer ScienceJ. Symb. Log.
- 1950

The purpose of the present paper is to construct a fragment of number theory not subject to Godel incompletability, a weaker form of Fitch's “basic logic”, along with proofs of consistency and completeness and a few metatheorems which will be used as lemmas for future research.

Logic based on Inclusion and Abstraction

- Mathematics, Computer ScienceJ. Symb. Log.
- 1937

The metamathematical notion of term, covering all variables and also all expressions of abstraction, is now describable recursively thus: a variable is a term, and the number of accents which it bears is called its rank.

A Formal System of Logic

- Mathematics, Computer ScienceJ. Symb. Log.
- 1950

This paper presents a formal system P, a system which differs from the inconsistent system of [ 1 ] only in the introduction of a rather natural new restrictive condition on the defining formulas of the elements (sets, membership-eligible classes).

Some Theorems on Definability and Decidability

- Mathematics, Computer ScienceJ. Symb. Log.
- 1952

It is shown that relations of natural numbers are reducible in elementary fashion to symmetric ones, and that R is definable in terms of H plus just truth-functions and quantification over natural numbers.

On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth

- Mathematics, Computer ScienceJ. Symb. Log.
- 1939

It is my intention in this paper to add somewhat to the observations already made in my earlier publications on the existence of undecidable statements in systems of logic possessing rules of…

A Note on the Entscheidungsproblem

- Mathematics, Computer ScienceJ. Symb. Log.
- 1936

It is shown that the general case of the Entscheidungsproblem is unsolvable in any system of symbolic logic which is adequate to a certain portion of arithmetic and is ω-consistent.