We investigate the idea of sleep as the protostate, and posit the idea of dark consciousness where dark is a 2-fold hybrid. We model dark consciousness as a 2-topos in p-adic time, and outline perfectoid and diamond-like versions. We then introduce and illustrate implications of Dark Imaginarium, which is a higher order Curiosity Artificial Intelligence, an Infinity-Curiosity Type, that thinks in infinity categories.

We propose a quantum curiosity algorithm as a means to implement quantum thinking into AI, and we illustrate 5 new quantum curiosity types. We then introduce 6 new hybrid quantum curiosity types combining animal and plant curiosity elements with biomimicry beyond human sensing. We then introduce 4 specialized quantum curiosity types, which incorporate quantum thinking into coding frameworks to radically transform problem-solving and discovery in science, medicine, and systems analysis. We conclude with (...) a forecasting of the future of quantum thinking in AI and illustrate an example of how to apply the new curiosity types: General Collaborative Networks. (shrink)

A lot has been said about how the notion of reference relates to the notion of knowledge; not much has been said, however, on how the notion of referencerelates to our ability to become aware of what we do not know that allows us to be curious. In this essay I attempt to spell out a certain type of reference I call ‘inostensible’ that I claim to be a fundamental linguistic tool which allows us to become curious of what we (...) do not know. In the first part, I try to explicate the notion of inostensible reference, both for singular and for general terms, as well as full declarative sentences, and in the second part, I argue that our capacity to enjoy conceptual curiosity is essentially based upon our aptitude for inostensible reference. (shrink)

Whether the hands-on experience of creating inventions can promote Students’ interest in pursuing a science, technology, engineering, and mathematics (STEM) career has not been extensively studied. In a quantitative study, we drew on the attitude-behavior-outcome framework to explore the correlates between hands-on making attitude, epistemic curiosities, and career interest. This study targeted students who joined the selection competition for participating in the International Exhibition of Young Inventors (IEYI) in Taiwan. The objective of the invention exhibition is to encourage young students (...) to make innovative projects by applying STEM knowledge and collaborative design. We collected 220 valid data from participants in the 2021 Taiwan IEYI selection competition and conducted a confirmatory factor analysis and structural equation modeling to test the hypotheses. Results indicated that: (1) hands-on making attitude was positively related to two types of epistemic curiosity; (2) interest-type epistemic curiosity (IEC) and deprivation-type epistemic curiosity (DEC) were positively associated with STEM career interest; additionally, DEC had a higher coefficient on STEM career interest than IEC; (3) both types of EC had a mediating role between hands-on making attitude and STEM career interest. It is expected that encouraging students to participate in invention exhibition competitions can raise both types of EC and increase their interest in pursuing STEM careers. (shrink)

We propose Qurio, which is our new model of pedagogy incorporating the principles of quantum mechanics with a curiosity AI called Curio AI equipped with a meta-curiosity algorithm. Curio has a curiosity profile that is in a quantum superposition of every possible curiosity type. We describe the ethos and tenets of Qurio, which we claim can create an environment supporting neuroplasticity that cultivates curiosity powered by tools that exhibit their own curiosity. We give examples (...) of how to incorporate non-locality, complementarity, and quantum lateral thinking into epistemology. We then futurecast the epistemology of curiosity and quantum pedagogy by way of curiosity’s event horizon. (shrink)

