This article attempts a subjectively based approach, in fact one phenomenologically motivated, toward some key concepts of forcing theory, primarily the concepts of a generic set and its global properties and the absoluteness of certain fundamental relations in the extension to a forcing model M[G]. By virtue of this motivation and referring both to the original and current formulation of forcing I revisit certain set-theoretical notions serving as underpinnings of the theory and try to establish their deeper subjectively founded content (...) and also their influence in reaching relative consistency results by the forcing method. In this perspective, the present approach may be seen as offering an alternative view of the consistency results of K. Gödel and P. Cohen in mathematical foundations reaching a subjective level that may be taken as ultimately conditioning the non-decidability of key infinity statements on the level of formal theory. (shrink)

We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.

When putting semiotics and phenomenology in juxtaposition, the first task necessarily is to find out what a study of meaning, conceiving of itself as an empirical science, has to do with a philosophical school, the business of which it is to secure the epistemological foundations of all the sciences (broadly understood). Our answer, in short (but we will go at some length to show it), is that since all results of phenomenology also count as contributions to phenomenological psychology, the phenomenological (...) method constitutes a part of the panoply of methods offered to semiotics. Our second task will be to review the fragmentary semiotics proposed, originally employing that term, by Edmund Husserl, to gauge its value for contemporary semiotics. Since our investigation of Husserl’s semiotics will demonstrate that it sometimes concerns the sign in a narrow sense, and sometimes broadens up to a study of meaning in general, our third and final task, in this paper, will be to consider a proposal made by a close follower of Husserl, Alfred Schütz, whose idea of a system of relevancies, wedded to Husserl’s notion of sedimentation, might be amended when considered in connection with Umberto Eco’s idea of the encyclopaedia. (shrink)

Gödel's philosophical views were to a significant extent influenced by the study not only of Leibniz or Husserl, but also of Kant. Both Gödel and Kant aimed at the secure foundation of philosophy, the certainty of knowledge and the solvability of all meaningful problems in philosophy. In this paper, parallelisms between the foundational crisis of metaphysics in Kant's view and the foundational crisis of mathematics in Gödel's view are elaborated, especially regarding the problem of finding the “secure path of a (...) science” for both mathematics and philosophy. Gödel's temporal subjectivism and metaphysical conceptual objectivism are presented as positively or negatively motivated by Kant's viewpoints. A remark on Gödel's collapse of modalities (in accordance with the collapse of objective time) is added. (shrink)

Gödel’s philosophical rationalism includes a program for “developing philosophy as an exact science.” Gödel believes that Husserl’s phenomenology is essential for the realization of this program. In this article, by analyzing Gödel’s philosophy of idealism, conceptual realism, and his concept of “abstract intuition,” based on clues from Gödel’s manuscripts, I try to investigate the reasons why Gödel is strongly interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. One of the topics that has attracted much (...) attention recently is the development of Gödel’s philosophical thoughts and its connection with other philosophical ideas. For instance, some scholars are searching for the possible connections between Gödel’s philosophy and Husserl’s phenomenology and examining if there is any solid evidence of Husserl’s influence on Gödel from Gödel’s works (Tieszen, Bull Symbolic Logic 4(2):181–203, 1998; Huaser, Bull Symbolic Logic 12(4):529–588, 2006). Why is Gödel’ s interested in Husserl? How should this turn to Husserl be interpreted? Is it a dismissal of Leibnizian philosophy, or a different way to achieve similar goals? Way did Gödel turn specifically to Husserl’s transcendental idealism? (Van Atten and Kennedy, Bull Symbolic Logic 9(4):425–476, 2003) I believe, the reason is that Gödel has a valuable program for “developing philosophy as an exact science” and he believes that Husserl’s phenomenology is relevant to the realization of this program. So far there are no sufficient evidence to show that there is a direct inheritance relation between Gödel’s and Husserl’s thoughts. However, from the clues in Gödel’s idealistic philosophy, conceptual realism, and his concept of “abstract intuition,” we can perhaps explore some similarities between his thoughts and Husserl’s thoughts, and analyze the reason why Gödel is interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. (shrink)

Gödel’s philosophical rationalism includes a program for “developing philosophy as an exact science.” Gödel believes that Husserl’s phenomenology is essential for the realization of this program. In this article, by analyzing Gödel’s philosophy of idealism, conceptual realism, and his concept of “abstract intuition,” based on clues from Gödel’s manuscripts, I try to investigate the reasons why Gödel is strongly interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. One of the topics that has attracted much (...) attention recently is the development of Gödel’s philosophical thoughts and its connection with other philosophical ideas. For instance, some scholars are searching for the possible connections between Gödel’s philosophy and Husserl’s phenomenology and examining if there is any solid evidence of Husserl’s influence on Gödel from Gödel’s works :181–203, 1998; Huaser, Bull Symbolic Logic 12:529–588, 2006). Why is Gödel’ s interested in Husserl? How should this turn to Husserl be interpreted? Is it a dismissal of Leibnizian philosophy, or a different way to achieve similar goals? Way did Gödel turn specifically to Husserl’s transcendental idealism? :425–476, 2003) I believe, the reason is that Gödel has a valuable program for “developing philosophy as an exact science” and he believes that Husserl’s phenomenology is relevant to the realization of this program. So far there are no sufficient evidence to show that there is a direct inheritance relation between Gödel’s and Husserl’s thoughts. However, from the clues in Gödel’s idealistic philosophy, conceptual realism, and his concept of “abstract intuition,” we can perhaps explore some similarities between his thoughts and Husserl’s thoughts, and analyze the reason why Gödel is interested in Husserl’s phenomenology and why his program for an exact philosophy is unfinished. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

This paper serves as a kind of field guide to certain passages in the literature which bear upon the foundational theory of abstract objects. The foundational theory assimilates ideas from key philosophers in both the analytical and phenomenological traditions. I explain how my foundational theory of objects serves as a common ground where analytic and phenomenological concerns meet. I try to establish how the theory offers a logic that systematizes a well-known phenomenological kind of entity, and I try to show (...) the various ways the theory systematizes the ideas of many analytic philosophers. The ideas of Plato, Leibniz, Frege, Russell, Goedel and even Kripke become connected through those of Brentano, Meinong, Husserl, and Mally. -/- The field guide will not only document the passages in which the distinction between two kinds of predication originates, but also document the other surprising, and often unrelated, contexts where the distinction reappears in the work of others. It will also document ways in which the theory can be used to represent precisely the ideas of the philosophers mentioned above. The resulting guide will bring together the works of many different authors, including some clearly within the analytic tradition, some clearly within the phenomenological tradition, and some who straddle the divide. (shrink)

In 1928 Edmund Husserl wrote that “The ideal of the future is essentially that of phenomenologically based (“philosophical”) sciences, in unitary relation to an absolute theory of monads” (“Phenomenology”, Encyclopedia Britannica draft) There are references to phenomenological monadology in various writings of Husserl. Kurt Gödel began to study Husserl’s work in 1959. On the basis of his later discussions with Gödel, Hao Wang tells us that “Gödel’s own main aim in philosophy was to develop metaphysics—specifically, something like the monadology of (...) Leibniz transformed into exact theory—with the help of phenomenology.” (A Logical Journey: From Gödel to Philosophy, p. 166) In the Cartesian Meditations and other works Husserl identifies ‘monads’ (in his sense) with ‘transcendental egos in their full concreteness’. In this paper I explore some prospects for a Gödelian monadology that result from this identification, with reference to texts of Gödel and to aspects of Leibniz’s original monadology. (shrink)