Philosophy and Phenomenological Research, EarlyView.

Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem regarding (...) Knowledge Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the coexistence of multiple reasoning processes involving the different levels of representation. (shrink)

Recently, Lisa Feldman Barrett and colleagues have introduced the Theory of Constructed Emotions (TCE), in which emotions are constituted by a process of categorizing the self as being in an emotional state. The view, however, has several counterintuitive implications: for instance, a person can have multiple distinct emotions at once. Further, the TCE concludes that emotions are constitutively social phenomena. In this article, I explicate the TCE*, which, while substantially similar to the TCE, makes several distinct claims aimed at avoiding (...) the counterintuitive implications plaguing the TCE. Further, because of the changes that comprise the TCE*, emotions are not constitutively social phenomena. (shrink)

Forty-nine members of the Oxford public took part in a controlled free-recall experiment, the first 'minimal counterintuitiveness theory' study to control concept inferential potential and participant selective-attention timing. Recall of counterintuitive ideas was compared with recall of ideas expressing necessary epistemic incongruence, analytically true ideas, and ordinary control ideas. The items expressing necessary epistemic incongruence had better recall than other items. MCI items had a mnemonic advantage over intuitive templates for participants twenty-five years and younger after a one-week delay, but (...) MCI items did not have an advantage for older participants. There was no mnemonic advantage for immediate recall of MCI items in any age group. Analyses suggest this general failure to replicate previously found mnemonic advantages may have been due to restricting the items' inferential potential. (shrink)

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

Western science claims to provide unique, objective information about the world. This is supported by the observation that peoples across cultures will agree upon a common description of the physical world. Further, the use of scientific instruments and mathematics is claimed to enable the objectification of science. In this work, carried out by reviewing the scientific literature, the above claims are disputed systematically by evaluating the definition of physical reality and the scientific method, showing that empiricism relies ultimately upon the (...) human senses for the evaluation of scientific theories and that measuring instruments cannot replace the human sensory system. Nativist and constructivist theories of human sensory development are reviewed, and it is shown that nativist claims of core conceptual knowledge cannot be supported by the findings in the literature, which shows that perception does not simply arise from a process of maturation. Instead, sensory function requires a long process of learning through interactions with the environment. To more rigorously define physical reality and systematically evaluate the stability of perception, and thus the basis of empiricism, the development of the method of dimension analysis is reviewed. It is shown that this methodology, relied upon for the mathematical analysis of physical quantities, is itself based upon empiricism, and that all of physical reality can be described in terms of the three fundamental dimensions of mass, length and time. Hereafter the sensory modalities that inform us about these three dimensions are systematically evaluated. The following careful analysis of neuronal plasticity in these modalities shows that all the relevant senses acquire from the environment the capacity to apprehend physical reality. It is concluded that physical reality is acquired rather than given innately, and leads to the position that science cannot provide unique results. Rather, those it can provide are sufficient for a particular environmental setting. (shrink)

Number morphology (e.g., singular vs. plural) is a part of the grammar that captures numerical information. Some languages have morphological Number values, which express few (paucal), two (dual), three (trial) and sometimes (possibly) four (quadral). Interestingly, the limit of the attested morphological Number values matches the limit of non‐verbal numerical cognition. The latter is based on two systems, one estimating approximate numerosities and the other computing exact numerosities up to three or four. We compared the literature on non‐verbal number systems (...) with data on Number morphology from 218 languages. Our observations suggest that non‐verbal numerical cognition is reflected as a core part of language. (shrink)

In this paper, I study the kind of questions we can ask about the existence of numbers. In addition to asking whether numbers exist, and how, I argue that there is also a third relevant question: why numbers exist. In platonist and nominalist accounts this question may not make sense, but in the psychologist account I develop, it is as well-placed as the other two questions. In fact, there are two such why-questions: the causal why-question asks what causes numbers to (...) exist and the teleological why-question asks for what purpose numbers exist. I argue that in a psychologist constructivist account, in which numbers are understood to exist as referents of a particular type of culturally shared concepts, both why-questions can get plausible answers. (shrink)