Introduction -/- 1 Précis -/- 2 Methodology: Introducing digital humanities to the history of philosophy 2.1 Introduction 2.2 Core constructs 2.3 Operationalizing the constructs 2.4 Querying the Nietzsche Source 2.5 Cleaning the data 2.6 Visualizations and preliminary analysis 2.6.1 Visualization of the whole corpus 2.6.2 Book visualizations 2.7 Summary -/- Nietzsche’s Socio-Moral Framework -/- 3 From instincts and drives to types 3.1 Introduction 3.2 The state of the art on drives, instincts, and types 3.2.1 Drives 3.2.2 Instincts 3.2.3 (...) Types 3.3 The semantic neighborhood of drive, instinct, and type 3.4 A theory of (the relations among) instincts, drives, and types 3.4.1 Drives are act-directed rather than outcome-directed dispositions 3.4.2 The reflexive turn in Nietzsche’s drive psychology 3.4.3 Triggers of drive-displacement 3.4.4 Instincts are innate drives 3.4.5 Types are constellations of instincts and other drives 3.4.6 To what extent are types, instincts, and drives fixed? 3.5 Summary -/- 4 From types to virtues 4.1 Introduction 4.2 The state of the art on virtues and values 4.2.1 Virtues 4.2.2 Values 4.3 The semantic neighborhood of virtue and value 4.4 On (the relations among) instincts, drives, types, values, virtues, and values 4.4.1 Virtues are well-calibrated drives 4.4.2 Nietzsche’s type-relative unity of virtue thesis 4.4.3 The type of the criminal 4.4.4 Nietzschean exemplarism and his ad hominem attacks 4.5 Summary -/- 5 Socializing Nietzschean virtues 5.1 Introduction 5.2 Higher-order types 5.2.1 Social character construction 5.2.2 Reflexive character construction 5.3 Eponymous trait terms and Nietzschean summoning 5.3.1 Eponymous trait terms 5.3.2 Nietzschean summoning 5.4 Summary -/- Nietzschean virtues -/- 6 Curiosity 6.1 Introduction 6.2 Curiosity in virtue epistemology 6.3 Curiosity and its affiliated emotions 6.4 Curiosity, perspectivism, and inquiry 6.5 Curiosity as a virtue 6.5.1 A preliminary characterization 6.5.2 Curiosity in the middle through late works 6.6 Summary -/- 7 Courage 7.1 Introduction 7.2 Intellectual courage in contemporary virtue epistemology 7.3 Courage as a virtue 7.3.1 A preliminary characterization 7.3.2 Courage in the middle through late works 7.4 Summary -/- 8 Pathos of distance 8.1 Introduction 8.2 Contempt and disgust in contemporary moral psychology 8.3 The semantic neighborhood of contempt, disgust, and the pathos of distance 8.4 Nietzsche on contempt 8.4.1 Spernere mundum 8.4.2 Spernere neminem 8.4.3 Spernere se ipsum 8.4.4 Spernere se sperni 8.4.5 Nietzsche aims to induce what he considers fitting contempt in receptive readers 8.5 Nietzsche on disgust 8.5.1 The use of disgust: detaching from an ideal 8.5.2 The danger of disgust 8.6 The pathos of distance 8.7 Prospects for a Nietzschean democratic ethos 8.8 Summary -/- 9 Sense of humor 9.1 Introduction 9.2 The semantic neighborhood of laughter, humor, and comedy 9.3 The Nietzschean sense of humor and its functions 9.3.1 From episodic laughter to the sense of humor 9.3.2 Affirmation and inquiry 9.3.3 Negation and inquiry 9.3.4 Affiliation with like-minded inquirers 9.4 Summary -/- 10 Solitude 10.1 Introduction 10.2 Solitude in virtue theory and Nietzsche scholarship 10.3 The semantic neighborhood of solitude 10.4 An account of Nietzschean solitude 10.5 Summary -/- Conclusion -/- 11 Conscience & integrity 11.1 Introduction 11.2 Conscience and integrity in contemporary moral psychology and Nietzsche scholarship 11.2.1 Conscience and integrity in contemporary moral psychology 11.2.2 Conscience and integrity in Nietzsche commentary 11.3 The semantic neighborhood of conscience and integrity 11.4 Distinguishing conscience, good conscience, bad conscience, and intellectual conscience 11.4.1 Conscience 11.4.2 Good conscience 11.4.3 Bad conscience 11.4.4 Intellectual conscience and integrity 11.5 Summary -/- 12 Prospectus 12.1 Future directions in moral psychology 12.2 Future directions in Nietzsche scholarship 12.3 Future directions in digital humanities and the history of philosophy . (shrink)

