Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

Suppose that two competing norms, N1 and N2, can be identified such that a given person’s response can be interpreted as correct according to N1 but incorrect according to N2. Which of these two norms, if any, should one use to interpret such a response? In this paper we seek to address this fundamental problem by studying individual variation in the interpretation of conditionals by establishing individual profiles of the participants based on their case judgments and reflective attitudes. To investigate (...) the participants’ reflective attitudes we introduce a new experimental paradigm called the Scorekeeping Task. As a case study, we identify the participants who follow the Suppositional Theory of conditionals (N1) versus Inferentialism (N2) and investigate to what extent internally consistent competence models can be reconstructed for the participants on this basis. After extensive empirical investigations, an apparent reasoning error with and-to-if inferences was found in one of these two groups. The implications of this case study for debates on the proper role of normative considerations in psychology are discussed. (shrink)

The authors outline a theory of conditionals of the form If A then C and If A then possibly C. The 2 sorts of conditional have separate core meanings that refer to sets of possibilities. Knowledge, pragmatics, and semantics can modulate these meanings. Modulation can add information about temporal and other relations between antecedent and consequent. It can also prevent the construction of possibilities to yield 10 distinct sets of possibilities to which conditionals can refer. The mental representation of a (...) conditional normally makes explicit only the possibilities in which its antecedent is true, yielding other possibilities implicitly. Reasoners tend to focus on the explicit possibilities. The theory predicts the major phenomena of understanding and reasoning with conditionals. (shrink)

Literacy, specifically the use of writing for rational purposes, adds a new dimension to the traditional problem of the relation between language, thought and rationality. Central to rational thought are the logical relations expressed by such terms as “is”, “or”, “and” and “not”. Whereas some see these concepts as fundamental and innate, it is here argued that such terms exhibit a diverse range of uses in speech and thought but through literacy and education they become explicit objects of thought and (...) formalized or ‘normed’ into logical operators as part of a literate rationality. This more formal orientation to language is seen as metarepresentational and may be shown to have both an historical and a developmental trajectory. (shrink)

A theory of conceptual development must provide an account of the innate representational repertoire, must characterize how these initial representations differ from the adult state, and must provide an account of the processes that transform the initial into mature representations. In Carey, 2009 (The Origin of Concepts), I defend three theses: 1) the initial state includes rich conceptual representations, 2) nonetheless, there are radical discontinuities between early and later developing conceptual systems, 3) Quinean bootstrapping is one learning mechanism that underlies (...) the creation of new representational resources, enabling such discontinuity. I also claim that the theory of conceptual development developed in The Origin of Concepts addresses two of Fodor's challenges to cognitive science; namely, to show how learning could possibly lead to an increase in expressive power and to defeat Mad Dog Nativism, the thesis that all concepts lexicalized as mono-morphemic words are innate. A recent article by Georges Rey (Mind & Language, 29.2, 2014) argues that my responses to Fodor's challenges fail, because, he says, I fail to distinguish concept possession from manifestation and I do not confront Goodman's new riddle of induction. My response is to show that, and how, new primitives in a language of thought can be learned, that there are easy routes and hard ones to doing so, and that characterizing the learning mechanisms involved is the key to understanding both concept possession and constraints on induction. (shrink)

‘Psychological structures may be shown to grow and differentiate throughout life. Correspondingly, the brain has a much more lengthy and involved development than any other mechanism of the body. We know little yet of how this uniquely complex process is determined, but it is certain that the principles of embryogenesis apply in all growth, including psychological growth, and not just to the morphogenesis of the body of the embryo.’.

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the (...) view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

A theory of conceptual development must specify the innate representational primitives, must characterize the ways in which the initial state differs from the adult state, and must characterize the processes through which one is transformed into the other. The Origin of Concepts (henceforth TOOC) defends three theses. With respect to the initial state, the innate stock of primitives is not limited to sensory, perceptual, or sensorimotor representations; rather, there are also innate conceptual representations. With respect to developmental change, conceptual development (...) consists of episodes of qualitative change, resulting in systems of representation that are more powerful than, and sometimes incommensurable with, those from which they are built. With respect to a learning mechanism that achieves conceptual discontinuity, I offer Quinian bootstrapping. TOOC concludes with a discussion of how an understanding of conceptual development constrains a theory of concepts. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

A survey of innateness in cognitive science, focusing on (1) what innateness might be, and (2) whether concepts might be innate.

