Results for 'Paolo Morettin'

983 found
Order:
  1.  13
    Advanced SMT techniques for weighted model integration.Paolo Morettin, Andrea Passerini & Roberto Sebastiani - 2019 - Artificial Intelligence 275 (C):1-27.
  2.  11
    Enhancing SMT-based Weighted Model Integration by structure awareness.Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini & Roberto Sebastiani - 2024 - Artificial Intelligence 328 (C):104067.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. The Philosophy of Mathematical Practice.Paolo Mancosu - 2009 - Studia Logica 92 (1):137-141.
     
    Export citation  
     
    Bookmark   73 citations  
  4.  20
    Rationality as “good reasons for”.Paolo Legrenzi & Rino Rumiati - 1993 - International Studies in the Philosophy of Science 7 (1):45 – 49.
  5.  17
    Paticipatory Object Perception.Ezequiel A. Di Paolo - 2016 - Journal of Consciousness Studies 23 (5-6):228-258.
    Social factors have so far been neglected in embodied theories of perception despite the wealth of phenomenological insights and empirical evidence indicating their importance. I examine evidence from developmental psychology and neuroscience and attempt an initial classification according to whether social factors play a contextual, enabling, or constitutive role in the ability to perceive objects in a detached manner, i.e. beyond their immediate instrumental use. While evidence of cross-cultural variations in perceptual styles and the influence of social cues on visual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  19
    Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
    Most of the work in default logic is about default theories that are completely specified. In this category are the proposals of appropriate semantics for default logic, the characterizations of the complexity of reasoning with a default theory, the algorithms for finding consequences of default theories, etc. Relatively little attention has been paid to the process of building a default theory, and most of the work on this topic is about translating knowledge bases from other formalisms (such as circumscription, autoepistemic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. I bisogni dell'uomo: tema comune a Schiller ea Capograssi.Paolo Miccoli - 2009 - Studium 105 (3):437-456.
    No categories
     
    Export citation  
     
    Bookmark  
  8.  44
    Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.
    This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  95
    The adventure of reason: interplay between philosophy of mathematics and mathematical logic, 1900-1940.Paolo Mancosu - 2010 - New York: Oxford University Press.
    At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of .
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10. Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems.Paolo Mancosu - 1999 - History and Philosophy of Logic 20 (1):33-45.
    What were the earliest reactions to Gödel's incompleteness theorems? After a brief summary of previous work in this area I analyse, by means of unpublished archival material, the first reactions in Vienna and Berlin to Gödel's groundbreaking results. In particular, I look at how Carnap, Hempel, von Neumann, Kaufmann, and Chwistek, among others, dealt with the new results.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  11. The Church–Fitch knowability paradox in the light of structural proof theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2012 - Synthese 190 (14):2677-2716.
    Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox is presented (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12.  12
    Intensional Harmony as Isomorphism.Paolo Pistone & Luca Tranchini - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 315-337.
    In the present paper we discuss a recent suggestion of Schroeder-Heister concerning the possibility of defining an intensional notion of harmony using isomorphism in second-order propositional logic. The latter is not an absolute notion, but its definition is relative to the choice of criteria for identity of proofs. In the paper, it is argued that in order to attain a satisfactory account of harmony, one has to consider a notion of identity stronger than the usual one (based on β- and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Reference and Monstrosity.Paolo Santorio - 2012 - Philosophical Review 121 (3):359-406.
    According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  14.  48
    Neuromania: On the Limits of Brain Science.Paolo Legrenzi & Carlo Umilta - 2011 - Oxford University Press.
    Neuroeconomics, neuromarketing, neuroaesthetics, and neurotheology are just a few of the novel disciplines that have been inspired by a combination of ancient knowledge along with recent discoveries about how the human brain works.This fascinating and thought provoking new book critically questions our love affair with brain imaging.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  15.  72
    ‘Spuntar lo scoglio più duro’: did Galileo ever think the most beautiful thought experiment in the history of science?Paolo Palmieri - 2005 - Studies in History and Philosophy of Science Part A 36 (2):223-240.
    Still today it remains unclear whether Galileo ever climbed the leaning tower of Pisa in order to drop bodies from its top. Some believe that he established the principle of equal speeds for falling bodies by means of an ingenious thought experiment. However, the reconstruction of that thought experiment circulating in the philosophical literature is no more than a cartoon. In this paper I will tell the story of the thought processes behind the cartoon.Keywords: Galileo Galilei; Thought experiment; Falling bodies.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  16.  22
    A Fair Governance: On Inequality, Power and Democracy.Paolo Barucca - 2020 - Topoi 40 (4):765-770.
    Can governments keep the pace of global markets? It is a defining characteristic of the present times, tested and measured within multiple studies, that we are living in an increasingly interconnected economy in which giant companies emerge and compete presenting new goods and products at a global scale. The competing environment of international markets produces quickly growing creatures that old nation-states struggle to understand, monitor and, consequently, regulate. In this regard, the selection process taking place in the market seems to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  79
    Giorgio Agamben.Paolo Bartoloni - 2008 - Angelaki 13 (1):51 – 63.
    Towards the end of The Coming Community (1993) [La comunità che viene, 1990], Giorgio Agamben writes something that may be interpreted as a paraphrase of Franz Kafka's famous statement that while t...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  64
    Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.
    This paper extends the axiomatic treatment of intuitionistic mereology introduced in Maffezioli and Varzi (_Synthese, 198_(S18), 4277–4302 2021 ) by examining the behavior of constructive notions of overlap and disjointness. We consider both (i) various ways of defining such notions in terms of other intuitionistic mereological primitives, and (ii) the possibility of treating them as mereological primitives of their own.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  15
    Ematopoiesi, malattia cardiaca e disturbi mentali in Galeno e in Alessandro di Afrodisia.Paolo Accattino - 1987 - Hermes 115 (4):454-473.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. God, Incarnation, and Metaphysics in Hegel’s Philosophy of Religion.Paolo Diego Bubbio - 2014 - Sophia 53 (4):515-33.
    In this article, I draw upon the ‘post-Kantian’ reading of Hegel to examine the consequences Hegel’s idea of God has on his metaphysics. In particular, I apply Hegel’s ‘recognition-theoretic’ approach to his theology. Within the context of this analysis, I focus especially on the incarnation and sacrifice of Christ. First, I argue that Hegel’s philosophy of religion employs a distinctive notion of sacrifice (kenotic sacrifice). Here, sacrifice is conceived as a giving up something of oneself to ‘make room’ for the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  37
    Russell's first theory of denoting and quantification.Paolo Dau - 1986 - Notre Dame Journal of Formal Logic 27 (1):133-166.
  22.  13
    Aeschylus at the origin of philosophy: Emanuele Severino’s interpretation of the Aeschylean tragedies.Paolo Pitari - 2022 - Literature 2 (3):106-123.
    The late Emanuele Severino (1929–2020) was an Italian philosopher whose work on Aeschylus has not yet been made available in English. In Il giogo: alle origini della ragione: Eschilo (The Yoke: At the Origins of Reason: Aeschylus, 1989), Severino seeks to demonstrate that Aeschylus belongs amongst the founders of philosophy, i.e., that Aeschylus was the first to set down some of philosophy’s most fundamental principles, including that ontological becoming produces unbearable suffering and that the only remedy to suffering is knowledge (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  4
    Logica parva.Paolo - 2002 - Boston: Brill. Edited by Alan R. Perreiah.
    Copied in 80 manuscripts and printed in 25 editions Logica Parva was the most widely read logic book in 15th century Italy. By transmitting Oxford logic to Italy it influenced the course of science, philosophy and theology in the Renaissance.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  20
    Entre acidentes e explosões: indeterminação e estesia no devir da história.Paolo Demuru - 2020 - Bakhtiniana 15 (1):81-106.
    RESUMO O artigo propõe uma releitura cruzada dos conceitos de acidente, desenvolvido por Landowski no âmbito de sua teoria sociossemiótica da interação, e explosão, elaborado por Lotman em seus últimos escritos de semiótica da cultura. Longe de ser um fim em si mesmo, este confronto almeja esboçar uma síntese teórico-epistemológica que possa contribuir à análise dos processos comunicacionais-discursivos que regem o devir dos sistemas socioculturais, bem como ao seu enquadramento conceitual. A minha hipótese é que a cifra desta articulação resida (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  23
    Note sur des fouilles en Sicile.Paolo Orsi - 1896 - Bulletin de Correspondance Hellénique 20 (1):399-400.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. Dialettica e mentologia.Paolo Pagani - 2011 - Filosofia Oggi 34 (133):35-46.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  27.  9
    Expositio in libros posteriorum Aristotelis.Paolo - 1976 - New York: G. Olms.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Cinque tesi per una metafisica del soggeto: I.Paolo Pasqualucci - 2010 - Rivista Internazionale di Filosofia Del Diritto 87 (3):313-337.
     
    Export citation  
     
    Bookmark  
  29. Narrazione e psicoanalisi. Quale modello di narrazione?Paolo Francesco Pieri - 2009 - Aisthesis: Pratiche, Linguaggi E Saperi Dell’Estetico 2 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  30.  7
    Rational Belief and Dialetheism.Paolo Bonardi - 2021 - Intercultural Pragmatics 18 (Pragmatics and Philosophy):309-335.
    It is usually maintained that a subject with manifestly contradictory beliefs is irrational. How can we account, then, for the intuitive rationality of dialetheists, who believe that some manifest contradictions are true? My paper aims to answer this question. Its ultimate goal is to determine a characterization of (or rather a constraint for) rational belief approvable by both the theorists of Dialetheism and its opponents. In order to achieve this goal, a two-step strategy will be adopted. First, a characterization of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  21
    Interpretation, Religion, Politics: A Conversation.Paolo Diego Bubbio & Gianni Vattimo - 2021 - Journal of Continental Philosophy 2 (2):333-347.
    In this 2017 conversation, Gianni Vattimo discusses with Paolo Diego Bubbio the core themes of his own philosophical journey. Vattimo first comments on the legacy of his mentor Luigi Pareyson and on the differences between Pareyson’s conception of the relation between truth and interpretation and his own. Vattimo and Bubbio then elaborate on the return to Hegel and the possibility of a “hermeneuticized” Hegelianism. The participants also discuss Vattimo’s view of religion and the role that the Christian notion of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  4
    Da Buddha a Einstein: la struttura del pensiero orientale nella fisica moderna.Paolo Guido - 2004 - Vicenza: Il punto d'incontro.
  33. The Multitude and the Principle of Individuation.Paolo Virno - 2003 - Graduate Faculty Philosophy Journal 24 (2):133-145.
    Forms of contemporary life attest to the dissolution of the concept of the ‘people’ and the renewed importance of the idea of the ‘multitude’. Though they took center stage in the seventeenth century debate that spawned much of our ethico-political lexicon, these two notions are polar opposites. The ‘people’ is by its very nature centripetal. Converging towards a general will, it acts as an interface between citizens and the State. The ‘multitude’ is plural. Fleeing all political unity, it shuns negotiations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Internet ‘philosophandi’: Le nuove risorse in rete per la ricerca nel campo delle scienze umane. Modelli e prospettive.Paolo Quintili - 2002 - Giornale Critico Della Filosofia Italiana 22 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  35. La réception de Diderot en Italie aux XIXe et XXe siècles: les avatars d'un long oubli.Paolo Quintili - 2010 - Diderot Studies 31:143-174.
     
    Export citation  
     
    Bookmark  
  36.  51
    Toward an embodied science of intersubjectivity: widening the scope of social understanding research.Ezequiel A. Di Paolo & Hanne De Jaegher - 2015 - Frontiers in Psychology 6.
  37. Un personaggio, una terra: gli spaziosi confini di Cesare Ruperto.Paolo Grossi - 2005 - Rivista Internazionale di Filosofia Del Diritto 2:331-342.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Masterpieces of Early and Old Syrian art: discoveries of the 1988 Ebla excavations in a historical perspective.Paolo Matthiae - 1990 - In Matthiae Paolo (ed.), Proceedings of the British Academy, Volume 75: 1989. pp. 25-56.
    No categories
     
    Export citation  
     
    Bookmark  
  39. La doctrina hegeliana del organicismo político.Paolo Becchi - 1994 - Escritos de Filosofía 13 (25-26):75-99.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  40.  82
    Visual awareness relies on exogenous orienting of attention: Evidence from unilateral neglect.Paolo Bartolomeo & Sylvie Chokron - 2001 - Behavioral and Brain Sciences 24 (5):975-976.
    Unilateral neglect stems from a relatively selective impairment of exogenous, or stimulus-related, orienting of attention. This neuropsychological evidence parallels “change blindness” experiments, in which normal individuals lack awareness of salient details in the visual scene as a consequence of their attention being exogenously attracted by a competing event, suggesting that visual consciousness requires the integrity of exogenous orienting of attention.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. La sostanza della verità.Paolo Leonardi - 2013 - In Roberta Lanfredini & Alberto Peruzzi (eds.), A Plea for Balance in Philosophy: Essays in Honour of Paolo Parrini. Pisa: Edizioni ETS.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  11
    Sulle vedute epistemologiche di Enriques.Paolo Parrini - 1999 - Rivista di Storia Della Filosofia 1.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Marsilio tra Preumanesimo e cultura delle arti. Ricerca sulle fonti padovane del primo discorso del" Defensor Pacis.Paolo Marangon - 1977 - Medioevo 3:89-119.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  44. A Proposito Dell’etica Cristiana.Paolo Arzani - 2008 - Humana Mente 2 (7).
    No categories
     
    Export citation  
     
    Bookmark  
  45.  21
    Lucan: De Bello Civili, Book 1.Paolo Asso - 2012 - Classical World: A Quarterly Journal on Antiquity 105 (2):271-272.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  34
    Italia: un equilibrio inestable.Paolo Baldi - 1992 - Telos: Critical Theory of the Contemporary 31:109-116.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Atlante degli atlanti.Paolo Barbaro & Claudia Cavatorta - 2010 - In Ugo Locatelli & Paolo Barbaro (eds.), Atlante areale: geografia dello sguardo oltre la realtà apparente = Areal atlas: a geography of looking beyond outward reality. Milano: Mimesis.
     
    Export citation  
     
    Bookmark  
  48. Commentary: Can attention capture visual awareness?Paolo Bartolomeo - 2002 - Psicologica International Journal of Methodology and Experimental Psychology 23 (2):314-317.
  49.  40
    Cut-Price Lives: An Analytical View of the Social Construction of the Next Generation of Outsiders.Paolo Barbieri & Stefani Scherer - 2007 - Polis 21 (3):341-362.
  50.  61
    L’éristique mise en formules.Paolo Fait - 1998 - Dialogue 37 (1):131-.
    Les réfutations sophistiques ont joui, au cours du Moyen Âge, d’une considération peut-être même supérieure à leurs mérites, mais par un juste retour des choses, elles ont été presque complètement négligées pendant l’époque contemporaine. Cet ouvrage — dont l’analyse avait été plus l’occupation préliminaire des médiévistes que l’intérêt central des aristotélisants — est maintenant l’objet d’une excellente étude par Louis-André Dorion, une étude qui réintroduit cet ouvrage «dans le courant de la recherche», fournissant une introduction tant historique que systématique, une (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 983