What is common knowledge? According to the dominant iterative model, a group of people commonly knows that p if and only if they each individually know that p, and they furthermore each know that they each know that p, and so on to infinity. According to the integrative model proposed in this paper, a group commonly knows that p when its members are united in a state of mind of the type whose contents must be true. Epistemic integration within a (...) group is enabled by symmetrical signalling processes such as eye contact. In conversational dyads, symmetrical processing operates on pairs of signals produced by the two sides in a familiar format: speakers generate content for joint attention in main channel communication, and addressees evaluate that content in backchannel communication. Processes of reinforcement learning shape our pairwise signalling, driving the accumulation of common knowledge, both in response to extrinsic reward for coordinated action, and in response to the intrinsic reward of curiosity. Where the iterative model caps the epistemic performance of the group at the level of its weakest member, the integrative model of common knowledge shows how groups working together can outperform their strongest member working alone. (shrink)

Academia is a competitive environment. Early Career Researchers (ECRs) are limited in experience and resources and especially need achievements to secure and expand their careers. To help with these issues, this book offers a new approach for conducting research using the combination of mindsponge innovative thinking and Bayesian analytics. This is not just another analytics book. 1. A new perspective on psychological processes: Mindsponge is a novel approach for examining the human mind’s information processing mechanism. This conceptual framework is used (...) to construct models in studies. The framework is highly flexible and widely applicable for many different types of information processes. The mindsponge approach can help researchers discover interesting ideas or even formulate their very own theories when investigating psychosocial phenomena. This approach brings a fresh wind to the current landscape of social sciences and humanities (SSH). 2. Easy-to-follow analysis protocol: The Bayesian Mindsponge Framework (BMF analytics) is useful in terms of computing and visualizing power but also easy to learn and apply. Contrary to being intimidating, the Bayesian analytics section of this book is presented in a reader-friendly manner with a detailed yet clear step-by-step procedure. Examples are from published BMF articles, allowing readers to immediately practice the method and quickly create their own applications. With educational purposes in mind, the book is very suitable for ECRs who are looking to innovate their research methods. 3. Advocating for low-cost, high-quality research: Doing science can be very costly. Mindsponge innovative thinking and BMF analytics help produce impactful studies using openly available data on online repositories. This is based on the authors’ previous works and experiences. The book presents examples of employing the open R package bayesvl on secondary data from different sources. With less financial constraints, researchers can have more freedom of thought to pursue their curiosity and creativity. ECRs in low- and middle-income countries may find this aspect crucial in their careers. 4. Support and collaboration: The authors share their insights from experiences in the academic publishing system to help readers get through the processes of manuscript writing and peer-reviewing more easily. The authors are also ready to support other researchers with further inquiries and collaboration opportunities at the following website, mindsponge(dot)info. This book is for: a) ECRs whose only abundant resources are their innovation capacity and strength of will; b) Researchers in SSH who want to explore a novel approach to thinking and study conducting; c) Low- and middle-income countries’ researchers looking for a cost-effective research protocol; and, d) Innovative thinkers who want to turn their interesting thoughts into good publications. (shrink)

This paper defends the Intention Account of Inquiry. On this account, inquiry is best understood by appeal to a ‘question-directed intention’ (QDI), an intention to answer a question broadly construed. This account’s core commitments help meet recent challenges plaguing extant approaches to characterizing inquiry. First, QDIs are the type of mental state central to inquiry, not attitudes like curiosity or wonder. Second, holding a QDI towards a question and acting in service of it constitutes the start of inquiry. Third, (...) controversial norms which mandate a rational inquirer's ignorance towards the answer to her question can be reformulated and defended by appeal to rational constraints on intention. Fourth, instrumental pressures inquirers face are the standard pressures of plan-rationality. In defending these theses, I show that the Intention Account provides compelling explanations to standing challenges, in ways competitors cannot. It does so by advancing understanding of how our epistemic and practical agency are intertwined. (shrink)

