Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

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 find limitations in our finitary (...) tool, which is our complete language. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.

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 sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

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 provable nor disprovable (...) only because they are self-contradictory we could define them as unsound instead of defining the formal system as incomplete. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered not as a trivialisation, (...) but as an intended consequence of Gödel's ontotheological views. (shrink)

Since the onset of logical positivism, the general wisdom of the philosophy of science has it that the kantian philosophy of (space and) time has been superseded by the theory of relativity, in the same sense in which the latter has replaced Newton’s theory of absolute space and time. On the wake of Cassirer and Gödel, in this paper I raise doubts on this commonplace by suggesting some conditions that are necessary to defend the ideality of time in the sense (...) of Kant. In the last part of the paper I bring to bear some contemporary physical theories on such conditions. (shrink)

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 set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

The present article was partly inspired by G. Pollack’s book, and also Dadoloff, Saxena & Jensen (2010). As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1, No. 2, 2022), for example, things and Beings can travel between Universes, intentionally or unintentionally [4]. In this short remark, we revisit and offer short remark to Neil Boyd’s ideas and trying to connect them with geometry of musical chords as presented by D. Tymoczko and (...) others, then to Escherian staircase and then to Jacob’s ladder which seems to pointto possibility to interpret Jacob’s vision as described in the ancient book of Genesis as interdimensional staircase, e.g. an interdimensional bridge between heaven and earth (cf. classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden‘s liquid crystalline. Therefore, in this article we outline a series of simple experiments of laser irradiated iced-water along with beryl and selenite crystals in order to see possibility of such a quantum tunneling via quantum liquid crystalline Universe hypothesis, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just aninitial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1,. 2, 2022), Our universe is but one page in a large book [4]. For example, things and Beings can travel between Universes, intentionally or unintentionally. In this short remark, we revisit and offer short remark to Neil’s ideas and trying to connect them with geometrization of musical chords as presented by D. Tymoczko and others, then to Escher staircase and then to Jacob’s (...) ladder which seems to point to possibility to interpret Jacob’s vision as described in the ancient book of Genesis as inter dimensional or heavenly staircase, e.g. an inter dimensional bridge between heaven and earth (see also classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of quantum wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden’s liquid crystalline. Therefore, in subsequent article (Part II) we outlined simple model of such an effect of tunneling via quantum liquid crystalline Universe, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just an initial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

Letter to the Editors in response to Alasdair Richmond's 'Time Travelers'.

This paper is a critical examination of Stephen Neale's *The Philosophical Significance of Godel's slingshot*. I am sceptical of the philosophical significance of Godel’s Slingshot (and of Slingshot arguments in general). In particular, I do not believe that Godel’s Slingshot has any interesting and important philosophical consequences for theories of facts or for referential treatments of definite descriptions. More generally, I do not believe that any Slingshot arguments have interesting and important philosophical consequences for theories of facts (...) or for referential treatments of definite descriptions. Friends of facts and referential treatments of definite descriptions can, and should, proceed with the construction of their theories, blithely ignoring the many Slingshots which now litter the landscape. (Of course, there may be other considerations which should give such theorists pause -- but those are other considerations.). (shrink)

In his "Ontological proof", Kurt Gödel introduces the notion of a second-order value property, the positive property P. The second axiom of the proof states that for any property φ: If φ is positive, its negation is not positive, and vice versa. I put forward that this concept of positiveness leads into a paradox when we apply it to the following self-reflexive sentences: (A) The truth value of A is not positive; (B) The truth value of B is positive. Given (...) axiom 2, sentences A and B paradoxically cannot be both true or both false, and it is also impossible that one of the sentences is true whereas the other is false. (shrink)

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 (...) proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar as that applies to the mathematical potentialities of human beings. The claim more precisely is that as a consequence of the incompleteness theorems, those potentialities cannot be exactly circumscribed by the output of any computing machine even allowing unlimited time and space for its work. The chapter concludes with some new considerations that may be in favour of a partial mechanist account of the mathematical mind. (shrink)

John P. Burgess kritisiert Kurt Gödels Begriff der mathematischen oder rationalen Anschauung und erläutert, warum heuristische Intuition dasselbe leistet wie rationale Anschauung, aber ganz ohne ontologisch überflüssige Vorannahmen auskommt. Laut Burgess müsste Gödel einen Unterschied zwischen rationaler Anschauung und so etwas wie mathematischer Ahnung, aufzeigen können, die auf unbewusster Induktion oder Analogie beruht und eine heuristische Funktion bei der Rechtfertigung mathematischer Aussagen einnimmt. Nur, wozu benötigen wir eine solche Annahme? Reicht es nicht, wenn die mathematische Intuition als Heuristik funktioniert? Für (...) Gödel sind Mengen Extensionen von Begriffen und er beharrt beispielsweise auf dem ontologischen Objektstatus von Mengen, weil Denken für ihn einen Input benötigt, den es selbst nicht zu liefern im Stande ist. Im Falle der mathematischen Anschauung darf dieser Input allerdings nicht subjektiv kontingent sein, wenn es sich um objektiv gültige Theorien handeln soll. (Zudem vertritt Gödel eine Korrespondenztheorie der Wahrheit.) Der Begriff der heuristischen Intuition, den Burgess expliziert, stammt hingegen nicht zuletzt aus der kognitiven Psychologie, der bei der Verarbeitung impliziter, also unbewusster Informationen ansetzt und so das menschliche Vermögen erklärt, Entscheidungen und Urteile zu fällen, ohne sich der Urteilsgrundlagen bewusst zu sein. Über den ontologischen oder erkenntnistheoretischen Status dieser Urteilsgrundlagen sagen diese Theorien nichts aus. Sie könnten auch subjektiv kontingent zustande gekommen sein. Ihr normativer Anspruch ergibt sich lediglich aus „dem Funktionieren“, nicht daraus, dass es sich um Gesetze des Wahrseins handelt. (shrink)

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

Although written in Japanese, this article handles historical and technical survey of Gödel's incompleteness theorem thoroughly.

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

Modern science, based on the laws of physics, claims validity for all events in space and time. However, it also reveals its own limitations, such as the indeterminacy of quantum physics, the limits of decidability, and, presumably, limits of decodability of the mind-brain relationship. At the philosophical level, these intrinsic limitations allow for different interpretations of the relation between human cognition and the natural order. In particular, modern science may be logically consistent with religious as well as agnostic views of (...) humans and the universe. These points are exemplified through the transcript of a discussion between Kurt Gödel and Rudolf Carnap that took place in 1940. Gödel, discoverer of mathematical undecidability, took a proreligious view; Carnap, one of the founders of analytical philosophy, an antireligious view. By the time of the discussion, Carnap had liberalized his ideas on theoretical concepts of science: he believed that observational terms do not suffice for an exhaustive definition of theoretical concepts. Then, responded Gödel, one should formulate a theory or metatheory that is consistent with scientific rationality, yet also encompasses theology. Carnap considered such theories unproductive. The controversy remained unresolved, but its emphasis shifted from rationality to wisdom, not only in the Gödel-Carnap discussion but also in our time. -/- . (shrink)

В «Godel's Way» три видных ученых обсуждают такие вопросы, как неплатежеспособность, неполнота, случайность, вычислительность и последовательность. Я подхожу к этим вопросам с точки зрения Витгенштейна, что есть две основные проблемы, которые имеют совершенно разные решения. Есть научные или эмпирические вопросы, которые являются факты о мире, которые должны быть исследованы наблюдений и философские вопросы о том, как язык может быть использован внятно (которые включают в себя определенные вопросы в математике и логике), которые должны быть решены, глядят, как мы на самом (...) деле использовать слова в конкретных контекстах. Когда мы получаем ясно о том, какой языковой игре мы играем, эти темы рассматриваются как обычные научные и математические вопросы, как и любые другие. Идеи Витгенштейна редко были равны и никогда не превосходили и столь же уместно сегодня, как они были 80 лет назад, когда он диктовал Blue и Браун Книги. Несмотря на свои недостатки, на самом деле серия заметок, а не готовой книги, это уникальный источник работы этих трех известных ученых, которые работают на кровотечения края физики, математики и философии на протяжении более полувека. Da Costa и Doria процитированы Wolpert (см. ниже или мои статьи на Wolpert и моем просмотрении Yanofsky 'Внешние пределы разума') в виду того что они написали на всеобщихвычислениях,, и среди его много выполнений, Da Costa пионер в paraconsistency. Те, кто желает всеобъемлющего до современных рамок для человеческого поведения из современных двух systEms зрения могут проконсультироваться с моей книгой"Логическая структура философии, психологии, Минd иязык в Людвиг Витгенштейн и Джон Сирл" второй ред (2019). Те, кто заинтересован в более моих сочинений могут увидеть "Говоря обезьян - Философия, психология, наука, религия и политика на обреченной планете - Статьи и обзоры 2006-2019 3-й ed (2019) и suicidal утопических заблуждений в 21-мst веке 4-й ed (2019) th и другие. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

'Godel's Way'에서 세 명의 저명한 과학자들은 부정성, 불완전성, 임의성, 계산성 및 파라불일치와 같은 문제에 대해 논의합니다. 나는 완전히 다른 해결책을 가지고 두 가지 기본 문제가 있다는 비트 겐슈타인의 관점에서 이러한 문제에 접근. 과학적 또는 경험적 문제가 있다, 관찰 하 고 철학적 문제 언어를 어떻게 이해할 수 있는 (수학 및 논리에 특정 질문을 포함) 에 대 한 조사 해야 하는 세계에 대 한 사실,우리가 실제로 특정 컨텍스트에서 단어를 사용 하는 방법을 보고 하 여 결정 될 필요가. 우리가 어떤 언어 게임을 (...) 하고 있는지 명확히 알 면, 이 주제는 다른 언어와 마찬가지로 평범한 과학적이고 수학적 질문으로 보입니다. 비트겐슈타인의 통찰력은 거의 동등하지 않았고 결코 능가하지 않았으며, 그가 블루와 브라운 북을 지시했을 때 80 년 전과 마찬가지로 오늘날과 관련이 있습니다. 완성된 책이 아닌 일련의 노트가 실패했음에도 불구하고, 이것은 반세기 이상 물리학, 수학, 철학의 출혈 가장자리에서 일해온 이 세 명의 유명한 학자들의 작품의 독특한 원천입니다. 다 코스타와 도리아는 울퍼트에 의해 인용된다 (그들은 보편적 인 계산에 쓴 이후 울퍼트와 야노프스키의 '이성의 외부 한계'에 대한 내 리뷰에, 대한 내 리뷰) 그리고 그의 많은 업적 중, 다 코스타는 파라 불일치의 선구자입니다. 현대 의 두 systems보기에서인간의 행동에 대한 포괄적 인 최신 프레임 워크를 원하는 사람들은 내 책을 참조 할 수 있습니다'철학의 논리적 구조, 심리학, 민d와 루드비히 비트겐슈타인과 존 Searle의언어' 2nd ed (2019). 내 글의 더 많은 관심있는 사람들은 '이야기 원숭이를 볼 수 있습니다-철학, 심리학, 과학, 종교와 운명 행성에 정치 - 기사 및 리뷰 2006-2019 3 rd 에드 (2019) 및 21st 세기 4번째 에드 (2019) 및 기타에서 자살 유토피아 망상. (shrink)

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

Austrian-born Kurt Gödel is widely considered the greatest logician of modern times. It is above all his celebrated incompleteness theorems—rigorous mathematical results about the necessary limits...

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 relation of (...) set theory and arithmetic are demonstrated. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. As (...) a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical instrumentalism (...) are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s thesis. For (...) this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

Spinoza distinguishes between causation that is external, as in A causing B where A is external to B, and causation that is internal, where C causes itself (causa sui), without any involvement of anything external to C. External causation is easy to understand, but self causation is not. This note explores an approach to self-causation based upon Gödelian undecidability and draws upon ideas from an earlier study of Gödel’s proof and the quantum measurement problem (Zwick, 1978).

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

“Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. Gödel argued that there (...) is a deep connection between these arguments and definite descriptions. More precisely, according to Gödel, if one adopts Russell’s interpretation of definite descriptions (which clashes with Frege’s view that definite descriptions are singular terms), it is possible to evade the slingshot. We challenge Gödel’s view in two manners, first by presenting a slingshot even with a Russellian interpretation of definite descriptions and second by presenting a slingshot even when we change from singular terms to plural terms in the light of new developments of the so-called Plural Logic. The text is divided in three chapters, in the first, we present the discussion between Russell and Frege regarding definite descriptions, in the second, we present Gödel’s position and reconstructions of Gödel’s argument and in the third we prove our slingshot argument for Plural Logic. In light of these results we conclude that we can maintain the validity of slingshot arguments even within a Russellian interpretation of definite descriptions or in the context of Plural Logic. (shrink)

A survey of more philosophical applications of Gödel's incompleteness results.

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

「ゴーデルの道」では、3人の著名な科学者が、デシッド不能、不完全性、ランダム性、計算可能性、パラコンシステンションなどの問題について議論しています。私は、ウィトゲンシュタイニアンの視点から、全く異なる 解決策を持つ2つの基本的な問題があることをこれらの問題に取り組んでいます。科学的または経験的な問題は、言語がどのように理解的に使用できるか(数学と論理に特定の質問を含む)、特定の文脈で実際にどのように 単語を使用するかを調べて決定する必要がある、観察的および哲学的な問題を調査する必要がある世界に関する事実です。私たちがプレイしている言語ゲームについて明確になると、これらのトピックは他の人と同じように 普通の科学的、数学的な質問であると見なされます。ウィトゲンシュタインの洞察はめったに等しくなく、決して上回ることはなく、彼がブルーブックスとブラウンブックスを口述した80年前と同じくらい適切です。失敗 にもかかわらず、本当に完成した本ではなく一連のノートは、半世紀以上にわたって物理学、数学、哲学の出血エッジで働いてきたこれらの3人の有名な学者の作品のユニークな源です。ダ・コスタとドリアは、普遍的な計 算に書いて以来、ウォルパート(以下または私の記事を参照)によって引用されています(ウォルパートとヤナフスキーの「理由の外側の限界」の私のレビューを参照)、,そして彼の多くの成果の中で、ダ・コスタはパラ コンシタンションのパイオニアです。 現代の2つのシス・エムスの見解から人間の行動のための包括的な最新の枠組みを望む人は、私の著書「ルートヴィヒ・ヴィトゲンシュタインとジョン・サールの第2回(2019)における哲学、心理学、ミンと言語の論 理的構造」を参照することができます。私の著作の多くにご興味がある人は、運命の惑星における「話す猿--哲学、心理学、科学、宗教、政治―記事とレビュー2006-2019 第3回(2019)」と21世紀4日(2019年)の自殺ユートピア妄想st Century 4th ed (2019)などを見ることができます。 .

Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. It is noted that, given this valuation, (...) Gödel’s sentence becomes neither true nor false. The similarity of this outcome with Goldstein and Gaifman’s solution of the Liar paradox, which is discussed in section 4, is emphasized. Section 5 returns to the definition of meaningfulness; the meaninglessness of certain sentences with empty subjects and of the Liar sentence is discussed. The objective of this paper is to show how all of the above-mentioned concepts are interrelated. (shrink)

The paper is the final, fifth part of a series of studies introducing the new conceptions of “Hilbert mathematics” and “ontomathematics”. The specific subject of the present investigation is the proper philosophical sense of both, including philosophy of mathematics and philosophy of physics not less than the traditional “first philosophy” (as far as ontomathematics is a conservative generalization of ontology as well as of Heidegger’s “fundamental ontology” though in a sense) and history of philosophy (deepening Heidegger’s destruction of it from (...) the pre-Socratics to the Pythagoreans). Husserl’s phenomenology and Heidegger’s derivative “fundamental ontology” as well as his later doctrine after the “turn” are the starting point of the research as established and well known approaches relative to the newly introduced conception of ontomathematics, even more so that Husserl himself started criticizing his “Philosophy of arithmetic” as too naturalistic and psychological turning to “Logical investigations” and the foundations of phenomenology. Heidegger’s “Aletheia” is also interpreted ontomathematically: as a relation of locality and nonlocality, respectively as a motion from nonlocality to locality if both are physically considered. Aristotle’s ontological revision of Plato’s doctrine is “destructed” further from the pre-Socratics' “Logos” or Heideger’s “Language” (after the “turn”) to the Pythagoreans “Numbers” or “Arithmetics” as an inherent and fundamental philosophical doctrine. Then, a leap to contemporary physics elucidates the essence of ontomathematics overcoming the Cartesian abyss inherited from Plato’s opposition of “ideas” versus “things”, and now unifying physics and mathematics, particularly allowing for the “creation from nothing” instead of the quasi-scientific myth of the “Big Bang”. Furthermore, ontomathematics needs another interpretation of arithmetic, propositional logic and set theory in the foundations of mathematics, where the latter two ones are both identified with Boolean algebra, and the former is considered to be a “half of Boolean algebra” in the exact meaning to be equated to it after doubling by a dual anti-isometric counterpart of Peano arithmetic. That unified algebraic realization of the foundations of mathematics is related to Hilbert mathematics in both “narrow and wide senses” where the latter is isomorphic to the qubit Hilbert space, thus underlying all the physical world by the newly introduced substance of quantum information being physically dimensionless and generalizing classical information measured in bits. The substance of information, whether classical or quantum, visualizes the way of the unification of physics and mathematics by merging their foundations in Hilbert arithmetic and Hilbert mathematics: thus how ontomathetics is a “first philosophy”. The relation of ontomathematics to the Socratic “human problematics”, furthermore being fundamental for Western philosophy in Modernity, is discussed. Ontomathematics implies its “substitution” by abstract information (or by “subjectless choice” relevant to it), thus “obliterating the human outline on the ocean beach sand” (by Michel Foucault’s metaphor). A reflection back from the viewpoint of mathematic to Western philosophy as the philosophy of locality ends the study. (shrink)

In his recent article Christopher Gauker (2001) has presented a thoughtprovoking argument against deflationist theories of truth. More exactly, he attacks what he calls ‘T-schema deflationism’, that is, the claim that a theory of truth can simply take the form of certain instances of the T-schema.

In this contribution an attempt is made to analyze an important mathematical discovery, the theorem of Gödel, and to explore the possible impact on the consistency of metaphysical systems. It is shown that mathematics is a pointer to a reality that is not exclusively subjected to physical laws. As the Gödel theorem deals with pure mathematics, the philosopher as such can not decide on the rightness of this theorem. What he, instead can do, is evaluating the general acceptance of this (...) mathematical finding and reflect on the consistency between consequences of the mathematical theorem with consequences of his metaphysical view. The findings of three mathematicians are involved in the argumentation: first Gödel himself, then the further elaboration by Turing and finally the consequences for the human mind as worked out by Penrose. As a result one is encouraged to distinguish two different types of intellectual activity in mathematics, which both can be carried out by humans. The astonishing thing is not the distinction between a formalized, logic approach on the one side and intuition, mathematical insight and meaning on the other. Philosophically challenging, however, is the claim that principally only one of these intellectual activities can be carried out by objects exclusively bound to the laws of physical reality. (shrink)

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.

In this paper, we aim to trace the origin of the systematic cross-cultural variations in referential intuitions by investigating the effects of perspective taking on people’s responses in the Gödel-style probes through two novel experiments. Here is how we will proceed. In section 2, we first briefly introduce the MMNS (2004) study, and then critically review the two relevant studies conducted by Sytsma and colleagues (i.e., Sytsma and Livengood 2011; Sytsma et al. 2015). In section 3, we introduce the literature (...) on cross-cultural variation in perspective taking in cultural psychology, which together with the conjecture of perspectival ambiguity leads to the hypothesis of our current study. In sections 4 and 5, two new experiments on how perspective taking affects people’s responses in hypothetical stories modelled on the Gödel thought experiment will be reported. Based on the empirical findings, in section 6 we argue that the robust cross-cultural variations thus far observed in people’s responses to the Gödel cases are largely attributable to culturally specific perspective-taking strategies, which provides new support for the proposal previously made by Sytsma and Livengood (2011). The implications of the experimental results for the ongoing work of testing the theories of refence of names and for the current metaphilosophical debate on the robustness of philosopher’s intuitions are also drawn in this section. Finally, the major conclusions and contributions of the current study are highlighted in section 7. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

In §8 of Remarks on the Foundations of Mathematics (RFM), Appendix 3 Wittgenstein imagines what conclusions would have to be drawn if the Gödel formula P or ¬P would be derivable in PM. In this case, he says, one has to conclude that the interpretation of P as “P is unprovable” must be given up. This “notorious paragraph” has heated up a debate on whether the point Wittgenstein has to make is one of “great philosophical interest” revealing “remarkable insight” in (...) Gödel’s proof, as Floyd and Putnam suggest (Floyd (2000), Floyd (2001)), or whether this remark reveals Wittgenstein’s misunderstanding of Gödel’s proof as Rodych and Steiner argued for recently (Rodych (1999, 2002, 2003), Steiner (2001)). In the following the arguments of both interpretations will be sketched and some deficiencies will be identified. Afterwards a detailed reconstruction of Wittgenstein’s argument will be offered. It will be seen that Wittgenstein’s argumentation is meant to be a rejection of Gödel’s proof but that it cannot satisfy this pretension. (shrink)

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' temporal (...) logic of linear discrete time with gaps follows. (shrink)