99 found
Order:
Disambiguations
Nino Cocchiarella [76]Nino B. Cocchiarella [25]
See also
Nino Cocchiarella
Indiana University, Bloomington
  1.  2
    Situations and Attitudes.Nino B. Cocchiarella, Jon Barwise & John Perry - 1983 - Journal of Symbolic Logic 51 (2):470.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   30 citations  
  2.  23
    Logical Investigations of Predication Theory and the Problem of Universals.Nino Cocchiarella - 1991 - Noûs 25 (2):221-230.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  3.  88
    Mass Nouns in a Logic of Classes as Many.Nino 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 (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4. Logical Studies in Early Analytic Philosophy.Nino Cocchiarella - 1987
     
    Export citation  
     
    My bibliography   12 citations  
  5.  33
    Modal Logic: An Introduction to its Syntax and Semantics.Cocchiarella Nino & A. Freund Ma - 2008 - Oxford University Press.
    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  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  70
    Logic and Ontology.Nino 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 (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  7.  55
    The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy.Nino Cocchiarella - 1980 - Synthese 45 (1):71 - 115.
    Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed to existing (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  8.  54
    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.
  9.  32
    Meinong Reconstructed Versus Early Russell Reconstructed.Nino Cocchiarella - 1982 - Journal of Philosophical Logic 11 (2):183 - 214.
  10. Properties as Individuals in Formal Ontology.Nino B. Cocchiarella - 1972 - Noûs 6 (2):165-187.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  11.  53
    On the Primary and Secondary Semantics of Logical Necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.
  12. On the Logic of Natural Kinds.Nino Cocchiarella - 1976 - Philosophy of Science 43 (2):202-222.
    A minimal second order modal logic of natural kinds is formulated. Concepts are distinguished from properties and relations in the conceptual-logistic background of the logic through a distinction between free and bound predicate variables. Not all concepts (as indicated by free predicate variables) need have a property or relation corresponding to them (as values of bound predicate variables). Issues pertaining to identity and existence as impredicative concepts are examined and an analysis of mass terms as nominalized predicates for kinds of (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  13.  88
    Denoting Concepts, Reference, and the Logic of Names, Classes as Many, Groups, and Plurals.Nino 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 (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  14.  48
    On the Logic of Classes as Many.Nino 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 (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  15.  53
    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 (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  75
    Conceptualism, Realism, and Intensional Logic.Nino B. Cocchiarella - 1989 - Topoi 8 (1):15-34.
  17.  21
    A Conceptualist Interpretation of Lesniewski's Ontology.Nino 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 (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  48
    Reference in Conceptual Realism.Nino 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 (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  19. Formal Ontology.Nino Cocchiarella - 1991 - In Hans Burkhardt & Barry Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia Verlag. pp. 640--647.
     
    Export citation  
     
    My bibliography   7 citations  
  20. Sortals, natural kinds and re-identification.Nino Cocchiarella - 1977 - Logique Et Analyse 20 (80):439.
    Translate
     
     
    Export citation  
     
    My bibliography   7 citations  
  21.  17
    On the Logic of Nominalized Predicates and its Philosophical Interpretations.Nino Cocchiarella - 1978 - Erkenntnis 13 (1):339 - 369.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  22.  11
    The Theory of Homogeneous Simple Types as a Second-Order Logic.Nino Cocchiarella - 1979 - Notre Dame Journal of Formal Logic 20 (3):505-524.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  23.  43
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  89
    Logical Atomism, Nominalism, and Modal Logic.Nino Cocchiarella - 1975 - Synthese 31 (1):23 - 62.
    While operators for logical necessity and possibility represent "internal" conditions of propositions (or of their corresponding states of affairs), These conditions will be "formal", As is required by logical atomism, And not "material" in content if from the (pseudo) semantical point of view the modal operators range over "all the possible worlds" of a logical space rather than over arbitrary non-Empty sets of worlds (as is usually done in modal logic). Some of the implications of this requirement are noted and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  25.  7
    Frege, Russell and Logicism: A Logical Reconstruction.Nino Cocchiarella - 1986 - In L. Haaparanta & J. Hintikka (eds.), Frege Synthesized. D. Reidel Publishing Co.. pp. 197--252.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  26.  56
    Conceptualism, Ramified Logic, and Nominalized Predicates.Nino B. Cocchiarella - 1986 - Topoi 5 (1):75-87.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  27.  48
    A Completeness Theorem in Second Order Modal Logic.Nino Cocchiarella - 1969 - Theoria 35 (2):81-103.
  28.  17
    A Logical Reconstruction of Medieval Terminist Logic in Conceptual Realism.Nino Cocchiarella - 2001 - Logical Analysis and History of Philosophy 4:35-72.
    The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified intensional (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  31
    Existence Entailing Attributes, Modes of Copulation and Modes of Being in Second Order Logic.Nino B. Cocchiarella - 1969 - Noûs 3 (1):33-48.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  30.  41
    Reply to Gregory Landini's Review of Formal Ontology and Conceptual Realism.Nino Cocchiarella - 2009 - Axiomathes 19 (2):143-153.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  43
    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  
     
    My bibliography   4 citations  
  32.  60
    A Second Order Logic of Existence.Nino Cocchiarella - 1969 - Journal of Symbolic Logic 34 (1):57-69.
  33. Liste der Autoren List of Contributors.Jose L. Bermiidez, Nino Cocchiarella, Dirk Greimann, Leila Haaparanta, Ludger Jansen, Dale Jacquette, Reinhard Kahle, Franz von Kutschera, Wolfgang Neuser & Priv Doz Dr Christof Rapp - 2001 - Logical Analysis and History of Philosophy 4:239.
    No categories
     
    Export citation  
     
    My bibliography   2 citations  
  34.  59
    Predication Versus Membership in the Distinction Between Logic as Language and Logic as Calculus.Nino Cocchiarella - 1988 - Synthese 77 (1):37 - 72.
  35.  55
    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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  21
    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  
     
    My bibliography   3 citations  
  37.  65
    Predication in Conceptual Realism.Nino 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  38.  29
    Two Views of the Logic of Plurals and a Reduction of One to the Other.Nino 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  27
    Book Review: Stewart Shapiro. Foundations with Foundationalism. [REVIEW]Nino Cocchiarella - 1993 - Notre Dame Journal of Formal Logic 34 (3):453-468.
  40.  13
    Two Lambda-Extensions of the Theory of Homogeneous Simple Types as a Second-Order Logic.Nino Cocchiarella - 1985 - Notre Dame Journal of Formal Logic 26 (4):377-407.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  41.  66
    Infinity in Ontology and Mind.Nino 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 (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  45
    Logical Atomism and Modal Logic.Nino 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  15
    Nominalism and Conceptualism as Predicative Second-Order Theories of Predication.Nino Cocchiarella - 1980 - Notre Dame Journal of Formal Logic 21 (3):481-500.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  44.  40
    Review of Uwe Meixner, Modelling Metaphysics: The Metaphysics of a Model[REVIEW]Nino Cocchiarella - 2010 - Notre Dame Philosophical Reviews 2010 (5).
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  45.  6
    Fregean Semantics for a Realist Ontology.Nino Cocchiarella - 1974 - Notre Dame Journal of Formal Logic 15 (4):552-568.
  46.  19
    Conceptual Realism and the Nexus of Predication.Nino Cocchiarella - 2003 - Metalogicon 16 (2):45-70.
    The nexus of predication is accounted for in different ways in different theories of universals. We briefly review the account given in nominalism, logical realism , and natural realism. Our main goal is to describe the account given in a modern form of conceptualism extended to include a theory of intensional objects as the contents of our predicable and referential concepts.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47. Conceptual Realism as a Theory of Logical Form.Nino Cocchiarella - 1997 - Revue Internationale de Philosophie 51 (200):175-199.
     
    Export citation  
     
    My bibliography   1 citation  
  48.  17
    Deviant Logic.Nino Cocchiarella - 1976 - International Studies in Philosophy 8:198-199.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  49. A New Formulation of Predicative Second Order Logic'.Nino Cocchiarella - 1974 - Logique Et Analyse 65 (66):61-87.
     
    Export citation  
     
    My bibliography   2 citations  
  50.  17
    Actualism Versus Possibilism in Formal Ontology.Nino Cocchiarella - 2010 - In Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives. Springer Verlag. pp. 105--117.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 99