The basic human ability to treat quantitative information can be divided into two parts. With proto-arithmetical ability, based on the core cognitive abilities for subitizing and estimation, numerosities can be treated in a limited and/or approximate manner. With arithmetical ability, numerosities are processed (counted, operated on) systematically in a discrete, linear, and unbounded manner. In this paper, I study the theory of enculturation as presented by Menary (2015) as a possible explanation of how we make the move from the proto-arithmetical (...) ability to arithmetic proper. I argue that enculturation based on neural reuse provides a theoretically sound and fruitful framework for explaining this development. However, I show that a comprehensive explanation must be based on valid theoretical distinctions and involve several stages in the development of arithmetical knowledge. I provide an account that meets these challenges and thus leads to a better understanding of the subject of enculturation. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

Norman forms the belief that the president is in New York by way of a clairvoyance faculty he doesn’t know he has. Many agree that his belief is unjustified but disagree about why it is unjustified. I argue that the lack of justification cannot be explained by a higher-level evidence requirement on justification, but it can be explained by a no-defeater requirement. I then explain how you can use cognitive faculties you don’t know you have. Lastly, I use lessons from (...) the foregoing to compare Norman’s belief, formed by clairvoyance, with Sally’s theistic belief, formed by a sensus divinitatis. (shrink)

Recent progress in artificial intelligence has renewed interest in building systems that learn and think like people. Many advances have come from using deep neural networks trained end-to-end in tasks such as object recognition, video games, and board games, achieving performance that equals or even beats that of humans in some respects. Despite their biological inspiration and performance achievements, these systems differ from human intelligence in crucial ways. We review progress in cognitive science suggesting that truly human-like learning and thinking (...) machines will have to reach beyond current engineering trends in both what they learn and how they learn it. Specifically, we argue that these machines should build causal models of the world that support explanation and understanding, rather than merely solving pattern recognition problems; ground learning in intuitive theories of physics and psychology to support and enrich the knowledge that is learned; and harness compositionality and learning-to-learn to rapidly acquire and generalize knowledge to new tasks and situations. We suggest concrete challenges and promising routes toward these goals that can combine the strengths of recent neural network advances with more structured cognitive models. (shrink)

This paper examines the cognitive foundations of natural theology: the intuitions that provide the raw materials for religious arguments, and the social context in which they are defended or challenged. We show that the premises on which natural theological arguments are based rely on intuitions that emerge early in development, and that underlie our expectations for everyday situations, e.g., about how causation works, or how design is recognized. In spite of the universality of these intuitions, the cogency of natural theological (...) arguments remains a matter of continued debate. To understand why they are controversial, we draw on social theories of reasoning and argumentation. (shrink)

This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for epistemic intensions. The homotopic abstraction principle for epistemic intensions provides an epistemic conduit into our knowledge of intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, Bayesian perceptual psychology, (...) and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the Language of Thought. (shrink)

The present article tests counterintuitiveness theory and methodology in relation to religious dream imagery using data on religious dream content. The endeavor adopts a “fractionated” or “piecemeal” approach where supernatural agent (SA) cognition is held to be a pivotal building block of purportedly religious dreaming. Such supernaturalistic conceptualizations manifests in a cognitive environment of dream simulation processes, threat detection and violation of basic conceptual categorization characterized by counterintuitiveness. By addressing SA cognitions as constituents of allegedly religious dream imagery, additional theorizing (...) and supporting data is presented in a growing body of research in the Cognitive Science of Religion (e.g., Barrett, 2017; Barrett et al., 2009; Hornbeck and Barrett, 2013) and on religious dreaming (McNamara, 2016; McNamara and Bulkeley, 2015). The aim of the article is partly to map and align contemporary theorizing regarding counterintuitiveness and CI schemes with empirical qualification of the prosaic hypothesis about the predominance of supernaturalism in allegedly religious dreaming. This is done by (a) exploring the crucial topic of the pervasiveness of cognitive counterintuitiveness; (b) testing Barrett’s counterintuitiveness coding and quantifying scheme (CI scheme) for counterintuitiveness in the context of religious dreaming by assessing intercoder reliability; and (c) exploring the prevalence and base rate frequency of counterintuitiveness in dream reports. This undertaking aims to contribute to the methodology and understanding of religious dream cognition, as well as to establish the cross-cultural base rates of counterintuitiveness in dreams for future research. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We argue that the most ambitious version of the mental files theory of singular thought, according to which mental files are a wide-ranging psychological natural kind underlying all and only singular thinking, is unsupported by the available psychological data. Nevertheless, critical examination of the theory from a psychological perspective opens up promising avenues for research, especially concerning the relationship between our perceptual capacity to individuate and track basic individuals, and our higher level capacities for singular thought.

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework for a (...) formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures. (shrink)

