159 found
Sort by:
  1. Frederic B. Fitch, J. B. Rosser, A. R. Turquette, R. M. Martin, Nelson Goodman, Soren Hallden & Paul Bernays (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 106 (107).
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Timothy Smiley, Frederic B. Fitch, Shih-Chao Liu, S. C. Kleene, Keith Lehrer, Thomas E. Patton, Maria Kokoszynska, Arto Salomaa, Abraham Robinson & Gerald E. Sacks (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 175 (176).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Frederic B. Fitch (1996). Lemmon EJ. Quantifier Rules and Natural Deduction. Mind, Ns Vol. 70 (1961), Pp. 235–238. Journal of Symbolic Logic 31 (1):127-127.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Frederic B. Fitch (1996). Pawlak Z.. New Method of Parenthesis-Free Notations of Formulae. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Techniques, Vol. 8 No. 4 (1960), Pp. 197–198. [REVIEW] Journal of Symbolic Logic 31 (1):115-115.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Frederic B. Fitch (1984). Correction to a Definition of Negation. Journal of Symbolic Logic 49 (1):47-50.
  6. Frederic B. Fitch (1982). Review: Willard Van Orman Quine, From a Logical Point of View, 9 Logico-Philosophical Essays. [REVIEW] Journal of Symbolic Logic 47 (1):230-231.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Frederic B. Fitch (1981). The Consistency of System Q. Journal of Symbolic Logic 46 (1):67-76.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Frederic B. Fitch (1980). A Consistent Combinatory Logic with an Inverse to Equality. Journal of Symbolic Logic 45 (3):529-543.
  9. Frederic B. Fitch (1976). Reply to Comments. In J. P. Cleave & Stephan Körner (eds.), Philosophy of Logic: Papers and Discussions. University of California Press 201.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.) (1975). The Logical Enterprise. Yale University Press.
    Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...)
     
    My bibliography  
     
    Export citation  
  11. Frederic B. Fitch (1974). Elements of Combinatory Logic. New Haven,Yale University Press.
  12. Frederic B. Fitch (1973). A Correlation Between Modal Reduction Principles and Properties of Relations. Journal of Philosophical Logic 2 (1):97 - 101.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Frederic B. Fitch (1973). Natural Deduction Rules for English. Philosophical Studies 24 (2):89 - 104.
    A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as the c, a (an) c, some c, any c, and every c, where c represents a common noun. These latter expressions are called quantifiers, and other expressions of the form that c or that c itself, are called quantified terms. Introduction and elimination rules are presented for any, every, some, a (an), and the, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Frederic B. Fitch (1972). Quasi-Constructive Foundations for Mathematics. Journal of Symbolic Logic 37 (2):402-402.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Frederic B. Fitch (1971). Propositions as the Only Realities. American Philosophical Quarterly 8 (1):99 - 103.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Frederic B. Fitch (1971). Review: Jacques Sublet, Essai de Formalisation Complete du Raisonnement Mathematique Sur la Base de Trois Operations. [REVIEW] Journal of Symbolic Logic 36 (4):675-675.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Frederic B. Fitch (1970). Correction to a Paper on Modal Set Theory. Journal of Symbolic Logic 35 (2):242.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Frederic B. Fitch (1969). A Method for Avoiding the Curry Paradox. In Nicholas Rescher (ed.), Essays in Honor of Carl G. Hempel. Reidel 255--265.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Frederic B. Fitch (1968). A Note on Recursive Relations. Journal of Symbolic Logic 33 (1):107.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Frederic B. Fitch (1968). Review: Willard Van Orman Quine, On What There Is. [REVIEW] Journal of Symbolic Logic 33 (1):149-150.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Frederic B. Fitch (1967). A Complete and Consistent Modal Set Theory. Journal of Symbolic Logic 32 (1):93-103.
  22. Frederic B. Fitch (1967). A Revision of Hohfeld's Theory of Legal Concepts. Logique Et Analyse 10:269-276.
    No categories
     
    My bibliography  
     
    Export citation  
  23. Frederic B. Fitch (1967). A Theory of Logical Essences. The Monist 51 (1):104-109.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Frederic B. Fitch (1967). [Omnibus Review]. Journal of Symbolic Logic 32 (2):243-244.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Frederic B. Fitch (1966). Natural Deduction Rules for Obligation. American Philosophical Quarterly 3 (1):27 - 38.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Frederic B. Fitch (1966). Review: E. J. Lemmon, Quantifier Rules and Natural Deduction. [REVIEW] Journal of Symbolic Logic 31 (1):127-127.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Frederic B. Fitch (1966). Review: Z. Pawlak, New Method of Parenthesis-Free Notations of Formulae. [REVIEW] Journal of Symbolic Logic 31 (1):115-115.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Frederic B. Fitch (1964). A Goedelized Formulation of the Prediction Paradox. American Philosophical Quarterly 1 (2):161 - 164.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Frederic B. Fitch (1964). Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem. [REVIEW] Journal of Symbolic Logic 29 (2):101-101.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Frederic B. Fitch (1964). Review: Willard Van Orman Quine, Mathematical Logic. [REVIEW] Journal of Symbolic Logic 29 (2):92-92.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Frederic B. Fitch (1964). Universal Metalanguages for Philosophy. Review of Metaphysics 17 (3):396 - 402.
  32. Frederic B. Fitch (1963). A Logical Analysis of Some Value Concepts. Journal of Symbolic Logic 28 (2):135-142.
  33. Frederic B. Fitch (1963). Algebraic Simplification of Redundant Sequential Circuits. Synthese 15 (1):155 - 166.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Frederic B. Fitch (1963). Notice of Fellowship and Research Opportunities in Mathematics. Journal of Symbolic Logic 28 (1/4):112.
     
    My bibliography  
     
    Export citation  
  35. Frederic B. Fitch (1963). Policy Announcement. Journal of Symbolic Logic 28 (1/4):111.
     
    My bibliography  
     
    Export citation  
  36. Frederic B. Fitch (1963). Reviews. [REVIEW] Journal of Symbolic Logic 28 (1/4):98.
     
    My bibliography  
     
    Export citation  
  37. Frederic B. Fitch (1963). The System Cδ of Combinatory Logic. Journal of Symbolic Logic 28 (1):87-97.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Frederic B. Fitch (1960). Review: A. N. Prior, Peirce's Axioms for Propositional Calculus. [REVIEW] Journal of Symbolic Logic 25 (1):87-87.
  39. Frederic B. Fitch (1960). Some Logical Aspects of Reference and Existence. Journal of Philosophy 57 (20/21):640-647.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. Frederic B. Fitch (1959). Review: Kazuo Matsumoto, On a Lattice Relating to Intuitionistic Logic. [REVIEW] Journal of Symbolic Logic 24 (3):250-250.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Frederic B. Fitch (1958). An Extensional Variety of Extended Basic Logic. Journal of Symbolic Logic 23 (1):13-21.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Frederic B. Fitch (1958). Review: Kazuo Matsumoto, Sur la Structure Concernant la Logique Moderne. [REVIEW] Journal of Symbolic Logic 23 (4):443-444.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Frederic B. Fitch (1958). Representation of Sequential Circuits in Combinatory Logic. Philosophy of Science 25 (4):263-279.
  44. Frederic B. Fitch (1957). A Definition of Existence in Terms of Abstraction and Disjunction. Journal of Symbolic Logic 22 (4):343-344.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Frederic B. Fitch (1957). Combinatory Logic and Whitehead's Theory of Prehensions. Philosophy of Science 24 (4):331-335.
  46. Frederic B. Fitch (1957). Review: Herman Meyer, La Negation Et la Logique. [REVIEW] Journal of Symbolic Logic 22 (4):383-383.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Frederic B. Fitch (1957). Review: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW] Journal of Symbolic Logic 22 (3):293-293.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  48. Frederic B. Fitch (1956). Recursive Functions in Basic Logic. Journal of Symbolic Logic 21 (4):337-346.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Frederic B. Fitch (1956). Review: Th. Skolem, A Remark on a Set Theory Based on Positive Logic. [REVIEW] Journal of Symbolic Logic 21 (1):97-98.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Frederic B. Fitch (1955). Review: Alan Rose, The $M$-Valued Calculus of Non-Contradiction. [REVIEW] Journal of Symbolic Logic 20 (2):180-181.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 159