Abstract
This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.
Similar content being viewed by others
Notes
Quoted from Russell (1901), p. 62.
See Coccharella (2009).
A very accessible introduction may be found in Cocchiarella and Freund (2008).
Cocchiarella (1980).
A type symbol of simple type theory is defined recursively as follows:
-
1.
o is an type symbol.
-
2.
If \( {\text{t}}_{ 1} , \ldots ,{\text{t}}_{n} \) are type symbols, then \( \left( {{\text{t}}_{ 1} , \ldots ,{\text{t}}_{n}} \right) \) is an type symbol.
-
3.
There are no other type symbols.
If F is an n-placed predicate letter and \( \alpha_{1}^{{{\text{ t}}_{1} }} , \ldots , \alpha_{n}^{{{\text{t}}_{n} }} \) are terms, then \( {\text{F}}^{{\left( {{\text{t}}_{1} , \ldots ,{\text{t}}_{n} } \right)}} \left( {\alpha_{1}^{{{\text{ t}}_{1} }} , \ldots , \alpha_{n}^{{{\text{t}}_{n} }} } \right) \) is an atomic well-formed formula of the simple-type stratified language. The well-formed formulas are then the smallest set K containing the atomic formulas and such that \( \varphi \to \psi \), \( \neg \varphi \), and \( \left( {\forall x^{\text{t}} } \right)\varphi \) are in K if φ and ψ are in K.
-
1.
In Cocchiarella’s HST*λ, the principle of λ-conversion is accordingly restricted.
Cocchiarella (1986).
Frege uses the sign “x ∩ y”.
A sister theory is the free logic of Cocchiarella’s HST*λ. This allows the formulation of concepts that are not homogeneously stratified. Paradox is blocked by employing the free logic of the theory to treat such singular predicate terms as non-referential.
What Cocchiarella calls “Va” is actually “Vb”.
References
Bozon S (2004) Why HST* and HST* do not solve the Russell-Myhill paradox after all. Proceedings of the Nineth ESSLI Student Session
Church A (1984) Russell’s theory of the identity of propositions. Philos Nat 21:513–522
Cocchiarella NB (1980/1987) The development of the theory of logical types and the notion of a logical subject in Russell’s early philosophy. In: Logical studies in Early analytic philosophy. Ohio State University Press, Columbus
Cocchiarella NB (1986) Frege, Russell and logicism: a logical reconstruction. In: Haaparanta L, Hintikka J (eds) Frege synthesized: essays on the philosophical and foundational work of Gottlob Frege. D. Reidel Pub. Co, Dordrecht, pp 197–252
Cocchiarella NB (2000) Russell’s paradox of the totality of propositions. Notre Dame J Philos Logic 5:25–37
Cocchiarella NB (2007) Formal ontology and conceptual realism. Springer, Dordrecht
Cocchiarella NB (2009) Mass nouns in a logic of classes and many. J Philos Logic, forthcoming
Cocchiarella N, Freund M (2008) Modal logic: an introduction to its syntax and semantics. Oxford
Frege G (1893) Grundgesetze der Arithmetik, (vol 1, Jena), vol 2 (1903). Reprinted Darmstadt and Hildesheim, 1962
Orilia F (1996) A contingent russellian paradox. Notre Dame J Formal Logic 37:105–111
Quine WVO (1937/1964) New foundations for mathematical logic. In: From a logical point of view. Harvard University Press, pp 80–101
Russell B (1901/1976) Mathematics and the metaphysicians. In: Mysticism and logic. Barnes and Nobel, New Jersey
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Landini, G. Cocchiarella’s Formal Ontology and the Paradoxes of Hyperintensionality. Axiomathes 19, 115–142 (2009). https://doi.org/10.1007/s10516-009-9062-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-009-9062-7