Results for 'Drauzio Oppenheimer'

21 found
Order:
  1. Unity of Science as a Working Hypothesis.Paul Oppenheim & Hilary Putnam - 1958 - Minnesota Studies in the Philosophy of Science 2:3-36.
    Download  
     
    Export citation  
     
    Bookmark   361 citations  
  2. Automating Leibniz’s Theory of Concepts.Paul Edward Oppenheimer, Jesse Alama & Edward N. Zalta - 2015 - In Felty Amy P. & Middeldorp Aart (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Springer. pp. 73-97.
    Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  4.  63
    Automating Leibniz's Theory of Concepts.Jesse Alama, Paul Edward Oppenheimer & Edward Zalta - 2015 - In Felty Amy P. & Middeldorp Aart (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Springer. pp. 73-97.
    Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Standpoint Semantics for Polysemy in Spatial Prepositions.Edilson J. Rodrigues, Paulo E. Santos, Marcos Lopes, Brandon Bennett & Paul Edward Oppenheimer - 2020 - Journal of Logic and Computation 30 (2):635-661.
    In this paper, we present a formalism for handling polysemy in spatial expressions based on supervaluation semantics called standpoint semantics for polysemy (SSP). The goal of this formalism is, given a prepositional phrase, to define its possible spatial interpretations. For this, we propose to characterize spatial prepositions by means of a triplet ⟨ image schema, semantic feature, spatial axis⟩⁠. The core of SSP is predicate grounding theories, which are formulas of a first-order language that define a spatial preposition through the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Political legitimacy in decisions about experiments in solar radiation management.David R. Morrow, Robert E. Kopp & Michael Oppenheimer - 2013 - In William C. G. Burns & Andrew Strauss (eds.), Climate Change Geoengineering: Philosophical Perspectives, Legal Issues, and Governance Frameworks. Cambridge University Press.
    Some types of solar radiation management (SRM) research are ethically problematic because they expose persons, animals, and ecosystems to significant risks. In our earlier work, we argued for ethical norms for SRM research based on norms for biomedical research. Biomedical researchers may not conduct research on persons without their consent, but universal consent is impractical for SRM research. We argue that instead of requiring universal consent, ethical norms for SRM research require only political legitimacy in decision-making about global SRM trials. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Ernest Nagel & Felix Oppenheim Respond to Leo Strauss, and the Road not Taken.Schliesser Eric - manuscript
    This chapter presents the reception of Leo Strauss by analytic philosophers after Strauss’s emigration to the United States. It gives a brief survey of the polemics against Strauss and his school by analytic philosophers, which aided in the self-constitution of analytic philosophy as a rival school of thought in philosophy. But most of the chapter is devoted to recovering the significance and influence of a criticism of Strauss by Ernest Nagel. The chapter argues that this response is of intrinsic interest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. A Commentary on Robin Hendry’s Views on Molecular Structure, Emergence and Chemical Bonding.Eric Scerri - 2023 - In João L. Cordovil, Gil Santos & Davide Vecchi (eds.), New Mechanism Explanation, Emergence and Reduction. Springer. pp. 161 - 177.
    In this article I examine several related views expressed by Robin Hendry concerning molecular structure, emergence and chemical bonding. There is a long-standing problem in the philosophy of chemistry arising from the fact that molecular structure cannot be strictly derived from quantum mechanics. Two or more compounds which share a molecular formula, but which differ with respect to their structures, have identical Hamiltonian operators within the quantum mechanical formalism. As a consequence, the properties of all such isomers yield precisely the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. The Truth About that Quiet Decade.Eugene Halton - 2023 - Notre Dame Magazine.
    This essay from 1999, republished in Notre Dame Magazine online in July 2023, explores how the 1950s were a time of fundamental transformations in American society, a time when the United States went fully megatechnic. The hugely increased power of military, corporate-industrial and “big science” institutions developed during the 1950s signaled the transformation to megatechnic America, with atomic bombs and nuclear testing, automobiles and televisions as key symbols of that transformation. Figures such as J. Robert Oppenheimer and Edward Teller (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Algebra of Theoretical Term Reductions in the Sciences.Dale Jacquette - 2014 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 1 (1): 51-67.
    An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Anselm's God in Isabelle/HOL.Ben Blumson - 2017 - Archive of Formal Proofs:9.
    Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. “Reductionist holism”: an oxymoron or a philosophical chimaera of E.P. Odum’s systems ecology?Donato Bergandi - 1995 - Ludus Vitalis 3 ((5)):145-180..
    The contrast between the strategies of research employed in reductionism and holism masks a radical contradiction between two different scientific philosophies. We concentrate in particular on an analysis of the key philosophical issues which give structure to holistic thought. A first (non-exhaustive) analysis of the philosophical tradition will dwell upon: a) the theory of emergence: each level of organisation is characterised by properties whose laws cannot be deduced from the laws of the inferior levels of organisation (Engels, Morgan); b) clarification (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  13. Foundations of Gestalt Theory.Barry Smith (ed.) - 1988 - Philosophia.
    In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  14. Channels’ Confirmation and Predictions’ Confirmation: From the Medical Test to the Raven Paradox.Chenguang Lu - 2020 - Entropy 22 (4):384.
    After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. The Berlin Group and the Philosophy of Logical Empiricism.Nikolay Milkov & Volker Peckhaus (eds.) - 2013 - Berlin: Springer.
    The Berlin Group for scientific philosophy was active between 1928 and 1933 and was closely related to the Vienna Circle. In 1930, the leaders of the two Groups, Hans Reichenbach and Rudolf Carnap, launched the journal Erkenntnis. However, between the Berlin Group and the Vienna Circle, there was not only close relatedness but also significant difference. Above all, while the Berlin Group explored philosophical problems of the actual practice of science, the Vienna Circle, closely following Wittgenstein, was more interested in (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Jakob Friedrich Fries (1773-1843): Eine Philosophie der exakten Wissenschaften.Kay Herrmann - 1994 - Tabula Rasa. Jenenser Zeitschrift Für Kritisches Denken (6).
    Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. História do pensamento social na Alemanha: uma abordagem histórica.Emanuel Isaque Cordeiro da Silva - manuscript
    HISTÓRIA DA SOCIOLOGIA: O DESENVOLVIMENTO DA SOCIOLOGIA I -/- A SOCIOLOGIA NA ALEMANHA -/- -/- HISTORY OF SOCIOLOGY: THE DEVELOPMENT OF SOCIOLOGY I -/- SOCIOLOGY IN GERMANY -/- -/- -/- Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mail's: [email protected] e [email protected]. WhatsApp: (82)9.8143-8399. -/- PREMISSA -/- Na Alemanha, a Sociologia foi profundamente influenciada pela discussão filosófica, histórica e metodológica que se desenvolveu entre o final do século XIX e o início do século XX. Em seus fundamentos encontra-se (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. The mind-brain problem in cognitive neuroscience (only content).Gabriel Vacariu & Vacariu - 2013
    (June 2013) “The mind-body problem in cognitive neuroscience”, Philosophia Scientiae 17/2, Gabriel Vacariu and Mihai Vacariu (eds.): 1. William Bechtel (Philosophy, Center for Chronobiology, and Interdisciplinary Program in Cognitive Science University of California, San Diego) “The endogenously active brain: the need for an alternative cognitive architecture” 2. Rolls T. Edmund (Oxford Centre for Computational Neuroscience, Oxford, UK) “On the relation between the mind and the brain: a neuroscience perspective” 3. Cees van Leeuwen (University of Leuven, Belgium; Riken Brain Science Institute, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Idealization and Structural Explanation in Physics.Martin King - manuscript
    The focus in the literature on scientific explanation has shifted in recent years towards modelbased approaches. The idea that there are simple and true laws of nature has met with objections from philosophers such as Nancy Cartwright (1983) and Paul Teller (2001), and this has made a strictly Hempelian D-N style explanation largely irrelevant to the explanatory practices of science (Hempel & Oppenheim, 1948). Much of science does not involve subsuming particular events under laws of nature. It is increasingly recognized (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Physicists in Conflict by Neil A. Porter. [REVIEW]Val Dusek - 2001 - Isis 92:369-370.
    Review of work on several debates, including Galileo vs. the Church, Bohr vs Einstein, Hoyle vs. Big Bang theory, Oppenheimer vs. Teller, N-rays, magnetic monopoles.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Die Berliner Gruppe des logischen Empirismus.Nikolay Milkov - 2015 - In Die Berliner Gruppe: Texte zum Logischen Empirismus. Hamburg: Felix Meiner.
    Download  
     
    Export citation  
     
    Bookmark