Husserl: Philosophy of Logic

Gottlob Frege and Edmund Husserl are two seemingly different philosophers in their methodology. Both have significantly influenced Western philosophy in that their contributions established fields within philosophy that are of intensive study today. Still, their differences in methodology have, in certain instances, yielded similar or distinct results. Their results ranged from the distinction of sense and reference, objectivity, and the theory of mathematics: specifically, their definition of number. Frege and Husserl have such striking similarities in their theory of sense and (...) reference and related notions that from their apparent correspondence, Frege seems to have acknowledged the coincidences in their theories (Frege & Kluge, 1972) (Hill & Rosado Haddock Intro, 4, & 30-33). That is not to say there are exact parallels between Frege and Husserl and their results, as I will acknowledge their similarities and differences within scale. So, I intend to demonstrate their respective theories and results descriptively to show their likenesses while still recognizing their divergences in scope and methodology. Indirectly, I would also hope to illustrate the ties, in terms of subject matter, of these two philosophers who are historically considered at odds with one another; be it personally, in their schools of philosophy, or methodologically (Hartimo 47-53). (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)

This essay examines how Husserl stretches the bounds of his philosophy of meaning, according to which all propositions are categorical, to account for existential propositions, which seem to lack predicates. I examine Husserl’s counterintuitive conclusion that an existential proposition does possess a predicate and I explore his endeavor to pinpoint what that predicate is. This goal is accomplished in three stages. First, I examine Husserl’s standard theory of predication and categorial intuition from his 1901 Logical Investigations. Second, I show how (...) Husserl imposes those 1901 insights to uncover the predicate of the existential proposition in unpublished manuscripts and lectures. He determines that the existential proposition predicates of the subject, that it corresponds to an actual object. This analysis reveals that Husserl’s descriptions of existential propositions from the late 1890s employed both static and genetic methodologies. In those texts, he carefully untangles and clarifies the co-enmeshed passive and active moments of consciousness and shows that the passive givenness of certain circumstances is the condition of possibility for our active verifying of propositions. Finally, I execute a critical assessment of Husserl’s thought to reveal that, while his insights about existential propositions are largely correct, they are augmented by re-construing them within the context of his mature philosophy. Only by renouncing his metaphysical neutrality and by accounting for intersubjectivity, can Husserl properly clarify existential propositions. (shrink)

This paper examines the evolution of Edmund Husserl’s theory of perceptual occlusion. This task is accomplished in two stages. First, I elucidate Husserl’s conclusion, from his 1901 Logical Investigations, that the occluded parts of perceptual objects are intended by partial signitive acts. I focus on two doctrines of that account. I examine Husserl’s insight that signitive intentions are composed of Gehalt and I discuss his conclusion that signitive intentions sit on the continuum of fullness. Second, the paper discloses how Husserl (...) transforms his 1901 philosophy in his 1913 revisions to the Sixth Logical Investigation, affirming that the occluded parts of perceptual objects are intended by empty contiguity acts. I demonstrate how he overturns the two core doctrines of his theory from the Investigations in these revisions, claiming that empty intentions are not composed of Gehalt and asserting that those acts break with the continuum of fullness. Husserl implements these changes to solve problems that arise from his recognition of two new kinds of intentions; darker and completely dark acts. Finally, in the conclusion, I cash out this analysis, by indicating that, in 1913, Husserl transforms his theory of fulfillment on the basis of his new insights about empty acts. (shrink)

Husserl and Frege reject logical psychologism, the view that logical laws are psychological 'laws of thought'. This paper offers an account of these famous objections and argues that their crucial premise, the necessity of logical laws, is justified with reference to a problematic metaphysics. However, this premise can be established in a more plausible way, namely via a transcendental argument which starts from the practice of rational criticism. This argument is developed through a discussion of Quine's holism, which at first (...) appears to make the idea of the necessity of logical laws even less plausible, but eventually turns out to speak in favor of this view. (shrink)

