Results for 'interpolación de Craig-Lyndon'

971 found
Order:
  1.  7
    Interpolation in Term Functor Logic.J. -Martín Castro-Manzano - forthcoming - Critica:53-69.
    Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Dos Teoremas de interpolación.Franklin Galindo - 2016 - Divulgaciones Matematicas 17 ( 2):15-42.
    En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo - manuscript
    En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  14
    O Cristo Vivo na Civilização: Protestantismo e Espaço Público no Brasil.Lyndon de Araújo Santos - 2017 - Horizonte 15 (47):949.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5. Las notas de Heidegger sobre el'timor castus'y el'timor seruilis' agustinianos.Craig Jn De Paulo - 2006 - Augustinus 51 (202-203):323337-323337.
    No categories
     
    Export citation  
     
    Bookmark  
  6. Ser y conversión. Ensayo de fenomenología agustiana.Craig Jn De Paulo - 2002 - Augustinus 47 (184-185):111-154.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  15
    The Craig-Lyndon interpolation theorem in 3-valued logic.R. R. Rockingham Gill - 1970 - Journal of Symbolic Logic 35 (2):230-238.
  8.  21
    The Enduring Potential of Justified Hypernorms.Markus Scholz, Gastón de los Reyes & N. Craig Smith - 2019 - Business Ethics Quarterly 29 (3):317-342.
    ABSTRACT:The profound influence of Thomas Donaldson and Thomas Dunfee’s integrative social contracts theory on the field of business ethics has been challenged by Andreas Scherer and Guido Palazzo’s Habermasian approach, which has achieved prominence of late with articles that expressly question the defensibility of ISCT’s hypernorms. This article builds on recent efforts by Donaldson and Scherer to bridge their accounts by providing discursive foundations to the hypernorms at the heart of the ISCT framework. Extending prior literature, we propose an ISCT* (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9. Reflexiones sobre la postura agustiniana respecto a la prostitución.Craig De Paulo & Catherine De Paulo - 2004 - Augustinus 49 (192-193):27-34.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  11
    ¿A quién le pertenece el amor? Una genealogía del eros y la cuestión de Agustín en la teología católica contemporánea.Craig J. N. de Paulo & Leonid Rudnytzky - 2012 - Mayéutica 38 (85):65-76.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  8
    Ambiguity in the Western Mind.Craig J. N. De Paulo - 2005 - New York, NY, USA: Peter Lang Publishing.
    Ambiguity in the Western Mind, edited with an Introduction by Craig J. N. de Paulo, Senior Editor, et al. New York: Peter Lang Publishers, 2005. Details: Preface by Joseph Margolis and distinguished contributors include John D. Caputo, Camille Paglia, Jaroslav Pelikan, Roland Teske, S.J. et al.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  27
    Augustinian Just War Theory and the Wars in Afghanistan and Iraq: Confessions, Contentions, and the Lust for Power.Craig J. N. De Paulo - 2011 - New York, NY, USA: Peter Lang Publishing.
    Augustinian Just War Theory and the Wars in Afghanistan and Iraq: Confessions, Contentions and the Lust for Power,edited by Craig J. N. de Paulo, Senior Editor, et al. New York: Peter Lang Publishing, 2011. Details: A work concerning Augustine’s influence on Christian just war theory and the rhetoric of just war theorists from two symposia in addition to an Augustinian critique of the wars. Preface by Most Rev. Sean Cardinal O’ Malley, O.F.M. Cap., Archbishop of Boston. Foreword by Roland (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  7
    Confessions of Love: The Ambiguities of Greek Eros and Latin Caritas.Craig J. N. De Paulo - 2011 - New York, NY, USA: Peter Lang Publishing.
    Confessions of Love: The Ambiguities of Greek Eros and Latin Caritas, edited by Craig J. N. de Paulo, Senior Editor, et al. American University Studies Series, vol. 7: Theology and Religion. New York: Peter Lang Publishers, 2011. Details: Collection of scholarly essays on love. Distinguished contributors include Roland Teske, S.J., Phillip Cary, Leonid Rudntyzky, Bernhardt Blumenthal, et al.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  30
    The Influence of Augustine on Heidegger: The Emergence of an Augustinian Phenomenology.Craig J. N. De Paulo - 2006 - Lewiston, NY 14092, USA: The Edwin Mellen press.
    The Influence of Augustine on Heidegger: The Emergence of an Augustinian Phenomenology, edited with an Introduction by Craig J. N. de Paulo Lewiston, NY: The Edwin Mellen Press, 2006. Details: Preface by John Macquarrie and distinguished contributors include Robert Dodaro, O.S.A., Peg Birmingham, Theodore Kisiel, Daniel Dahlstrom, George Pattison, James K. A. Smith, Wayne Hankey and Matthias Fritsch. (Advance Praise by James J. O’Donnell, Jaroslav Pelikan and Joseph Margolis and reviewed in the American Catholic Philosophy Quarterly, vol. 82, Spring (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  32
    Resonancias de la inquietud agustiniana en el pensamiento del Papa Juan Pablo II.Craig J. N. de Paulo - 2011 - Mayéutica 37 (83):43-50.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. On emotions and the explanation of behavior.Adam Kovach & Craig De Lancey - 2005 - Noûs 39 (1):106-22.
  17. De la recherche du bien: a study of Malebranche's science of ethics.Craig Walton - 1972 - The Hague,: M. Nijhoff.
  18.  15
    La influencia de Agustín de Hipona en el desarrollo de la teoría cristiana de la guerra justa.Craig J. Neumann De Paulo & Patrick Messina - 2012 - Augustinus 57 (224):144-167.
    El artículo estudia la teoría de la guerra justa, en san Agustín, considerándolo como el fundador de esta teoría, ya que fue el primero en articular los criterios perennes dentro del marco de "ethos" cristiano del amor e igualdad como seres humanos creados a imagen y semejanza del Creador. Trata también del influjo de Agustín en el desarrollo de esta teoría de la guerra justa.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  3
    La relación filosófica entre Agustín y Heidegger según la investigación contemporánea.Enrique Eguiarte & Jn de Paulo Craig - 2008 - Augustinus 53 (210-211):329-337.
    The article examines an 'hermeneutical revival' of Augustine, that is, the philosophical significance of the historical and methodological influence of St. Augustine on Martin Heidegger's Sein und Zeit, and how this is becoming increasingly more evident in the contribution of scholars of phenomenology and patrology to this discussion, especially since 1993.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. La relación filosófica entre Agustín y Heidegger según la investigación contemporánea.Craig J. Neumann De Paulo - 2008 - Augustinus 53 (210):329-337.
    El artículo trata sobre el 'reavivamiento hermeneútico' de Agustín, es decir, acerca de la significación filosófica que tiene el influjo histórico y metodológico de san Agustín sobre la obra de Martin Heidegger "Sein und Zeit", y cómo esto se ha vuelto más evidente con las aportaciones de fenomenólogos y patrólogos, especialmente a partir de 1993.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  9
    La fenomenología agustiniana de la confusión.Craig J. Neumann De Paulo - 2006 - Augustinus 51 (200):5-21.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    Las notas de Heidegger sobre el "timor castus" y el "timur seruilis" agustinianos.Craig J. Neumann De Paulo - 2006 - Augustinus 51 (202):323-337.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  29
    ¿Acaso Oran Los Intelectuales?Craig J. N. De Paulo - 2007 - Mayéutica 33 (75):67-78.
  24.  44
    In Search of Authenticity, Happiness and the Good: A Collection of Readings in Ancient Greek Philosophy.Craig J. N. De Paulo, Catherine Conroy De Paulo & Patrick Messina - 2020 - Dubuque, IA, USA: Kendall Hunt. Edited by Craig J. N. De Paulo, Catherine Conroy De Paulo & Patrick Messina.
    An anthology of writings from Plato and Aristotle, including an introductory essay on the history of ancient Greek philosophy and Greek Glossary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  29
    By Author.David M. Craig, Robert I. Field, Ar Caplan, John P. Gluck, Mark T. Holdsworth, Bert Gordijn, L. Norbert, Henk A. M. J. ten Have, Norbert L. Steinkamp & Inmaculada de Melo-Martin - 2008 - Kennedy Institute of Ethics Journal 18 (4):405-407.
  26.  11
    The Manumission of Socrates.Alex Dressler, Miguel Herrero De Jäuregui, Deborah Kamen, Leslie Kurke, Michael Mordine & Craig A. Williams - 2013 - Classical Antiquity 32 (1):78-100.
    This article argues we can better interpret key aspects of Plato's Phaedo, including Socrates' cryptic final words, if we read the dialogue against the background of Greek manumission. I first discuss modes of manumission in ancient Greece, showing that the frequent participation of healing gods (Apollo, Asklepios, and Sarapis) reveals a conception of manumission as “healing.” I next examine Plato's use of manumission and slavery as metaphors, arguing that Plato uses the language of slavery in two main ways: like real (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  36
    An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
  28.  96
    A review of attention-deficit/hyperactivity disorder from the perspective of brain networks. [REVIEW]Angelica De La Fuente, Shugao Xia, Craig Branch & Xiaobo Li - 2013 - Frontiers in Human Neuroscience 7.
  29. Michel de Montaigne, Apology for Raymond Sebond Reviewed by.Craig Walton - 2004 - Philosophy in Review 24 (4):279-281.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  12
    Reflexiones sobre la postura agustiniana respecto a la prostitución.Craig J. N. De Paulo, Catherine Conroy De Paulo & José Anoz - 2004 - Augustinus 49 (192-193):27-34.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  62
    The Augustinian Constitution of Heidegger’s Being and Time.Craig J. N. de Paulo - 2003 - American Catholic Philosophical Quarterly 77 (4):549-568.
    By tracing some of the historical and hermeneutical influences of Augustine on Martin Heidegger and his 1927 magnum opus, this article argues that Being and Time has an “Augustinian constitution.” While Heidegger’s philosophical terms are in a certain sense original, many of them have their conceptual origins in Augustine’s Christian thought and in his philosophizing from experience. The article systematically revisits all of Heidegger’s citations of Augustine, which reveals not only the rhetorical influence of Augustine on the organization of Being (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  20
    Learning From the Slips of Others: Neural Correlates of Trust in Automated Agents.Ewart J. de Visser, Paul J. Beatty, Justin R. Estepp, Spencer Kohn, Abdulaziz Abubshait, John R. Fedota & Craig G. McDonald - 2018 - Frontiers in Human Neuroscience 12.
  33.  5
    An Extension of the Craig-Lyndon Interpolation Theorem.Leon Henkin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. On the Craig-Lyndon interpolation theorem.Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (2):271-274.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  35.  25
    Francis Bacon, José de Acosta, and Traditions of Natural Histories of Winds.Craig Martin - 2020 - Annals of Science 77 (4):445-468.
    ABSTRACT It is well attested that Francis Bacon considered his History of Winds to be an exemplar, but what lessons should be taken from its example have been subject to debate. Instead of looking at this work as a mere model for the fusion of natural history and natural philosophy, it is also possible to see Bacon as trying to provide tentative solutions to outstanding questions regarding the wind, a topic that was deeply scrutinized during the early modern period. An (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  9
    Feminist Interpretations and Political Theory.Mary Lyndon Shanley & Carole Pateman (eds.) - 1990 - Cambridge, UK: Pennsylvania State University Press.
    This volume brings together exciting and provocative new feminist readings of famous classic and contemporary texts from Plato to Habermas. The collection also includes examinations of the writings of Mary Wollstonecraft and Simone de Beauvoir that are usually excluded from the works conventionally held to comprise "Western political thought." The essays raise fundamentally important questions about the significance of sexual difference in the great works of political theory and draw attention to neglected arguments and silences in the texts. No single (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  10
    La mecanique de Lagrange: Principes et methodes. Wilton Barroso Filho.Craig Fraser - 1996 - Isis 87 (2):364-365.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    D'Alembert's Principle: The Original Formulation and Application in Jean d'Alembert'sTraité de Dynamique.Craig Fraser - 1985 - Centaurus 28 (1):31-61.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39.  17
    Redefining mental invasiveness in psychiatric treatments: insights from schizophrenia and depression therapies.Craig Waldence McFarland & Justis Victoria Gordon - 2024 - Journal of Medical Ethics 50 (4):238-239.
    Over 50% of the world population will develop a psychiatric disorder in their lifetime.1 In the realm of psychiatric treatment, two primary modalities have been established: pharmacotherapy and psychotherapy. Yet, pharmacological interventions often take precedence as the initial treatment choice despite their comparable outcomes, severe side effects and disputed evidence of their efficacy. This preference for medication foregrounds a vital re-examination of what it means to be invasive in medical treatments, namely in psychiatric care. De Marco et al challenge the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. There Is No Special Problem About Scientific Representation.Craig Callender & Jonathan Cohen - 2006 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 21 (1):67-85.
    We propose that scientific representation is a special case of a more general notion of representation, and that the relatively well worked-out and plausible theories of the latter are directly applicable to thc scientific special case. Construing scientific representation in this way makes the so-called “problem of scientific representation” look much less interesting than it has seerned to many, and suggests that some of the (hotly contested) debates in the literature are concerned with non-issues.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   81 citations  
  41.  11
    A virada histórica de Bakhtin e seus antecedentes soviéticos.Craig Brandist - 2016 - Bakhtiniana 11 (1):18-41.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  14
    O herói no tribunal da eternidade: a teoria jurídica do romance do Círculo de Bakhtin.Craig Brandist & Renata Coelho Marchezan - 2012 - Bakhtiniana 7 (1):280-308.
    A obra do Círculo de Bakhtin possui fundamentações jurídicas que derivam da filosofia neokantiana. A obra de Hermann Cohen, Max Scheler e Georg Simmel são de especial importância. Um estudo dessa tradição intelectual leva ao exame de alguns dos trabalhos de Voloshinov, Bakhtin, Pumpianskii e Kagan, e ao destaque da centralidade da pessoa jurídica e das estruturas do julgamento na, agora famosa e influente, teoria bakhtiniana do romance. Tal teoria também possui implicações para teoria social mais ampla, conforme trabalhos recentes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Michel de Montaigne, Apology for Raymond Sebond. [REVIEW]Craig Walton - 2004 - Philosophy in Review 24:279-281.
    No categories
     
    Export citation  
     
    Bookmark  
  44. "El derecho reproductivo" y el mercado de esperma y óvulos humanos.Mary Lyndon Shanley - 2001 - Revista Internacional de Filosofía Política 18:99-120.
    La práctica de comprar y vender gametos humanos afecta de manera importante la relación que tenemos con nuestro material genético, la medida en que los lazos familiares son creados por la naturaleza y la voluntad humana y el papel que debería desempeñar el mercado en la formación de familias. El presente artículo se centra en dos pre-guntas éticas y de política que surgen cuando la gente forma familias con gametos proporcionados por otras personas. Primero, las personas creadas con gametos donados, (...)
     
    Export citation  
     
    Bookmark  
  45.  12
    D'Alembert's Principle: The Original Formulation and Application in Jean d'Alembert'sTradé de Dynamique.Craig Fraser - 1985 - Centaurus 28 (2):145-159.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  9
    El tiempo en Paz en la guerra y Niebla, de Miguel de Unamuno.Craig Bergeson - 2015 - Human Review. International Humanities Review / Revista Internacional de Humanidades 4 (2).
    Aunque muchos lectores de las novelas de Unamuno notan que el estilo de su primera novela, “Paz en la guerra” (1897), es bastante tradicional y que, por consiguiente, difiere mucho del estilo de las novelas que don Miguel escribe después, también tiene elementos que la vinculan claramente sus novelas más tardías. Uno de estos es el manejo del tiempo, el cual hace que el tiempo se detenga y produce lo que Henri Bergson llamaría la “virtualización” del tiempo. El tiempo también (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  16
    O herói no tribunal da eternidade: a teoria jurídica do romance do Círculo de Bakhtin.Craig Brandist & Renata Coelho Marchezan - 2012 - Bakhtiniana 7 (1):280-308.
    A obra do Círculo de Bakhtin possui fundamentações jurídicas que derivam da filosofia neokantiana. A obra de Hermann Cohen, Max Scheler e Georg Simmel são de especial importância. Um estudo dessa tradição intelectual leva ao exame de alguns dos trabalhos de Voloshinov, Bakhtin, Pumpianskii e Kagan, e ao destaque da centralidade da pessoa jurídica e das estruturas do julgamento na, agora famosa e influente, teoria bakhtiniana do romance. Tal teoria também possui implicações para teoria social mais ampla, conforme trabalhos recentes (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  35
    Pandulf of Capua's De calculatione: an illustrated abacus treatise and some evidence for the Hindu-Arabic numerals in eleventh-century south Italy.Craig A. Gibson & Francis Newton - 1995 - Mediaeval Studies 57 (1):293-335.
  49. Knowledge and the State of Nature.Edward Craig - 1990 - Revue Philosophique de la France Et de l'Etranger 183 (3):620-621.
    The standard philosophical project of analysing the concept of knowledge has radical defects in its arbitrary restriction of the subject matter, and its risky theoretical presuppositions. Edward Craig suggests a more illuminating approach, akin to the `state of nature' method found in political theory, which builds up the concept from a hypothesis about the social function of knowledge and the needs it fulfils. Light is thrown on much that philosophers have written about knowledge, about its analysis and the obstacles (...)
     
    Export citation  
     
    Bookmark   198 citations  
  50. Classical sociological theory.Craig J. Calhoun (ed.) - 2007 - Malden, MA: Blackwell.
    This comprehensive collection of classical sociological theory is a definitive guide to the roots of sociology from its undisciplined beginnings to its current guideposts and reference points in contemporary sociological debate. A definitive guide to the roots of sociology through a collection of key writings from the founders of the discipline Explores influential works of Marx, Durkheim, Weber, Mead, Simmel, Freud, Du Bois, Adorno, Marcuse, Parsons, and Merton Editorial introductions lend historical and intellectual perspective to the substantial readings Includes a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
1 — 50 / 971