Results for 'Gödel Incompleteness'

640 found
Order:
  1. Do Goedel's incompleteness theorems set absolute limits on the ability of the brain to express and communicate mental concepts verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.
    Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Consciousness as computation: A defense of strong AI based on quantum-state functionalism.R. Michael Perry - 2006 - In Charles Tandy (ed.), Death and Anti-Death, Volume 4: Twenty Years After De Beauvoir, Thirty Years After Heidegger. Palo Alto: Ria University Press.
    The viewpoint that consciousness, including feeling, could be fully expressed by a computational device is known as strong artificial intelligence or strong AI. Here I offer a defense of strong AI based on machine-state functionalism at the quantum level, or quantum-state functionalism. I consider arguments against strong AI, then summarize some counterarguments I find compelling, including Torkel Franzén’s work which challenges Roger Penrose’s claim, based on Gödel incompleteness, that mathematicians have nonalgorithmic levels of “certainty.” Some consequences of strong (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. In the beginning was the verb: The emergence and evolution of language problem in the light of the big Bang epistemological paradigm.Edward G. Belaga - 2008 - Cognitive Philology 1 (1).
    The enigma of the Emergence of Natural Languages, coupled or not with the closely related problem of their Evolution is perceived today as one of the most important scientific problems. The purpose of the present study is actually to outline such a solution to our problem which is epistemologically consonant with the Big Bang solution of the problem of the Emergence of the Universe}. Such an outline, however, becomes articulable, understandable, and workable only in a drastically extended epistemic and scientific (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Indeterminism and Undecidability.Klaas Landsman - forthcoming - In Undecidability, Uncomputability, and Unpredictability. Cham: Springer Nature.
    The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness theorem. In comparison, Bell's (1964) theorem as well as the so-called free will theorem-originally due to Heywood and Redhead (1983)-left two loopholes for deterministic hidden variable theories, namely giving up either locality (more precisely: local contextuality, as in Bohmian mechanics) or free choice (i.e. uncorrelated (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Russell's Logicism.Kevin C. Klement - 2018 - In Russell Wahl (ed.), The Bloomsbury Companion to Bertrand Russell. London, UK: BloomsburyAcademic. pp. 151-178.
    Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Justifying and Exploring Realistic Monism.Paul Budnik - manuscript
    The foundations of mathematics and physics no longer start with fundamental entities and their properties like spatial extension, points, lines or the billiard ball like particles of Newtonian physics. Mathematics has abolished these from its foundations in set theory by making all assumptions explicit and structural. Particle physics has become completely mathematical, connecting to physical reality only through experimental technique. Applying the principles guiding the foundations of mathematics and physics to philosophical analysis underscores that only conscious experience has an intrinsic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Retrieving the Mathematical Mission of the Continuum Concept from the Transfinitely Reductionist Debris of Cantor’s Paradise. Extended Abstract.Edward G. Belaga - forthcoming - International Journal of Pure and Applied Mathematics.
    What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Goedel's Other Legacy And The Imperative Of A Self­reflective Science.Vasileios Basios - 2006 - Goedel Society Collegium Logicum 9:pg. 1-5.
    The Goedelian approach is discussed as a prime example of a science towards the origins. While mere self­referential objectification locks in to its own by­products, self­releasing objectification informs the formation of objects at hand and their different levels of interconnection. Guided by the spirit of Goedel's work a self­reflective science can open the road where old tenets see only blocked paths. “This is, as it were, an analysis of the analysis itself, but if that is done it forms the fundamental (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
    Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Gödel Incompleteness and Turing Completeness.Ramón Casares - manuscript
    Following Post program, we will propose a linguistic and empirical interpretation of Gödel’s incompleteness theorem and related ones on unsolvability by Church and Turing. All these theorems use the diagonal argument by Cantor in order to find limitations in finitary systems, as human language, which can make “infinite use of finite means”. The linguistic version of the incompleteness theorem says that every Turing complete language is Gödel incomplete. We conclude that the incompleteness and unsolvability theorems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Incompleteness, Independence, and Negative Dominance.Harvey Lederman - manuscript
    This paper introduces the axiom of Negative Dominance, stating that if a lottery f is strictly preferred to a lottery g, then some outcome in the support of f is strictly preferred to some outcome in the support of g. It is shown that if preferences are incomplete on a sufficiently rich domain, then this plausible axiom, which holds for complete preferences, is incompatible with an array of otherwise plausible axioms for choice under uncertainty. In particular, in this setting, Negative (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. The Shutdown Problem: Incomplete Preferences as a Solution.Elliott Thornley - manuscript
    I explain and motivate the shutdown problem: the problem of creating artificial agents that (1) shut down when a shutdown button is pressed, (2) don’t try to prevent or cause the pressing of the shutdown button, and (3) otherwise pursue goals competently. I then propose a solution: train agents to have incomplete preferences. Specifically, I propose that we train agents to lack a preference between every pair of different-length trajectories. I suggest a way to train such agents using reinforcement learning: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Samuel — a dialogue about incompleteness.Johan Gamper - manuscript
    Samuel seeks out Kurt at a pub and initiates a discussion. Soon Kurt becomes engaged. What is it that is incomplete?
    Download  
     
    Export citation  
     
    Bookmark  
  14. Incomplete Ideal Theory.Amy Berg - 2019 - Social Theory and Practice 45 (4):501-524.
    What is the best way to make sustained societal progress over time? Non-ideal theory done on its own faces the problem of second best, but ideal theory seems unable to cope with disagreement about how to make progress. If ideal theory gives up its claims to completeness, then we can use the method of incompletely theorized agreements to make progress over time.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  83
    Distinguishing Failed from Incomplete Knowledge.Maximilian Tegtmeyer - 2024 - In Ori Beck & Miloš Vuletić (eds.), Empirical Reason and Sensory Experience. Springer. pp. 141-143.
    I raise an example that suggests that Andrea Kern’s Knowledge View of Perception should concede that a mere perceptual experience can be a potentiality for one to know something on its basis. I argue that the Knowledge View can accommodate this suggestion by distinguishing between two kinds of defective exercises of a capacity for perceptual knowledge, namely failed and incomplete exercises. I explain that, rather than collapsing the Knowledge View into the contrary Two-Capacity View, my suggestion further articulates the definitive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. An Incomplete Inclusion of Non-cooperators into a Rawlsian Theory of Justice.Chong-Ming Lim - 2016 - Res Philosophica 93 (4):893-920.
    John Rawls’s use of the “fully cooperating assumption” has been criticized for hindering attempts to address the needs of disabled individuals, or non-cooperators. In response, philosophers sympathetic to Rawls’s project have extended his theory. I assess one such extension by Cynthia Stark, that proposes dropping Rawls’s assumption in the constitutional stage (of his four-stage sequence), and address the needs of non-cooperators via the social minimum. I defend Stark’s proposal against criticisms by Sophia Wong, Christie Hartley, and Elizabeth Edenberg and Marilyn (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Essentially Incomplete Descriptions.Carlo Penco - 2010 - European Journal of Analytic Philosophy 6 (2):47 - 66.
    In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” approach (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. The incompleteness of extensional object languages of physics and time reversal. Part 1.Andrew Holster - unknown
    This paper argues that ordinary object languages for fundamental physics are incomplete, essentially because they are extensional, and consequently lack any adequate formal representation of contingency. It is shown that it is impossible to formulate adequate deduction systems for general transformations in such languages. This is argued in detail for the time reversal transformation. Two important controversies about the application of time reversal in quantum mechanics are summarized at the start, to provide the context of this problem, and show its (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Interactivity, Fictionality, and Incompleteness.Nathan Wildman & Richard Woodward - 2018 - In Jon Robson & Grant Tavinor (eds.), The Aesthetics of Videogames. New York: Routledge.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  20. Incomplete Preference and Indeterminate Comparative Probabilities.Yang Liu - 2022 - British Journal for the Philosophy of Science 73 (3):795-810.
    The notion of comparative probability defined in Bayesian subjectivist theory stems from an intuitive idea that, for a given pair of events, one event may be considered “more probable” than the other. Yet it is conceivable that there are cases where it is indeterminate as to which event is more probable, due to, e.g., lack of robust statistical information. We take that these cases involve indeterminate comparative probabilities. This paper provides a Savage-style decision-theoretic foundation for indeterminate comparative probabilities.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Incomplete understanding of complex numbers Girolamo Cardano: a case study in the acquisition of mathematical concepts.Denis Buehler - 2014 - Synthese 191 (17):4231-4252.
    In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Incomplete Entities, Natural Non-separability, and Leibniz’s Response to François Lamy’s De la Conoissance de soi-même.Andreas Blank - 2003 - The Leibniz Review 13:1-17.
    Robert M. Adams claims that Leibniz’s rehabilitation of the doctrine of incomplete entities is the most sustained effort to integrate a theory of corporeal substances into the theory of simple substances. I discuss alternative interpretations of the theory of incomplete entities suggested by Marleen Rozemond and Pauline Phemister. Against Rozemond, I argue that the scholastic doctrine of incomplete entities is not dependent on a hylomorphic analysis of corporeal substances, and therefore can be adapted by Leibniz. Against Phemister, I claim that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Incomplete Descriptions, Incomplete Quantified Expressions (Part of the dissertation portfolio Modality, Names and Descriptions).Zsófia Zvolenszky - 2007 - Dissertation, New York University
    This paper offers a unified, quantificational treatment of incomplete descriptions like ‘the table’. An incomplete quantified expression like ‘every bottle’ (as in “Every bottle is empty”) can feature in true utterances despite the fact that the world contains nonempty bottles. Positing a contextual restriction on the bottles being talked about is a straightforward solution. It is argued that the same strategy can be extended to incomplete definite descriptions across the board. ncorporating the contextual restrictions into semantics involves meeting a complex (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Eliminating Undecidability and Incompleteness in Formal Systems.P. Olcott - manuscript
    To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Incomplete In What Sense?A. P. Bird - 2022 - Cantor's Paradise (00):00.
    Let’s suppose all the rules of physics will change, but, before the change, we finally figured out everything there was to be figured out about physics. This means that we achieved pragmatic completeness at that point. It’s not a universal Platonic completeness, but everything there was to be expressed about the physics at that moment was expressed.
    Download  
     
    Export citation  
     
    Bookmark  
  26. On interpreting Chaitin's incompleteness theorem.Panu Raatikainen - 1998 - Journal of Philosophical Logic 27 (6):569-586.
    The aim of this paper is to comprehensively question the validity of the standard way of interpreting Chaitin's famous incompleteness theorem, which says that for every formalized theory of arithmetic there is a finite constant c such that the theory in question cannot prove any particular number to have Kolmogorov complexity larger than c. The received interpretation of theorem claims that the limiting constant is determined by the complexity of the theory itself, which is assumed to be good measure (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  27. Neo-Logicism and Gödelian Incompleteness.Fabian Pregel - 2023 - Mind 131 (524):1055-1082.
    There is a long-standing gap in the literature as to whether Gödelian incompleteness constitutes a challenge for Neo-Logicism, and if so how serious it is. In this paper, I articulate and address the challenge in detail. The Neo-Logicist project is to demonstrate the analyticity of arithmetic by deriving all its truths from logical principles and suitable definitions. The specific concern raised by Gödel’s first incompleteness theorem is that no single sound system of logic syntactically implies all arithmetical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Incomplete fictions and Imagination.J. Robert G. Williams - unknown
    *Note that this project is now being developed in joint work with Rich Woodward* -/- Some things are left open by a work of fiction. What colour were the hero’s eyes? How many hairs are on her head? Did the hero get shot in the final scene, or did the jailor complete his journey to redemption and shoot into the air? Are the ghosts that appear real, or a delusion? Where fictions are open or incomplete in this way, we can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Formal Background for the Incompleteness and Undefinability Theorems.Richard Kimberly Heck - manuscript
    A teaching document I've used in my courses on truth and on incompleteness. Aimed at students who have a good grasp of basic logic, and decent math skills, it attempts to give them the background they need to understand a proper statement of the classic results due to Gödel and Tarski, and sketches their proofs. Topics covered include the notions of language and theory, the basics of formal syntax and arithmetization, formal arithmetic (Q and PA), representability, diagonalization, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. The Incompleteness of Luck Egalitarianism.Ryan Long - 2011 - Social Philosophy Today 27:87-96.
    Luck egalitarianism makes a fundamental distinction between inequalities for which agents are responsible and inequalities stemming from luck. I give several reasons to find luck egalitarianism a compelling view of distributive justice. I then argue that it is an incomplete theory of equality. Luck egalitarianism lacks the normative resources to achieve its ends. It is unable to specify the prior conditions under which persons are situated equivalently such that their choices can bear this tremendous weight. This means that luck egalitarians (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Susan Stebbing, Incomplete Symbols and Foundherentist Meta-Ontology.Frederique Janssen-Lauret - 2017 - Journal for the History of Analytical Philosophy 5 (2):6-17.
    Susan Stebbing’s work on incomplete symbols and analysis was instrumental in clarifying, sharpening, and improving the project of logical constructions which was pivotal to early analytic philosophy. She dispelled use-mention confusions by restricting the term ‘incomplete symbol’ to expressions eliminable through analysis, rather than those expressions’ purported referents, and distinguished linguistic analysis from analysis of facts. In this paper I explore Stebbing’s role in analytic philosophy’s development from anti-holism, presupposing that analysis terminates in simples, to the more holist or foundherentist (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  33. David Wolpert on impossibility, incompleteness, the liar paradox, the limits of computation, a non-quantum mechanical uncertainty principle and the universe as computer—the ultimate theorem in Turing Machine Theory.Michael Starks - manuscript
    I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv.org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. A note on incomplete theory.Han Geurdes - manuscript
    In the paper it is demonstrated that Bell's theorem is unproveable.
    Download  
     
    Export citation  
     
    Bookmark  
  35. The Gödel Incompleteness Theorems (1931) by the Axiom of Choice.Vasil Penchev - 2020 - Econometrics: Mathematical Methods and Programming eJournal (Elsevier: SSRN) 13 (39):1-4.
    Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Hallden incomplete calculus of names.Piotr Kulicki - 2010 - Buletin of the Section of Logic 39 (1/2):53-55.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Gödel's incompleteness theorems, free will and mathematical thought.Solomon Feferman - 2011 - In Richard Swinburne (ed.), Free Will and Modern Science. New York: OUP/British Academy.
    The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical character. This chapter focuses on two arguments from logic. First, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to which every proposition is either true or false, no matter whether the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  38. Refuting Incompleteness and Undefinability.P. Olcott - manuscript
    Within the (Haskell Curry) notion of a formal system we complete Tarski's formal correctness: ∀x True(x) ↔ ⊢ x and use this finally formalized notion of Truth to refute his own Undefinability Theorem (based on the Liar Paradox), the Liar Paradox, and the (Panu Raatikainen) essence of the conclusion of the 1931 Incompleteness Theorem.
    Download  
     
    Export citation  
     
    Bookmark  
  39. An Incomplete Definition of Reality.Boris DeWiel - 2013 - Cosmos and History : The Journal of Natural and Social Philosophy 9 (1):50-72.
    A reality may be defined incompletely as a perpetuating pattern of relations. This definition denies the name of reality to an utter and totalistic patternlessness, like a primal patternless stuff, because a patternless all-ness would be indistinguishable from a patternless nothingness. If reality began from a chaos or patternless stuff, it became a reality only when it became patterned. If there are orders of reality with perpetuating relations between them, as in Cartesian interactive substance dualism, the definition allows us to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
    A survey of more philosophical applications of Gödel's incompleteness results.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  41. Defining Gödel Incompleteness Away.P. Olcott - manuscript
    We can simply define Gödel 1931 Incompleteness away by redefining the meaning of the standard definition of Incompleteness: A theory T is incomplete if and only if there is some sentence φ such that (T ⊬ φ) and (T ⊬ ¬φ). This definition construes the existence of self-contradictory expressions in a formal system as proof that this formal system is incomplete because self-contradictory expressions are neither provable nor disprovable in this formal system. Since self-contradictory expressions are neither (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Wittgenstein on Gödelian 'Incompleteness', Proofs and Mathematical Practice: Reading Remarks on the Foundations of Mathematics, Part I, Appendix III, Carefully.Wolfgang Kienzler & Sebastian Sunday Grève - 2016 - In Sebastian Sunday Grève & Jakub Mácha (eds.), Wittgenstein and the Creativity of Language. Palgrave Macmillan. pp. 76-116.
    We argue that Wittgenstein’s philosophical perspective on Gödel’s most famous theorem is even more radical than has commonly been assumed. Wittgenstein shows in detail that there is no way that the Gödelian construct of a string of signs could be assigned a useful function within (ordinary) mathematics. — The focus is on Appendix III to Part I of Remarks on the Foundations of Mathematics. The present reading highlights the exceptional importance of this particular set of remarks and, more specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Gödel's Incomplete Theorem: a sequel to Logic and Analytic Philosophy.Yusuke Kaneko - 2021 - The Basis : The Annual Bulletin of Research Center for Liberal Education 11:81-107.
    Although written in Japanese, this article handles historical and technical survey of Gödel's incompleteness theorem thoroughly.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Material Causes and Incomplete Entities in Gallego de la Serna’s Theory of Animal Generation.Andreas Blank - 2014 - In Ohad Nachtomy & Justin E. H. Smith (eds.), The Life Sciences in Early Modern Philosophy. New York, NY: Oup Usa. pp. 117–136.
    This article examines some aspects of the natural philosophy of Juan Gallego de la Serna, royal physician to the Spanish kings Philip III and Philip IV. In his account of animal generation, Gallego criticizes widely accepted views: (1) the view that animal seeds are animated, and (2) the alternative view that animal seeds, even if not animated, possess active potencies sufficient for the development of animal souls. According to his view, animal seeds are purely material beings. This, of course, raises (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. The incompleteness of extensional object languages of physics and time reversal. Part 2.Andrew Holster - manuscript
    This continues from Part 1. It is shown how an intensional interpretation of physics object languages can be formalised, and how a syntactic compositional time reversal operator can subsequently be defined. This is applied to solve the problems used as examples in Part 1. A proof of a general theorem that such an operator must be defineable is sketched. A number of related issues about the interpretation of theories of physics, including classical and quantum mechanics and classical EM theory are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Kurt Gödel, paper on the incompleteness theorems (1931).Richard Zach - 2004 - In Ivor Grattan-Guinness (ed.), Landmark Writings in Mathematics. North-Holland. pp. 917-925.
    This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Epistemic capacities, incompatible information and incomplete beliefs.Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak - 2010 - In Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak (eds.), In proceeding of: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10).
    We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Gödel mathematics versus Hilbert mathematics. I. The Gödel incompleteness (1931) statement: axiom or theorem?Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (9):1-56.
    The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. After Survivalism and Corruptionism: Separated Souls as Incomplete Persons.Daniel D. De Haan & Brandon Dahm - 2020 - Quaestiones Disputatae 10 (2):161-176.
    Thomas Aquinas consistently defended the thesis that the separated rational soul that results from a human person’s death is not a person. Nevertheless, what has emerged in recent decades is a sophisticated disputed question between “survivalists” and “corruptionists” concerning the personhood of the separated soul that has left us with intractable disagreements wherein neither side seems able to convince the other. In our contribution to this disputed question, we present a digest of an unconsidered middle way: the separated soul is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Predicates of personal taste, semantic incompleteness, and necessitarianism.Markus Https://Orcidorg Kneer - 2020 - Linguistics and Philosophy 44 (5):981-1011.
    According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and MacFarlane (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 640