"What are you?" This question, whether explicitly raised by another or implied in his gaze, is one with which many persons perceived to be racially ambiguous struggle. This article centers on encounters with this question. Its aim is twofold: first, to describe the phenomenology of a particular type of racializing encounter, one in which one of the parties is perceived to be racially ambiguous; second, to investigate how these often alienating encounters can be better negotiated. In the course of this (...) investigation, this article examines the addressee's point of view and consider possible responses to the other's question. In addition, it discusses the addresser's perspective, both to probe the curiosity underlying the "What are you?" question and to explore alternatives to it. By describing the phenomenology of these encounters, this article hopes to show that racial ambiguity, as distinct from mixed-race, is a category of lived experience that calls for deeper philosophical scrutiny. (shrink)

The purpose of the study was to explore the role of emotions, promotion-prevention orientation and feedback on cognitive engagement. In the experiment participants had the possibility to engage in a categorization task thrice. After the first categorization all participants were informed that around 75% of their answers were correct. After the second categorization, depending on the experimental condition, participants received feedback either about success or failure. Involvement in the third categorization was depended on participants’ decision whether to take part in (...) it or not. Each time, before and after categorization, the emotional state was assessed. Results showed that promotion orientation predicted experiencing curiosity before the task, which in turn led to a higher cognitive engagement in the first categorization. Promotion and prevention orientation moderated the type of emotional response to positive feedback. Promotion orientation also predicted cognitive engagement after the feedback of success was provided. Generally results confirmed the positive effect of positive emotions as well as promotion orientation on cognitive engagement. (shrink)

The aim of this collection is to create a curated set of key German source texts from the eighteenth-century life sciences devoted to theories of generation, heredity, and race. The criteria for inclusion stem from our sense that there is an argument to be made for connecting three domains of inquiry that have heretofore remained mostly distinct in both their presentation and scholarly analysis: i) life science debates regarding generation and embryogenesis, ii) emerging philosophical and anthropological theories regarding the nature (...) of racial typology, and iii) the role of empire in supplying the ethnographic materials in use as evidence for the various investigations and theories being proposed. The Key Texts volume thus has three sections. The first section is devoted to selections from theorists working to create an account of the processes guiding generation and embryogenetic development. Given that at the time there were few ways to definitively prove that babies received contributions from both parents in their creation, mixed-race children became increasingly valuable sources of evidence for those insisting on joint inheritance. Although this sets up the second section of the volume—since one can trace a clear facet of racial biometric science out of this original set of enquiries—the bulk of section two is devoted to the many different accounts created at the time to understand and delineate racial differences. The third section is focused on ‘race and empire’ in order to situate the scientific texts of the previous sections in their socio-historical context. By including these pieces, it is our aim to remind readers that scientific curiosity over the nature and origin of racial diversity did not develop in a vacuum but indeed existed in full knowledge of the exploitation and dispossession of human beings. The ‘materials’ for this research program were in many cases either directly taken from black and brown human beings caught up in Europe’s colonial projects or were provided by the data gathered during large-scale voyages of exploration. The material basis of this type of research was rarely reflected upon by any of the theorists in sections one and two of the volume, a fact that has led many historians of science to focus on these theories without attention to the socio-historical context; we are deliberately trying to avoid this and indeed to deepen our own readers’ appreciation of the fact. (shrink)

Curiosity is evident in humans of all sorts from early infancy, and it has also been said to appear in a wide range of other animals, including monkeys, birds, rats, and octopuses. The classical definition of curiosity as an intrinsic desire for knowledge may seem inapplicable to animal curiosity: one might wonder how and indeed whether a rat could have such a fancy desire. Even if rats must learn many things to survive, one might expect their learning (...) must be driven by simpler incentives, such as hunger. One might also wonder what proximal signals could guide animals towards knowledge itself, or how something as abstract as knowledge could ever be a motivational target for an unreflective animal. Taking a cue from recent work in reinforcement learning, I argue that surprise functions as a reward signal for the curious animal, and then show how this amounts to a desire for knowledge gain, where knowledge is conceived of as a cognitive adaptation to reality. This adaptation results in a mental state whose existence depends essentially on the truth of its contents, a factive mental state. Curious creatures benefit from an interaction between the prediction-error correction processes of basic learning and the active surprise-seeking force of their curiosity. This internally adversarial interaction accelerates knowledge gain in ways that are very helpful for agents with the restrictions of biological creatures, in environments with the complexity of our natural world. (shrink)

