Husserl: Philosophy of Logic

Résumé — Dans cet article, je postule qu’il y a plusieurs variétés d’antipsychologisme logique, auxquelles correspondent différents concepts de « logique pure ». Deux conceptions sont ici confrontées : la « logique de l’idéalité » de Husserl et la « logique de la validité » de Rickert. Contrairement à l’emploi équivoque des termes « validité » et « idéalité » chez Heidegger, je montre d’abord que ces deux conceptions, bien que très proches, ne sont pas parfaitement superposables, car Rickert partage (...) l’antipsychologisme de Husserl mais rejette sa théorie des significations. Il apparaît ensuite que cette divergence – particulièrement visible dans la recension inédite, par Rickert, du livre très controversé de Palágyi – touche en réalité un « point faible » des Recherches logiques de Husserl : la confusion entre les objets logiques et les idéalités mathématiques. L’alternative « axiologique » proposée par Rickert évite d’emblée cette confusion en soutenant que le sens logique des propositions, fondé sur de pures « valeurs théoriques », est irréductible à un objet idéal.— In this article, I postulate that there are several varieties of logical antipsychologism, to which correspond various concepts of “pure logic”. Two conceptions are here under discussion : Husserl’s “logic of ideality” and Rickert’s “logic of validity”. Against the equivocal use of “validity” and “ideality” by Heidegger, I first show that none of those conceptions can be exactly superimposed on the other one, because Rickert agrees with Husserl’s antipsychologism but rejects his theory of significations. It then appears that this difference – which is particularly obvious in Rickert’s unpublished review of Palágyi’s very controversial book –, reveals in fact a “weak point” in Husserl’s Logical Investigations : the confusion between logical and mathematical objects . Rickert’s “axiological” alternative avoids directly this confusion by asserting the irreducibility of the propositional sense – which is grounded on pure “theoretical values” – to an ideal object. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (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)

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)

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)

This paper analyzes and compares the attempts at solving the paradox of non-existence put forward by Alexius Meinong and Edmund Husserl. It will be argued that Meinong’s solution is not convincing since he retreats from the field of predicate logic, in which the paradox arises, to a version of propositional logic. On the other hand, Husserl´s approach is more promising since he moves forward to an extension of predicate logic, in which judgments may be evaluated in relation to different contexts (...) or, in Husserl´s terminology, “spheres”. More precisely, to Husserl, existential judgments have to be interpreted as a kind of cross-sphere judgments, and thus existence fulfills a function loosely analogous to that of modal operators in possible-worlds semantics. (shrink)

In this piece of work we considerer mathematical logic as a whole. The three steps distinguished by Husserl, to wit, pure logic grammar, logic of the non-contradiction and logic of the truth, are analysed. They are applied to the logistics by distinguishing different levels and layers. In each level the logistics methods and its correspondence with the formal ontology inside the philosophical phenomenology are taken into account. The subject is completed explaining the axiomatic as well as the Greek life in (...) Euclides and in comparison with Hilbert. Finally, we intend to interpret the Greek logic, Leibniz logic and logistics from the viewpoint of different types of life related to them. In all these cases we presuppose, as a source, the apofantic aristotelian form of the proposition. (shrink)

Quine’s criticism of the notion of analyticity applies, at best, to Carnap’s notion, not to those of Frege or Husserl. The failure of logicism is also the failure of Frege’s definition of analyticity, but it does not even touch Husserl’s views, which are based on logical form. However, some relatively concrete number-theoretic statements do not admit such a formalization salva veritate. A new definition of analyticity based not on syntactical but on semantical logical form is proposed and argued for.

This paper deals with Husserl’s idea of pure logic as it is coined in the Logical Investigations. First, it exposes the formation of pure logic around a conception of completeness ; then, it presents intentionality as the keystone of such a structuring ; and finally, it provides a systematic reconstruction of pure logic from the semiotic standpoint of intentionality. In this way, it establishes Husserlian pure logic as a phenomenological epistemology of mathematical logic.

The purpose of this paper is to provide a unitary typology for the incompatibilities of meanings at stake on different levels of Husserlian pure logic—namely, between systems of axioms and pure morphology of meanings; I show that they perfectly match by converging on the notion of Widersinn.

