Logic and formal ontology

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

Barry Smith
State University of New York, Buffalo
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.
Keywords formal ontology  a priori structures  dependence relations
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 1984 - Philosophy and Phenomenological Research 44 (3):287-321.
Fiat Objects.Barry Smith - 2001 - Topoi 20 (2):131-148.
Perception.Kevin Mulligan - 1995 - In David Woodruff Smith & Barry Smith (eds.), The Cambridge Companion to Husserl. Cambridge University Press.

View all 17 references / Add more references

Citations of this work BETA

Add more citations

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 - 2008 - Stanford Encyclopedia of Philosophy.


Added to PP index

Total views
151 ( #51,098 of 2,271,259 )

Recent downloads (6 months)
17 ( #47,988 of 2,271,259 )

How can I increase my downloads?


My notes

Sign in to use this feature