Frederic Fitch

Frederic Fitch's AcademicInfluence.com Rankings

Frederic Fitch

Philosophy

#1830

Historical Rank

Logic

#550

Historical Rank

philosophy Degrees

Download Badge

Philosophy

Why Is Frederic Fitch Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Frederic Brenton Fitch was an American logician, a Sterling Professor at Yale University. Education and career At Yale, Fitch earned his B.A in 1931 and his Ph.D. from Yale in 1934 under the supervision of F. S. C. Northrop. From 1934 to 1937 Fitch was a postdoc at the University of Virginia. In 1937 he returned to Yale, where he taught until his retirement in 1977.

(See a Problem?)

Frederic Fitch's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A logical analysis of some value concepts (1963) (325)
Mathematico-Deductive Theory of Rote Learning (1941) (160)
Symbolic Logic, An Introduction (1953) (131)
Mathematico Deductive Theory of Rote Learning: A Study in Scientific Methodology (1940) (58)
A basic logic (1942) (43)
Elements of combinatory logic (1974) (36)
An extension of basic logic (1948) (28)
The Problem of the Morning Star and the Evening Star (1949) (27)
A system of formal logic without an analogue to the curry W operator (1936) (27)
McCulloch Warren S. and Pitts Walter. A logical calculus of the ideas immanent in nervous activity. Bulletin of mathematical biophysics , vol. 5 (1943), pp. 115–133. (1944) (27)
The Logical Enterprise (1975) (26)
A theory of programming languages. (1969) (22)
Universal Metalanguages For Philosophy (1964) (21)
A correlation between modal reduction principles and properties of relations (1973) (20)
Dictionary of Symbols of Mathematical Logic (1969) (19)
The system CΔ of combinatory logic (1963) (17)
Natural deduction rules for English (1973) (16)
The Semantic Conception of Truth and the Foundations of Semantics (1944) (14)
A consistent combinatory logic with an inverse to equality (1980) (13)
Representation of Sequential Circuits in Combinatory Logic (1958) (13)
Introduction to Semantics.@@@Formalization of Logic. (1944) (13)
A complete and consistent modal set theory (1967) (13)
IV.—SELF-REFERENCE IN PHILOSOPHY (1946) (12)
The System $C\Delta$ of Combinatory Logic (1963) (11)
Semiotics and linguistic structure (1978) (8)
The Heine-Borel theorem in extended basic logic (1949) (7)
Quine W. V.. On universals. Gödel prefix, a single binary predicate. pp. 74–84. (1948) (7)
A Demonstrably Consistent Mathematics. (1951) (7)
Review: Willard Van Orman Quine, From a Logical Point of View, 9 logico-philosophical Essays (1982) (6)
The consistency of the ramified Principia (1938) (6)
A demonstrably consistent mathematics—Part I (1950) (6)
A further consistent extension of basic logic (1950) (6)
A Method for Avoiding the Curry Paradox (1969) (6)
Attribute and Class. (1950) (6)
A simplification of basic logic (1953) (6)
Recursive functions in basic logic (1956) (5)
A Theory of Logical Essences (1967) (4)
Representations of calculi (1944) (4)
The consistency of system Q (1981) (4)
Review: Willard Van Orman Quine, On What There is (1968) (3)
Note on modal functions (1939) (3)
Review: J. H. Woodger, W. F. Floyd, Alfred Tarski, The Axiomatic Method in Biology (1938) (3)
An extensional variety of extended basic logic (1958) (3)
A definition of negation in extended basic logic (1954) (3)
The Perfection of Perfection (1963) (3)
On natural numbers, integers, and rationals (1949) (2)
A minimum calculus for logic (1944) (2)
Actuality, Possibility, and Being (1950) (2)
Physical Continuity (1936) (2)
Modal functions in two-valued logic (1937) (2)
Closure and Quine's *101 (1941) (2)
Review: Herbert Gaylord Bohnert, The Semiotic Status of Commands (1946) (2)
Combinatory Logic and Whitehead's Theory of Prehensions (1957) (2)
The hypothesis that infinite classes are similar (1939) (2)
Review: J. C. C. McKinsey, On the Syntactical Construction of Systems of Modal Logic (1946) (2)
On God and Immortality (1948) (2)
Review: W. V. Quine, Concatenation as a Basis for Arithmetic (1948) (2)
Towards a Formalization of Hull's Behavior Theory (1950) (2)
Review: J. C. C. McKinsey, On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus (1944) (2)
Review: Albert Hofstadter, J. C. C. McKinsey, On the Logic of Imperatives (1940) (1)
von Wright G. H.. Deontic logic. Mind, n. s. vol. 60 (1951), pp. 1–15. (1952) (1)
A demonstrably consistent mathematics—Part II (1951) (1)
Mender Karl. A logic of the doubtful. On optative and imperative logic. Reports of a mathematical colloquium (Notre Dame, Ind.), ser. 2 no. 1 (1939), pp. 53–64. (1940) (1)
Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem (1964) (1)
Review: Charles K. Davenport, The Role of Graphical Methods in the History of Logic (1955) (1)
Some Logical Aspects of Reference and Existence (1960) (1)
REMARKS ON THE THEORY OF TYPES (1947) (1)
Review: Th. Skolem, A Remark on a Set Theory Based on Positive Logic (1956) (1)
Review: Ernest Nagel, Truth and Knowledge of the Truth (1945) (1)
Note on Leo Abraham’s “Transformations” of Strict Implication (1933) (1)
Review: F. J. McGuigan, Formalization of Psychological Theory (1954) (1)
Hofstadter Albert and McKinsey J. C. C.. On the logic of imperative. Philosophy of science , vol. 6 (1939), pp. 446–457. (1940) (1)
Correction to a definition of negation (1984) (1)
Bohnert Herbert Gaylord. The semiotic status of commands. Philosophy of science , vol. 12 (1945), pp. 302–315. (1946) (1)
Formalized Self-Reference (1987) (1)
Bergmann Gustav. Concerning the definition of classes. Mind, n. s. vol. 60 (1951), pp. 95–96. (1952) (1)
Correction to a paper on modal set theory (1970) (1)
Review: Leonard Linsky, Description and the Antinomy of the Name-Relation (1955) (0)
Reviews. H. Meyer. On definitions in symbolic logic. Synthese, vol. 5 (1946), pp. 261–266, 353–361. (1948) (0)
Minimal logic and computers, chapter IV: theory of numbers in the system R (1972) (0)
Review: W. F. Floyd, Heterogony in Cell Hierarchies (1941) (0)
Davenport Charles K.. The role of graphical methods in the history of logic. Methodos, vol. 4 (1952), pp. 145–164. (1955) (0)
Review: Hao Wang, Quelques Notions d'Axiomatique (1955) (0)
List of officers and members of the Association for Symbolic Logic (1964) (0)
Lemmon E. J.. Quantifier rules and natural deduction. Mind, n.s. vol. 70 (1961), pp. 235–238. (1966) (0)
A note on recursive relations (1968) (0)
Review: H. D. Landahl, W. S. McCulloch, Walter Pitts, A Statistical Consequence of the Logical Calculus of Nervous Nets (1944) (0)
Review: Charles A. Baylis, Critical Comments on the "Symposium on Meaning and Truth." (1945) (0)
Grelling Kurt. Zur Logik der Sollsaelze. Unity of science forum , 01, 1939, pp. 44–47. (1940) (0)
Goodman Nelson. New notes on simplicity. The journal of symbolic logic, vol. 17 (1952), pp. 189–191. (1953) (0)
Brennan Joseph Gerard. A handbook of logic . Second edition of XXIV 186. Harper & Bros., New York 1961, xi + 250 pp. (1960) (0)
Review: Alan Rose, The $m$-Valued Calculus of Non-Contradiction (1955) (0)
Review: Z. Pawlak, New Method of Parenthesis-Free Notations of Formulae (1966) (0)
Quine W. V.. Element and number. The journal of symbolic logic, vol. 6 (1941), pp. 135–149. (1942) (0)
Quine Willard Van Orman. Mathematical logic. Revised edition. Harper torchbooks. The science library. Harper & Row, New York and Evanston 1962, xii + 346 pp. (1964) (0)
List of officers and members of the Association for Symbolic Logic (1965) (0)
Review: K. Reach, Some Comments on Grelling's Paper "Zur Logik der Sollsaetze." (1940) (0)
Review: Nelson Goodman, New Notes on Simplicity (1953) (0)
Review: David L. Miller, Meaning and Verification (1944) (0)
Review: George V. Gentry, Some Comments on Morris's "Class" Conception of the Designatum (1944) (0)
Symbolic Logic; an Introduction. (1953) (0)
List of officers and members of the Association for Symbolic Logic (1944) (0)
Maziarz Edward A.. The philosophy of mathematics . Philosophical Library, New York 1950, viii + 286 pp. (1951) (0)
Reach K.. Some comments on Grelling's paper “Zur Logik der Sollsaelze.” Unity of science forum, 04, 1939, p. 72. (1940) (0)
Review: Karl Menger, A Logic of the Doubtful. On Optative and Imperative Logic (1940) (0)
Review: Joe Adams, Concepts as Operators (1954) (0)
Sixteenth meeting of the Association for Symbolic Logic (1954) (0)
Review: Joseph Gerard Brennan, A Handbook of Logic (1960) (0)
Review: Thomas Greenwood, The Unity of Logic (1947) (0)
Review: Yehoshua Bar-Hillel, Logical Syntax and Semantics (1955) (0)
Review: Soren Hallden, A Question Concerning a Logical Calculus Related to Lewis' System of Strict Implication, Which is of Special Interest for the Study of Entailment (1949) (0)
Evans Ellis. Notes on the symbolic process. Mind , n. s. vol. 60 (1951), pp. 62–79. (1952) (0)
Review: Everett H. Larguier, Concerning Some Views on the Structure of Mathematics (1942) (0)
Review: Gustav Bergmann, Concerning the Definition of Classes (1952) (0)
Review: Alan Rose, An Extension of the Calculus of Non-Contradiction (1953) (0)
Review: W. V. Quine, On Universals (1948) (0)
Review: Norman Malcolm, The Nature of Entailment (1940) (0)
Review: H. Meyer, On Definitions in Symbolic Logic (1948) (0)
Review: F. H. George, Logical Constructs and Psychological Theory (1954) (0)
Landahl H. D., McCulloch W. S., and Pitts Walter. A statistical consequence of the logical calculus of nervous nets. Bulletin of mathematical biophysics , vol. 5 (1943), pp. 135–137. (1944) (0)
Review: Kazuo Matsumoto, On a Lattice Relating to Intuitionistic Logic (1959) (0)
Bar-Hillel Yehoshua. Logical syntax and semantics. Language, vol. 30 (1954), pp. 230–237. (1955) (0)
Review: Homer H. Dubs, Definition and Its Problems (1944) (0)
Rose Alan. An extension of computational logic. The journal of symbolic logic, vol. 17 (1952), pp. 31–34. (1952) (0)
Adams Joe. Concepts as operators. The psychological review, vol. 60 (1953), pp. 241–251. (1954) (0)
Los símbolos de la lógica matemática (1980) (0)
Review: Edwin W. Patterson, Logic in the Law (1942) (0)
Goodman Nelson. The logical simplicity of predicates. The journal of symbolic logic, vol. 14 (1949), pp. 32–41.Goodman Nelson. An improvement in the theory of simplicity. The journal of symbolic logic, vol. 14 (1949), pp. 228–229. (1950) (0)
Toms E.. Fact and entailment. Mind, n.s. vol. 49 (1940), pp. 451–455. (1940) (0)
Patterson Edwin W.. Logic in the law. University of Pennsylvania law review, vol. 90 (1941–1942), pp. 875–909. (1942) (0)
Larguier Everett H.. Concerning some views on the structure of mathematics. The Thomist, vol. 4 (1942), pp. 431–444. (1942) (0)
Review: A. N. Prior, Peirce's Axioms for Propositional Calculus (1960) (0)
Levin Nathan P.. Computational logic. The journal of symbolic logic, Bd. 14 (1949), pp. 167–172. (1950) (0)
Review: M. A. MacConaill, Causality in Embryology (1951) (0)
Review: Willard Van Orman Quine, Mathematical Logic (1964) (0)
Review: H. R. Smart, What is Deduction? (1945) (0)
MacConaill M. A.. Causality in embryology. Dominican studies , vol. 3 (1950), pp. 220–235. (1951) (0)
Review: Nathan P. Levin, Computational Logic (1950) (0)
Review: Erik Stenius, Natural Implication and Material Implication (1949) (0)
Symbolic Logic, An Introduction. (1953) (0)
Review: Charles E. Gauss, The Interpretation of Implication (1943) (0)
Review: Neil L. Wilson, In Defense of Proper Names (1955) (0)
Alban M. J.. Independence of the primitive symbols of Lewis's calculi of propositions. The journal of symbolic logic, vol. 8 (1943), pp. 25–26. (1943) (0)
Leonard Linsky. Description and the antinomy of the name-relation. Mind , n.s. vol. 61 (1952), pp. 273–275. (1955) (0)
Kattsoff Louis O.. Facts, phenomena, and frames of reference in psychology. The psychological review, vol. 60 (1953), pp. 40–44. (1954) (0)
Floyd W. F.. Heterogony in cell hierarchies. Growth , vol. 4 (1940), pp. 241–244. (1941) (0)
F. J. McGuigan. Formalization of psychological theory. Psychological review , vol. 60 (1953), pp. 377–382. (1954) (0)
Review: Ellis Evans, Notes on the Symbolic Process (1952) (0)
Review: E. Toms, Facts and Entailment (1940) (0)
Review: Richard A. Behan, Expectancies and Hullian Theory (1954) (0)
Review: E. J. Lemmon, Quantifier Rules and Natural Deduction (1966) (0)
Review: Arthur N. Prior, Facts, Propositions and Entailment (1949) (0)
Review: Fritz Paradies, Die Konformationsregeln der Empirischen Rechtswissenschaft; Fritz Paradies, Ernst v. Glasersfeld, The Conformation Rules of Empirical Jurisprudence (1952) (0)
Miller David L.. Meaning and verification. The philosophical review, vol. 52 (1943), pp. 604–609. (1944) (0)
J. C. C. McKinsey. On the syntactical construction of systems of modal logic. The journal of symbolic logic , vol. 10 (1945), pp. 83–94. (1946) (0)
Review: M. J. Alban, Independence of the Primitive Symbols of Lewis's Calculi of Propositions (1943) (0)
List of officers and members of the Association for Symbolic Logic (1962) (0)
Review: Edward A. Maziarz, The Philosophy of Mathematics (1951) (0)
Behan Richard A.. Expectancies and Hullian theory. The psychological review , vol. 60 (1953), pp. 252–256. (1954) (0)
Malcolm Norman. The nature of entailment. Mind , n.s. vol. 49 (1940), pp. 333–347. (1940) (0)
Dubs Homer H.. Definition and its problems. The philosophical review, vol. 52 (1943), pp. 566–577. (1944) (0)
McKinsey J. C. C.. On the number of complete extensions of the Lewis systems of sentential calculus. The journal of symbolic logic , vol. 9 (1944), pp. 42–45. (1944) (0)
Review: Nelson Goodman, The Logical Simplicity of Predicates; Nelson Goodman, An Improvement in the Theory of Simplicity (1950) (0)
Symbolic Logic and Behavior Theory: A Reply. (1940) (0)
A definition of existence in terms of abstraction and disjunction (1957) (0)
E. Toms. Facts and entailment. Mind , n.s. vol. 57 (1948), pp. 232–236. (1949) (0)
Gentry George V.. Some comments on Morris's “class” conception of the designatum. The journal of philosophy, vol. 41 (1944), pp. 376–384. (1944) (0)
Comments and Criticisms (1938) (0)
Review: Louis O. Kattsoff, Facts, Phenomena, and Frames of Reference in Psychology (1954) (0)
Neil L. Wilson. In defense of proper names. Philosophical studies , vol. 4 (1953), pp. 72–78. (1955) (0)
Greenwood Thomas. The unity of logic. The Thomist, vol. 8 (1945), pp. 457–470. (1947) (0)
Symposium: Justification In Science (1953) (0)
Review: Alston S. Householder, Herbert D. Landahl, Mathematical Biophysics of the Central Nervous System (1946) (0)
Review: G. H. von Wright, Deontic Logic (1952) (0)
The System C triangle of Combinatory Logic (1963) (0)
Review: Nelson Goodman, Some Reflections of the Theory of Systems (1950) (0)
George F. H.. Logical constructs and psychological theory. The psychological review , vol. 60 (1953), pp. 1–6. (1954) (0)
Barkley Rosser. The Burali-Forti paradox. The journal of symbolic logic , vol. 7 (1942), pp. 1–17. (1942) (0)
Closure and Quine's $^\ast 101$ (1941) (0)
Corrections to two papers on modal logic (1948) (0)
Review: Jack L. Maatsch, Richard A. Behan, A More Rigorous Theoretical Language (1954) (0)
Prior Arthur N.. Facts, propositions and entailment. Mind, n.s. vol. 57 (1948), pp. 62–68. (1949) (0)
Reiser Oliver L.. The promise of scientific humanism. Toward a unification of scientific, religious, social and economic thought. Oskar Piest, New York 1940, xviii + 364 pp. (1941) (0)
F. H. George. Formalization of language systems for behavior theory. The psychological review , vol. 60 (1953), pp. 232–240. (1954) (0)
Jack L. Maatsch and Richard A. Behan. A more rigorous theoretical language. The psychological review , vol. 60 (1953), pp. 189–196. (1954) (0)
Halldén Sören. A question concerning a logical calculus related to Lewis' system of strict implication, which is of special interest for the study of entailment. Theoria , vol. 14 (1948), pp. 265–269. (1949) (0)
Review: Ruth Barcan Marcus, The Elimination of Contextually Defined Predicates in a Modal System (1951) (0)
Paradies Fritz. Die Konformationsregeln der empirischen Rechtswissenschaft. Methodos, vol. 1 (1949), pp. 259–269.Paradies Fritz. The conformation rules of empirical jurisprudence. English translation of the preceding by Ernst v. Glasersfeld. Methodos, vol. 1 (1949), pp. 270–276. (1952) (0)
Review: C. J. Ducasse, Facts, Truth and Knowledge (1945) (0)
Review: Oliver L. Reiser, The Promise of Scientific Humanism. Toward a Unification of Scientific, Religious, Social and Economic Thought (1941) (0)
List of officers and members of the Association for Symbolic Logic (1963) (0)
Alston S. Householder and Herbert D. Landahl. Mathematical biophysics of the central nervous system . Mathematical biophysics monograph series, no. 1. The Principia Press, Inc., Bloomington, Indiana, 1945, ix + 124 pp. (1946) (0)
Gauss Charles E.. The interpretation of implication. Philosophy of science , vol. 10 (1943), pp. 95–103. (1943) (0)
Review: F. H. George, Formalization of Language Systems for Behavior Theory (1954) (0)
Review: Barkley Rosser, The Burali-Forti Paradox (1942) (0)
Goodman Nelson and Quine W. V.. Steps toward a constructive nominalism. Gödel prefix, a single binary predicate. pp. 105–122. (1948) (0)
Brennan Joseph Gerard. A handbook of logic . Harper & Brothers, New York 1957, x + 222 pp. (1959) (0)
Reply to Professor Baylis' Criticisms (1948) (0)

This paper list is powered by the following services:

Other Resources About Frederic Fitch

en.wikipedia.org

What Schools Are Affiliated With Frederic Fitch?

Frederic Fitch is affiliated with the following schools:

Yale University