With respect to questions of fact, people use heuristics – mental short-cuts, or rules of thumb, that generally work well, but that also lead to systematic errors. People use moral heuristics too – moral short-cuts, or rules of thumb, that lead to mistaken and even absurd moral judgments. These judgments are highly relevant not only to morality, but to law and politics as well. Examples are given from a number of domains, including risk regulation, punishment, reproduction and sexuality, and the (...) act/omission distinction. In all of these contexts, rapid, intuitive judgments make a great deal of sense, but sometimes produce moral mistakes that are replicated in law and policy. One implication is that moral assessments ought not to be made by appealing to intuitions about exotic cases and problems; those intuitions are particularly unlikely to be reliable. Another implication is that some deeply held moral judgments are unsound if they are products of moral heuristics. The idea of error-prone heuristics is especially controversial in the moral domain, where agreement on the correct answer may be hard to elicit; but in many contexts, heuristics are at work and they do real damage. Moral framing effects, including those in the context of obligations to future generations, are also discussed. (shrink)

Although our concepts of “Mama,” “milk,” and “mice” have much in common, the suggestion that they are identical in structure in the mind of the prelinguistic child is mistaken. Even infants think about objects as different from substances and appreciate the distinction between kinds (e.g., mice) and individuals (e.g., Mama). Such cognitive capacities exist in other animals as well, and have important adaptive consequences.

Epistemology has recently witnessed a number of efforts to rehabilitate rationalism, to defend the existence and importance of a priori knowledge or warrant construed as the product of rational insight or apprehension (Bealer 1987; Bigelow 1992; BonJour 1992, 1998; Burge 1998; Butchvarov 1970; Katz 1998; Plantinga 1993). This effort has sometimes been coupled with an attack on naturalistic epistemology, especially in BonJour 1994 and Katz 1998. Such coupling is not surprising, because naturalistic epistemology is often associated with thoroughgoing empiricism and (...) the rejection of the a priori. In this paper, however, I shall present a conception of naturalistic epistemology that is entirely compatible with a priori justification or knowledge. The resulting conception, I claim, gives us a better appreciation of the respective merits of the rational and the empirical, as well as a better understanding of how moderate epistemological naturalism comports, at least in principle, with moderate rationalism. This paper defends moderate rationalism; but it does not defend everything rationalists have often wanted, only what it is reasonable to grant them. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

This paper will discuss the origin of the human mind, and the qualitative discontinuity between human and animal cognition. We locate the source of this discontinuity within the language faculty, and thus take the origin of the mind to depend on the origin of the language faculty. We will look at one such proposal put forward by Hauser et al. (Science 298:1569-1579, 2002), which takes the evolution of a Merge trait (recursion) to solely explain the differences between human and animal (...) cognition. We argue that the Merge-only hypothesis fails to account for various aspects of the human mind. Instead we propose that the process of lexicalisation is also unique to humans, and that this process is key to explaining the vast qualitative differences. We will argue that lexicalisation is a process through which concepts are reformatted to be able to take on semantic features and to take part in grammatical relations. These are both necessary conditions for a grammatical mind and the increased ability to express conceptual content. We therefore propose a possible explanans for the discontinuity between humans and animals, namely that merge with lexicalisation (and consequently semantic features and grammatical relations) is a minimal requirement for the human mind. (shrink)

A number of philosophers of language have proposed that people do not have conceptual access to‘bare particulars’, or attribute‐free individuals (e.g. Wiggins, 1980). Individuals can only be picked out under some sortal, a concept which provides principles of individuation and identity. Many advocates of this view have argued that object is not a genuine sortal concept. I will argue in this paper that a narrow sense of‘object’, namely the concept of any bounded, coherent, three‐dimensional physical object that moves as a (...) whole (Spelke, 1990) is a sortal for both infants and adults. Furthermore, object may be the infant's first sortal and more specific sortals such as cup and dog may be acquired later in the first year of life. I will discuss the implications for infant categorization studies, trying to draw a conceptual distinction between a perceptual category and a sortal, and I will speculate on how a child may construct sortal concepts such as cup and dog. (shrink)

In Part V of his Discourse on the Method, Descartes introduces a test for distinguishing people from machines that is similar to the one proposed much later by Alan Turing. The Cartesian test combines two distinct elements that Keith Gunderson has labeled the language test and the action test. Though traditional interpretation holds that the action test attempts to determine whether an agent is acting upon principles, I argue that the action test is best understood as a test of common (...) sense. I also maintain that this interpretation yields a stronger test than Turing's, and that contemporary artificial intelligence should consider using it as a guide for future research. (shrink)

The double negation has always been considered by the logical systems from ancient times to the present. In fact, that is an issue that the current syntactic theories studying human reasoning, for example, the mental logic theory, address today. However, in this paper, I claim that, in the case of some languages such as Spanish, the double negation causes problems for the cognitive theories mainly based on formal schemata and supporting the idea of a universal syntax of thought in the (...) human mind. Thus, I propose that, given those problems, semantic frameworks such as that of the mental models theory seem to be more appropriate for explaining the human inferential activity. (shrink)

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

the term as used by sunstein seeks to bring together various traditions. however, there are significant differences between uses of the term in the cognitive and the social psychological research, and these differences are accompanied by very distinct evidential criteria. we suggest the term should refer to processes, which means that further evidence is required.

