Results for 'Sergio Galvan'

(not author) ( search as author name )
1000+ found
Order:
  1. A Classical Logic of Existence and Essence.Sergio Galvan & Alessandro Giordani - 2020 - Logic and Logical Philosophy 29 (4):541-570.
    The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  11
    Analytic Philosophy Without Naturalism.Sergio Galvan, Antonella Corradini & Jonathan Lowe (eds.) - 2005 - New York: Routledge.
    In recent years numerous attempts have been made by analytic philosophers to naturalize various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them the supposedly objective status and broad intellectual appeal currently associated with such approaches. This volume brings together internationally recognised analytic philosophers, including Alvin Plantinga, Peter van Inwagen and Robert Audi, to question the project of naturalism. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  78
    An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press. Edited by Sergio Galvan & Richard Zach.
    An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic, natural deduction and the normalization theorems, the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these (...)
  4.  85
    Analytic Philosophy Without Naturalism.Antonella Corradini, Sergio Galvan & E. J. Lowe (eds.) - 2005 - New York: Routledge.
    In recent years numerous attempts have been made by analytic philosophers to _naturalize _various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them the supposedly objective status and broad intellectual appeal currently associated with such approaches. This volume brings together internationally recognised analytic philosophers, including Alvin Plantinga, Peter van Inwagen and Robert Audi, to question the project of naturalism. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Two Types of Ontological Frame and Gödel’s Ontological Proof.Sergio Galvan - 2012 - European Journal for Philosophy of Religion 4 (2):147--168.
    The aim of this essay is twofold. First, it outlines the concept of ontological frame. Secondly, two models are distinguished on this structure. The first one is connected to Kant’s concept of possible object and the second one relates to Leibniz’s. Leibniz maintains that the source of possibility is the mere logical consistency of the notions involved, so that possibility coincides with analytical possibility. Kant, instead, argues that consistency is only a necessary component of possibility. According to Kant, something is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  38
    A formalization of elenctic argumentation.Sergio Galvan - 1995 - Erkenntnis 43 (1):111 - 126.
  7. The Principle of Deontic Reflexivity and the Kantian Axiom.Sergio Galvan - 2001 - Logique Et Analyse 44.
  8. Underivability Results in Mixed Systems of Monadic Deontic Logic.Sergio Galvan - 1988 - Logique Et Analyse 121 (122):45-68.
  9. L'ilemorfismo nella filosofia contemporanea. Introduzione.Sergio Galvan - forthcoming - Rivista di Filosofia Neo-Scolastica.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  10.  16
    Actualistic Foundation of Possibilism.Sergio Galvan - 2020 - Metaphysica 21 (2):255-272.
    In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power’s being. The actualist (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  27
    A note on the ω-incompleteness formalization.Sergio Galvan - 1994 - Studia Logica 53 (3):389 - 396.
    The paper studies two formal schemes related to -completeness.LetS be a suitable formal theory containing primitive recursive arithmetic and letT be a formal extension ofS. Denoted by (a), (b) and (c), respectively, are the following three propositions (where (x) is a formula with the only free variable x): (a) (for anyn) ( T (n)), (b) T x Pr T (–(x)–) and (c) T x(x) (the notational conventions are those of Smoryski [3]). The aim of this paper is to examine the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Aspetti problematici dell'argomento modale di Anselmo.Sergio Galvan - 1993 - Rivista di Storia Della Filosofia 48 (3):587.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  5
    Finitist Objects.Sergio Galvan - 2011 - In Christian Kanzian, Winfried Löffler & Josef Quitterer (eds.), The Ways Things Are: Studies in Ontology. Ontos. pp. 149-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  21
    Logic of Existence, Ontological Frames, Leibniz's and Gödel's Ontological Proofs.Sergio Galvan - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--215.
  15. Metaphysical Presuppositions of Argument from Design.Sergio Galvan - unknown
     
    Export citation  
     
    Bookmark  
  16.  9
    3 Ontological Frames.Sergio Galvan - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--217.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Omega-Incompleteness, Truth, Intentionality.Sergio Galvan - unknown
     
    Export citation  
     
    Bookmark  
  18. Razionalità del volere e inferenza pratica.Sergio Galvan - 2008 - Nuova Civiltà Delle Macchine 26 (3).
    No categories
     
    Export citation  
     
    Bookmark  
  19.  12
    Time and Reality of Phenomenal Becoming.Sergio Galvan - 2006 - In Michael Stöltzner & Friedrich Stadler (eds.), Time and History: Proceedings of the 28. International Ludwig Wittgenstein Symposium, Kirchberg Am Wechsel, Austria 2005. De Gruyter. pp. 63-76.
  20. Tesi di Hume e sistemi di logica deontica.Sergio Galvan - 1988 - Epistemologia 11 (2):183.
  21. 12 The Emergence of the Intuition of Truth in Mathematical Thought.Sergio Galvan - 2010 - In Antonella Corradini & Timothy O'Connor (eds.), Emergence in science and philosophy. New York: Routledge. pp. 6--233.
     
    Export citation  
     
    Bookmark  
  22. The Role of Metaphysics between Science and Faith.Sergio Galvan & Ciro de Florio - unknown
    No categories
     
    Export citation  
     
    Bookmark  
  23.  9
    Bayesian Practical Inference.Antonella Corradini & Sergio Galvan - forthcoming - Foundations of Science:1-17.
    In this essay, we will try to provide a formal analysis of practical inference, attentive to the various phases in which it is articulated, and being so capable of explaining both the logical conclusiveness of the inference and the probabilistic nature of its conclusion. An innovative purpose of this article is to show how the final deliberation leading to action—the ultimate practical judgment—takes place according to a logic consistent with the use of Bayes’ theorem. This is why we refer to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  14
    Introduction à la théorie de la démonstration : Élimination des coupures, normalisation et preuves de cohérence.Paolo Mancosu, Sergio Galvan & Richard Zach - 2022 - Paris: Vrin.
    Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d’aide à la lecture des articles fondateurs de Gerhard Gentzen. L’ouvrage introduit également aux trois principaux formalismes en usage : l’approche axiomatique des preuves, la déduction naturelle et le calcul des séquents. Il donne une démonstration claire et détaillée des résultats fondamentaux du (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  11
    From arithmetic to metaphysics: a path through philosophical logic.Ciro de Florio, Alessandro Giordani & Sergio Galvan (eds.) - 2018 - Berlin: De Gruyter.
    Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments of: truth and paradoxes; (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Enciclopedia della Filosofia e delle Scienze Umane. Virgilio Melchiorre (ed.).Virgilio Melchiorre, Guido Boffi, Eugenio Garin, Adriano Bausola, Enrico Berti, Francesca Castellani, Sergio Cremaschi, Carla Danani, Roberto Diodato, Sergio Galvan, Alessandro Ghisalberti, Giuseppe Grampa, Michele Lenoci, Roberto Maiocchi, Michele Marsonet, Emanuela Mora, Carlo Penco, Roberto Radice, Giovanni Reale, Andrea Salanti, Piero Stefani, Valerio Verra & Paolo Volonté - 1996 - Novara: De Agostini.
    One 1120 pages volume, with 4000 entries covering - Western philosophy: authors, schools, concepts and terminology; - religions, cultural anthropology, eastern philosophies; - Psychology and psychoanalysis; - linguistics and semiotics; - sociology and political theory.
     
    Export citation  
     
    Bookmark  
  27. Enciclopedia Filosofica.Virgilio Melchiorre, Paul Gilbert, Michele Lenoci, Antonio Pieretti, Massimo Marassi, Francesco Botturi, Francesco Viola, Elena Bartolini, Sergio Cremaschi, Sergio Givone, Carmelo Vigna, Alfredo Cadorna, Giuseppe Forzani, Mario Piantelli, Alberto Ventura, Mario Gennari, Guido Cimino, Mauro Fornaro, Paolo Volonté, Enrico Berti, Alessandro Ghisalberti, Gregorio Piaia, Claudio Ciancio, Marco Maria Olivetti, Roberto Maiocchi, Maria Vittoria Cerutti & Sergio Galvan (eds.) - 2006 - Milan: Bompiani.
    The 'Enciclopedia Filosofica' is an encyclopaedia of philosophical topics promoted by the Centre for Philosophical Studies of Gallarate and published, in its third and last edition in 2006, by the Bompiani publishing house in Milan. The first edition of the 'Enciclopedia Filosofica' was promoted by the Centre for Philosophical Studies of Gallarate in the 1950s, seeing the light in 1957-58. A second edition, published by the Sansoni publishing house in Florence, was published in 1968-69 and reprinted in 1979. The third (...)
     
    Export citation  
     
    Bookmark  
  28. An introduction to science and technology studies.Sergio Sismondo - 2004 - Malden, MA: Blackwell.
    The prehistory of science and technology studies -- The Kuhnian revolution -- Questioning functionalism in the sociology of science -- Stratification and discrimination -- The strong programme and the sociology of knowledge -- The social construction of scientific and technical realities -- Feminist epistemologies of science -- Actor-network theory -- Two questions concerning technology -- Studying laboratories -- Controversies -- Standardization and objectivity -- Rhetoric and discourse -- The unnaturalness of science and technology -- The public understanding of science -- (...)
    Direct download  
     
    Export citation  
     
    Bookmark   48 citations  
  29. Escritos Politicos,II. Leibniz, E. Tierno Galvan, P. Marino, Antonio Truyol & Antonio Serra - 1987 - Studia Leibnitiana 19 (2):215-215.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  17
    Design, Implementation and Evaluation of an Emotional Education Program: Effects on Academic Performance.María-José Mira-Galvañ & Raquel Gilar-Corbi - 2020 - Frontiers in Psychology 11.
    Background: In recent decades, the amount of research on social and emotional learning programs in schools has increased significantly, showing a great number of positive student outcomes, including greater ability to perceive, understand and manage emotions, better attitudes about self and others, less aggressive and/or disruptive behavior, higher levels of psychological well-being and improvement in academic performance among others. The purpose of this research was the design and implementation of the OKAPI emotional education program. A multidimensional program based on cooperative (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  75
    Breve storia dell'etica.Sergio Cremaschi - 2012 - Roma RM, Italia: Carocci.
    The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  32.  63
    Accidie, Evaluation, and Motivatlon.Sergio Tenenbaum - 2003 - In Sarah Stroud & Christine Tappolet (eds.), Weakness of will and practical irrationality. New York: Oxford University Press. pp. 147.
    Accidie, depression, and dejection seem to be psychological phenomena that are best characterized as cases in which an agent has no motivation to pursue what he or she judges to be good or valuable. The phenomena thus seem to present a challenge to any view that draws a close connection between motivation and evaluation. ‘Accidie, Evaluation, and Motivation’ aims to show that the phenomena are actually best explained by a theory that postulates a conceptual connection between motivation and evaluation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  33.  5
    Lettres à Sergio Solmi sur la philosophie de Kant.Sergio Alain & Solmi - 1946 - Paris,: P. Hartmann. Edited by Sergio Solmi.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  26
    Nonstandard Methods in Stochastic Analysis and Mathemetical Physics.Sergio Albeverio & Jens Erik Fenstad - 1986 - Journal of Symbolic Logic 55 (1):362-363.
  35. Nudging to donate organs: do what you like or like what we do?Sergio Beraldo & Jurgis Karpus - 2021 - Medicine, Health Care and Philosophy (3):329-340.
    An effective method to increase the number of potential cadaveric organ donors is to make people donors by default with the option to opt out. This non-coercive public policy tool to influence people’s choices is often justified on the basis of the as-judged-by-themselves principle: people are nudged into choosing what they themselves truly want. We review three often hypothesized reasons for why defaults work and argue that the as-judged-by-themselves principle may hold only in two of these cases. We specify further (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. ¿Qué es la epistemología y para qué le sirve al científico? Autores/as.Sergio Morales Inga - 2020 - Scientia in Verba Magazine 6 (1):187-194.
    Definiciones de epistemología hay muchas, al igual que clases y estilos. Sin embargo, más allá de esta diversidad, es necesario contar con una definición básica que guíe nuestra comprensión del tema. Dos serán las preguntas que nos ayuden a ello en este artículo: a) ¿qué es la epistemología? y b) ¿para qué le sirve al científico?
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  94
    Appearances of the Good: An Essay on the Nature of Practical Reason.Sergio Tenenbaum - 2007 - New York: Cambridge University Press.
    'We desire all and only those things we conceive to be good; we avoid what we conceive to be bad.' This slogan was once the standard view of the relationship between desire or motivation and rational evaluation. Many critics have rejected this scholastic formula as either trivial or wrong. It appears to be trivial if we just define the good as 'what we want', and wrong if we consider apparent conflicts between what we seem to want and what we seem (...)
    Direct download  
     
    Export citation  
     
    Bookmark   114 citations  
  38.  4
    Storia del nulla.Sergio Givone - 1995 - Roma: Laterza.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  39. The Explanatory Role of Abstraction Processes in Models: the Case of Aggregations.Sergio A. Gallegos - 2016 - Studies in History and Philosophy of Science Part A 56:161-167.
    Though it is held that some models in science have explanatory value, there is no conclusive agreement on what provides them with this value. One common view is that models have explanatory value vis-à-vis some target systems because they are developed using an abstraction process. Though I think this is correct, I believe it is not the whole picture. In this paper, I argue that, in addition to the well-known process of abstraction understood as an omission of features or information, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Sefer Di konsolasiʹoni filosofya.Sergio Joseph Boethius, Azariah ben Joseph ibn Abba Mari & Sierra - 1967 - [H. Mo. L.]. Edited by Azariah ben Joseph ibn Abba Mari & Sergio Joseph Sierra.
     
    Export citation  
     
    Bookmark  
  41.  4
    La regola della speranza: dialettiche dello sperare.Sergio Labate - 2011 - Assisi: Cittadella.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  7
    L'etica tra genetica e neuroscienze: libero arbitrio, responsabilità, generazione.Sergio Filippo Magni - 2019 - Roma: Carocci editore.
  43.  8
    Storia e filosofia della musica.Sergio Prodigo - 2020 - Canterano (RM): Aracne editrice.
    Volume I. Dall'Antica Grecia al Classicismo -- Volume II. Dal Romanticismo alla contemporaneità.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  16
    Wisdom in Gorgias’ Encomium of Helen.Sergio Ariza - 2022 - Elenchos: Rivista di Studi Sul Pensiero Antico 43 (2):229-248.
    This paper argues that theEncomium of Helenmust be seen as a speech about the value and importance of wisdom in human life and not as much as one as aboutlogos. Gorgias sustains his vision based on a certain intellectualism which reduces moral faults to intellectual errors. This intellectualist program comprises a rationalization of emotions and a commitment with a certain tradition that discriminates between a minority with knowledge and a majority with only opinion. The consequence for Helen is that she (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  13
    A interação homem-máquina na psicoterapia.Sérgio Alberto Nascimento Melo Junior, Caio Leite de Aguiar, Larissa Kalyne Silva da Cunha & Jean Carlos Rodrigues Brustolin - 2024 - Prometeica - Revista De Filosofía Y Ciencias 29:335-347.
    A implementação de tecnologias móveis de informação e comunicação no suporte à Saúde Mental tem atraído a atenção das autoridades. Com a ascensão das Inteligências Artificiais, esse movimento pode ser impulsionado de maneira exponencial. Nesse cenário, esta revisão tem como objetivos verificar a aplicabilidade das Inteligências Artificiais (IAs) na Saúde Mental e analisar os aspectos que favorecem a relação entre IAs e usuários. Para tanto, realizou-se uma revisão sistemática nas bases de dados PubMed e Biblioteca Virtual em Saúde, no período (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Forma y función de la explicación contrafáctica en la obra fisiológica de Ramón y Cajal.Sergio Daniel Barberis - 2020 - In Filosofía e Historia de la Ciencia en el Cono Sur. São Carlos, Estado de São Paulo, Brasil: pp. 72-83.
    En este trabajo sostengo que la concepción mecanicista no captura la relevancia explicativa de la ley de polarización dinámica de Cajal. La relevancia explicativa de la ley se fundamenta en su rol como principio de diseño neuronal. Como tal, la ley nos brinda acceso epistémico a intervenciones ideales, conceptualmente posibles, sobre la localización de los diversos componentes de los centros nerviosos, y nos permiten evaluar el impacto de esas intervenciones sobre las condiciones de viabilidad del organismo.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  63
    Rational Powers in Action: Instrumental Rationality and Extended Agency.Sergio Tenenbaum - 2021 - Oxford University Press.
    Rational Powers in Action presents a conception of instrumental rationality as governing actions that are extended in time with indeterminate ends. Tenenbaum argues that previous philosophical theories in this area, in focusing on momentary snapshots of the mind of idealized agents, miss central aspects of human rationality.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  48. History of Behavioral Neurology (2nd edition).Sergio Barberis & Cory Wright - 2022 - In Sergio Della Sala (ed.), Encyclopedia of Behavioral Neuroscience, Vol. 1. Elsevier. pp. 1–13.
    This chapter provides a brief overview of the history of behavioral neurology, dividing it roughly into six eras. In the ancient and classical eras, emphasis is placed on two transitions: firstly, from descriptions of head trauma and attempted neurosurgical treatments to the exploratory dissections during the Hellenistic period and the replacement of cardiocentrism; and secondly, to the more systematic investigations of Galenus and the rise of pneumatic ventricular theory. In the medieval through post-Renaissance eras, the scholastic consolidation of knowledge and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  1
    Etica e natura: una rivoluzione copernicana in etica?Sergio Bartolommei - 1995 - Roma: Laterza.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  1
    Conoscenza e normatività: il normativo tra decisione e fondazione.Sergio Cotta, Jesús Ballesteros & Istituto Accademico di Roma (eds.) - 1995 - Milano: A. Giuffrè.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000