It is often supposed one can draw a distinction, among the assumptions on which an inference rests, between certain background assumptions and certain more salient, or foregrounded, assumptions. Yet what may such a fore-v-background structure, or such structures, consist it? In particular, how do they relate to consciousness? According to a ‘Boring View’, such structures can be captured by specifying, for the various assumptions of the inference, whether they are phenomenally conscious, or access conscious, or else how easily available they (...) are to such consciousness. According to an ‘Interesting View’, there are fore-v-background structures over and above such classifications. The chapter gestures at reasons for thinking that an Interesting View at least merits exploration. The paper discusses some recent contributions to such a view in analytical philosophy; some remarks in Husserl on what he dubbed the horizonal dimension of acts of consciousness; and psychological work on the role of gist or schema representations in perception and memory. It is proposed that background assumptions can figure in consciousness by being as it were condensed into a consciously, though inattentively, entertained notion of their overall thematic gist, where this thematic gist gives the drift of a possible elucidation of how or why such-and-such salient grounds mean that so-and-so conclusion holds. (shrink)

This paper demonstrates that Edmund Husserl’s frequently overlooked 1890 manuscript, “On the Logic of Signs,” when closely investigated, reveals itself to be the hermeneutical touchstone for his seminal 1891 Philosophy of Arithmetic. As the former comprises Husserl’s earliest attempt to account for all of the different kinds of signitive experience, his conclusions there can be directly applied to the latter, which is focused on one particular type of sign; namely, number signs. Husserl’s 1890 descriptions of motivating and replacing signs will (...) be respectively employed to clarify his 1891 understanding of the authentic and inauthentic presentations of numbers via number signs. Moreover, his schematic classification of replacement-signs in Semiotic will illuminate the reasons why he believed the number system to be necessary for the operation of replacing number signs. (shrink)

