Results for 'Camillo Fiorentini'

111 found
Order:
  1.  98
    All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly Ω-Complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
    In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  2. On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
    We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3. A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2009 - Journal of Applied Non-Classical Logics 19 (2):149-166.
    Since 1993, when Hudelmaier developed an O-space decision procedure for propositional Intuitionistic Logic, a lot of work has been done to improve the efficiency of the related proof-search algorithms. In this paper a tableau calculus using the signs T, F and F c with a new set of rules to treat signed formulas of the kind T → C) is provided. The main feature of the calculus is the reduction of both the non-determinism in proof-search and the width of proofs (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. A Proof-Theoretical Analysis of Semiconstructive Intermediate Theories.Mauro Ferrari & Camillo Fiorentini - 2003 - Studia Logica 73 (1):21 - 49.
    In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. A Secondary Semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
    In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  23
    Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Aristo, Camillo, and Doni-Notes on a Previously Unknown Version of Camillo'Idea Del Theatro'.L. Bolzoni - 1982 - Rinascimento 22:213-247.
    No categories
     
    Export citation  
     
    Bookmark  
  8. Semidisquotation and the Infinitary Function of Truth.Camillo Fiore - forthcoming - Erkenntnis:1-16.
    The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle---which allows the inference from "snow is white" to "the sentence 'snow is white' is true"---and an elimination principle---which allows the inference from "the sentence 'snow is white' is true" to "snow is white". It is commonly assumed that a theory of truth needs to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  10
    Dante's American Pilgrimage: A Historical Survey of Dante Studies in the United States, 1800-1944. Angelina LaPiana.Camillo P. Merlino - 1948 - Speculum 23 (3):491-492.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  28
    A Therapeutic Application of Philosophy: The Moral Casualties of War: Understanding the Experience.Camillo C. Bica - 1999 - International Journal of Applied Philosophy 13 (1):81-92.
    In this essay I will discuss the therapeutic application of philosophy in treating what I term “the moral casualties of war.” In doing so, I will develop an etiology of moral injury and focus upon the philosophical reasoning and insights that may be applied in an individual or group setting to foster an understanding of the warexperience as the first treatment step in a long and complex journey to healing.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  5
    What the Adoption Problem Does Not Show.Camillo Giuliano Fiore - 2022 - Análisis Filosófico 42 (1):79-103.
    Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. A Storytelling Approach: Insights From the Shambaa.Camillo Lamanna - 2018 - Journal of Medical Humanities 39 (3):377-389.
    Narrative medicine explores the stories that patients tell; this paper, conversely, looks at some of the stories that patients are told. The paper starts by examining the ‘story’ told by the Shambaa people of Tanzania to explain the bubonic plague and contrasts this with the stories told by Ghanaian communities to explain lymphatic filariasis. By harnessing insights from memory studies, these stories’ memorability is claimed to be due to their use mnemonic devices woven into stories. The paper suggests that stories (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Commenting Anacreon - (H.) Bernsdorff (Ed., Trans.) Anacreon of Teos. Testimonia and Fragments. Volume I: Introduction, Text, and Translation. Volume II: Commentary. Pp. XII + 875, B/W & Colour Ills, Map. Oxford: Oxford University Press, 2020. Cased, £225, Us$295. Isbn: 978-0-19-956204-6 (Vol. 1), 978-0-19-886047-1 (Vol. 2), 978-0-19-886048-8 (Set). [REVIEW]Camillo Neri - 2022 - The Classical Review 72 (2):415-419.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Intervista Su Dio: Le Parole Della Fede, Il Cammino Della Ragione.Camillo Ruini - 2012 - Mondadori.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  18
    Another Perspective on the Doctrine of Double Effect.Camillo C. Bica - 1999 - Public Affairs Quarterly 13 (2):131-139.
  16.  10
    Pairwise Disjoint Eight-Shaped Curves in Hybrid Planes.Camillo Costantini - 2007 - Mathematical Logic Quarterly 53 (6):551-557.
    We introduce a suitable notion of eight-shaped curve in the product S × ℝ of a Suslin line S for the real line ℝ, and we prove that if S is dense in itself, then every collection of pairwise disjoint eight-shaped curves in S × ℝ is countable. This parallels a folklore result which holds for the real plane.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  6
    Michele Camillo Ferrari, Il “Liber sanctae crucis” di Rabano Mauro: Testo–immagine–contesto. Preface by Claudio Leonardi.(Lateinische Sprache und Literatur des Mittelalters, 30.) Bern: Peter Lang, 1999. Pp. xix, 521 plus 5 color plates; 14 black-and-white figures. $75.95.Celia Chazelle - 2002 - Speculum 77 (2):523-525.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Aristóteles frente a Platón en torno a la separación y eternidad de la Forma.Silvana Di Camillo - 2018 - Páginas de Filosofía (Universidad Nacional del Comahue) 18 (21):140-163.
    Aristóteles comparte con Platón la concepción de la forma como causa del ser y del conocimiento de las cosas. Sin embargo, un análisis de sus críticas a las Ideas muestra que encuentra en la separación de las Ideas y las cosas sensibles la aporía fundamental de la teoría platónica. Con el propósito de circunscribir el significado de “separación” aplicable a las Ideas, concentraremos nuestro estudio en dos objeciones: 1) el argumento que conduce al tercer hombre y 2) la inutilidad de (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Indic Manuscript Cultures Through the Ages: Material, Textual, and Historical Investigations.Camillo Alessio Formigatti, Daniele Cuneo & Vincenzo Vergiani (eds.) - 2017 - De Gruyter.
    This collection of essays explores the history of the book in pre-modern South Asia looking at the production, circulation, fruition and preservation of manuscripts in different areas and across time. Edited by the team of the Cambridge-based Sanskrit Manuscripts Project and including contributions of the researchers who collaborated with it, it covers a wide range of topics related to South Asian manuscript culture: from the material dimension and the complicated interactions of manuscripts with printing in late medieval Tibet and in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  2
    II Problema Del Bene: Ricerche Su l'Oggetto Della Morale.Camillo Trinero - 1908 - Philosophical Review 17:449.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  31
    Opposing a War and/or Supporting the Warrior: The Moral Obligations of Citizens in an Immoral War.Camillo Bica - 2007 - Journal of Social Philosophy 38 (4):627–643.
  22.  20
    Collateral Violence and the Doctrine of Double Effect.Camillo C. Bica - 1997 - Public Affairs Quarterly 11 (1):87-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Angela Camillo De Meis nell'epistolario di Francesco Fiorentino.F. Cacciapuoti - 1990 - Giornale Critico Della Filosofia Italiana 10 (1):75-100.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Per Una Nuova Metafisica.Camillo Cecchi - 2000 - Armando Editore.
    v. 1. Presentazione de Biagia Catanzaro Gligora -- v. 2. Logica, totalità-reale e realtà -- v. 3. Anima e coscienza.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  8
    Muzakhia und Malakastra.Camillo Praschniker - 1921 - Journal of Hellenic Studies 41:279.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  15
    Camillo's Theatre and the Automaton.Homa Fardjadi - 1988 - Semiotics:429-435.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  10
    Walking the Deckle Edge: Scribe or Author? Jayamuni and the Creation of the Nepalese Avadānamālā Literature.Camillo A. Formigatti - 2017 - Buddhist Studies Review 33 (1-2):101-140.
    The article presents a preliminary survey of textual reuse in Nepalese collections of j?takas and avad?nas, focusing in particular on three works: the Avad?na?ataka, the Divy?vad?na, and the Dv?vi??atyavad?nakath?. The reassessment of the manuscript tradition of these three Sanskrit collections, based on Nepalese manuscripts and Tibetan translations, sheds more light on the role of scribes in the creation of these collections and of the Nepalese avad?nam?l? literature. In particular, the great role played in the 17th century by the Nepalese scribe (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  16
    Lógica: Una introducción sistemática e histórica.Agustina Borzi & Camillo Fiore - forthcoming - In Claudia Mársico & Rodrigo Illarraga (eds.), Un introductorio recorrido filosófico al pensamiento científico: historia, epistemología, lógica y sociedad. Buenos Aires: Teseo Press.
    En este capítulo ofrecemos una introducción sistemática e histórica a la lógica, disciplina que contribuyó en gran medida a la producción del conocimiento en general y a la formación del pensamiento científico en particular. La primera sección contiene la introducción sistemática: primero, presentamos las distintas disciplinas que forman parte de la lógica en el sentido amplio del término; luego, identificamos a la lógica en sentido canónico o estricto como el estudio la validez; por último, explicamos en qué sentido la validez (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  29
    Inducing Visibilities: An Attempt at Santiago Ramón y Cajal's Aesthetic Epistemology.Erna Fiorentini - 2011 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 42 (4):391-394.
  30.  3
    Establishing Liability in War.Camillo Bica - 1997 - Public Affairs Quarterly 11 (3):217-227.
  31.  16
    Logical Pluralism and Interpretations of Logical Systems.Diego Tajer & Camillo Fiore - forthcoming - Logic and Logical Philosophy:1-26.
    Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to study the prospect of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    Inducing Visibilities: An Attempt at Santiago Ramón y Cajal’s Aesthetic Epistemology.Erna Fiorentini - 2011 - Studies in History and Philosophy of Science Part A 42 (4):391-394.
  33.  11
    Dante and Don Camillo.Francis J. Lodato - 1955 - Renascence 7 (4):209-210.
  34.  6
    Interpreting Just War Theory's Jus in Bello Criterion of Discrimination.Camillo C. Bica - 1998 - Public Affairs Quarterly 12 (2):157-168.
  35. Imperial Panegyrics - (A.) Omissi, (A.J.) Ross (Edd.) Imperial Panegyric From Diocletian to Honorius. (Translated Texts for Historians, Contexts 3.) Pp. XII + 296. Liverpool: Liverpool University Press, 2020. Cased, £80. Isbn: 978-1-78962-110-5. [REVIEW]Marzia Fiorentini - forthcoming - The Classical Review:1-3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  16
    The Syllogism of Neuro-Economics.Camillo Padoa-Schioppa - 2008 - Economics and Philosophy 24 (3):449-457.
    If neuroscience is to contribute to economics, it will do so by the way of psychology. Neural data can and do lead to better psychological theories, and psychological insights can and do lead to better economic models. Hence, neuroscience can in principle contribute to economics. Whether it actually will do so is an empirical question and the jury is still out. Economics currently faces theoretical and empirical challenges analogous to those faced by physics at the turn of the twentieth century (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  43
    Las críticas de aristóteles a platón en metafísica I, 9.Silvana Gabriela Di Camillo - 2010 - Philósophos - Revista de Filosofia 15 (1):169-195.
    The use of critical exposition of previous doctrines is a methodological procedure usual in Aristotle. But the distinctive characteristic of Book I of the Metaphysics is that, rather than to establish a new doctrine, a review of predecessors serves to confirm the own concepts to be used in the evaluation of the doctrines examined. This imposition of own terms has cost him the charge of distorting historical understanding. With the detailed analysis of the criticisms of Plato's theory of Ideas in (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. AN ANALYSIS OF METAPHYSICS A - (J.-F.) Pradeau (Trans.) Aristote: Métaphysique. Livre Alpha. Pp. Iv + 243. Paris: Presses Universitaires de France, 2019. Paper, €12. ISBN: 978-2-13-082088-8. [REVIEW]Silvana Gabriela Di Camillo - 2022 - The Classical Review 72 (2):463-465.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Medical Interventions During Pregnancy in Light of Dobbs.John A. Di Camillo & Jozef D. Zalot - 2022 - Ethics and Medics 47 (8):1-4.
    The Supreme Court’s decision in the Dobb’s case has given rise to confusion in the medical community, mostly concerning the specific definition of an abortion and what procedures are acceptable. Catholic bioethics has a long history of examining the ethical issues surrounding procedures used in vital conflict situations and other instances where direct or indirect abortion may be the preferred treatment. This article lays out the important points and ethical dimensions surrounding some of the most common pregnancy related interventions and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  6
    Hanna Rose Shell. Hide and Seek: Camouflage, Photography, and the Media of Reconnaissance. 239 Pp., Illus., Index. New York: Zone Books, 2012. $32.95. [REVIEW]Erna Fiorentini - 2013 - Isis 104 (3):636-637.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  25
    Multi-Stage Mental Process for Economic Choice in Capuchins.Camillo Padoa-Schioppa, Lucia Jandolo & Elisabetta Visalberghi - 2006 - Cognition 99 (1):B1-B13.
  42. Worthy of Gratitude: Why Veterans May Not Want to Be Thanked for Their "Service" in War. &Quot, Camillo Mac & Bica - 2015
    In this collection of essays, Camillo “Mac” Bica, Ph.D., a former Marine Corps Officer, Vietnam Veteran, and philosopher, provides a cogent analysis of why a veteran may not want to be thanked for his “service” in war. Mac’s experiential and theoretical perspective is both gut wrenching and concise. “The Philosopher speaks from the mind,” Mac writes, “the warrior from where it hurts.” With simplicity, poignancy, and power, this book, together with future installments of the War Legacy Series, works to (...)
    No categories
     
    Export citation  
     
    Bookmark  
  43. Il Carteggio Fra Peano E Camillo Berneri.Enrico Pasini - 2001 - In Clara Silvia Roero (ed.), Giuseppe Peano. Matematica, Cultura E Società. L’Artistica. pp. 49-59.
    Between Giuseppe Peano and Camillo Berneri, a foremost protagonist of the Italian anarchist movement, an interesting correspondence was exchanged in the years 1925-1929. Along with a presentation of the correspondence, Peano's political attitude and the role of his international language projects in early 20th century Italian left are discussed.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Interpretação de Atos de Fala.Bernardo Alonso & José Carlos Camillo - 2022 - Veritas – Revista de Filosofia da Pucrs 67 (1):e40490.
    Neste artigo apresentamos de forma breve uma teoria searliana de interpretação dos atos de fala. Mostramos através do exemplo das metáforas que, conforme proposta por Searle, a interpretação de atos de fala consistiria em reconhecer a intenção do falante. Esse processo se daria por meio do uso de regras convencionais da linguagem tanto pelo falante quanto pelo ouvinte. Contudo, as metáforas são um exemplo de que essa proposta de interpretação não é suficiente para descrever o processo pelo qual os agentes (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Pieter Blaeu: Lettere ai Fiorentini. Antonio Magliabechi, Leopoldo e Cosimo III de' Medici e altri, 1660-1705.T. G. T. G. - 1995 - Giornale Critico Della Filosofia Italiana 15:412.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. References To Giulio Camillo In Samuel Quicchelberg's "Inscriptiones Vel Tituli Theatri Amplissimi".Elizabeth Hajós - 1963 - Bibliothèque d'Humanisme Et Renaissance 25 (1):207-211.
     
    Export citation  
     
    Bookmark  
  47. Did Shakespeare Model Camillo in The Winter’s Tale on Sir Thomas More?Thomas Merriam - 1982 - Moreana 19 (3-4):91-102.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  1
    Elações internacionais: Marxismo E o caráter global do capitalismo.Mateus Fiorentini - 2022 - Princípios 41 (163):319-329.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  10
    The Don Camillo Stories of Giovannino Guareschi: A Humorist Portrays the Sacred. By Alan R. Perry.Patrick Madigan - 2010 - Heythrop Journal 51 (1):166-166.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Classificazione delle scienze; collection des Manuali Hœpli.Camillo Trivero - 1900 - Revue Philosophique de la France Et de l'Etranger 49:542-544.
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 111