Results for 'F. Previale'

(not author) ( search as author name )
999 found
Order:
  1.  12
    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.  17
    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.  18
    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.  8
    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  
  6.  6
    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  
  7.  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  
  8.  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  
  9. 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  
  10.  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  
  11.  42
    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  
  12.  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  
  13.  13
    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  
  14.  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.
  15.  28
    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  
  16.  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  
  17. On Facts and Propositions.F. P. Ramsey - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.
     
    Export citation  
     
    Bookmark   7 citations  
  18. 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  
  19.  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  
  20.  17
    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  
  21. 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  
  22. 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  
  23.  9
    How do Mādhyamikas think?: and other essays on the Buddhist philosophy of the middle.Tom J. F. Tillemans - 2016 - Somerville, MA: Wisdom.
    Intro -- Title -- Contents -- Publisher's Acknowledgment -- Introduction -- Madhyamaka's Promise as Philosophy -- 1. Trying to Be Fair -- 2. How Far Can a Mādhyamika Reform Customary Truth? Dismal Relativism, Fictionalism, Easy-Easy Truth, and the Alternatives -- Logic and Semantics -- 3. How Do Mādhyamikas Think? Notes on Jay Garfield, Graham Priest, and Paraconsistency -- 4. "How Do Mādhyamikas Think?" Revisited -- 5. Prasaṅga and Proof by Contradiction in Bhāviveka, Candrakīrti, and Dharmakīrti -- 6. Apoha Semantics: What (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  6
    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  
  25. Discorsi di un muto.F. P. Codrus - 1951 - Milano,: Görlich.
     
    Export citation  
     
    Bookmark  
  26. Summarium theologiae dogmaticae de Deo uno et trino.F. Dander - 1951 - Oeniponte: Typis et Sumptibus Feliciani Rauch.
    No categories
     
    Export citation  
     
    Bookmark  
  27. 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  
  28. De materiële logica.F. G. M. Gevers - 1949 - Tilburg,: R.K. Jongensweeshuis.
    No categories
     
    Export citation  
     
    Bookmark  
  29. Soderzhanie i forma v proizvedenii︠a︡kh iskusstva.F. I. Kaloshin - 1953 - [Moskva]: Gos. izd-vo polit. lit-ry.
     
    Export citation  
     
    Bookmark  
  30. Materii︠a︡ i soznanie.F. I. Khaskhachikh - 1951
    No categories
     
    Export citation  
     
    Bookmark  
  31. O poznavaemosti mira.F. I. Khaskhachikh - 1946 - [Moskva]: Gos. izd-vo polit. lit-ry.
    No categories
     
    Export citation  
     
    Bookmark  
  32. Über die Erkennbarkeit der Welt.F. I. Khaskhachikh - 1949 - Berlin,: Dietz Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  33. Razvitie istoricheskogo materializma Leninym i Stalinym: Stenogramma publichnoĭ lekt︠s︡ii, prochitannoĭ v Moskve.F. V. Konstantinov - 1949 - Moskva: [Pravda].
     
    Export citation  
     
    Bookmark  
  34. Rolʹ narodnykh mass v istorii.F. V. Konstantinov - 1953 - Moskva,: Znanie.
     
    Export citation  
     
    Bookmark  
  35. Recht en logica, een pleidooi voor het nominalisme, het juridische formalisme en het legisme.F. Paradies - 1946 - Amsterdam,: Swets & Zeitlinger.
     
    Export citation  
     
    Bookmark  
  36. The laws of creation.F. Pinaire - 1949 - Boston: Christopher Pub. House.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  12
    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  
  38. Conceptual Mathematics: A First Introduction to Categories.F. W. Lawvere & S. H. Schanuel - 1997 - Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  39.  10
    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  
  40.  5
    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  
  41. 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  
  42. Geloof en wereldbeeld.F. Kuijper - 1956 - Franeker,: T. Wever.
    No categories
     
    Export citation  
     
    Bookmark  
  43. al-Kanz al-thamīn, al-murshid ilá al-manhajīyah al-ʻilmīyah.ʻAbd al-Raḥmān ibn ʻUbayd Allāh Saqqāf - 2017 - [Ṣan'āʼ]: ʻAbd al-Raḥmān ibn ʻAbd Allāh al-Saqqāf. Edited by Muḥammad ibn ʻAbd Allāh Imām.
     
    Export citation  
     
    Bookmark  
  44. ʻAwāmil al-taqaddum wa-al-ruqiy fī al-mujtamaʻ al-Islāmī: min al-Qurʼān al-Karīm wa-al-Sunnah al-Nabawīyah.al-Bashīr ibn al-Ḥājj ʻUthmān Sharīf - 2023 - Tūnis: Dār Saḥnūn lil-Nashr wa-al-Tawzīʻ.
     
    Export citation  
     
    Bookmark  
  45. Properties, projection and connections of limb venous afferents in the feline central nervous system.F. J. Thompson, C. D. Barnes, Wald Jr, D. N. Lerner & O. G. Franzen - 1981 - In G. Adam, I. Meszaros & E. I. Banyai (eds.), Advances in Physiological Science. pp. 279-288.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  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  
  47. Crónica científico-social de Méjico. F. - 1912 - Ciencia Tomista 5:515-517.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Ūminu bil-insān.ʻAbd al-Munʻim Muḥammad Khallāf - 1945
    No categories
     
    Export citation  
     
    Bookmark  
  49.  3
    Mawsūʻat al-akhlāq.ʻAlawī Saqqāf (ed.) - 2013 - al-Ẓahrān: Muʼassasat al-Durar al-Sanīyah lil-Nashr.
    al-mujallad 1. al-Iḥsān -- al-shahāmah -- al-mujallad 2. al-ṣabr -- al-waqār -- al-mujallad 3. al-Isāʼah -- sūʼ al-ẓann -- al-mujallad 4. al-Shamātah -- al-Yaʼs wa-al-qunūṭ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    Discovering political ecology.Gustav Cederlöf - 2023 - New York, NY: Routledge. Edited by Alex Loftus.
    Political ecology is one of the most vibrant fields of environmental research. This book introduces political ecology to a new generation of students in a daring new way: as an interdisciplinary approach to environmental research but also as a series of lived realities and a praxis for change. The origins of political ecology are often traced through an Anglo-American canon. In Discovering Political Ecology, Gustav Cederlöf and Alex Loftus instead take up the challenge of presenting the key conversations and the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999