While research on Attention Deficit Hyperactivity Disorder (ADHD) has traditionally focused on cognitive and behavioral deficits, there is increasing interest in exploring possible resources associated with the disorder. In this paper, we argue that the attention-patterns associated with ADHD can be understood as expressing an alternative style of inquiry, or “zetetic” style, characterized mainly by a lower barrier for becoming curious and engaging in inquiry, and a weaker disposition to regulate curiosity in response to the cognitive and practical costs (...) associated with inquiry. Exploring this zetetic style from an epistemological perspective, we show that it is often epistemically rational and can be advantageous in important respects. We close by suggesting that the very aspects of the zetetic style that might at times render it disadvantageous from the point of view of individual subjects with ADHD, will often confer epistemic benefits to the social group that the subjects are part of. (shrink)

This paper explores the nature of curiosity from an epistemological point of view. First it motivates this exploration by explaining why epistemologists do and should care about what curiosity is. Then it surveys the relevant literature and develops a particular approach.

I propose that Confucianism incorporates a latent commitment to the closely related epistemic virtues of curiosity and inquisitiveness. Confucian praise of certain people, practices, and dispositions is only fully intelligible if these are seen as exercises and expressions of epistemic virtues, of which curiosity and inquisitiveness are the obvious candidates. My strategy is to take two core components of Confucian ethical and educational practice and argue that each presupposes a specific virtue. To have and to express a ‘love (...) of learning’ requires the virtue of curiosity, while the normative practice of good questioning requires exercise of the virtue of inquisitiveness. Taken together, people engaging in the foundational Confucian project of moral self-cultivation must desire and acquire a range of epistemic goods, a set of dispositions that manifest in the virtues of curiosity and inquisitiveness, possession of which is admirable and excellent. Such, at least, is the claim defend in this chapter, which is an exercise in cross-cultural virtue epistemology. (shrink)

ABSTRACT A thriving project in contemporary epistemology concerns identifying and explicating the epistemic virtues. Although there is little sustained argument for this claim, a number of prominent sources suggest that curiosity is an epistemic virtue. In this paper, I provide an account of the virtue of curiosity. After arguing that virtuous curiosity must be appropriately discerning, timely and exacting, I then situate my account in relation to two broader questions for virtue responsibilists: What sort of motivations are (...) required for epistemic virtue? And do epistemic virtues need to be reliable? I will sketch an account on which curiosity is only virtuous when rooted in a non-instrumental appreciation of epistemic goods, before arguing that curiosity can exhibit intellectual virtue irrespective of whether one is reliable in satisfying it. (shrink)

In this short essay I connect Perry Zurn’s work on curiosity with trans history, activism, and art to bridge trans curiosity with eco curiosity in the form of transecological curiosity. I discuss examples from trans art, literature, music, and ecopoetics.

In this book, Ilhan Inan questions the classical definition of curiosity as _a desire to know._ Working in an area where epistemology and philosophy of language overlap, Inan forges a link between our ability to become aware of our ignorance and our linguistic aptitude to construct terms referring to things unknown. The book introduces the notion of inostensible reference. Ilhan connects this notion to related concepts in philosophy of language: knowledge by acquaintance and knowledge by description; the referential and (...) the attributive uses of definite descriptions; the _de re/de dicto_ distinction; and Kripke’s distinction between rigid and accidental designators. Continuing with a discussion of the conditions for curiosity and its satisfaction, Inan argues that the learning process—starting in curiosity and ending in knowledge—is always an effort to transform our inostensible terms into ostensible ones. A contextual account is adopted for the satisfaction of curiosity. It then discusses the conditions of successful reference to the object of curiosity and its presuppositions. The book concludes with a discussion on the limits of curiosity and its satisfaction. (shrink)

