We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is (...) formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. (shrink)

A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.

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 (...) that anextended form of conceptual realism provides themost coherent formal ontology and, as such, canbe used to defend the view of logic as language. (shrink)

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. (...) Names, proper or common, and simple or complex, occur as parts of quantifier phrases, which in conceptual realism stand for referential concepts, i.e., cognitive capacities that inform our speech and mental acts with a referential nature and account for the intentionality, or directedness, of those acts. In Russell’s theory, quantifier phrases express denoting concepts (which do not include proper names). In conceptual realism, names, as well as predicates, can be nominalized and allowed to occur as "singular terms", i.e., as arguments of predicates. Occurring as a singular term, a name denotes, if it denotes at all, a class as many, where, as in Russell’s theory, a class as many of one object is identical with that one object, and a class as many of more than one object is a plurality, i.e., a plural object that we call a group. Also, as in Russell’s theory, there is no empty class as many. When nominalized, proper names function as "singular terms" just the way they do in so-called free logic. Leśniewski’s ontology, which is also called a logic of names can be completely interpreted within this conceptualist framework, and the well-known oddities of Leśniewski’s system are shown not to be odd at all when his system is so interpreted. Finally, we show how the pluralities, or groups, of the logic of classes as many can be used as the semantic basis of plural reference and predication. We explain in this way Russell’s "fundamental doctrine upon which all rests", i.e., "the doctrine that the subject of a proposition may be plural, and that such plural subjects are what is meant by classes [as many] which have more than one term" (Russell 1938, p. 517). (shrink)

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.