Results for 'Thomas, Ivo'

(not author) ( search as author name )
873 found
Order:
  1.  16
    A new decision procedure for Aristotle's syllogistic.Thomas Ivo Richard - 1952 - Mind 61 (244):564-566.
  2.  8
    Hampshire;s analogy.Thomas Ivo Richard - 1952 - Mind 61 (244):567-573.
  3. 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  
  4.  22
    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  
  5. 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  
  6. Cross-Chapter Box Loss and Damage.Ivo Wallimann-Helmer, Reinhard Mechler, Adelle Thomas, Christian Huggel, Emily Boyd, Veruska Muccione, Laurens Bouwer, Sirkku Juhola, Chandni Singh, Carolina Adler, Kris Ebi, Patricia Pinho, Rawshan Ara Begum, Adugna Gemeda, Johanna Nalau, Katja Frieler, Richard Jones, Riyanti Djalante, Rosa Perez, Tabea Lissner, Anita Wreford, Mark Pelling, François Gemenne, Nick Simpson & Doreen Stabinsky - 2022 - Climate Change 2022: Impacts, Adaptation and Vulnerability- IPCC.
     
    Export citation  
     
    Bookmark  
  7.  3
    Science for loss and damage : findings and propositions.Reinhard Mechler, Elisa Calliari, Laurens M. Bouwer, Thomas Schinko, Swenja Surminski, JoAnne Linnerooth-Bayer, Christian Huggel & Ivo Https://Orcidorg Wallimann-Helmer - 2019 - In .
    The debate on “Loss and Damage” (L&D) has gained traction over the last few years. Supported by growing scientific evidence of anthropogenic climate change amplifying frequency, intensity and duration of climate-related hazards as well as observed increases in climate-related impacts and risks in many regions, the “Warsaw International Mechanism for Loss and Damage” was established in 2013 and further supported through the Paris Agreement in 2015. Despite advances, the debate currently is broad, diffuse and somewhat confusing, while concepts, methods and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Wirtliche Ökonomie. Philosophische und dichterische Quellen [Hospitable Economics. Philosophical and Poetic Sources], Volume I, Elementa Œconomica 1.1.Ivo De Gennaro, Sergiusz Kazmierski & Ralf Lüfter (eds.) - 2013 - Verlag Traugott-Bauuz.
    Das Buch stellt den ersten Teil eines mehrbändigen Sammelwerkes dar, in dem von Philosophen sowie klassischen und modernen Philologen Beiträge zur ethischen Ökonomie und ihrer Geschichte zusammengeführt sind. Es gliedert sich in zwei Teile. Der erste Teil – „Philosophische Quellen“ – enthält Studien zur ökonomischen Dimension im Denken Heraklits, Platons, der Stoa, Thomas von Aquins, Ockhams, Kants, Nietzsches, Thoreaus, Simone Weils; der zweite Teil – „Dichterische Quellen“ – versammelt entsprechende Untersuchungen zu Aischylos, zur Augusteischen Dichtung, zu Shakespeare, Ramuz, Pound und (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  8
    Catholicism, Identity and Politics in the Age of Enlightenment: The Life and Career of Sir Thomas Gascoigne, 1745‐1810. By Alexander Lock. Pp.x, 270, Woodbridge, The Boydell Press, 2016, £60.00. [REVIEW]Jan Marten Ivo Klaver - 2019 - Heythrop Journal 60 (2):326-327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Thomas Ivo and Orth Don. Axioms for the “Gergonne”-relations.Robert Blanché - 1962 - Journal of Symbolic Logic 27 (1):113-113.
  11.  9
    Thomas Ivo. Eulerian syllogistic.James Wilkinson Miller - 1957 - Journal of Symbolic Logic 22 (4):381-382.
  12.  4
    Thomas Ivo. Independence of Faris-rejection-axioms. Notre Dame journal of formal logic, vol. 1 , pp. 48–51.Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (1):113-113.
  13.  3
    Thomas Ivo. Existence and coherence. Methodos, vol. 2 no. 5 , pp. 76–80.C. Lewy - 1951 - Journal of Symbolic Logic 16 (4):301-301.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  11
    Thomas Ivo. CS: An extension of CS. Dominican studies , vol. 2 , pp. 145–160.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  15.  20
    Thomas Ivo. Logic and theology. Dominican studies , vol. 1 no. 4 . Offprint, 22 pp.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):142-143.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  16.  12
    Thomas Ivo. A new decision procedure for Aristotle's syllogistic. Mind, nouvelle série t. 61 , p. 564–566.J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):315-315.
  17.  11
    Thomas Ivo. Boethius' locus a repugnantibus. Anglais. Methodos, t. 3 n° 12 , p. 303–307.J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):315-316.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  16
    Thomas Ivo. Farrago logica. Anglais. Dominican studies, t. 4 , p. 69–79.J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):314-315.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  10
    Thomas Ivo. Introductory remarks to modern logic. Blackfriars , t. 33 , p. 299–305.J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):315-315.
  20.  13
    Thomas Ivo. The logical square and modes of categorical syllogism. Contemplations presented to The Dominican Tertiaries of Glasgow 1924–1949, Blackfriars, Oxford , offprint 14 pp. [REVIEW]Anders Wedberg - 1951 - Journal of Symbolic Logic 16 (1):74-75.
  21.  27
    Thomas Ivo. Independence of Tarski's law in Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 , pp. 74–78. [REVIEW]Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (1):111-111.
  22.  20
    Thomas Ivo. Kilwardby on conversion. Dominican studies, t. 6 , p. 56–76.Thomas Ivo. Maxims in Kilwardby. Dominican studies, t. 7 , p. 129–146. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):316-317.
  23.  26
    Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
  24.  19
    Ivo Thomas. Finite limitations on Dummett's LC. Notre Dame journal of formal logic, vol. 3 , pp. 170–174.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):305.
  25.  15
    Ivo Thomas. On the infinity of positive logic. Notre Dame journal of formal logic, vol. 3 , p. 108.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306.
  26.  5
    Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 , pp. 437–438.William Wernick - 1965 - Journal of Symbolic Logic 30 (3):376.
  27.  12
    Ivo Thomas. The rule of excision in positive implication. Notre Dame journal of formal logic, vol. 3 , p. 64.Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):603.
  28. Review: Ivo Thomas, Finite Limitations on Dummett's $mathbf{LC}$. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):305-305.
  29.  14
    Review: Ivo Thomas, On the Infinity of Positive Logic. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.
  30.  20
    Ivo Thomas and Don Orth. Axioms for the “Gergonne”-relations. The journal of symbolic logic, t. 24, n° 4 , p. 305. [REVIEW]Robert Blanché - 1962 - Journal of Symbolic Logic 27 (1):113-113.
  31.  17
    Review: Ivo Thomas, Eulerian Syllogistic. [REVIEW]James Wilkinson Miller - 1957 - Journal of Symbolic Logic 22 (4):381-382.
  32.  30
    Review: Ivo Thomas, The Logical Square and Modes of Categorical Syllogism. [REVIEW]Anders Wedberg - 1951 - Journal of Symbolic Logic 16 (1):74-75.
  33.  4
    Review: Ivo Thomas, Independence of Tarski's Law in Henkin's Propositional Fragments. [REVIEW]Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (1):111-111.
  34.  14
    Review: Ivo Thomas, Independence of Faris-Rejection-Axioms. [REVIEW]Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (1):113-113.
  35.  6
    Review: Ivo Thomas, The Rule of Excision in Positive Implication. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):603-603.
  36.  13
    Review: Ivo Thomas, Saint Vincent Ferrer's De Suppositionibus. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (1):74-74.
  37.  23
    Review: Ivo Thomas, Existence and Coherence. [REVIEW]C. Lewy - 1951 - Journal of Symbolic Logic 16 (4):301-301.
  38.  18
    Bibliography of Ivo Thomas.Deirdre La Porte - 1977 - Notre Dame Journal of Formal Logic 18 (2):195-207.
  39. Review: Ivo Thomas, CS(n): An Extension of CS. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  40.  14
    Review: Ivo Thomas, Logic and Theology. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):142-143.
  41.  13
    Review: Ivo Thomas, Introductory Remarks to Modern Logic. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):315-315.
  42.  1
    Review: Ivo Thomas, Farrago Logica. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):314-315.
  43.  27
    Review: Ivo Thomas, Kilwardby on Conversion; Ivo Thomas, Maxims in Kilwardby. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):316-317.
  44.  25
    Review: Ivo Thomas, Boethius' Locus a Repugnantibus. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (3):315-316.
  45.  16
    In memoriam: Ivo Thomas (1912--1976).Otto Bird - 1977 - Notre Dame Journal of Formal Logic 18 (2):193-194.
  46.  15
    Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 , pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 , pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 , pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 , pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 , pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 , pp. 125–12. [REVIEW]Nuel D. Belnap - 1966 - Journal of Symbolic Logic 31 (3):498-500.
  47.  49
    Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
  48.  21
    A. Menne. Preface of the editor. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. VII–IX. - P. Banks . On the philosophical interpretation of logic: An Aristotelian dialogue. A reprint of XXVII 116. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 1–14. - I. M. Bocheński. On the categorical syllogism. A reprint of XV 140. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 15–39. - Ivo Thomas. CS: An extension of CS. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 40–54. - Albert Menne. Some results of investigation of the syllogism and their philosophical consequences. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 55–63. -. [REVIEW]J. A. Faris - 1965 - Journal of Symbolic Logic 30 (3):363-364.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Review: Richard Tursman, The Shortest Axioms of the Implicational Calculus; Ivo Thomas, Final Word on a Shortest Implicational Axiom. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690-690.
  50.  8
    Aufklärung oder Illuminismus?: die Enzyklopädie des Grafen Franz Josef Thun.Ivo Cerman - 2015 - Stuttgart: Franz Steiner Verlag.
    In die Geschichte sind Franz Josef Graf von Thun (1734-1801) und seine Frau Wilhelmine (1744-1800) als Gonner des Geniemusikers Wolfgang Amadeus Mozart eingegangen. Der "sonderbare Cavalier", wie er von Mozart genannt wurde, war seinen Zeitgenossen eher als Geisterbeschworer und Magnetiseur, denn als Musikliebhaber und Schriftsteller bekannt. Erst 2009 tauchte im Familienarchiv Thun-Hohenstein das Manuskript der umfangreichen esoterischen Enzyklopadie auf, in der Graf von Thun seine Ansichten uber den Menschen, uber das Weltall und uber die Franzosische Revolution darlegt. Ivo Cerman stellt (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 873