What makes beliefs thrive? In this paper, we model the dissemination of bona fide science versus pseudoscience, making use of Dan Sperber's epidemiological model of representations. Drawing on cognitive research on the roots of irrational beliefs and the institutional arrangement of science, we explain the dissemination of beliefs in terms of their salience to human cognition and their ability to adapt to specific cultural ecologies. By contrasting the cultural development of science and pseudoscience along a number of dimensions, we gain (...) a better understanding of their underlying epistemic differences. Pseudoscience can achieve widespread acceptance by tapping into evolved cognitive mechanisms, thus sacrificing intellectual integrity for intuitive appeal. Science, by contrast, defies those deeply held intuitions precisely because it is institutionally arranged to track objective patterns in the world, and the world does not care much about our intuitions. In light of these differences, we discuss the degree of openness or resilience to conceptual change (evidence and reason), and the divergent ways in which science and pseudoscience can achieve cultural “success”. (shrink)

Little is known about the aetiology of philosophical intuitions, in spite of their central role in analytic philosophy. This paper provides a psychological account of the intuitions that underlie philosophical practice, with a focus on intuitions that underlie the method of cases. I argue that many philosophical intuitions originate from spontaneous, early-developing, cognitive processes that also play a role in other cognitive domains. Additionally, they have a skilled, practiced, component. Philosophers are expert elicitors of intuitions in the dialectical context of (...) professional philosophy. If this analysis is correct, this should lead to a reassessment of experimental philosophical studies of expertise. (shrink)

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

This article aims at a constructive and argumentative engagement between the cognitive science of religion (CSR) and philosophical and theological reflection on the imago Dei. The Swiss theologian Emil Brunner argued that the theological notion that humans were created in the image of God entails that there is a “point of contact” for revelation to occur. This article argues that Brunner's notion resonates quite strongly with the findings of the CSR. The first part will give a short overview of the (...) CSR. The second part deals with Brunner's idea of the imago Dei and the “point of contact.” The third and final part of the article outlines a model of revelation that is in line with Brunner's thought and the CSR. The aim of this article is to show how the naturalistic methodology of the CSR provides a fertile new perspective on several theological issues and thereby enriches theological reflection. (shrink)

Mercier & Sperber (M&S) argue for their argumentative theory in terms of communicative abilities. Insights can be gained by extending the discussion beyond human reasoning to rodent and robot navigation. The selection of arguments and conclusions that are mutually reinforcing can be cast as a form of abductive reasoning that I argue underlies the construction of cognitive maps in navigation tasks.

How do agents with limited cognitive capacities flourish in informationally impoverished or unexpected circumstances? Aristotle argued that human flourishing emerged from knowing about the world and our place within it. If he is right, then the virtuous processes that produce knowledge, best explain flourishing. Influenced by Aristotle, virtue epistemology defends an analysis of knowledge where beliefs are evaluated for their truth and the intellectual virtue or competences relied on in their creation. However, human flourishing may emerge from how degrees of (...) ignorance are managed in an uncertain world. Perhaps decision-making in the shadow of knowledge best explains human wellbeing—a Bayesian approach? In this dissertation I argue that a hybrid of virtue and Bayesian epistemologies explains human flourishing—what I term homeostatic epistemology. Homeostatic epistemology supposes that an agent has a rational credence p when p is the product of reliable processes aligned with the norms of probability theory; whereas an agent knows that p when a rational credence p is the product of reliable processes such that: 1) p meets some relevant threshold for belief, 2) p coheres with a satisficing set of relevant beliefs and, 3) the relevant set of beliefs is coordinated appropriately to meet the integrated aims of the agent. Homeostatic epistemology recognizes that justificatory relationships between beliefs are constantly changing to combat uncertainties and to take advantage of predictable circumstances. Contrary to holism, justification is built up and broken down across limited sets like the anabolic and catabolic processes that maintain homeostasis in the cells, organs and systems of the body. It is the coordination of choristic sets of reliably produced beliefs that create the greatest flourishing given the limitations inherent in the situated agent. (shrink)

