Logic and formal ontology

Manuscrito 23 (2):275-323 (2000)
  Copy   BIBTEX

Abstract

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism.

Similar books and articles

Is Formal Logic a Kind of Ontology?Ryszard Maciołek - 2008 - Roczniki Filozoficzne 56 (1):191-219.
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
Formal logic and formal ontology in Husserl's phenomenology.Frederick James Crosson - 1962 - Notre Dame Journal of Formal Logic 3 (4):259-269.
Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
Husserl's conception of formal ontology.Roberto Poli - 1993 - History and Philosophy of Logic 14 (1):1-14.
Logic and ontology.Thomas Hofweber - 2005 - Stanford Encyclopedia of Philosophy.

Analytics

Added to PP
2013-07-05

Downloads
376 (#50,689)

6 months
57 (#72,811)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Barry Smith
University at Buffalo

Citations of this work

Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
Toward a Phenomenological Epistemology of Mathematical Logic.Manuel Gustavo Isaac - 2018 - Synthèse: An International Journal for Epistemology, Methodology and Philosophy of Science 195 (2):863-874.

View all 6 citations / Add more citations