122 found
Order:
Disambiguations
Ivo Thomas [120]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. A History of Formal Logic.Joseph M. Bochenski & Ivo Thomas - 1961 - University of Notre Dame Press.
  3.  6
    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  
  4.  13
    Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  5.  8
    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  
  6.  15
    Stoic Logic. [REVIEW]Ivo Thomas - 1954 - Philosophical Quarterly 4 (17):383-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  10
    Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  8.  17
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  15
    A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  10.  17
    Independence of Tarski's law in Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
  11.  42
    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.
  12.  26
    Richard B. Angell. Reasoning and logic. Appleton-Century-Crofts, New York1964, xiv + 625 pp.Ivo Thomas - 1966 - Journal of Symbolic Logic 31 (4):674.
  13.  33
    Fundamentals of Logic. James D. Carney, Richard K. Scheer. [REVIEW]Ivo Thomas - 1967 - Philosophy of Science 34 (1):76-77.
  14.  21
    In memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  15.  63
    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  
  16. Some Laws of the Calculus of Quantifiers.Alonzo Church & Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):143.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17. A theorem on ${\rm S}4.2$ and ${\rm S}4.4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):335-336.
  18. Unusual feature of $S3^\ast$.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14 (2):276-276.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19. Rules for Syllogisms with the Consideration of Schemata with Negated Subject Terms.Ivo Thomas - 1967 - Journal of Symbolic Logic 32 (4):544-544.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. A theorem on S4.2 and S4.4.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8:335.
  21. Eulerian Syllogistic.Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (4):381-382.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Korcik Antoni. Przyczynek do historii klasycznej teorii opozycji zdań asertorycznych . Roczniki filozoficzne, vol. 4 , pp. 33–49. [REVIEW]Ivo Thomas - 1959 - Journal of Symbolic Logic 24 (3):215-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. No Title available: PHILOSOPHY.Ivo Thomas - 1956 - Philosophy 31 (119):379-381.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Review: Antoni Korcik, Les Lois Principales du Raisonnement et les Relations Entre Elles. [REVIEW]Ivo Thomas - 1959 - Journal of Symbolic Logic 24 (3):216-216.
     
    Export citation  
     
    Bookmark  
  25. Review: Gerald B. Standley, Two Arithmetical Techniques with Numbered Classes. [REVIEW]Ivo Thomas - 1965 - Journal of Symbolic Logic 30 (3):376-376.
  26. Review: Stanislaw Kaminski, Rules for Syllogisms with the Consideration of Schemata with Negated Subject Terms. [REVIEW]Ivo Thomas - 1967 - Journal of Symbolic Logic 32 (4):544-544.
  27. Review: The Logical Systems of Le'sniewski} by E. Luschei. [REVIEW]Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-80.
  28. S1° and generalized S5 - axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:153.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. The Christian Challenge to Philosophy.Ivo Thomas - 1953 - Philosophical Studies (Dublin) 3:129-131.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. The development of logic.Ivo Thomas - 1962 - Philosophical Books 3 (2):11-12.
  31. The Syllogistic of Robert Kilwardby.Ivo Thomas - 1954
  32. Unusual feature of S3.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14:276.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  31
    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.
  34.  63
    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  
  35.  16
    In memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
  36.  30
    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.
  37.  53
    The written liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
  38.  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)  
     
    Export citation  
     
    Bookmark  
  39.  21
    Axiomatische Probleme in der Klassischen Syllogistik.Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  15
    Introduction to Logic. William of Sherwood, Norman Kretzmann. [REVIEW]Ivo Thomas - 1967 - Philosophy of Science 34 (3):295-296.
  41.  9
    Shorter development of an axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  42.  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, 3 e série, 31 e 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.
  43.  18
    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.
  44.  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.
  45.  18
    On the infinity of positive logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
  46.  18
    Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication. [REVIEW]Ivo Thomas - 1970 - Journal of Symbolic Logic 35 (2):326-326.
  47.  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  
  48.  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)  
     
    Export citation  
     
    Bookmark  
  49.  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)  
     
    Export citation  
     
    Bookmark  
  50.  9
    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.
1 — 50 / 122