The notion of agency has been explored within research in moral psychology and, quite separately, within research in linguistics. Moral psychologists have suggested that agency attributions play a role in moral judgments, while linguists have argued that agency attributions play a role in syntactic intuitions. -/- To explore the connection between these two lines of research, we report the results of an experiment in which we manipulate syntactic cues for agency and show a corresponding impact on moral judgments. This result (...) suggests that the two effects observed previously — in morality and in syntax — might each be a reflection of a more general capacity to understand event structure. (shrink)

I can be wrong about things I seem to perceive; the conditions might lead me to be mistaken about them. Since I can't rule out the possibility that the conditions are misleading, I can't be sure that I am perceiving this thing in my hand correctly. But suppose that I am able to examine it actively—handling it, looking closer, shining a light on it, and so on. Then, my level of uncertainty goes down; in the limit it is eliminated entirely. (...) Of course, I might be mistaken because I am a brain in a vat, or because some other sceptical scenario obtains. But sceptical scenarios apply not just to this thing in my hand, but to everything all at once. Define "empirical certainty" as the absence of the kind of doubt that spreads to all empirical states of affairs. Sensory exploration, or active examination, can in principle lead to empirical certainty. (shrink)

It is a characteristic feature of our mental make-up that the same perceptual input situation can simultaneously elicit conflicting mental perspectives. This ability pervades our perceptual and cognitive domains. Striking examples are the dual character of pictures in picture perception, pretend play, or the ability to employ metaphors and allegories. I argue that traditional approaches, beyond being inadequate on principle grounds, are theoretically ill equipped to deal with these achievements. I then outline a theoretical perspective that has emerged from a (...) theoretical convergence of perceptual psychology, ethology, linguistics, and developmental research. On the basis of this framework, I argue that corresponding achievements are brought forth by a specific type of functional architecture whose core features are as follows: (1) a perceptual system that is biologically furnished with a rich system of conceptual forms, (2) a triggering relation between the sensory input and conceptual forms by which the same sensory input can be exploited by different types or systems of conceptual forms, and (3) computational principles for handling semantically underspecified conceptual forms. Characteristic features of the proposed theoretical framework are pointed out using the Heider–Simmel phenomenon as an example. (shrink)

