133 found
Order:
Disambiguations
Ivo Thomas [133]Ivor Thomas [3]Ivor Bulmer Thomas [2]
  1. A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
  2.  4
    Language and Logic in the Post-Medieval Period.Ivo Thomas - 1976 - Philosophical Quarterly 26 (102):103-104.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  23
    Richard B. Angell. Reasoning and Logic. Appleton-Century-Crofts, New York1964, Xiv + 625 Pp.Ivo Thomas - 1966 - Journal of Symbolic Logic 31 (4):674.
  4.  20
    R. Zane Parks. On Formalizing Aristotle's Theory of Modal Syllogisms. Notre Dame Journal of Formal Logic, Vol. 13 , Pp. 385–386. [REVIEW]Ivo Thomas - 1973 - Journal of Symbolic Logic 38 (3):519-520.
  5.  12
    Finite Limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  6.  15
    Stanisław Kamiński. Reguly Sylogizmów Z Uwzględnieniem Schematów o Zaprzeczonym Podmiocie . Polish, with Russian and English Summaries. Studia Logica, Vol. 16 , Pp. 45–52. [REVIEW]Ivo Thomas - 1968 - Journal of Symbolic Logic 32 (4):544.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. A History of Formal Logic.Joseph M. Bochenski & Ivo Thomas - 1961 - University of Notre Dame Press.
  8.  28
    Fundamentals of Logic. James D. Carney, Richard K. Scheer.Ivo Thomas - 1967 - Philosophy of Science 34 (1):76-77.
  9.  5
    The Domain of Logic According to Saint Thomas Aquinas.Ivo Thomas - 1968 - Philosophical Quarterly 18 (73):365-366.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  10.  9
    Actes du XIème Congrès International de Philosophie, Volume V, Logique, Analyse Philosophique, Philosophie des Mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain. [REVIEW]Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96-96.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  30
    Apuleian Logic, the Nature, Sources, and Influence of Apuleius's Peri Hermeneias. Mark W. Sullivan.Ivo Thomas - 1968 - Philosophy of Science 35 (2):197-198.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    A Final Note on S1° and the Brouwerian Axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  13.  24
    A Twelfth Century Paradox of the Infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23:133.
  14.  14
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  10
    Stoic Logic.Ivo Thomas - 1954 - Philosophical Quarterly 4 (17):383-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  6
    Modal Systems in the Neighbourhood of ${\Rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  17.  29
    A Contribution to the Axiomatization of Lewis' System S 5.Ten Modal Models.Nuel D. Belnap, Boleslaw Sobocinski & Ivo Thomas - 1966 - Journal of Symbolic Logic 31 (3):498.
  18.  58
    Archimedes E. J. Dijksterhuis: Archimedes. Pp. 422; 173 Figs. Copenhagen: Munksgaard, 1956. Paper, Kr. 60.Ivor Bulmer Thomas - 1958 - The Classical Review 8 (01):43-45.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    Introduction to Logic. William of Sherwood, Norman Kretzmann.Ivo Thomas - 1967 - Philosophy of Science 34 (3):295-296.
  20.  16
    Independence of Tarski's Law in Henkin's Propositional Fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
  21.  21
    Barbò Francesca Rivetti. La struttura logica della prima via per provare l'esistenza di Dio: Applicazioni di logica simbolica e nessi di contenuti. Rivista di filosofia neo-scolastica, vol. 52 nos. 2–3 , pp. 241–320. [REVIEW]Ivo Thomas - 1960 - Journal of Symbolic Logic 25 (4):348-349.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  53
    New Books. [REVIEW]H. H. Price, H. B. Acton, Austin Duncan-Jones, Margaret Macdonald, W. E. H. Whyte, John Munkman, D. P. Henry, A. C. Lloyd, Thomas McPherson, Antony Flew, Stephen Toulmin, J. O. Urmson & Ivo Thomas - 1953 - Mind 62 (247):406-431.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  23.  5
    Jaakko Hintikka. An Aristotelian Dilemma. Ajatus, Vol. 22 , Pp. 87–92. - Nicholas Rescher. Aristotle's Theory of Modal Syllogisms and its Interpretation. The Critical Approach to Science and Philosophy, Edited by Mario Bunge, The Free Press of Glencoe, Collier-Macmillan Limited, London1964, Pp. 152–177. Reprinted in Essays in Philosophical Analysis, by Nicholas Rescher, University of Pittsburgh Press, Pittsburgh 1969, Pp. 33–60. - Storrs McCall. Aristotle's Modal Syllogisms. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1963, VIII + 100 Pp. [REVIEW]Ivo Thomas - 1972 - Journal of Symbolic Logic 37 (2):418-419.
  24.  46
    The Written Liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
  25.  18
    Axiomatische Probleme in der Klassischen Syllogistik.Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  18
    Banks P.. On the Philosophical Interpretation of Logic: An Aristotelian Dialogue. Dominican Studies, Vol. 3 , Pp. 139–153. [REVIEW]Ivo Thomas - 1962 - Journal of Symbolic Logic 27 (1):116-116.
  27.  6
    Shorter Development of an Axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  28.  16
    Boh Ivan. A Study in Burleigh: Tractatus de Regulis Generalibus Consequentiarum. Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 83–101. [REVIEW]Ivo Thomas - 1964 - Journal of Symbolic Logic 29 (2):91-92.
  29.  16
    Dürr Karl. Die Syllogistik des Johannes Hospinianus . Synthese, Vol. 9 Issue 5 Nos. 6A and 6B , Pp. 472–484.Korcik Antoni. Teoria Sylogizmu Hospiniana I Leibniza {The Theory of Syllogism According to Hospinianus and Leibniz). Polish with English Summary. Roczniki Filozoficzne, Vol. 4 , Pp. 51–70. [REVIEW]Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  16
    Härtig Klaus. Über die Struktur der klassischen Syllogistik. Wissenschaftliche Zeitschrift der Martin-Luther-Universität Halle-Wittenberg, vol. 2 , pp. 165–189. [REVIEW]Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):95-96.
    Direct download (8 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  1
    CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  32.  7
    Universal Variable Non-Tarskian Functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  33.  30
    Euclid and Ptolemy Albert Lejeune: Euclide et Ptolémée. Deux stades de l'optique géométrique grecque (Université de Louvain, Recueil de Travaux d'Histoire et de Philologie, 3e série, 31e fascicule). 196 pp.; 18 figs. Louvain: Bibliothèque de l'Université, 1948. Paper, fr. 220. [REVIEW]Ivor Thomas - 1950 - The Classical Review 64 (01):23-24.
  34.  16
    On Meredith's Sole Positive Axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
  35.  17
    In Memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  36.  13
    Łukasiewicz Jan. On the Principle of Contradiction in Aristotle. English Translation of 1861 by Vernon Wedin. The Review of Metaphysics, Vol. 24 No. 3 , Pp. 485–509. [REVIEW]Ivo Thomas - 1974 - Journal of Symbolic Logic 39 (3):619-619.
  37.  16
    Review: James Wilkinson Miller, Paul Henle, Horace M. Kallen, Susanne K. Langer, The Logic of Terms. [REVIEW]Ivo Thomas - 1951 - Journal of Symbolic Logic 16 (4):287-288.
  38.  9
    A System of Modal Logic.Ivo Thomas, A. N. Prior & Alan Ross Anderson - 1960 - Journal of Symbolic Logic 25 (3):293-296.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  1
    Decision Procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
  40.  12
    Klixbüll Jørgensen Chr.. A Classification of Categorical Propositions. Logique Et Analyse, N.S. Vol. 7 , Pp. 233–256.Ivo Thomas - 1968 - Journal of Symbolic Logic 32 (4):545-545.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  12
    Klixbüll Jørgensen Chr.. The Extensional Classification of Categorical Propositions and Trivalent Logic. Logique Et Analyse, N.S. Vol. 10 , Pp. 141–156. [REVIEW]Ivo Thomas - 1968 - Journal of Symbolic Logic 33 (3):483-483.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  12
    Miller James Wilkinson. The Logic of Terms. Structure, Method and Meaning, Essays in Honor of Henry M. Sheffer, Edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, Pp. 35–41. [REVIEW]Ivo Thomas - 1951 - Journal of Symbolic Logic 16 (4):287-288.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    Independence of Faris-Rejection-Axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
  44.  13
    On the Infinity of Positive Logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
  45.  13
    Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication. [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326-326.
  46.  9
    Further Extensions of S3.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14:423.
  47.  4
    The Logical Systems of Lesniewski.Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-80.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  16
    Three-Valued Propositional Fragments with Classical Implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
  49.  25
    Formal Logic. By A. N. Prior. (Geoffrey Cumberlege, O.U.P. 1955. Price 35s.).Ivo Thomas - 1956 - Philosophy 31 (119):379-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  4
    Medieval Logic & Metaphysics.Ivo Thomas & D. P. Henry - 1974 - Philosophical Quarterly 24 (94):71.
1 — 50 / 133