Results for 'F. Previale'

(not author) ( search as author name )
999 found
Order:
  1.  14
    The Elimination of Atomic Cuts and the Semishortening Property for Gentzen’s Sequent Calculus with Equality.F. Parlamento & F. Previale - forthcoming - Review of Symbolic Logic:1-32.
  2.  18
    A Note on the Sequent Calculi G3[mic]=.F. Parlamento & F. Previale - forthcoming - Review of Symbolic Logic:1-18.
  3.  36
    Induction and foundation in the theory of hereditarily finite sets.Flavio Previale - 1994 - Archive for Mathematical Logic 33 (3):213-241.
    The paper contains an axiomatic treatment of the intuitionistic theory of hereditarily finite sets, based on an induction axiom-schema and a finite set of single axioms. The main feature of the principle of induction used (due to Givant and Tarski) is that it incorporates Foundation. On the analogy of what is done in Arithmetic, in the axiomatic system selected the transitive closure of the membership relation is taken as a primitive notion, so as to permit an immediate adaptation of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  21
    Cellucci Carlo. Teoria della dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali. Testi e manuali della scienza contemporanea, serie di logica matematica. Boringhieri, Torino 1978, 315 pp.Flavio Previale - 1982
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    The Correspondence Between Cut-Elimination and Normalization.Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  12
    Taṣnīf al-ʻulūm ʻinda mufakkirī al-Maghrib al-Islāmī.Būsāḥah Aḥmad Sharīf - 2016 - ʻAmmān: Dār al-Ayyām lil-Nashr wa-al-Tawzīʻ.
    Classification of sciences; Moslem scholars; Africa, North.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  9
    Practicing safe sects: religious reproduction in scientific and philosophical perspective.F. LeRon Shults - 2018 - Boston: Brill.
    In Practicing Safe Sects F. LeRon Shults provides scientific and philosophical resources for having “the talk” about religious reproduction: where do gods come from – and what are the costs of bearing them in our culturally pluralistic, ecologically fragile environment?
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  20
    A note on the sequent calculi.Franco Parlamento & Flavio Previale - forthcoming - Review of Symbolic Logic:1-15.
    We show that the replacement rule of the sequent calculi ${\bf G3[mic]}^= $ in [8] can be replaced by the simpler rule in which one of the principal formulae is not repeated in the premiss.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  17
    Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.Franco Parlamento & Flavio Previale - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 161--172.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  44
    Ethics for enemies: terror, torture, and war.F. M. Kamm (ed.) - 2011 - New York: Oxford University Press.
    Ethics for Enemies comprises three original philosophical essays on torture, terrorism, and war. F. M. Kamm deploys ethical theory in her challenging new treatments of these most controversial practical issues. First she considers the nature of torture and the various occasions on which it could occur, in order to determine why it might be wrong to torture a wrongdoer held captive, even if this were necessary to save his victims. In the second essay she considers what makes terrorism wrong--whether it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11. Beware the impact of historical critical ideologies on current evangelical New Testament studies.F. David Farnell - 2016 - In Terry L. Miethe & Norman L. Geisler (eds.), I am put here for the defense of the Gospel: Dr. Norman L. Geisler: a festschrift in his honor. Eugene, Oregon: Pickwick Publications, an imprint of Wipf and Stock Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  51
    The ages of the world.F. W. J. Schelling - 1942 - New York,: Columbia University Press. Edited by Frederick Wolfe Bolmaden.
    A new English translation of Schelling’s unfinished magnum opus, complete with a contextualizing introduction by the translator.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  13.  11
    Absorbing the structural rules in the sequent calculus with additional atomic rules.Franco Parlamento & Flavio Previale - 2020 - Archive for Mathematical Logic 59 (3-4):389-408.
    We show that if the structural rules are admissible over a set \ of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in \ to the multisuccedent minimal and intuitionistic \ calculi as well as to the classical one. Two applications to pure logic and to the sequent calculus with equality are presented.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. The world as will and representation.Arthur Schopenhauer & E. F. J. Payne - 2010 - New York: Cambridge University Press. Edited by Judith Norman, Alistair Welchman & Christopher Janaway.
    First published in 1818, The World as Will and Representation contains Schopenhauer's entire philosophy, ranging through epistemology, metaphysics, philosophy of mind and action, aesthetics and philosophy of art, to ethics, the meaning of life and the philosophy of religion, in an attempt to account for the world in all its significant aspects. It gives a unique and influential account of what is and is not of value in existence, the striving and pain of the human condition and the possibility of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   210 citations  
  15.  23
    Ermanno Bencivenga. Il primo libro di logica. Introduzione ai metodi delta logica contemporanea. Serie di logica matematica. Boringhieri, Turin1984, 228 pp. [REVIEW]Flavio Previale - 1986 - Journal of Symbolic Logic 51 (3):827-827.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    Review: J. Zucker, The Correspondence Between Cut-Elimination and Normalization. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    Zucker J.. The correspondence between cut-elimination and normalization. Annals of mathematical logic, vol. 7 no. 1 , pp. 1–112, and vol. 7, no. 2–3 , pp. 113–156. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
  18.  30
    Clara: Or, on Nature's Connection to the Spirit World.F. W. J. Schelling & Fiona Steinkamp (eds.) - 2002 - State University of New York Press.
    Part novella, part philosophy, Clara was Schelling's most popular work during his lifetime, and appears here in English for the first time.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  3
    Portraits of Wittgenstein.F. A. Flowers (ed.) - 2015 - New York: Bloomsbury Academic.
    Portraits of Wittgenstein is a major collection of memoirs and reflections on one of the most influential and yet elusive personalities in the history of modern philosophy, Ludwig Wittgenstein. Featuring a wealth of illuminating and profound insights into Wittgenstein's extraordinary life, this unique collection reveals Wittgenstein's character and power of personality more vividly and comprehensively than ever before. With portraits from more than seventy-five figures, Portraits of Wittgenstein brings together the personal recollections of philosophers, students, friends and acquaintances, including Bertrand (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. On Facts and Propositions.F. P. Ramsey - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
     
    Export citation  
     
    Bookmark   7 citations  
  21. Foundations, Essays in Philosophy, Logic, Mathematics and Economics.F. P. Ramsey, D. H. Mellor, Mirsky, Smiley & R. Stone - 1979 - Revue Philosophique de la France Et de l'Etranger 169 (1):118-118.
     
    Export citation  
     
    Bookmark   30 citations  
  22. Homenaje a Luis B. Prieto F.F. Prieto, B. Luis, Oscar Sambrano Urdaneta, Efraín Subero & Jesús Manuel Subero (eds.) - 1982 - Caracas: Casa de Bello.
     
    Export citation  
     
    Bookmark  
  23.  4
    Pensare la pace: il legame imprendibile.F. Bonicalzi & Matteo Amori (eds.) - 2011 - Milano: Jaca book.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  4
    Alʹmanakh razmyshleniĭ.F. A. Kharaev - 2011 - Nalʹchik: Respublikanskiĭ poligrafkombinat im. Revoli︠u︡t︠s︡ii 1905 g..
    Альтернативные определения, излагаемые в книге, реализуют возможности продуктивного мышления, являются источником смысла творческих исканий. Для студентов, преподавателей вузов и всех тех, кто интересуется человекознанием.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  7
    al-Huwīyah al-ʻArabīyah al-Islāmīyah wa-ishkālīyat al-ʻawlamah fī fikr al-Jābirī.Riḍā Sharīf - 2011 - al-Jazāʼir: Muʼassasat Kunūz al-Ḥikmah lil-Nashr wa-al-Tawzīʻ.
    Globalization; Islamic countries; Arab countries.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26. Embodied cognition and the extended mind.F. Adams & K. Aizawa - 2009 - In Sarah Robins, John Francis Symons & Paco Calvo (eds.), The Routledge Companion to Philosophy of Psychology. New York, NY: Routledge. pp. 193--213.
    Summary: A review of the cognitivist/extended cognition and extended mind landscape.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  18
    The Open Society and its Complexities.Gerald F. Gaus - 2021 - New York, N.Y.: Oxford University Press.
    Preface -- Prolegomenon : Hayek's three unsettling theses -- Beyond human nature -- Beyond moral justification -- Beyond human governance -- Three enquiries on the open society -- The rise of a normative species -- A natural history of moral order -- The "starting point" -- The egalitarian revolution -- Self-interest, reciprocity and altruism -- Internalized, enforced, social rules -- The other side of morality -- Cultural evolution -- Part I : the rise and fall of inequality -- A complex (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  28.  4
    Statement on the True Relationship of the Philosophy of Nature to the Revised Fichtean Doctrine: An Elucidation of the Former.F. W. J. Schelling & Dale E. Snow - 2018 - SUNY Press.
    Schelling's 1806 polemic against Fichte, and his last major work on the philosophy of nature. The heat of anger can concentrate the mind. Convinced that he had been betrayed by his former collaborator and colleague, Schelling attempts in this polemic to reach a final reckoning with Fichte. Employing the format of a book review, Schelling directs withering scorn at three of Fichte’s recent publications, at one point likening them to the hell, purgatory, and would-be paradise of Fichtean philosophy. The central (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  10
    Developments in Quine's Behaviorism.Dagfinn Føllesdal - 2013 - In Ernie Lepore & Gilbert Harman (eds.), A Companion to W. V. O. Quine. Wiley-Blackwell. pp. 263–278.
    Bredo C. Johnsen: Observation: What Quine calls observation sentences lie at the heart of his reflections on observation and its roles in prompting our theorizing, providing evidence for our theories, and serving as the test of those theories' truth. The first four sections of this chapter – “Observation sentences,” “The two types of observation sentence,” “Introspection,” and “Roles of experience” – are devoted to expounding and clarifying his fundamental conception of these sentences, showing that he recognized both objective and subjective (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. On Truth and Copying.F. H. Bradley - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  31.  20
    Four Arguments for Physician-Assisted Suicide and the Objections of Gorsuch.F. M. Kamm - 2023 - In Hon-Lam Li (ed.), Lanson Lectures in Bioethics (2016–2022): Assisted Suicide, Responsibility, and Pandemic Ethics. Springer Nature Switzerland. pp. 51-73.
    This chapter first presents two arguments for the permissibility of physician-assisted suicide (PAS) and euthanasia (E) to eliminate physical suffering. I then present a third argument for PAS and E on grounds other than eliminating suffering. The chapter next considers several objections to these arguments that might be raised by Neil Gorsuch, now a US Supreme Court Justice. In the course of this I present a fourth argument for PAS and E. (I assume throughout that a patient’s free and informed (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  8
    Cultural trauma.F. N. Blucher - forthcoming - Vox Philosophical journal.
    The article examines the concept of “cultural trauma”, which appeared at the beginning of the 21st century as part of the process of searching for identity. The concept is defined as an evaluative metaphor. There are periods in the history of Russia that can be considered from the point of view of using this concept. It is shown how the historical and ideological disputes of the late twentieth century acquired the character of religious contradictions. A hypothesis is put forward as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Discorsi di un muto.F. P. Codrus - 1951 - Milano,: Görlich.
     
    Export citation  
     
    Bookmark  
  34. Summarium theologiae dogmaticae de Deo uno et trino.F. Dander - 1951 - Oeniponte: Typis et Sumptibus Feliciani Rauch.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Seçme metinleri ve kıraat parçaları ile ahlâk tarihi.Ziyaeddin Fahri Fındıkoğlu - 1945 - İstanbul,:
    No categories
     
    Export citation  
     
    Bookmark  
  36. De materiële logica.F. G. M. Gevers - 1949 - Tilburg,: R.K. Jongensweeshuis.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Soderzhanie i forma v proizvedenii︠a︡kh iskusstva.F. I. Kaloshin - 1953 - [Moskva]: Gos. izd-vo polit. lit-ry.
     
    Export citation  
     
    Bookmark  
  38. Materii︠a︡ i soznanie.F. I. Khaskhachikh - 1951
    No categories
     
    Export citation  
     
    Bookmark  
  39. O poznavaemosti mira.F. I. Khaskhachikh - 1946 - [Moskva]: Gos. izd-vo polit. lit-ry.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Über die Erkennbarkeit der Welt.F. I. Khaskhachikh - 1949 - Berlin,: Dietz Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  41. Razvitie istoricheskogo materializma Leninym i Stalinym: Stenogramma publichnoĭ lekt︠s︡ii, prochitannoĭ v Moskve.F. V. Konstantinov - 1949 - Moskva: [Pravda].
     
    Export citation  
     
    Bookmark  
  42. Rolʹ narodnykh mass v istorii.F. V. Konstantinov - 1953 - Moskva,: Znanie.
     
    Export citation  
     
    Bookmark  
  43. Recht en logica, een pleidooi voor het nominalisme, het juridische formalisme en het legisme.F. Paradies - 1946 - Amsterdam,: Swets & Zeitlinger.
     
    Export citation  
     
    Bookmark  
  44. The laws of creation.F. Pinaire - 1949 - Boston: Christopher Pub. House.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Conceptual Mathematics: A First Introduction to Categories.F. W. Lawvere & S. H. Schanuel - 1997 - Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  46. A philosophical introduction to "divine action".F. LeRon Shults - 2009 - In Fount LeRon Shults, Nancey C. Murphy & Robert John Russell (eds.), Philosophy, science and divine action. Boston: Brill.
  47. Particular Thoughts & Singular Thought.M. G. F. Martin - 2002 - Royal Institute of Philosophy Supplement 51:173-214.
    A long-standing theme in discussion of perception and thought has been that our primary cognitive contact with individual objects and events in the world derives from our perceptual contact with them. When I look at a duck in front of me, I am not merely presented with the fact that there is at least one duck in the area, rather I seem to be presented withthisthing (as one might put it from my perspective) in front of me, which looks to (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  48.  10
    Response to Chun-Yan Tse’s Commentary.F. M. Kamm - 2023 - In Hon-Lam Li (ed.), Lanson Lectures in Bioethics (2016–2022): Assisted Suicide, Responsibility, and Pandemic Ethics. Springer Nature Switzerland. pp. 83-91.
    Kamm’s response to Tse’s comments deals with the following issues (among others): (1)the relevance of empirical facts to moral arguments about physician assisted suicide (PAS); (2) the moral relevance of the difference between foreseen risk and certainty of death as well as the difference between certain death and immediate death; (3) whether intention matters to the permissibility of giving morphine for pain relief (MPR) and whether objective factors can be the same whether one intends MPR or death in giving morphine; (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  11
    Our Human Truths.F. C. S. Schiller - 1939 - New York,: Columbia University Press.
    Burning questions.--The humanistic view of life.--Must empiricism be limited?--Truth-seekers and sooth-sayers.--Must pragmatists disagree?--Humanisms and humanism.--Has philosophy any message for the world?--Must philosophy be dull?--Is idealism incurably ambiguous?--The ultra-Gothic Kant.--Goethe and the Faustian way of salvation.--Plato's Phaedo and the ancient hope of immortality.--Plato's Republic.--How far does science need determinism?--The relativity of metaphysics.--Ethics, casuistry, and life.--Prophecy and destiny.--The crumbling British empire.--Can democracy survive?--The possibility of a United States of Europe.--Ant-men or super-men?--Fascisms and dictatorships.--Humanist logic and theory of knowledge.--Multi-valued logics - and others.--Data, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  4
    Rights and their limits: in theory, cases, and pandemics.F. M. Kamm - 2022 - New York, NY: Oxford University Press.
    In this volume, F.M. Kamm explores how theories as well as hypothetical and practical cases help us understand rights and their limits. The book begins by considering moral status and its relation to having rights (including whether non-human animals have rights and what rights future persons have). The author then considers whether rights are grounded in duties to oneself, which duties are correlative to rights, and whether neuroscientific and psychological studies can help determine what rights we have. Kamm next investigates (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999