L’objet de cet article est de dégager, sur l’exemple de la prédication, ce qu’est le propre d’une logique phénoménologique. On montre qu’elle se caractérise par plusieurs démarches essentielles : régression du domaine de la signification idéale vers les modes de visée, de comportement et d’évidence subjectifs propres à l’étant qui, par son discours, vise les formes syntaxiques, donc depuis les articulations syntaxiques de la signification vers celles de la pensée ; et surtout, un déplacement de l’orientation thématique depuis le domaine (...) de la signification idéale vers un champ infralinguistique et pré-idéal où ce dernier a sa source, afin de rechercher l’origine ultime du logos dans des structures prélogiques (formes noétiques de l’expérience perceptive, structures ontologiques de l’étant percu, modalités de la compréhension ontologique. Ne se limitant pas à la pensée logique au sens strict, on opère un élargissement considérable de la notion de logique, pour restituer les échafaudages qui mènent à l’élaboration de la syntaxe et replacer la pensée logifiante dans le mode d’être, de comprendre et de faire-expérience du sujet ou du Dasein. (shrink)

French translation of "Truth-Makers" (1984). A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core (...) of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

States of affairs are entities like snow’s being white. This dissertation encompasses two projects. First, I provide a historical survey of the concept of state of affairs as it has been used in the history of ontology. Second, I provide a novel conceptual account of states of affairs.

La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte a las (...) proposiciones de una teoría y por otra parte al dominio de objetos al que esas proposiciones se refieren. Este ensayo presenta una perspectiva sistemática del punto de vista husserliano sobre estos temas tal como él lo expone en sus Investigaciones Lógicas. Se muestra la manera en que su teoría de los significados lingüísticos en tanto especies de actos mentales, su ontología formal de la parte, el todo y la dependencia, su teoría de las categorías significativas, y su teoría de la intuición categorial combinada con su teoría de la ciencia conforman un todo singular. Finalmente, este trabajo explora la forma en que las ideas de Husserl sobre estos temas pueden ser reactivadas para resolver problemas en la filosofía del lenguaje, la lógica y la matemática de un modo que haga justicia al rol de la actividad mental en cada uno de estos dominios, evitando al mismo tiempo caer en los problemas del psicologismo. (shrink)

A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or false, (...) although in fact it is neither. The situation is further complicated by the fact that the sentence used to express the meaningless statement is ambiguous, and may also be used to express a meaningful statement. The paradoxes result from a failure to distinguish between the two meanings the sentence may have. (shrink)

This study seeks to trace the boundaries of the sign in the phenomenological tradition of Edmund Husserl. The approach adopted here is largely historical and has no other ambition that to identify those questions that pertain to the sign and have been of interest for phenomenology. The article is divided in four parts : the first examines an essay from 1890 entitled Semiotik and situates it in the context of the young Husserl's work in the philosophy of mathematics ; the (...) second part concerns the first section of the Logical Investigations ; the third one seeks to account for the changes that testify to the evolution of Husserl's thinking regarding the sign between the Logical Investigations (1900-01) and "Origins of Geometry" (1936) ; the last part considers the contribution of post-Husserlian phenomenology, from Martin Heidegger to Merleau-Ponty and beyond, to semiotics. -/- Résumé. Notre étude vise à délimiter l'espace dans lequel la question du signe s'est posée à la tradition phénoménologique depuis Edmund Husserl. Cette étude est largement historique et elle n'a d'autres ambitions que d'identifier certains aspects de la question du signe qui ont suscité l'intérêt de la phénoménologie. Elle se divise en quatre parties : dans la première, nous examinons le texte de 1890 intitulé Semiotik en le situant dans le contexte des recherches du jeune Husserl sur la philosophie des mathématiques ; la deuxième section est principalement consacrée à l'étude de la première des Recherches logiques ; la troisième partie vise à rendre compte des chan-gements qui ont marqué l'évolution de la pensée de Husserl sur le signe, des Recher-ches logiques (1900/1) à "Origine de la géométrie" (1936) ; finalement, nous esquis-serons à grands traits la contribution de la phénoménologie post-husserlienne à la sémiotique, de Martin Heidegger à Maurice Merleau-Ponty, et au-delà. (shrink)

This paper is a contribution to the historical roots of the analytical tradition. As Michael Dummett points out in his Origins of Analytic Philosophy, many tendencies in Central European thought contributed to the early development of analytic philosophy. Dummett himself concentrates on just one aspect of this historical complex, namely on the relationship between the theories of meaning and reference developed by Frege and by Husserl in the years around the turn of the century. It is to this specific issue (...) that the present essay is devoted, though we attempt a more sympathetic reading of Husserl's views on these matters than is to be found in Dummett’s work. Topics covered include Husserl’s theory of intentionality, his view of meanings as types or essences of mental acts, of the relation between meaning and expression, of states of affairs, and of indexicality. (shrink)

Per Husserl, come per Bolzano, la logica e una dottrina della sdenza. Husserl prende pero piu sul serio l'idea che le teorie scientifiche siano costituite dagli atti mentali di soggetti conoscenti. Quella che segue e un' esposizione della concezione husserliana della logica e della scienza, fondata appunto sugli atti; essa approdera a una delineazione dell'idea husserliana di «ontologia formale».

In der klassischen Logik von Aristoteles bis Wolff findet sich eine durchgängige Parallelität von logischen (einschließlich grammatikalischen und psychologischen) und ontologischen Gebilden. Der Logiker beschäftigt sich mit Subjekt und Prädikat, aber gleichzeitig auch z.B. mit Substanz und Akzidenz als Entitäten in der Welt. Nach Kant begann für die Logik eine Phase, in der diese ontologische oder objektbezogene Seite verloren ging. Gegen Ende des 19. Jahrhunderts beginnt man dann aber wieder über die ontologischen Korrelate des Denkens und des Urteilens zu sprechen. (...) Wir zeigen, dass diese Wiederbelebung der alten Logik mit der Einführung des Terminus ‘Sachverhalt’ in die Sprache der Philosophie verbunden ist. (shrink)

Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, which enjoyed only (...) a brief flowering in the years leading up to the first World War, but whose lingering presence can be detected in the background of more recent ontologising trends in logic, as for example in the 'situation semantics' of Barwise and Perry. This third conception sees logic as a science of special objects called 'Sachverhalte' or 'states of affairs'. A view of this sort is present in simplified form in the works of Meinong, but it received its definitive formulation in the writings of Adolf Reinach, a student of Husserl who is otherwise noteworthy for having anticipated, in a monograph of 1913, large chunks of what later became known as the theory of speech acts.(1). (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)