98 found
Order:
Disambiguations
Nino Cocchiarella [56]Nino B. Cocchiarella [44]
See also
Nino Cocchiarella
Indiana University, Bloomington
  1.  19
    Situations and Attitudes.Nino B. Cocchiarella - 1983 - Journal of Symbolic Logic 51 (2):470.
  2. Logical Studies in Early Analytic Philosophy.Nino Cocchiarella - 1987
     
    Export citation  
     
    Bookmark   22 citations  
  3.  96
    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   6 citations  
  4.  65
    Prior Arthur N.. Changes in Events and Changes in Things. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 1–14. Prior Arthur N.. On Spurious Egocentricity. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 15–25. , Pp. 326–335.)Prior Arthur N.. The Formalities of Omniscience. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 26–44. , Pp. 114–129.)Prior Arthur N.. Contemplation and Action. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 45–50.Prior Arthur N.. The Consequences of Actions. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 51–58. Prior Arthur N.. Limited Indeterminism. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 1968, Pp. 59–65. , Pp. 55–61.)Prior Arthur N.. Identifiable Individuals. Papers on Time and Tense, by Prior Arthur N., Oxford at the Clarendon Press 19. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (3):515-518.
  5.  36
    Meinong Reconstructed Versus Early Russell Reconstructed.Nino Cocchiarella - 1982 - Journal of Philosophical Logic 11 (2):183 - 214.
  6. 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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  69
    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 (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  8. Properties as Individuals in Formal Ontology.Nino B. Cocchiarella - 1972 - Noûs 6 (2):165-187.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9. 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   5 citations  
  10.  60
    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.
  11. 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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  72
    On the Primary and Secondary Semantics of Logical Necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.
  13. Formal Ontology.Nino Cocchiarella - 1991 - In Hans Burkhardt & Barry Smith (eds.), Handbook of Metaphysics and Ontology. Philosophia Verlag. pp. 640--647.
     
    Export citation  
     
    Bookmark   13 citations  
  14. Logical Investigations of Predication Theory and the Problem of Universals.Nino B. Cocchiarella - 1990 - Linguistics and Philosophy 13 (2):265-271.
     
    Export citation  
     
    Bookmark   13 citations  
  15.  36
    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  
     
    Bookmark   3 citations  
  16.  82
    Conceptualism, Realism, and Intensional Logic.Nino B. Cocchiarella - 1989 - Topoi 8 (1):15-34.
  17.  11
    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  
     
    Bookmark   13 citations  
  18. 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  
     
    Bookmark   8 citations  
  19.  16
    Logical Studies in Early Analytic Philosophy.Harold Levin & Nino B. Cocchiarella - 1991 - Journal of Symbolic Logic 56 (3):1105.
  20.  30
    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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  64
    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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  69
    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   5 citations  
  23.  20
    On the Logic of Nominalized Predicates and its Philosophical Interpretations.Nino Cocchiarella - 1978 - Erkenntnis 13 (1):339 - 369.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24. Sortals, natural kinds and re-identification.Nino Cocchiarella - 1977 - Logique Et Analyse 20 (80):439.
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  25.  23
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  29
    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  
     
    Bookmark   4 citations  
  27.  50
    A Completeness Theorem in Second Order Modal Logic.Nino B. Cocchiarella - 1969 - Theoria 35 (2):81-103.
  28.  86
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  74
    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  
  30. 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 (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  17
    Peter Øhrstrøm and Per Hasle. A. N. Prior's Rediscovery of Tense Logic. Erkenntnis, Vol. 39 , Pp. 23–50.Nino Cocchiarella - 1995 - Journal of Symbolic Logic 60 (1):347-348.
  32.  16
    James E. Tomberlin. The Sea Battle Tomorrow and Fatalism. Philosophy and Phenomenological Research, Vol. 31 No. 3 , Pp. 352–357. [REVIEW]Nino Cocchiarella - 1975 - Journal of Symbolic Logic 40 (2):254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  14
    The Theory of Homogeneous Simple Types as a Second-Order Logic.Nino Cocchiarella - 1979 - Notre Dame Journal of Formal Logic 20 (3):505-524.
  34.  3
    The Logic of Significance and Context.Nino B. Cocchiarella - 1984 - Journal of Symbolic Logic 49 (4):1413-1415.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  68
    Predication Versus Membership in the Distinction Between Logic as Language and Logic as Calculus.Nino Cocchiarella - 1988 - Synthese 77 (1):37 - 72.
  36.  52
    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  
     
    Bookmark   1 citation  
  37.  62
    Conceptualism, Ramified Logic, and Nominalized Predicates.Nino B. Cocchiarella - 1986 - Topoi 5 (1):75-87.
  38.  42
    Existence Entailing Attributes, Modes of Copulation and Modes of Being in Second Order Logic.Nino B. Cocchiarella - 1969 - Noûs 3 (1):33-48.
  39.  13
    David Randall Luce. A Calculus of ‘Before.’ Theoria , Vol. 32 , Pp. 25-44.Nino B. Cocchiarella - 1969 - Journal of Symbolic Logic 34 (4):646-647.
  40.  13
    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  
  41.  66
    A Second Order Logic of Existence.Nino B. Cocchiarella - 1969 - Journal of Symbolic Logic 34 (1):57-69.
  42.  63
    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  
  43.  32
    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   5 citations  
  44.  7
    Philosophical Perspectives on Formal Theories of Predication.Nino Cocchiarella - 1989 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Kluwer Academic Publishers. pp. 253--326.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  45
    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   1 citation  
  46.  6
    Quality and Concept.Nino B. Cocchiarella - 1985 - Journal of Symbolic Logic 50 (2):554-556.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  10
    Bull R. A.. An Algebraic Study of Tense Logics with Linear Time.Nino B. Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173.
  48.  10
    James E. Tomberlin. Existence Attributes: A Second Look. The Review of Metaphysics, Vol. 24 No. 4 , Pp. 737–738.Nino Cocchiarella - 1975 - Journal of Symbolic Logic 40 (2):253-254.
  49.  31
    Nino B. Cocchiarella, Reviewed Work: Realistic Rationalism by Jerrold J. Katz. [REVIEW]Nino Cocchiarella - 2000 - Philosophy of Science 67 (2):341-343.
  50.  9
    R. A. Bull. An Approach to Tense Logic. Theoria, Vol. 36 , Pp. 282–300.Nino Cocchiarella - 1974 - Journal of Symbolic Logic 39 (1):173.
1 — 50 / 98