Results for 'Silvio Micali'
470 found
Order:
1 filter applied
- Minimal forms in λ-calculus computations.Corrado Böhm &SilvioMicali -1980 -Journal of Symbolic Logic 45 (1):165-171.The notion of a minimal form is defined as an extension of the notion of a normal form in λ-β-calculus and its meaning is discussed in a computational environment. The features of the Knuth-Gross reduction strategy are used to prove that to possess a minimal form, for a generic term, is a semidecidable predicate.
- On Play by Means of Computing Machines .A Theory of Higher Order Probabilities.Knowledge and Efficient Computation.Realizability Semantics for Error-Tolerant Logics. [REVIEW]William J. Rapaport,Nimrod Megiddo,Avi Wigderson,Haim Gaifman,SilvioMicali,John C. Mitchell &Michael J. O'Donnell -1988 -Journal of Symbolic Logic 53 (2):669.
- Überschüsse der Erfahrung: Grenzdimensionen des Ich nach Husserl.StefanoMicali -2008 - Dordrecht: Springer.Die vorliegende Arbeit zielt darauf ab, Momente der Husserlschen Phänomenologie hervorzuheben, in denen diese an ihre Grenzen stößt. Der Ausweis dieser Grenzphänomene, die in der Husserl-Literatur bisher noch nicht systematisch untersucht worden sind, steht im Zentrum der Arbeit. Der Autor hat sich systematisch mit phänomenologisch orientierten Autoren zeitgenössischer Philosophie auseinandergesetzt u. a. mit der Absicht, die Fruchtbarkeit der Husserlschen Analysen für die zeitgenössische Philosophie hervorzuheben.
- Mounier nel centenario della nascita.AntonioMicali -2005 -Studium 101 (3):397-401.No categoriesExport citation
Bookmark - Tra l'altro e se stessi: studi sull'identità.StefanoMicali -2020 - Milano: Mimesis.
- Obra filosófica.Sílvio Romero &Luís Washington Vita -1969 - Rio de Janeiro,: Livraria J. Olympio Editôra. Edited by Luís Washington Vita.
- Neue Romantik-Forschungen-Ergebnisse und Problemstellung.Silvio Vietta -1992 -Philosophische Rundschau 39 (1):2.No categoriesExport citation Bookmark
- Studi in memoria diSilvio Ceccato.F. Accame &Silvio Ceccato (eds.) -1999 - Roma: Società stampa sportiva.
- Filtering unification and most general unifiers in modal logic.Silvio Ghilardi &Lorenzo Sacchetti -2004 -Journal of Symbolic Logic 69 (3):879-906.We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).
- [no title].Silvio Leone -unknownNo categories
- Collected papers of Herbert Marcuse philosophy, psychoanalysis and emancipation –vol. 5.Silvio Ricardo Gomes Carneiro -2012 -Cadernos de Ética E Filosofia Política 20:185-193.Resenha do livro COLLECTED PAPERS OF HERBERT MARCUSE PHILOSOPHY, PSYCHOANALYSIS AND EMANCIPATION –VOL. 5.No categories
- Uma defesa do Argumento da Terra gêmea Moral contra o Realismo Moral Naturalista.Silvio Kavetski -2023 -Princípios 30 (63).O Argumento da Terra Gêmea Moral (ATGM) é o desafio semântico central para o Realismo Moral Naturalista (RMN). À fim de evitar tal problema, os defensores do RMN têm articulado uma série de réplicas ao ATGM. Neste artigo, abordo algumas dessas réplicas e defendo a tese de que elas não refutam o ATGM. Considero duas propostas em específico: o Argumento da Tradução, de D. Copp, e o Argumento do Fim da Investigação Moral, de A. Viggiano. Apresento essas objeções, mostro em (...) que sentido pretendem responder ao ATGM e argumento que cada uma delas é vulnerável a vários problemas. Concluo que os ataques de Copp e Viggiano ao ATGM devem ser recusados e que o desafio semântico ao RMN persiste. (shrink)No categories
- Filosofía: un desafío a la cultura.Silvio J. Maresca -1972 - [Buenos Aires]: Editorial Galerna. Edited by Luis Jorge Jalfen.No categories
- Il corpo del dialogo: una teoria della comunicazione a partire dal Protagora di Platone e dal Corpus Hippocraticum.Silvio Marino -2019 - Napoli: Paolo Loffredo.
- The philosophy of law: a brief introduction.Silvio Meli -2020 - [Birkirkara]: Kite.
- Musica, utopia e pensiero narrante.Silvio Paolini Merlo -2002 -Rivista di Estetica 42 (21):162-167.Export citation Bookmark
- El realismo y la fijación de la referencia.Silvio Pinto -2007 -Manuscrito 30 (1):9-34.En este trabajo intento mostrar, en primer lugar, que el realismo interno de Hilary Putnam no logra explicar filosóficamente la fijación de la referencia de las expresiones del lenguaje cotidiano. En segundo lugar, sugiero una explicación alternativa del mecanismo de fijación de la referencia apelando al concepto de interpretación radical; además, el enfoque interpretativo lo concebiré como una variante del realismo que acepta la relatividad conceptual, pero rechaza la relatividad ontológica.This paper intends to show, first, that Hilary Putnam’s internal realism (...) does not provide a satisfactory philosophical explanation of the fixation of reference of natural language’s expressions. Second, I suggest an alternative explanation of the determination of reference in terms of radical interpretation; besides, the interpretative approach is conceived here as a variant of realism which accepts conceptual relativity while rejecting ontological relativity. (shrink)
- Design and implementation of a distributed object-oriented architecture.Silvio Salza &Mario Terranova -1996 -Esda 1996: Expert Systems and Ai; Neural Networks 7:157.No categoriesExport citation Bookmark
- L'Accademia di medinacoeli.Silvio Suppa -1971 - Nella sede dell'Istituto: [Italiano Per Gli Studi Storici].No categories
- Being Acted Upon by a Traumatic Event: A Phenomenological Description of Altered Temporality.StefanoMicali -2022 -Journal of the British Society for Phenomenology 53 (2):210-224.This paper addresses the transformation of subjectivity in trauma by considering recent psychopathological research, especially in relation to the works of Judith Herman and Bessel van der Kolk. It...
- "Etwas rast um den Erdball... ": Martin Heidegger: ambivalente Existenz und Globalisierungskritik.Silvio Vietta -2015 - Paderborn: Wilhelm Fink.Die jüngst publizierten "Schwarzen Hefte" Heideggers und auch der Neufund des Heftes von 1945/46 machen deutlich: Heidegger entwickelt hier eine Theorie der Globalisierung. Diese führt er nicht auf eine jüdische Weltverschwörung zurück -- da wäre nur eine "Machenschaft" auf eine andere reduziert -- sondern auf die abendländische Kulturgeschichte selbst. Insbesondere der neuzeitliche Siegeszug des "rechnenden Denkens" habe eine Geschichte des Herrschaftsdenkens und des Expansionismus in Gang gesetzt. Darin sieht Heidegger ab 1934 das Dritte Reich wie auch den Bolschewismus und den (...) Kolonialismus Englands und der USA involviert. Heidegger setzt dem entfesselten Herrschaftsdenken auch nach dem Zweiten Weltkrieg -- ihrer "Vernutzung der Erde" und "Verrechnung der Welt" -- die Lehre vom "andren Anfang" der Geschichte entgegen: eine Kulturpraxis der Schonung und Nachhaltigkeit. (shrink)
- Fisica: scienza, storia e società.Silvio Bergia &Giorgio Dragoni (eds.) -2018 - Canterano (RM): Aracne editrice.
- Sobre a concepção totalitária da vida.Silvio Ricardo Gomes Carneiro -2011 -Cadernos de Ética E Filosofia Política 18:179-196.Following a Weltanschaaung that involves a concept of life, Hitler has organized one of central chapiters of his autobiography My Struggle, named “Nation and Race”. Three human groups – to know, the founders of culture, the bearers of culture, the destroyers of culture – would be organized as forms of life. These three groups cohabit in competition for the territory of living space. With Hitler´s interpretations, come up then a living economic, that justifies the Total State or the Total War. (...) In front of this horizon, appear critiques as Marcuse, which efforts intend to face the usurpation of concepts as life, nature and racionality by Nazi myth of race and nation. Into this field, Marcuse meets psychoanalysis. Someone considers this meeting as a return to some naturalism too far from the critical exigencies of this time; however, it is possible to insist that this resourse to Freud makes evident a straight critic to a living economic operated from a totalitarian Weltanschauung. (shrink)No categories
- Il gioco del teocono.Silvio Ceccato -1971 - Milano,: All'insegna del pesce d'oro.No categoriesExport citation Bookmark
- St Augustine: his times and outlook: oaths, marriage, justice.Silvio Meli -2022 - [Birkirkara?]: Kite.
- Dei doveri degli uomini: discorso a un giovane.Silvio Pellico -2011 - Verona: Fede & cultura.No categories
- Conventions and linguistic communication.Silvio Pinto -2001 -Análisis Filosófico 21 (2):187-216.En el siglo XX, se ha intentado articular el convencionalismo lingüístico de maneras distintas. Uno de los enfoques más prometedores fue el que propuso David Lewis a finales de los años 60 e inicio de los 70. Lewis subsume las regularidades convencionales que subyacen a la actividad de hablar un lenguaje bajo los estados de equilibrio más generales que resultan de cualquier tipo de comportamiento cooperativo racional. En este artículo propongo que, pese a su atractivo, las convenciones lewisianas deberían ser (...) abandonadas a favor del convencionalismo lingüístico del segundo Wittgenstein. Mi motivación para recomendar tal giro es que la propuesta de Lewis no es capaz de ofrecer una respuesta satisfactoria a la objeción de Donald Davidson, de acuerdo con la cual la teoría convencionalista de Lewis no puede explicar la ocurrencia sistemática de malapropismos en nuestro uso ordinario del lenguaje. En las últimas secciones del artículo, me dedico a mostrar cómo las convenciones wittgensteinianas sí pueden explicar el fenómeno de los malapropismos. (shrink)Export citation Bookmark
- The Justification of Deduction.Silvio Pinto -2001 -Sorites 13:33-47.According to Michael Dummett, deductive inference stands in need of justification which must be provided by the theory of meaning for natural language. Such a theory, he insists, should deliver an explanation for the two essential features of deduction: validity and fruitfulness. Dummett claims that only a molecularist theory of meaning could offer the desired justification. In this paper, I will consider and criticize his solution to the problem of the justification of deduction: the so-called molecular verificationist explanation. My aim (...) here will be to show that Dummett's solution does not succeed in reconciling the conflicting demands of the respective explanations of validity and fruitfulness. (shrink)Export citation Bookmark
- Thomas Pavel, The Spell of Language: Poststructuralism and Speculation Reviewed by.Silvio Pinto -2002 -Philosophy in Review 22 (4):297-299.Export citation Bookmark
- La sapienza dell'essere: ontologia triadica e trinitaria, metafisica della creazione e dialettica nella Teosofia di Antonio Rosmini.Silvio Spiri -2013 - Roma: Aracne editrice S.r.l..No categories
- Unification in intuitionistic logic.Silvio Ghilardi -1999 -Journal of Symbolic Logic 64 (2):859-880.We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.
- Il perfetto filosofo.Silvio Ceccato -1988 - Roma: Laterza.
- A Repetição de Uma Singularidade: Fenomenologia Do Déjà Vu.StefanoMicali &Fabio Caprio Leite de Castro -2024 -Phenomenology, Humanities and Sciences 6 (1):212-223.A fenomenologia tem como objetivo analisar os momentos constitutivos de diferentes experiências, fazendo justiça às suas formas específicas de aparecimento. Ao fazer isso, ela pode tornar visíveis (e, portanto, corrigir) as suposições problemáticas consideradas válidas desde o início. Estas suposições distorcem e manipulam coerentemente os fenômenos de tal forma que os fenômenos são transformados em algo radicalmente diferente. O fenômeno do déjà vu é muito interessante, nesse sentido, por duas diferentes razões. O déjà vu é transformado em um fenômeno diferente (...) no campo da ciência cognitiva: o déjà vu é comumente entendido como um simples erro de memória. Em segundo lugar, o déjà vu implica a repetição de uma experiência única e contingente. Essa lógica de repetição não é facilmente compatível com o logos das ciências empíricas, que se concentra na identificação de relações invariantes entre termos gerais por meio de pesquisa experimental e, portanto, exige uma abordagem diferente. (shrink)No categories
- La fabbrica del bello.Silvio Ceccato -1987 - Milano: Rizzoli.
- Un tecnico fra i filosofi.Silvio Ceccato -1964 - [Padova]: Marsilio editori.
- Interpretación materialista dialéctica de nuestra época.Silvio Frondizi -1960 - Buenos Aires,:
- Etica y poder en el fin de la historia: siete conferencias de filosofía.Silvio Juan Maresca -1992 - Buenos Aires: Catálogos.
- La comunicación.Silvio Mattoni -2014 - In Samuel M. Cabanchik,Figuraciones de la comunidad: el ojo, la carne y la palabra. Buenos Aires, Argentina: Ediciones Colihue.No categoriesExport citation Bookmark
- Epigraphy and the Historical Sciences.PancieraSilvio -2012No categoriesExport citation Bookmark
- Epigraphy and informatics: An introduction.Silvio Panciera -2012 - In Panciera Silvio,Epigraphy and the Historical Sciences. pp. 271.No categoriesExport citation Bookmark
- Coherentismo versus confiabilismo.Sílvio Pinto -2004 -Revista de Filosofía (Madrid) 29 (2):133-151.
- (1 other version)Dos aspectos Del razonamiento abductivo (two aspects of abductive reasoning).Sílvio Pinto -2007 -Theoria 22 (3):319-324.En este breve comentario, discuto dos aspectos, en mi opinión esenciales, del reciente libro de Atocha Aliseda sobre el razonamiento abductivo (Abductive Reasoning). El primero tiene que ver con la clasificación de la abducción propuesta por Aliseda respecto al tipo de lógica que le subyace. Sobre esto, considero que la mejor opción sería tal vez excluir la abducción de tal clasificación. El segundo se refiere al mecanismo de búsqueda de hipótesis abductivas que nos ofrece Aliseda (el método computacional de los (...) árboles semánti-cos extendidos). Sugiero que queda por establecerse la realidad psicológica de tal mecanismo.I discuss, in this brief commentary, two relevant aspects of Atocha Aliseda’s recent book on abductive reasoning (Abduc-tive Reasoning). The first has to do with Aliseda’s proposed classification of abduction with respect to the sort of logic under-lying it. I contend that perhaps the best option is to exclude abduction from this classification. The second aspect concerns the search mechanism for abductive hypotheses offered by Aliseda (the computational method of extended semantic tableaux). I suggest that its psychological reality has yet to be established. (shrink)
- Revisionismo, antirrevisionismo y Filosofía de las Matemáticas.Sílvio Pinto -2004 -Signos Filosóficos 6 (12):155-162.No categories
- Realismo e interpretación.Silvio Pinto -2006 -Episteme 26 (1):119-140.Export citation Bookmark
- La plasticidad pragmática y gramatical del nosotros.Silvio Alejandro Puertas -2015 - In Adolfo Chaparro Amaya, G. van Roermund & Wilson Herrera Romero,Quiénes somos "nosotros"?,: o, cómo (no)hablar en primera persona del plural. Bogotá, D.C.: Editorial Universidad del Rosario.Export citation Bookmark
- Due profili.Silvio Ravera -1971 - Vicenza,: La locusta.No categoriesExport citation Bookmark
- Allargare gli orizzonti della razionalità: prospettive per la filosofia.Silvio Spiri &Tommaso Valentini -2010 - Roma: Editori riuniti University Press.
- Che cosa significa amare?Silvio Spiri -2011 -Divus Thomas 114 (1):210-219.No categoriesExport citation Bookmark
- Care Ethics Management and Redesign Organization in the New Normal.Silvio Carlo Ripamonti,Laura Galuppo,Sara Petrilli,Sharon Dentali &Riccardo Giorgio Zuffo -2021 -Frontiers in Psychology 12.The pandemic period has placed the organizations in a state of great tension. It has generated a situation of confusion, lack of rules, and production-related criticalities that have called into question the very existence of many productive realities. This article aims to highlight the dimensions of care and ethics put in place by HR managers in COVID-19. The objective that animated the authors have focused on the HRM level of medium and large companies in Italy to highlight the protective actions (...) toward people and the organization in the period COVID 19, highlighting what were the ethical values and actions of care put in place. In this article, we wanted to give voice to managers who had management tasks in their organizations by asking them to tell us how they dealt with the challenges imposed by the emergency. In the research, we start from a way of understanding workplaces understood as a “process of ongoing social relationship” within which the HR function is dedicated to the care of the quality of relationships. HR managers have to manage a complex role of mediating between the interests of people and employers by trying to find good mediations. (shrink)
- Every countably presented formal topology is spatial, classically.Silvio Valentini -2006 -Journal of Symbolic Logic 71 (2):491-500.By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.
| 1 — 50 / 470 |
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-5b9ff6f457-pc6d8 uwo