Au terme des Prolégomènes, Husserl formule son idée de la logique pure en la structurant sur deux niveaux: l'un, supérieur, de la logique formelle fondé transcendantalement et d'un point de vue épistémologique par l'autre, inférieur, d'une morphologie des catégories. Seul le second de ces deux niveaux est traité dans les Recherches logiques, tandis que les travaux théoriques en logique formelle menés par Husserl à la même époque en paraissent plutôt indépendants. Cet article est consacré à ces travaux tels que recueillis (...) dans les appendices VI-X du volume 12 des Husserliana. Mettant en évidence la théorie de la signification qui les sous-tend par le biais d'une analyse de la question dite de l'extension des systèmes d'axiomes et de sa résolution au moyen d'une notion de complétude, son objectif est d'expliciter les modalités de l'intégration de la logique formelle dans l'idée husserlienne de la logique pure au tournant du xx siècle.When formulating his idea of pure logic in the Prole.. (shrink)

In his fifth Logical Investigation, Husserl intensely scrutinizes three possible significations of the concept of consciousness. In these analyses, he also strives to clearly delineate between two types of consciousness: psychological and phenomenological. The goal of this paper is to show that the way in which the (psychical) act is conceived and defined, according to the Husserlian approach, as a lived, intentional experience plays an essential role in clarifying the distinction between the empirical-psychological level of consciousness (where the act as (...) a lived experience manifests itself) and its eidetic or ideal level (wherein any type of objectivity is constituted as such). Moreover, I shall try to argue that the notion of act conceived in this manner had influenced and decisively determined the development of the entire Husserlian phenomenology and theory of knowledge exactly because it explains how knowledge in general is constituted from an objective point of view. Another highly relevant distinction that needs to be dealt with in this context is the difference that Husserl establishes between the descriptive and intentional contents of the act. I shall try to show that this distinction presupposes in fact a previous conceptual determination of the noema (undertaken jointly with the analysis of the noetical components of consciousness at this level), and that the way in which the relationship between these two strands of consciousness is described determines further and in a fundamental manner the development of the idea of intentionality itself. (shrink)

Once upon a time, Frege influenced Husserl. More precisely, Frege's scathing review of Philosophie der Arithmetik induced Husserl to abandon his commitment to logical psychologism. There are many different reasons for dismissing this traditional tale. Yet at least one widely circulated claim cannot be upheld, for it is rooted in the false belief that Frege held logic to be an essentially normative science. Rather, Frege and Husserl are united by their shared conception of logic as the maximally general theoretical science. (...) Further, it is proposed that Frege indeed may have influenced Husserl in the movement from psychologism to phenomenology. This time, however, the novel possibility is entertained that Frege provided Husserl with nothing less than an initial rationale of the very need for a phenomenology: the epistemological clarification of the cognitive sources of "pure logic". Along the way, Frege's peculiar Kantianism is revealed to be of a piece with his philosophical contemporaries, the neo-Kantians, in its dependence upon the central notion of a source of knowledge. As a key component of Frege's theory, it is revealed not as an artefact of the new logic but rather as part of the earliest picture which serves to undergird Frege's views on the nature of epistemological justification. (shrink)

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)

This dissertation deals with the ways in which Husserl and Heidegger as phenomenologists are guided by the commitment to a logical theory of science. It considers the internal relationship between, respectively, Husserlian and Heideggerian phenomenology and a conception of logic that would link phenomenological philosophy of logic to the contemporary definition of this discipline. The dramatic transition in the modern history of logic is played out explicitly in Husserl's conception of formal theory of science, which hinges on his idea of (...) formal ontology, and implicitly in Heidegger's conception of a fundamental ontology that would ultimately engender a new idea of logic. Their respective conceptions of formal and fundamental ontology intersect in the way they both understand "world" as phenomenological pre-condition for any higher level meaning constitution. The synthetic structure of worldly experience serves as protological basis for any formal- or natural-linguistic interpretation of scientific activity. In short, it is the way that Husserl and Heidegger understand the relationship between logic and ontology that allows them to work within the philosophical presuppositions of modern logic and eventually to generate a critique that points beyond phenomenology to this tradition---the contemporary history of logic from meta-mathematics to philosophy of language. ;Beginning with a methodological discussion of phenomenological meaning-investigation, i.e. Besinnung, the dissertation then proceeds from Husserl's initial engagement with formal logic and mathematics up to a conception of logic that would eventually make possible a dialogue between Heidegger and more recent philosophy of language. Between Husserl and Heidegger, it is the very object of logic that is at stake, i.e. whether logic is concerned primarily with the interpretation of formal-theoretical systems or with the analysis of discourse understood in terms of natural language. Yet reading Husserl and Heidegger through the phenomenology of logic also sketches a possibility for reading them together that has gone largely unexplored. Despite the ways in which their respective projects in phenomenology are often viewed as incommensurable, their phenomenology of logic leads back to a common commitment to a proto-logical conception of meaning based in principles of passive constitution. (shrink)

