Barry Smith, Logic and Formal Ontology (Conclusion)
One indication of the powerful economy of Husserl’s theory is provided by his treatment of the traditional notions of the analytic and the synthetic in terms of the opposition between […]
Tag Archives: formal ontology
Formal Ontology
Logic is not, however, concerned only with meanings and with associated instantiating acts. For even a deductively closed collection of meanings will constitute a science only where we have an […]
“In his work Formale und Transzendentale Logik with its significant subheading “An Attempted Critique of the Logic Reason”, Husserl formulates his final conception of logic. We shall deal here only […]
“An aspect of Bolzano’s influence on Husserl which is well known is the Husserlian definition of analyticity (Simons, 1992, Ch. 15; Benoist, 1997, Ch. 2). In the Third Logical Investigation, […]
“Husserl’s conception of formal ontology is intimately involved with his conceptions both of logic and of what comprises possible objects of theoretical inquiry. He inherited an Aristotelian metaphysical perspective from […]
“THE CONCEPTION OF A PURE LOGIC – Husserl himself freely admitted that this was anything but a new idea. He mentions Kant, Herbart, Lotze, and Leibniz among its proponents and […]
“The term ‘formal ontology’ has been given two different interpretations. The first of these, entirely in keeping with the mainstream of contemporary philosophy, has been what I shall call analytic: […]
Where formal logic relates in the first place to meaning categories such as proposition, concept, subject and predicate, its sister discipline of formal ontology relates to object categories such as object and property, relation and relatum, manifold, part, whole, state of affairs, existence and so on
“Husserl’s work include lengthy treatment of universals, categories, meanings, numbers, manifolds, etc. from an ontological perspective. Here, however, we shall concentrate almost exclusively on the Logical Investigations, which contain in […]
Ontology, in Ingarden’s sense, analyses the necessary structures of possible objects
“Ontology, in Ingarden’s sense, analyses the necessary structures of possible objects: it seeks to establish alternative possible structures of the world, where metaphysics would establish which of these alternatives is […]
the two-level structure of pure logic
But Husserl’s own blueprint shows several original features, among which I shall mention merely what one might call the two-level structure of pure logic. The first level is that of […]
