47 found
Order:
Disambiguations
Nino B. Cocchiarella [51]Nino Barnabas Cocchiarella [4]
  1.  41
    Situations and Attitudes.Nino B. Cocchiarella - 1983 - Journal of Symbolic Logic 51 (2):470.
  2.  11
    Logical Studies in Early Analytic Philosophy.Nino B. Cocchiarella - 1987 - Columbus, OH, USA: Ohio State University Press.
  3. Logical Investigations of Predication Theory and the Problem of Universals.Nino B. Cocchiarella - 1990 - Linguistics and Philosophy 13 (2):265-271.
     
    Export citation  
     
    Bookmark   27 citations  
  4. Frege's double correlation thesis and Quine's set theories NF and ML.Nino B. Cocchiarella - 1985 - Journal of Philosophical Logic 14 (1):1 - 39.
  5. Conceptualism, Realism, and Intensional Logic.Nino B. Cocchiarella - 1989 - Topoi 8 (1):15-34.
  6. Properties as individuals in formal ontology.Nino B. Cocchiarella - 1972 - Noûs 6 (2):165-187.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  7. Logic and Ontology.Nino B. Cocchiarella - 2001 - Axiomathes 12 (1-2):117-150.
    A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of theirrespective explanatory powers. After a briefsurvey of such a comparison, we argue (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8. Modal logic. An introduction to its syntax and semantics.Nino B. Cocchiarella & Max A. Freund - 2010 - Bulletin of Symbolic Logic 16 (2):275-276.
  9.  71
    A completeness theorem in second order modal logic.Nino B. Cocchiarella - 1969 - Theoria 35 (2):81-103.
  10.  20
    Logical Studies in Early Analytic Philosophy.Harold Levin & Nino B. Cocchiarella - 1991 - Journal of Symbolic Logic 56 (3):1105.
  11.  61
    Mass Nouns in a Logic of Classes as Many.Nino B. Cocchiarella - 2009 - Journal of Philosophical Logic 38 (3):343-361.
    A semantic analysis of mass nouns is given in terms of a logic of classes as many. In previous work it was shown that plural reference and predication for count nouns can be interpreted within this logic of classes as many in terms of the subclasses of the classes that are the extensions of those count nouns. A brief review of that account of plurals is given here and it is then shown how the same kind of interpretation can also (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Reference in Conceptual Realism.Nino B. Cocchiarella - 1998 - Synthese 114 (2):169-202.
    A conceptual theory of the referential and predicable concepts used in basic speech and mental acts is described in which singular and general, complex and simple, and pronominal and nonpronominal, referential concepts are given a uniform account. The theory includes an intensional realism in which the intensional contents of predicable and referential concepts are represented through nominalized forms of the predicate and quantifier phrases that stand for those concepts. A central part of the theory distinguishes between active and deactivated referential (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  13.  54
    Modal logic: an introduction to its syntax and semantics.Nino Barnabas Cocchiarella & Max A. Freund - 2008 - New York: Oxford University Press. Edited by Max A. Freund.
    In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14. On the logic of classes as many.Nino B. Cocchiarella - 2002 - Studia Logica 70 (3):303-338.
    The notion of a "class as many" was central to Bertrand Russell''s early form of logicism in his 1903 Principles of Mathematics. There is no empty class in this sense, and the singleton of an urelement (or atom in our reconstruction) is identical with that urelement. Also, classes with more than one member are merely pluralities — or what are sometimes called "plural objects" — and cannot as such be themselves members of classes. Russell did not formally develop this notion (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15.  66
    A conceptualist interpretation of Lesniewski's ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
    A first-order formulation of Leśniewski's ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Leśniewski's ontology is decidable.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  75
    Existence entailing attributes, modes of copulation and modes of being in second order logic.Nino B. Cocchiarella - 1969 - Noûs 3 (1):33-48.
  17.  32
    The theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1979 - Notre Dame Journal of Formal Logic 20 (3):505-524.
  18. Denoting concepts, reference, and the logic of names, classes as many, groups, and plurals.Nino B. Cocchiarella - 2005 - Linguistics and Philosophy 28 (2):135 - 179.
    Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple common names. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  95
    A second order logic of existence.Nino B. Cocchiarella - 1969 - Journal of Symbolic Logic 34 (1):57-69.
  20.  61
    Second-order theories of predication: Old and new foundations.Nino B. Cocchiarella - 1975 - Noûs 9 (1):33-53.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  93
    Russell's paradox of the totality of propositions.Nino B. Cocchiarella - 2000 - Nordic Journal of Philosophical Logic 5 (1):25-37.
    Russell's "new contradiction" about "the totality of propositions" has been connected with a number of modal paradoxes. M. Oksanen has recently shown how these modal paradoxes are resolved in the set theory NFU. Russell's paradox of the totality of propositions was left unexplained, however. We reconstruct Russell's argument and explain how it is resolved in two intensional logics that are equiconsistent with NFU. We also show how different notions of possible worlds are represented in these intensional logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  87
    Conceptualism, ramified logic, and nominalized predicates.Nino B. Cocchiarella - 1986 - Topoi 5 (1):75-87.
  23. Predication in Conceptual Realism.Nino B. Cocchiarella - 2013 - Axiomathes 23 (2):301-321.
    Conceptual realism begins with a conceptualist theory of the nexus of predication in our speech and mental acts, a theory that explains the unity of those acts in terms of their referential and predicable aspects. This theory also contains as an integral part an intensional realism based on predicate nominalization and a reflexive abstraction in which the intensional contents of our concepts are “object”-ified, and by which an analysis of predication with intensional verbs can be given. Through a second nominalization (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  30
    (2 other versions)Quality and Concept.Nino B. Cocchiarella - 1985 - Journal of Symbolic Logic 50 (2):554-556.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Conceptual realism versus Quine on classes and higher-order logic.Nino B. Cocchiarella - 1992 - Synthese 90 (3):379 - 436.
    The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote as singular (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  75
    Reply to Gregory Landini’s Review of Formal Ontology and Conceptual Realism.Nino B. Cocchiarella - 2009 - Axiomathes 19 (2):143-153.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  92
    Some remarks on second order logic with existence attributes.Nino B. Cocchiarella - 1968 - Noûs 2 (2):165-175.
    Some internal and philosophical remarks are made regarding a system of a second order logic of existence axiomatized by the author. Attributes are distinguished in the system according as their possession entails existence or not, The former being called e-Attributes. Some discussion of the special principles assumed for e-Attributes is given as well as of the two notions of identity resulting from such a distinction among attributes. Non-Existing objects are of course indiscernible in terms of e-Attributes. In addition, However, Existing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  33
    Two Lambda-extensions of the theory of homogeneous simple types as a second-order logic.Nino B. Cocchiarella - 1985 - Notre Dame Journal of Formal Logic 26 (4):377-407.
  29.  97
    Logical atomism and modal logic.Nino B. Cocchiarella - 1974 - Philosophia 4 (1):41-66.
    A propositional logic with modal operators for logical necessity and possibility is formulated as a formal ontology for logical atomism (with negative facts). It is shown that such modal operators represent purely formal, Internal 'properties' of propositions if and only if the notion of 'all possible worlds' has its standard and not the secondary interpretation which it is usually given (as, E.G., In kripke model-Structures). Allowing arbitrary restrictions on the notion of 'all possible worlds', At least in such a framework (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  57
    Two Views of the Logic of Plurals and a Reduction of One to the Other.Nino B. Cocchiarella - 2015 - Studia Logica 103 (4):757-780.
    There are different views of the logic of plurals that are now in circulation, two of which we will compare in this paper. One of these is based on a two-place relation of being among, as in ‘Peter is among the juveniles arrested’. This approach seems to be the one that is discussed the most in philosophical journals today. The other is based on Bertrand Russell’s early notion of a class as many, by which is meant not a class as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  38
    (1 other version)A Note on the Definition of Identity in Quine's New Foundations.Nino B. Cocchiarella - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):195-197.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  21
    Continuity and Change in the Development of Russell's Philosophy.Nino B. Cocchiarella - 1997 - Journal of the History of Philosophy 35 (1):150-151.
  33.  21
    (1 other version)David Randall Luce. A calculus of ‘before.’ Theoria (Lund), vol. 32 (1966), pp. 25-44.Nino B. Cocchiarella - 1970 - Journal of Symbolic Logic 34 (4):646-647.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Infinity in ontology and mind.Nino B. Cocchiarella - 2008 - Axiomathes 18 (1):1-24.
    Two fundamental categories of any ontology are the category of objects and the category of universals. We discuss the question whether either of these categories can be infinite or not. In the category of objects, the subcategory of physical objects is examined within the context of different cosmological theories regarding the different kinds of fundamental objects in the universe. Abstract objects are discussed in terms of sets and the intensional objects of conceptual realism. The category of universals is discussed in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  24
    Representing Intentional Objects in Conceptual Realism.Nino B. Cocchiarella - 2013 - Humana Mente 6 (25).
    In this paper we explain how the intentional objects of our mental states can be represented by the intensional objects of conceptual realism. We first briefly examine and show how Brentano’s actualist theory of judgment and his notion of an immanent object have a clear and natural representation in our conceptualist logic of names. We then briefly critically examine Meinong’s theory of objects before turning finally to our own representation of intentional objects in terms of the intensional objects of conceptual (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  47
    Reply to Andriy Vasylchenko’s Review of Formal Ontology and Conceptual Realism.Nino B. Cocchiarella - 2009 - Axiomathes 19 (2):167-178.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37.  41
    A substitution free axiom set for second order logic.Nino B. Cocchiarella - 1969 - Notre Dame Journal of Formal Logic 10 (1):18-30.
  38.  44
    Formal Number Theory and Compatibility. [REVIEW]Nino B. Cocchiarella - 1984 - Teaching Philosophy 7 (4):361-362.
  39.  35
    Introduction to the Philosophy of Mathematics. [REVIEW]Nino B. Cocchiarella - 1982 - Teaching Philosophy 5 (1):69-72.
  40.  28
    Jon Barwise and John Perry. Situations and attitudes. Bradford books. The MIT Press, Cambridge, Mass., and London, 1983, xxii + 352 pp. [REVIEW]Nino B. Cocchiarella - 1986 - Journal of Symbolic Logic 51 (2):470-472.
  41.  16
    (2 other versions)Leonard Goddard and Richard Routley. The logic of significance and context. Volume 1. Scottish Academic Press, Edinburgh and London1973, and Halsted Press, New York 1974, xi + 641 pp. [REVIEW]Nino B. Cocchiarella - 1984 - Journal of Symbolic Logic 49 (4):1413-1415.
  42.  19
    Nino B. Cocchiarella, Reviewed work: Realistic Rationalism by Jerrold J. Katz. [REVIEW]Nino B. Cocchiarella - 2000 - Philosophy of Science 67 (2):341-343.
  43.  20
    Bull R. A.. An algebraic study of tense logics with linear time. [REVIEW]Nino B. Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173.
  44.  31
    Realism, Mathematics and Modality. [REVIEW]Nino B. Cocchiarella - 1992 - International Studies in Philosophy 24 (3):139-141.
  45.  30
    (1 other version)Richard M. Gale. The language of time. Routledge & Kegan Paul, London, and Humanities Press, New York, 1968, viii + 248 pp. [REVIEW]Nino B. Cocchiarella - 1972 - Journal of Symbolic Logic 37 (1):170-172.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  25
    Science Without Numbers. [REVIEW]Nino B. Cocchiarella - 1984 - International Studies in Philosophy 16 (1):93-95.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  48
    Book Review: Stewart Shapiro. Foundations with foundationalism. [REVIEW]Nino B. Cocchiarella - 1993 - Notre Dame Journal of Formal Logic 34 (3):453-468.