"La Lógica pura, la idea de la Gramática pura y el problema de una filosofí­a del lenguaje en las Investigaciones Lógicas" Una de las cuestiones centrales que hasta hoy en dí­a se siguen debatiendo en torno a la recepción de las Investigaciones Lógicas, se refiere a la relación entre pensamiento y lenguaje, entre significado y expresión lingí¼í­stica, entre percepción y juicio, entre Lógica y Gramática que estableció en el debate con G. Frege y A. Marty, entre otros. El autor se (...) ocupa de las influencias -en parte directas o indirectas- que ha dejado la obra de Husserl sobre la lingí¼í­stica moderna, la filosofí­a del lenguaje del siglo XX y la filosofí­a analí­tica del lenguaje. "The pure Logic, the pure Grammar's idea and the problem of a philosophy of the language in the Logical Investigations". One of the central questions that until today is continued debating around the reception of the Logical Investigations, it refers to the relationship between thought and language. between meaning and linguistic expression, between perception and judgement, between Logic and Grammar that Husserl settled down in the debate with G. Frege and A. Marty, among others. The author is in charge of the influences -direct or indirectly- that has left the work of Husserl on the modern linguistics, the philosophy of the language of the XX century and the analytic philosophy of the language. (shrink)

This work brings together three themes whose relationship has gone unexplored in the recent literature of philosophy: the transcendental phenomenology of Edmund Husserl, the phenomenological ontology of Martin Heidegger and the discipline of logic, especially formal logic. Part One and Two of the work present a detailed explication of Husserl's and Heidegger's philosophy of logic which are respectively characterized as an archeology of logic based upon transcendental phenomenological criticism and a radical phenomenology of logic based upon phenomenological criticism which issues (...) from a concern with the question of the meaning of Being. Part Three, then, offers a comparative analysis combined with a critical appraisal of these two philosophies of logic in order to achieve a more penetrating understanding of the relationship between Husserl and Heidegger. Thus, in one sense, this work takes the domain of logic and the varying approaches to it by Husserl and Heidegger as a clue to the similarities and dissimilarities within the thinking of these two phenomenologists, especially with regard to the understanding each has of the goal and method of phenomenology, and the results proper to phenomenological reflection. (shrink)

