Results for 'Ivo Thomas'

993 found
Order:
  1. Le Formalisme Logico–Mathématique et le Problème du Non–sens. [REVIEW]O. P. Ivo Thomas - 1959 - Philosophical Studies (Dublin) 9:266-266.
    This essay is an informal examination of the efforts made by mathematical logicians from Russell on, to evade the paradoxes revealed by uncritical methods of definition and predication. Where systems are described it is with a minimum of formal apparatus, so that the climate is one of rather vague statement and imprecise question. Russell’s drastic banning of type–offending formulas gives the starting–point for queries about the connection of sense and formalism, and the conclusion may be summed up as the detection (...)
    No categories
     
    Export citation  
     
    Bookmark  
  2.  11
    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.  10
    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  
  4.  14
    The Logical Systems of Lesniewski.Ivo Thomas - 1967 - Philosophy of Science 34 (1):79-80.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  4
    On Aristotelian Syllogistic.Ivo Thomas - 1952 - Journal of Symbolic Logic 17 (3):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  5
    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  
  7.  19
    Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  8. A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
  9.  12
    Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  10.  58
    The written liar and Thomas Oliver.Ivo Thomas - 1965 - Notre Dame Journal of Formal Logic 6 (3):201-208.
  11.  6
    A history of formal logic.Joseph M. Bochenski & Ivo Thomas - 1961 - Notre Dame, Ind.,: University of Notre Dame Press.
  12.  24
    Independence of Tarski's law in Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
  13.  18
    Stoic Logic. [REVIEW]Ivo Thomas - 1954 - Philosophical Quarterly 4 (17):383-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  27
    In memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  15.  23
    In memoriam: Edward John Lemmon (1930---1966).Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):1-3.
  16.  19
    On a passage of Aristotle.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (2):347-348.
  17.  15
    Shorter development of an axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  18.  11
    Universal variable non-Tarskian functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  19.  11
    A note on self-referential statements.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):218-220.
  20.  7
    A proof of a theorem of Ł ukasiewicz.Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (4):507-508.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  9
    Axiom sets equivalent to syllogism and Peirce.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (2):248-248.
  22.  5
    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.
  23.  3
    Decision for $K4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):337-338.
  24.  19
    Functional completeness of Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
  25.  28
    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  
  26.  14
    Final word on a shortest implicational axiom.Ivo Thomas - 1970 - Notre Dame Journal of Formal Logic 11 (1):16-16.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  16
    Independence of Faris-rejection-axioms.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):48-51.
  28.  21
    Nice implicational axioms.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (4):507-508.
  29.  1
    One dimension in PS and PSI.Ivo Thomas - 1976 - Notre Dame Journal of Formal Logic 17 (3):421-423.
  30.  19
    On Meredith's sole positive axiom.Ivo Thomas - 1974 - Notre Dame Journal of Formal Logic 15 (3):477-477.
  31.  21
    On the infinity of positive logic.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (2):108-108.
  32.  10
    Simple implicational development.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (2):268-268.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  15
    Solutions of five modal problems of Sobociński.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):199-200.
  34.  19
    Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
  35.  6
    The rule of excision in positive implication.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (1):64-64.
  36.  11
    The rule of Peirce.Ivo Thomas - 1968 - Notre Dame Journal of Formal Logic 9 (1):34-34.
  37.  6
    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  
  38. The Ethical Challenges in the Context of Climate Loss and Damage.Ivo Wallimann-Helmer, Kian Mintz-Woo, Lukas Meyer, Thomas Schinko & Olivia Serdeczny - 2019 - In Reinhard Mechler, Laurens M. Bouwer, Thomas Schinko, Swenja Surminski & JoAnne Linnerooth-Bayer (eds.), Loss and Damage from Climate Change. Cham: Springer. pp. 39-62.
    This chapter lays out what we take to be the main types of justice and ethical challenges concerning those adverse effects of climate change leading to climate-related Loss and Damage (L&D). We argue that it is essential to clearly differentiate between the challenges concerning mitigation and adaptation and those ethical issues exclusively relevant for L&D in order to address the ethical aspects pertaining to L&D in international climate policy. First, we show that depending on how mitigation and adaptation are distinguished (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39.  20
    A model to analyse costs and benefit of intensified diabetic foot care in Austria.Wolfgang Habacher, Ivo Rakovac, Evelyn Görzer, Waltraud Haas, Robert J. Gfrerer, Paul Wach & Thomas R. Pieber - 2007 - Journal of Evaluation in Clinical Practice 13 (6):906-912.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  18
    A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  41.  3
    CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  42.  19
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  16
    A new decision procedure for Aristotle's syllogistic.Thomas Ivo Richard - 1952 - Mind 61 (244):564-566.
  44.  11
    Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
  45.  34
    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.
  46.  24
    Axioms for the “Gergonne”-relations.Ivo Thomas & Don Orth - 1959 - Journal of Symbolic Logic 24 (4):305.
  47.  30
    A new decision procedure for Aristotle's syllogistic.Ivo Thomas - 1952 - Mind 61 (244):564-566.
  48.  29
    Axiomatische Probleme in der Klassischen Syllogistik.Ivo Thomas - 1957 - Journal of Symbolic Logic 22 (1):96.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  16
    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  
  50.  31
    A Twelfth century paradox of the infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23:133.
1 — 50 / 993