I start with a critical discussion of some attempts to ground epistemic normativity in curiosity. Then I develop three positive proposals. The first of these proposals is more or less purely philosophical; the second two reside at the interdisciplinary borderline between philosophy and psychology. The proposals are independent and rooted in different literatures. Readers uninterested in the first proposal (and the critical discussion preceding it) may nonetheless be interested in the second two proposals, and vice versa. -/- The proposals (...) are as follows. First I argue that, among several ways in which the notion of curiosity might be used to delineate significant truths from trivial ones, a particular way is the most promising. Second, I argue that curiosity has some underappreciated epistemic roles involving memory. Third, I argue that curiosity has some underappreciated epistemic roles involving coherence. (shrink)

This paper makes a case for the centrality of the passion of curiosity to Hobbes’s account of human nature. Hobbes describes curiosity as one of only a few capacities differentiating human beings from animals, and I argue that it is in fact the fundamen- tal cause of humanity’s uniqueness, generating other important difference-makers such as language, science and politics. I qualify Philip Pettit’s (2008) claim that Hobbes believes language to be the essence of human difference, contending that Pettit (...) grants language too central a place in Hobbes’s psychology. Language is, for Hobbes, a tech- nology adopted on account of curiosity. Further, curiosity is necessary not only for linguistic but also for scientific activity. Only after what he calls original knowledge has been gathered are names employed to generate the conditional propositions that con- stitute science. Finally, curiosity can resolve another puzzle of Hobbesian psychology that Pettit leaves unanswered: our tendency towards strife. Hobbes believes that inso- far as human beings have an implacable hunger for knowledge of the future, we are unable to rest content with present gains and must always aspire to secure the best possible outcome for ourselves. (shrink)

We give a very curious curiosity about Newtonian gravity.

This article shows how the specific interaction and mutual dependence between language and curiosity accounts for the more general dialectic between reason and passion in Hobbes’ philosophy, providing the distinguishing trait of human beings and their behaviour.

Apuleius’s The Golden Ass presents curiosity as the protagonist’s downfall, yet ultimately recodes curiosity as the single virtue through which the human soul achieves not only immortality but joy. I identify Apuleius’s treatment of curiosity as falling into the categories of erotic and nonerotic. The union of Eros and the curious human soul suggests that one who is erotically curious can take pleasure in her devotion to one, precisely because she has eyes for the beauty of many.

We give a very curious curiosity about Newtonian Gravity.

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)

Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the Agents of (...) Life, 2005; Wilson et al. Philos Top 35(1/2):189–215, 2007)]. On the face of it, the problems we face in individuating cellular kinds resemble those biologists and philosophers of biology encountered in thinking about species: there are apparently many different (and interconnected) bases on which we might legitimately classify cells. We could, for example, focus on their developmental history (a sort of analogue to a species’ evolutionary history); or we might divide on the basis of certain structural features, functional role, location within larger systems, and so on. In this paper, I sketch an approach to cellular kinds inspired by Boyd’s Homeostatic Property Cluster Theory, applying some lessons from this application back to general questions about the nature of natural kinds. (shrink)

Blindsight is a kind of residual vision found in people with lesions to V1. Subjects with blindsight typically report no visual awareness, but they are nonetheless able to make above-chance guesses about the shape, location, color and movement of visual stimuli presented to them in their blind field. A different kind of blindsight, sometimes called type 2 blindsight, is a kind of residual vision found in patients with V1 lesions in the presence of some residual awareness. Type 2 blindsight differs (...) from ordinary visual experience in lacking the particularity, transparency and fine-grainedness often taken to be essential to visual experience, at least in veridical cases. I argue that the case of type 2 blindsight provides a counterexample to the view that these characteristics are essential to veridical visual experience and that this gives us reason to resist the view that visual experience is essentially a perceptual relation to external objects. In the second part of the paper I argue that the case of type 2 blindsight yields important insights into the effects of attentional modulation on perceptual content and that cases of attentional modulation of appearance are not at odds with the view that the phenomenology of visual experience flows from its content. (shrink)

Academic inquiry has two basic inter-related aims. One is to explore intellectually aspects of our world of intrinsic interest and value, for its own sake, and to encourage non-academics to participate in such exploration, thus improving our knowledge and understanding. The other is, by intellectual means, to help humanity solve its problems of living, so that a more peaceful, just, democratic and environmentally enlightened world may be attained. Both are at present betrayed.