In this piece of work we considerer mathematical logic as a whole. The three steps distinguished by Husserl, to wit, pure logic grammar, logic of the non-contradiction and logic of the truth, are analysed. They are applied to the logistics by distinguishing different levels and layers. In each level the logistics methods and its correspondence with the formal ontology inside the philosophical phenomenology are taken into account. The subject is completed explaining the axiomatic as well as the Greek life in (...) Euclides and in comparison with Hilbert. Finally, we intend to interpret the Greek logic, Leibniz logic and logistics from the viewpoint of different types of life related to them. In all these cases we presuppose, as a source, the apofantic aristotelian form of the proposition. (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».

The article introduces and discusses an unpublished manuscript by Edmund Husserl, conserved at the Husserl-Archives Leuven with signature K I 26, pp. 73a–73b. The article is followed by the text of the manuscript in German and in an English translation. The manuscript, titled “The Transition through the Impossible” ( Der Durchgang durch das Unmögliche ), was part of the material Husserl used for his 1901 Doppelvortrag in Göttingen. In the manuscript, the impossible is characterized as the “sphere of objectlessness” ( (...) Sphäre der Gegenstandslosigkeit ) and Husserl addresses the question whether and when it is warranted to perform a transition through the impossible to obtain valid results for the sphere of objectivity. (shrink)

I undertake to explain how the well known laws of formal logic – Barbara Syllogism, modus ponens, etc. – relate to experience by developing Edmund Husserl's critique ofFormalism and Psychologism in logical theory and then briefly explaining his positive views of the laws of logic. His view rests upon his understanding of the proposition as a complex, intentional property. The laws of formal logic are, on his view (and mine), statements about the truth values of propositions as determined by their (...) formal character and relationships alone. The laws thus understood explain how algorithms set up to mirror them can accomplish what they do to advance knowledge, even though they operate purely mechanically. Further, they explain the proper sense in which formal laws "govern," and may guide, processes of actual thinking. Husserl's theory is a realist theory in the sense that, on his interpretation, the laws of pure or formal logic hold true regardless of what any individual, culture or species may or may not think, or even if no thinking ever occurs. (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 paper discusses Jean van Heijenoort’s (1967) and Jaakko and Merrill B. Hintikka’s (1986, 1997) distinction between logic as auniversal language and logic as a calculus, and its applicability to Edmund Husserl’s phenomenology. Although it is argued that Husserl’s phenomenology shares characteristics with both sides, his view of logic is closer to the model-theoretical, logic-as-calculus view. However, Husserl’s philosophy as transcendental philosophy is closer to the universalist view. This paper suggests that Husserl’s position shows that holding a model-theoretical view of (...) logic does not necessarily imply a calculus view about the relations between language and the world. The situation calls for reflection about the distinction: It will be suggested that the applicability of the van Heijenoort and the Hintikkas distinction either has to be restricted to a particular philosopher’s views about logic, in which case no implications about his or her more general philosophical views should be inferred from it; or the distinction turns into a question of whether our human predicament is inescapable or whether it is possible, presumably by means of model theory, to obtain neutral answers to philosophical questions. Thus the distinction ultimately turns into a question about the correct method for doing philosophy. (shrink)

There are two main objections against epistemological foundation of logical principles: 1. Every argument for them must necessarily make use of them. 2. Logical principles cannot be abstracted from experience because they imply elements of meaning that exceed in principle our finite experience (like universality & necessity). In opposition to these objections I argue for Husserl's thesis that logic needs a theory of experience as a foundation. To show the practicability of his attempt I argue that he is able to (...) avoid the two circles mentioned. Motivated by this investigation the Appendix presents some mathematical doubts concerning the proofs by Cantor of the transfiniteness of the set of real numbers. (shrink)

Husserl and the Logic of Experience includes both detailed work on particular aspects of logical theory (such as an inquiry into the status of the principle of excluded middle) and also detailed investigations into the nature of the logic of temporal conceptions. Demonstrating the cultural import of Husserl's work while also showing its continuing significance for logical theory, this collection is a milestone in the study of transcendental phenomenology.

L’ambition de cet article est de reformuler l’ontologie des propositions proposée par Husserl dans ses Prolegomena zur reinen Logik (1900). Dans cet ouvrage, Husserl affirme que les propositions, auxquelles a trait ce qu’il appelle la “logique pure”, sont des propriétés (des “species”) d’actes, mettons d’actes de jugement. En outre, il considère les propriétés comme circonscrivant toutes leurs instantiations possibles. Sur cette base, on comprend mieux en quel sens la réflexion de Husserl sur la nature de la logique dépend de son (...) ontologie des propositions. Dans cet article, les deux points suivants sont discutés dans cette perspective. D’abord, la structure de son argument négatif contre le psychologisme n’est dans son ensemble correctement comprise que si l’on prend en considération l’ontologie husserlienne des propositions. Cela explique pourquoi la conception de la logique comme une science normative a priori ne satisfait pas Husserl lorsqu’il vise à réfuter le psychologisme. Ensuite, sa conception positive des lois logiques serait aussi rendue plus intelligible par cette théorie. Celle-ci fournit tout ce qui est nécessaire pour réfuter le psychologisme sans renoncer pour autant à une conception globalement aristotélicienne de la logique, que Husserl tient pour indispensable mais qu’il serait particulèrement difficile de maintenir dans le cadre de la conception normative a priori. (shrink)

This explorative article is organized around a set of questions concerning the concept of a function. First, a summary of certain general facts about functions that are a common coin in contemporary logic is given. Then Frege's attempt at clarifying the nature of functions in his famous paper Function and Concept and in his Grundgesetze is discussed along with some questions which Freges' approach gave rise to in the literature. Finally, some characteristic uses of functional notions to be found in (...) the work of Bernard Bolzano and in Edmund Husserl's early work are presented and elucidated. (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)

German translation of Mulligan, Simons and Smith, "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)