Husserl: Philosophy of Logic

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)

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.

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 beginning to be rather well known that Edmund Husserl, the founder of phenomenological philosophy, was originally a mathematician; he studied with Weierstrass and Kronecker in Berlin, wrote his doctoral dissertation on the calculus of variations, and was then a colleague of Cantor in Halle until he moved to the Göttingen of Hilbert and Klein in 1901. Much of Husserl’s writing prior to 1901 was about mathematics, and arguably the origin of phenomenology was in Husserl’s attempts to give philosophical (...) foundations first for analysis and later for the formal sciences in general. However, what exactly Husserl’s thoughts about mathematics were is relatively little known. Stefania Centrone’s book Logic and Philosophy of Mathematics in the Early Husserl fills this lacuna. Centrone deciphers Husserl’s early texts about mathematics and logic somewhat selectively, but also extremely accurately and carefully into lucid English and in terms we know, without however reading contemporary views into Husserl’s views. Her analysis reveals for example that Husserl’s view of logic is close to what is today taught in the standard textbooks and that he viewed abstract mathematics as a theory of structures. Her work also uncovers Husserl’s relationship to the algebraists of logic as well as to Bolzano, Frege, and Hilbert.The book is composed of three rather independent chapters. In contrast to most of the other commentaries on early Husserl, the organization of the book is thematic rather than an attempt to document the various stages in the development of Husserl’s views. The first chapter discusses Husserl’s major work on arithmetic, the second the idea of pure logic, and the last the imaginary in mathematics. (shrink)

In Part II of Husserl’s “great last work,” as the Crisis is sometimes called, we find two passages in which he comments upon what he took to be an important and utter failure on the part of “die modernen Logistiker”—or, as Carr well translates it, “modern mathematical logicians.” At the end of subsection 36 he says.

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)

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)

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)

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)