Short abstract (98 words). Reasoning is generally seen as a means to improve knowledge and make better decisions. However, much evidence shows that reasoning often leads to epistemic distortions and poor decisions. This suggests that the function of reasoning should be rethought. Our hypothesis is that the function of reasoning is argumentative. It is to devise and evaluate arguments intended to persuade. Reasoning so conceived is adaptive given humans’ exceptional dependence on communication and vulnerability to misinformation. A wide range of (...) evidence in the psychology of reasoning and decision making can be reinterpreted and better explained in the light of this hypothesis. (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

It has often been suggested that people’s ordinary capacities for understanding the world make use of much the same methods one might find in a formal scientific investigation. A series of recent experimental results offer a challenge to this widely-held view, suggesting that people’s moral judgments can actually influence the intuitions they hold both in folk psychology and in causal cognition. The present target article distinguishes two basic approaches to explaining such effects. One approach would be to say that the (...) relevant competencies are entirely non-moral but that some additional factor (conversational pragmatics, performance error, etc.) then interferes and allows people’s moral judgments to affect their intuitions. Another approach would be to say that moral considerations truly do figure in workings of the competencies themselves. It is argued that the data available now favor the second of these approaches over the first. (shrink)

We begin, in section 2, with a brief sketch of a cluster of assumptions about human desires, beliefs, actions, and motivation that are widely shared by historical and contemporary authors on both sides in the debate. With this as background, we’ll be able to offer a more sharply focused account of the debate. In section 3, our focus will be on links between evolutionary theory and the egoism/altruism debate. There is a substantial literature employing evolutionary theory on each side of (...) the issue. However, it is our contention that neither camp has offered a convincing case. We are much more sanguine about recent research on altruism in social psychology, which will be our topic in section 4. Though we don’t think this work has resolved the debate, we will argue that it has made illuminating progress – progress that philosophers interested in the question cannot afford to ignore. (shrink)

The lack of consensus on how to characterize humans’ capacity for belief reasoning has been brought into sharp focus by recent research. Children fail critical tests of belief reasoning before 3 to 4 years (Wellman, Cross, & Watson, 2001; Wimmer & Perner, 1983), yet infants apparently pass false belief tasks at 13 or 15 months (Onishi & Baillargeon, 2005; Surian, Caldi, & Sperber, 2007). Non-human animals also fail critical tests of belief reasoning but can show very complex social behaviour (e.g., (...) Call & Tomasello, 2005). Fluent social interaction in adult humans implies efficient processing of beliefs, yet direct tests suggest that belief reasoning is cognitively demanding, even for adults (e.g., Apperly, Samson & Humphreys, 2005). We interpret these findings by drawing an analogy with the domain of number cognition, where similarly contrasting results have been observed. We propose that the success of infants and non-human animals on some belief reasoning tasks may be best explained by a cognitively efficient but inflexible capacity for tracking belief-like states. In humans this capacity persists in parallel with later-developing, more flexible but more cognitively demanding theory of mind abilities. (shrink)

Sober and Wilson have propose a cluster of arguments for the conclusion that “natural selection is unlikely to have given us purely egoistic motives” and thus that psychological altruism is true. I maintain that none of these arguments is convincing. However, the most powerful of their arguments raises deep issues about what egoists and altruists are claiming and about the assumptions they make concerning the cognitive architecture underlying human motivation.

What makes an object the same persisting individual over time? Philosophers and psychologists have both grappled with this question, but from different perspectives—philosophers conceptually analyzing the criteria for object persistence, and psychologists exploring the mental mechanisms that lead us to experience the world in terms of persisting objects. It is striking that the same themes populate explorations of persistence in these two very different fields—e.g. the roles of spatiotemporal continuity, persistence through property change, and cohesion violations. Such similarities may reflect (...) an underlying connection, in that psychological mechanisms of object persistence (especially relevant parts of mid-level visual object processing) may serve to underlie the intuitions about persistence that fuel metaphysical theories. This would be a way for cognitive science to join these two disparate fields, helping to explain the possible origins and reliability of some metaphysical intuitions, and perhaps leading to philosophical progress. (shrink)

In his novel Remembrance of Things Past, Marcel Proust argues that conventional descriptions of the phenomenology of consciousness are incomplete because they focus too much on the highly-salient sensory information that dominates each moment of awareness and ignore the network of associations that lies in the background. In this paper, I explicate Proust’s theory of conscious experience and show how it leads him directly to a theory of aesthetic perception. Proust’s division of awareness into two components roughly corresponds to William (...) James’ division of the stream of thought into a “nucleus” and “fringe.” Proust argues that the function of art is to evoke the underlying associative network indirectly in the mind of the observer by using carefully chosen sensory surfaces to control the stream of thought. I propose a possible neural basis for this Proustian/Jamesian phenomenology, and argue that the general principles of Proustian aesthetics can be applied to all forms of art. I conclude that a scientific theory of art should follow in a straightforward manner from a scientific theory of consciousness. (shrink)

According to a traditional view, humans are superior to their non‐human terrestrial companions because they alone are “rational animals.” Although the traditional view is presupposed by our social and legal institutions, it has been called into question by modern science: Darwin himself claimed that humans differ in degree rather than in kind from animals, and recent discoveries in comparative animal cognition have seemed to confirm Darwin's assertion. Sustaining the traditional view in light of these discoveries calls out for a careful (...) comparison of the human mind with its precursors, the vertebrate mind and the mammalian mind. Psychological capacities shared across the animal kingdom are repurposed in humans, rendering humans uniquely capable of rationality. To be rational is to respond appropriately to value. Humans as such are not rational animals, but have the potential to become rational animals. This potential marks a morally relevant difference in kind between humans and non‐human animals. (shrink)

Self-knowledge is knowledge of one’s own states (or processes) in an indexical mode of presentation. The philosophical debate is concentrating on mental states (or processes). If we characterize self-knowledge by natural language sentences, the most adequate utterance has a structure like “I know that I am in mental state M”. This common sense characterization has to be developed into an adequate description. In this investigation we will tackle two questions: (i) What precisely is the phenomenon referred to by “self-knowledge” and (...) how can we adequately describe a form of self-knowledge which we might realistically enjoy? (ii) Can we have self-knowledge given the fact that the meaning of some words which we utter depends on the environment or the speech community? The theory we defend argues that we have to distinguish the public meaning of utterances, on the one hand, and the mental representations which are constituting a mental state of an individual, on the other. Self-knowledge should be characterized on the level of mental representations while the semantics of utterances self-attributing mental states should be treated separately. Externalism is only true for the public meaning of utterances but not for beliefs and other mental states including self-knowledge. (shrink)

Recent work on the acquisition of number words has emphasized the importance of integrating linguistic and developmental perspectives [Musolino, J. (2004). The semantics and acquisition of number words: Integrating linguistic and developmental perspectives. Cognition93, 1-41; Papafragou, A., Musolino, J. (2003). Scalar implicatures: Scalar implicatures: Experiments at the semantics-pragmatics interface. Cognition, 86, 253-282; Hurewitz, F., Papafragou, A., Gleitman, L., Gelman, R. (2006). Asymmetries in the acquisition of numbers and quantifiers. Language Learning and Development, 2, 76-97; Huang, Y. T., Snedeker, J., Spelke, (...) L. (submitted for publication). What exactly do numbers mean?]. Specifically, these studies have shown that data from experimental investigations of child language can be used to illuminate core theoretical issues in the semantic and pragmatic analysis of number terms. In this article, I extend this approach to the logico-syntactic properties of number words, focusing on the way numerals interact with each other (e.g. Three boys are holding two balloons) as well as with other quantified expressions (e.g. Three boys are holding each balloon). On the basis of their intuitions, linguists have claimed that such sentences give rise to at least four different interpretations, reflecting the complexity of the linguistic structure and syntactic operations involved. Using psycholinguistic experimentation with preschoolers (n=32) and adult speakers of English (n=32), I show that (a) for adults, the intuitions of linguists can be verified experimentally, (b) by the age of 5, children have knowledge of the core aspects of the logical syntax of number words, (c) in spite of this knowledge, children nevertheless differ from adults in systematic ways, (d) the differences observed between children and adults can be accounted for on the basis of an independently motivated, linguistically-based processing model [Geurts, B. (2003). Quantifying kids. Language Acquisition, 11(4), 197-218]. In doing so, this work ties together research on the acquisition of the number vocabulary with a growing body of work on the development of quantification and sentence processing abilities in young children [Geurts, 2003; Lidz, J., Musolino, J. (2002). Children's command of quantification. Cognition, 84, 113-154; Musolino, J., Lidz, J. (2003). The scope of isomorphism: Turning adults into children. Language Acquisition, 11(4), 277-291; Trueswell, J., Sekerina, I., Hilland, N., Logrip, M. (1999). The kindergarten-path effect: Studying on-line sentence processing in young children. Cognition, 73, 89-134; Noveck, I. (2001). When children are more logical than adults: Experimental investigations of scalar implicature. Cognition, 78, 165-188; Noveck, I., Guelminger, R., Georgieff, N., & Labruyere, N. (2007). What autism can tell us about every. . . not sentences. Journal of Semantics,24(1), 73-90. On a more general level, this work confirms the importance of integrating formal and developmental perspectives [Musolino, 2004], this time by highlighting the explanatory power of linguistically-based models of language acquisition and by showing that the complex structure postulated by linguists has important implications for developmental accounts of the number vocabulary. (shrink)