The replication crisis has caused researchers to distinguish between exact replications, which duplicate all aspects of a study that could potentially affect the results, and direct replications, which duplicate only those aspects of the study that are thought to be theoretically essential to reproduce the original effect. The replication crisis has also prompted researchers to think more carefully about the possibility of making Type I errors when rejecting null hypotheses. In this context, the present article considers the utility of two (...) types of Type I error probability: the Neyman–Pearson long run Type I error rate and the Fisherian sample-specific Type I error probability. It is argued that the Neyman–Pearson Type I error rate is inapplicable in social science because it refers to a long run of exact replications, and social science deals with irreversible units that make exact replications impossible. Instead, the Fisherian sample-specific Type I error probability is recommended as a more meaningful way to conceptualize false positive results in social science because it can be applied to each sample-specific decision about rejecting the same substantive null hypothesis in a series of direct replications. It is concluded that the replication crisis may be partly due to researchers’ unrealistic expectations about replicability based on their consideration of the Neyman–Pearson Type I error rate across a long run of exact replications. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the cognitive (...) act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (shrink)

The curious philosopher often answers questions by raising further, more fundamental questions. How can this be fruitful and practical in the context of Wageningen University? Philosophy offers critical reflection on conceptual and normative assumptions in science and society, and that is necessary for responsible practices. I illustrate this by analyzing the concept of quality of life – a key value in the mission of our university – and by questioning current debates about responsibility for health.

We advance the understanding of the philosophy and psychology of curiosity by operationalizing and constructing an empirical measure of Nietzsche’s conception of inquisitive curiosity, expressed by the German term Wissbegier, (“thirst for knowledge” or “need/impetus to know”) and Neugier (“curiosity” or “inquisitiveness”). First, we show that existing empirical measures of curiosity do not tap the construct of inquisitive curiosity, though they may tap related constructs such as idle curiosity and phenomenological curiosity. Next, we (...) map the concept of inquisitive curiosity and connect it to related concepts, such as open-mindedness and intellectual humility. The bulk of the paper reports four studies: an Anglophone exploratory factor analysis, an Anglophone confirmatory factor analysis, an informant study, and a Germanophone exploratory and confirmatory factor analysis. (shrink)

The entry provides an overview of the type-token distinction, including a comparison to other nearby distinctions.

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, (...) understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system which (...) undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

The inflation of Type I error rates is thought to be one of the causes of the replication crisis. Questionable research practices such as p-hacking are thought to inflate Type I error rates above their nominal level, leading to unexpectedly high levels of false positives in the literature and, consequently, unexpectedly low replication rates. In this article, I offer an alternative view. I argue that questionable and other research practices do not usually inflate relevant Type I error rates. I begin (...) by introducing the concept of Type I error rates and distinguishing between statistical errors and theoretical errors. I then illustrate my argument with respect to model misspecification, multiple testing, selective inference, forking paths, exploratory analyses, p-hacking, optional stopping, double dipping, and HARKing. In each case, I demonstrate that relevant Type I error rates are not usually inflated above their nominal level, and in the rare cases that they are, the inflation is easily identified and resolved. I conclude that the replication crisis may be explained, at least in part, by researchers’ misinterpretation of statistical errors and their underestimation of theoretical errors. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

Neutrosophic theory has many applications in graph theory, bipolar single valued neutrosophic graphs (BSVNGs) is the generalization of fuzzy graphs and intuitionistic fuzzy graphs, SVNGs. In this paper we introduce some types of BSVNGs, such as subdivision BSVNGs, middle BSVNGs, total BSVNGs and bipolar single valued neutrosophic line graphs (BSVNLGs), also investigate the isomorphism, co weak isomorphism and weak isomorphism properties of subdivision BSVNGs, middle BSVNGs, total BSVNGs and BSVNLGs.

In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of the (...) type-identity theory. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally (...) two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Sebastian Sunday-Grève and Timothy Williamson discuss the relationship between curiosity and common sense.

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.