In this article I will evaluate the popular view that we acquire most of our concepts by means of learning. I will do this through an examination of Jerry Fodor’s dissenting views and those of some of his most persistent and significant critics. Although I will be critical of Fodor’s central claim that it is impossible to learn a concept, I will ultimately conclude that we should be more sceptical than is normal about the power of learning when it comes (...) to concept acquisition, particularly with respect to natural kind concepts. Central to my argument for this conclusion will be an examination of the bearings of psychological essentialism on concept acquisition. (shrink)

In English, some common nouns, like 'dog', can combine with determiners like 'a' and 'many', but not with 'much', while other nouns, like 'water', can be used together with 'much', but not with 'a' and 'many'. These common nouns have been respectively called count nouns (CNs) and mass nouns (MNs). How do children learn to use CNs and MNs in the appropriate contexts? Gaining a better understanding of this is the goal of this paper. To do so, it is important (...) to first get clear on the nature of the distinction between CNs and MNs. Is it a grammatical distinction? Does the distinction apply to nouns, to their senses, or only to their occurrences within noun phrases (NPs)? Showing that the count-mass distinction really is grammatical and applies to nouns is the matter of my first part. Then the question occurs as to whether the distinction corresponds to a systematic difference in the sense of count and mass expressions. If it does, children's acquisition of the distinction may simply follow from their ability to learn the senses of these expressions and determiners. In a second part, I thus discuss various semantic characterizations that have been proposed, and make explicit the exceptions from which they suffer. Now, understanding the sense of an expression is interpreting it correctly as it occurs in an utterance. Formal characterizations of our interpretations help to clarify what is involved in learning and understanding these expressions. In my third part, I examine several formal characterizations with the purpose to specify what would be an adequate representation of the interpretations of mass and count nominal expressions. The understanding gained in these first three parts is used to identify what abilities are exercised by children when they acquire the count-mass distinction. The picture that emerges differs from earlier views of the acquisition in several respects. I thus describe these views and highlight the differences between them and my own proposal. In a final, fifth part, I critically examine the experimental evidence that proponents of some of the accounts of the acquisition of the count-mass distinction have cited in their favor. (shrink)

In English, some common nouns, like "cat", can be used in the singular and in the plural, while others, like "wate"r, are invariable. Moreover, nouns like "cat" can be employed with numerals like "one" and "two" and determiners like "a", "many" and "few", but neither with "much" nor "little". On the contrary, nouns like "milk" can be used with determiners like "much" and "little", but neither with "a", "one" nor "many". These two types of nouns constitute two morphosyntactic sub-classes of (...) English common nouns; cf. for instance Gillon (1992). They have been respectively called count nouns and mass nouns. In many languages, notably Romance and Germanic languages, one can similarly identify two morphosyntactic subclasses of common nouns, nouns of one class admitting singular and plural number, and nouns of the other being invariable in grammatical number. The question we want to address in this paper is one in lexical semantics: Is there anything characteristic about the meaning of a count noun? (shrink)

Abstract:A number of philosophers of language have proposed that people do not have conceptual access to‘bare particulars’, or attribute‐free individuals (e.g. Wiggins, 1980). Individuals can only be picked out under some sortal, a concept which provides principles of individuation and identity. Many advocates of this view have argued thatobjectis not a genuine sortal concept. I will argue in this paper that a narrow sense of‘object’, namely the concept of any bounded, coherent, three‐dimensional physical object that moves as a whole (Spelke, (...) 1990) is a sortal for both infants and adults. Furthermore,objectmay be the infant's first sortal and more specific sortals such ascupanddogmay be acquired later in the first year of life. I will discuss the implications for infant categorization studies, trying to draw a conceptual distinction between a perceptual category and a sortal, and I will speculate on how a child may construct sortal concepts such ascupanddog. (shrink)

An agent-centered, goal-directed, resource-bound logic of human reasoning would do well to note that individual cognitive agency is typified by the comparative scantness of available cognitive resources—information, time, and computational capacity, to name just three. This motivates individual agents to set their cognitive agendas proportionately, that is, in ways that carry some prospect of success with the resources on which they are able to draw. It also puts a premium on cognitive strategies which make economical use of those resources. These (...) latter I callscant-resource adjustment strategies,and they supply the context for an analysis of abduction. The analysis is Peircian in tone, especially in the emphasis it places on abduction’signorance-preservingcharacter. My principal purpose here is to tie abduction’s scarce-resource adjustment capacity to its ignorance preservation. (shrink)

The author of the article regards the source of the distinction for singular names/general names not to have a cultural character, but a cognitive one, and on these grounds tries to solve one important modern problem: how is it that when a child learns words, the child commonly applies an aggressive strategy and does not make category mistakes connected with the use of some singular names – individual names. Next, the author argues that although a child at the age of (...) two can properly use a singular name, it does not constitute any evidence that it can properly use a proper name, as psychologists assume. For that to happen the child would have to understand the nature of a proper noun. (shrink)