Background: Liver cancer is one of the malignant tumors worldwide, while the prevention and control situation is grim at present, and the diffusion of its early screening technology still faces some challenges. This study aims to investigate the influencing mechanism of perceived ease of use, organizational support mechanism, and industry competitive pressure on hepatic early screening technologies use by physicians, so as to promote the wider use of corresponding technologies. -/- Methods: Under the theoretical guidance of technology-organization-environment framework and mindsponge (...) theory, this study took hepatic contrast-enhanced ultrasound as an example, and conducted a cross-sectional questionnaire by randomly selecting physicians from Fujian and Jiangxi provinces in China with a high and low incidence of liver cancer, respectively. Structural equation modeling was used to determine the correlation among perceived ease of use, organizational support mechanism, and industry competitive pressure, as well as their impact on the physicians’ behavior toward contrast-enhanced ultrasound use. -/- Results: The hypothesis model fits well with the data (χ2/df = 1.863, GFI = 0.937, AGFI = 0.908, RMSEA = 0.054, NFI = 0.959, IFI = 0.980, CFI = 0.980). Under technology-organization-environment framework, the perceived ease of use (β = 0.171, p < 0.05), organizational support mechanism (β = 0.423, p < 0.01), industry competitive pressure (β = 0.159, p < 0.05) significantly influenced physicians’ use of hepatic contrast-enhanced ultrasound. Besides, perceived ease of use and organizational support mechanism (β = 0.216, p < 0.01), perceived ease of use and industry competitive pressure (β = 0.671, p < 0.01), organizational support mechanism and industry competitive pressure (β = 0.330, p < 0.01) were all associated significantly. -/- Conclusion: From the lens of information processing (mindsponge theory) and technology-organization-environment framework, this study clarified the social and psychological influencing mechanism of perceived ease of use, organizational support mechanism, and industry competitive pressure on physicians’ use of hepatic contrast-enhanced ultrasound. The results will directly propose recommendations for expanding hepatic contrast-enhanced ultrasound utilization and indirectly promoting other appropriate and effective health technologies diffusion within the integrated health system. (shrink)

Physical laws are strikingly simple, although there is no a priori reason they must be so. I propose that nomic realists of all types (Humeans and non-Humeans) should accept that simplicity is a fundamental epistemic guide for discovering and evaluating candidate physical laws. This principle of simplicity clarifies and addresses several problems of nomic realism and simplicity. A consequence is that the oft-cited epistemic advantage of Humeanism over non-Humeanism disappears, undercutting an influential epistemological argument for Humeanism. Moreover, simplicity is shown (...) to be more tightly connected to lawhood than to mere truth. (shrink)

Realism about quantum theory naturally leads to realism about the quantum state of the universe. It leaves open whether it is a pure state represented by a wave function, or an impure one represented by a density matrix. I characterize and elaborate on Density Matrix Realism, the thesis that the universal quantum state is objective but can be impure. To clarify the thesis, I compare it with Wave Function Realism, explain the conditions under which they are empirically equivalent, consider two (...) generalizations of Density Matrix Realism, and answer some frequently asked questions. I end by highlighting an implication for scientific realism. (shrink)

Despite its apparent complexity, our world seems to be governed by simple laws of physics. This volume provides a philosophical introduction to such laws. I explain how they are connected to some of the central issues in philosophy, such as ontology, possibility, explanation, induction, counterfactuals, time, determinism, and fundamentality. I suggest that laws are fundamental facts that govern the world by constraining its physical possibilities. I examine three hallmarks of laws-simplicity, exactness, and objectivity-and discuss whether and how they may be (...) associated with laws of physics. (shrink)

Does phenomenal force, the distinctive phenomenology attributed to perceptual experience, really form an integral part of the latter? If not, what implications does it have for perceptual justification? In this paper, I first argue for a metacognitive account, according to which phenomenal force constitutes a separate, metacognitive state. This account opens up a previously unexplored path for challenging phenomenal conservatism or dogmatism, which has been a prominent theory of perceptual justification over the past two decades. Moreover, I investigate several alternative (...) possibilities in which phenomenal force might still be deemed as significant, but ultimately demonstrate that its epistemic role remains marginal at best. (shrink)

This correlational study investigated the relationship between preservice teachers’ math self-concept, self-efficacy, and attitude with their math achievement. Participants were chosen using stratified random sampling from BEEd and BSEd mathematics majors (n = 117). From the findings, preservice teachers had moderate to high math self-concept, self-efficacy, and attitude. These variables were statistically correlated with each other and with math achievement. The inclusion of training programs for developing the preservice teachers’ math self-concept, self-efficacy, and attitude, as well as designing curricula that (...) engage and encourage them to do mathematics and problem-solving, must be considered among teacher education institutions. (shrink)

This paper rigorously examines the primitive foundations of economic reasoning through a framework based on symbolic logic. Extending previous work, it formalizes economic conceptions (\(\mathbb{C}\)), symbols (\(s_i\)), and introduces a structured language (\(\mathcal{L_{\mathbb{C}}}\)) to define their formation and interpretation. Organized as a continuous chain of declarations and illustrations, the paper offers a concise, systematic approach to understanding the philosophy of economic reasoning through formal symbolic representations.

As an important view in the epistemology of perception, dogmatism proposes that for any experience, if it has a distinctive kind of phenomenal character, then it thereby provides us with immediate justification for beliefs about the external world. This paper rejects dogmatism by looking into the epistemology of imagining. In particular, this paper first appeals to some empirical studies on perceptual experiences and imaginings to show that it is possible for imaginings to have the distinctive phenomenal character dogmatists have in (...) mind. Then this paper argues that some of these imaginings fail to provide us with immediate justification for beliefs about the external world at least partly due to their inappropriate etiology. Such imaginings constitute counterexamples to dogmatism. (shrink)

According to phenomenal conservatism or dogmatism, perceptual experiences can give us immediate justification for beliefs about the external world in virtue of having a distinctive kind of phenomenal character—namely phenomenal force. I present three cases to show that phenomenal force is neither pervasive among nor exclusive to perceptual experiences. The plausibility of such cases calls out for explanation. I argue that contrary to a long-held assumption, phenomenal force is a separate, non-perceptual state generated by some metacognitive mechanisms that monitor one’s (...) first-order mental processes and states. This new account advances our understanding of the nature of phenomenal force. (shrink)

Psychological research has discovered that episodic memories are constructive in nature. This paper examines how, despite being constructive, episodic memories can provide us with justification for beliefs about the past. In current literature, two major approaches to memorial justification are internalist foundationalism and reliabilism. I first demonstrate that an influential version of internalist foundationalism, dogmatism, encounters problems when we compare certain types of memory construction with cognitive penetration in perception. On the other hand, various versions of reliabilism all face skeptical (...) challenges. I propose an alternative, two-factor theory that recognizes an epistemic distinction typically overlooked by dogmatism and reliabilism. Although our account leaves certain aspects unspecified, it is an important step forward. (shrink)

ABSTRACT Cognitive penetrability refers to the possibility that perceptual experiences are influenced by our beliefs, expectations, emotions, or other personal-level mental states. In this paper, I focus on the epistemological implication of cognitive penetration, and examine how, exactly, aetiologies matter to the justificatory power of perceptual experiences. I examine a prominent theory, according to which some cognitively penetrated perceptual experiences are like conclusions of bad inferences. Whereas one version of this theory is psychologically implausible, the other version has sceptical consequences. (...) In the second half of the paper, I suggest an alternative theory, drawing on recent empirical research on imagining-perception interaction and the epistemology of imagining. (shrink)

According to an oft-repeated narrative, while Kant maintained racist views through the 1780s, he changed his mind in the 1790s. Pauline Kleingeld introduced this narrative based on passages from Kant’s Metaphysics of Morals and “Toward Perpetual Peace”. On her reading, Kant categorically condemned chattel slavery in those texts, which meant that he became more racially egalitarian. But the passages involving slavery, once contextualized, either do not concern modern, race-based chattel slavery or at best suggest that Kant mentioned it as a (...) cautionary tale for labor practices in Europe. Overall, Kant never explicitly considered chattel slavery as a moral problem to be addressed on its own. Rather, he treated it primarily in terms of its function in human history. If he ended up expressing some qualms about its practices, it was likely because they threatened to deepen intra-European conflicts and undermine the prospect of perpetual peace. The humanity of the enslaved “Negroes” was never part of the reasoning. This was not a casual oversight on Kant’s part. It reflects the complexity of his philosophical system: everything he did or did not say about chattel slavery begins to make sense once we connect his philosophy of history and his depiction of “Negroes” as natural slaves. (shrink)

The deduction of categories in the 1781 edition of the Critique of the Pure Reason (A Deduction) has “two sides”—the “objective deduction” and the “subjective deduction”. Kant seems ambivalent about the latter deduction. I treat it as a significant episode of Kant’s thinking about categories that extended from the early 1770s to around 1790. It contains his most detailed answer to the question about the origin of categories that he formulated in the 1772 letter to Marcus Herz. The answer is (...) that categories are generated a priori through a kind of intellectual “epigenesis”. This account leaves unexplained why precisely such and such categories should be generated. While this observation caused Kant to worry about the hypothetical status of the subjective deduction in 1781, he would come to acquiesce in the recognition that the ground of the possibility of categories is itself inscrutable. I call this his “methodological skepticism”. (shrink)

We tend to think that perceptual experiences tell us about what the external world is like without being influenced by our own mind. But recent psychological and philosophical research indicates that this might not be true. Our beliefs, expectations, knowledge, and other personal-level mental states might influence what we experience. This kind of psychological phenomena is now called “cognitive penetration.” The research of cognitive penetration not only has important consequences for psychology and the philosophy of mind, but also has interesting (...) epistemological implications. According to the Downgrade Thesis, some cognitively penetrated perceptual experiences give their subjects less justification for believing their penetrated contents than perceptual experiences that are unpenetrated to represent those contents would usually give. In this paper, I propose an innovative argument for the Downgrade Thesis. First, I develop a positive account of how some cognitive penetration works, according to which cognitive states influence perceptual experiences by triggering some imaginings. Second, I argue that imaginings do not give their subjects justification for believing their contents. I apply this epistemology of imagining to cognitive penetration, and argue that because of the role that imaginings play, some cognitively penetrated experiences also give their subjects less justification for believing their penetrated contents. (shrink)

Mystical religious experiences typically purport to engage with the transcendent and often claim to involve encounters with spiritual entities or a detachment from the material world. Daoism diverges from this paradigm. This paper examines Daoist mystical experiences of bodily transformations and explores their epistemological implications. Specifically, we defend the justificatory power of Daoist somatic experiences against the disanalogy objection. The disanalogy objection posits that mystical experiences, in contrast to sense perceptions, are not socially verifiable and thereby lack prima facie epistemic (...) value. We argue that some Daoist mystical bodily states, being essentially spatiotemporal, are exempt from this challenge. This leads to a broader understanding of mysticism and offers a partial resolution to the disanalogy objection. (shrink)

Kant develops a concept of savagery, partly characterized by laziness, to envision a program for human progress. He also racializes savagery, treating native Americans, in particular, as literal savages. He ascribes to this “race” a peculiar physiological laziness, a supposedly hereditary trait of blunted life power. Accordingly, while he grants them the same “germs” for perfections as he does the civilized Europeans, he allows them no prospect of actually fulfilling any such perfection. For the road to perfection must be paved (...) through industry, a condition that Kant denies to the “savages” by racializing their alleged laziness. This case will shed new light on the debated relation between Kant’s moral universalism and his racism. (shrink)

A testimony is somebody else’s reported experience of what has happened. It is an indispensable source of knowledge. It only gives us historical cognition, however, which stands in a complex relation to rational or philosophical cognition: while the latter presupposes historical cognition as its matter, one needs the architectonic “eye of a philosopher” to select, interpret, and organize historical cognition. Kant develops this rationalist theory of testimony. He also practices it in his own work, especially while theorizing about race as (...) a subject of natural philosophy. In three dedicated essays on this subject, he treats race from the standpoint of a philosophical investigator of nature (Naturforscher), who (as Kant puts it in the first Critique) learns from nature “like an appointed judge who compels witnesses to answer the questions he puts to them.” This view underwrites Kant’s use of travel reports (a type of testimony) in developing and defending his theory of race. (shrink)

Leibniz, and many following him, saw the Principle of Sufficient Reason (PSR) as pivotal to a scientific (demonstrated) metaphysics. Against this backdrop, Kant is expected to pay close attention to PSR in his reflections on the possibility of metaphysics, which is his chief concern in the Critique of Pure Reason. It is far from clear, however, what has become of PSR in the Critique. On one reading, Kant has simply turned it into the causal principle of the Second Analogy. On (...) a different reading, PSR is but the supreme principle of reason, which roughly states that, if the conditioned is given, so is the unconditioned. On my reading, PSR appears in the guises of both the causal principle and the supreme principle. This twofold specification, I argue, is key to understanding (i) Kant’s allegations that past metaphysicians failed to prove PSR, (ii) his own Critical account of the possibility of metaphysics in both of its parts (ontology and metaphysics proper), and (iii) his nuanced answer to the contentious question about the relation between physical inquiry and metaphysical reasoning about nature (both being quests for reasons). (shrink)

We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions to (...) issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of (...) knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

At A71/B96–7 Kant explains that singular judgements are ‘special’ because they stand to the general ones as Einheit to Unendlichkeit. The reference to Einheit brings to mind the category of unity and hence raises a spectre of circularity in Kant’s explanation. I aim to remove this spectre by interpreting the Einheit-Unendlichkeit contrast in light of the logical distinctions among universal, particular and singular judgments shared by Kant and his logician predecessors. This interpretation has a further implication for resolving a controversy (...) over the correlation between the logical moments of quantity (universal, particular, singular) and the categorial ones (unity, plurality, totality). (shrink)

The origin of languages was a hotly debated topic in the eighteenth century. This paper reconstructs a distinctively Kantian account according to which the origination, progression, and diversification of languages is at bottom reason’s self-development under certain a priori constraints and external environments. The reconstruction builds on three sets of materials. The first is Herder’s famous prize essay on the origin of languages. The second includes Kant’s explicit remarks about language – especially his notion of “transcendental grammar,” his argument that (...) language cannot be innate, his contrast of “Oriental” symbolic (intuitive) and “Occidental” discursive languages, and his treatment of the latter as a sine qua non of humanity’s cultural and moral progress. The third includes the concepts that we need to make sense of those remarks, such as Kant’s epigenetic theory of biological formation and his account of categories as originally acquired. (shrink)

The experience of embarrassment was explored in two experiments comparing monolingual and bilingual speakers from cultures varying in the degree of elabo- ration of the embarrassment lexicon. In Experiment 1, narratives in English or Korean depicting three types of embarrassing predicaments were to be rated on their embarrassability and humorousness by Korean-English bilinguals, Korean monolinguals, and Euro-American monolinguals. All groups judged certain predicaments (involving social gaffes) to be the most embarrassing. However, significant group and language differences occurred in judgments of (...) the inten- sity of embarrassment and amusement judgments evoked. Euro-Americans ex- hibited higher overall levels of amusement than the two Korean groups who, in turn, reported higher levels of embarrassment, particularly for certain predica- ment types and contexts (ingroup members present). Further, for the bilinguals, inept performance predicaments in English were judged more embarrassing than those in Korean, whereas all predicament types were judged more amusing when framed with English emotion labels. Bilinguals also appeared to show a heightened embarrassability relative to both monolingual groups. Experiment 2 found lexical selection differences in open-ended responses to embarrassing predicaments depicted in each language, with Euro-Americans preferring to give justifications or use humor to minimize the embarrassment and Korean-English bilinguals preferring to give apologies or say nothing. The findings are interpret- ed to reflect the influence of culturally-mediated schemas guiding the activation and processing of emotion vocabulary. (shrink)

Kant scholars have paid relatively little attention to his raciology. They assume that his racism, as personal prejudice, can be disentangled from his core philosophy. They also assume that racism contradicts his moral theory. In this book, philosopher Huaping Lu-Adler challenges both assumptions. She shows how Kant's raciology--divided into racialism and racism--is integral to his philosophical system. She also rejects the individualistic approach to Kant and racism. Instead, she uses the notion of racism as ideological formation to demonstrate how Kant, (...) from his social location both as a prominent scholar and as a lifelong educator, participated in the formation of modern racist ideology. As a scholar, Kant developed a ground-breaking scientific theory of race from the standpoint of a philosophical investigator of nature or Naturforscher. As an educator, he transmitted denigrating depictions of the racialized others and imbued those descriptions with normative relevance. In both roles, he left behind, as one of his legacies, a worldview that excluded non-whites from such goods as recognitional respect and candidacy for cultural and moral achievements. Scholars who research and teach Kant's philosophy therefore have an unshakable burden to take part in the ongoing antiracist struggles, through their teaching practices as well as their scholarship. And they must do so with a pragmatic attention to nonideal social realities and a deliberate orientation toward substantial racial justice, equality, and inclusion. Lu-Adler pushes the discourse about Kant and racism well beyond the old debates about whether he was racist or whether his racism contaminates his philosophy. By foregrounding the lasting legacies of Kant's raciology, her work calls for a profound reorientation of Kant scholarship. (shrink)

If an asymmetry in time does not arise from the fundamental dynamical laws of physics, it may be found in special boundary conditions. The argument normally goes that since thermodynamic entropy in the past is lower than in the future according to the Second Law of Thermodynamics, then tracing this back to the time around the Big Bang means the universe must have started off in a state of very low thermodynamic entropy: the Thermodynamic Past Hypothesis. In this paper, we (...) consider another boundary condition that plays a similar role, but for the decoherent arrow of time, i.e. the quantum state of the universe is more mixed in the future than in the past. According to what we call the Entanglement Past Hypothesis, the initial quantum state of the universe had very low entanglement entropy. We clarify the content of the Entanglement Past Hypothesis, compare it with the Thermodynamic Past Hypothesis, and identify some challenges and open questions for future research. (shrink)

There is an exegetical quandary when it comes to interpreting Locke's relation to logic.On the one hand, over the last few decades a substantive amount of literature has been dedicated to explaining Locke's crucial role in the development of a new logic in the seventeenth and eighteenth centuries. John Yolton names this new logic the "logic of ideas," while James Buickerood calls it "facultative logic."1 Either way, Locke's Essay is supposedly its "most outspoken specimen" or "culmination."2 Call this reading the (...) 'New Logic interpretation.'On the other hand, from the typical standpoint of a philosopher accustomed to the modern conception of logic, whatever Locke—indeed, whatever most of the... (shrink)

Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.

This paper examines Du Châtelet’s and Kant’s responses to the famous vis viva controversy – Du Châtelet in her Institutions Physiques (1742) and Kant in his debut, the Thoughts on the True Estimation of Living Forces (1746–49). The Institutions was not only a highly influential contribution to the vis viva controversy, but also a pioneering attempt to integrate Leibnizian metaphysics and Newtonian physics. The young Kant’s evident knowledge of this work has led some to speculate about his indebtedness to her (...) philosophy. My study corrects such speculations as well as misunderstandings of the Living Forces. This corrective result has implications for how to investigate Kant’s relation to the ever-evolving landscape of Leibniz exegeses. (shrink)

In a quantum universe with a strong arrow of time, we postulate a low-entropy boundary condition to account for the temporal asymmetry. In this paper, I show that the Past Hypothesis also contains enough information to simplify the quantum ontology and define a unique initial condition in such a world. First, I introduce Density Matrix Realism, the thesis that the quantum universe is described by a fundamental density matrix that represents something objective. This stands in sharp contrast to Wave Function (...) Realism, the thesis that the quantum universe is described by a wave function that represents something objective. Second, I suggest that the Past Hypothesis is sufficient to determine a unique and simple density matrix. This is achieved by what I call the Initial Projection Hypothesis: the initial density matrix of the universe is the normalized projection onto the special low-dimensional Hilbert space. Third, because the initial quantum state is unique and simple, we have a strong case for the \emph{Nomological Thesis}: the initial quantum state of the universe is on a par with laws of nature. This new package of ideas has several interesting implications, including on the harmony between statistical mechanics and quantum mechanics, the dynamic unity of the universe and the subsystems, and the alleged conflict between Humean supervenience and quantum entanglement. (shrink)

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

A century after the discovery of quantum mechanics, the meaning of quantum mechanics still remains elusive. This is largely due to the puzzling nature of the wave function, the central object in quantum mechanics. If we are realists about quantum mechanics, how should we understand the wave function? What does it represent? What is its physical meaning? Answering these questions would improve our understanding of what it means to be a realist about quantum mechanics. In this survey article, I review (...) and compare several realist interpretations of the wave function. They fall into three categories: ontological interpretations, nomological interpretations, and the sui generis interpretation. For simplicity, I will focus on non-relativistic quantum mechanics. (shrink)

In this chapter, I discuss some problems of Kant’s logic corpus while recognizing its richness and potential value. I propose and explain a methodic way to approach it. I then test the proposal by showing how we may use various mate- rials from the corpus to construct a Kantian demonstration of the formal rules of thinking (or judging) that lie at the base of Kant’s Metaphysical Deduction. The same proposal can be iterated with respect to other topics. The said demonstration (...) will have cleared the path for such iterations. (shrink)

Wang Yangming’s discussions concerning evil mainly appear in two sets of texts, i.e., Chuanxilu 传习录 (Instructions for Practical Living) and gongyi 公移 (documents transferred to vertically unrelated departments). The former addresses evil in metaphysical terms, and the latter in social terms. These subtly different approaches show the nuance between self-cultivation and governance of others.

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

In the 1780s through the end of 1790s, Kant made various references to slavery (in its different forms) and the transatlantic slave trade in the context of his political philosophy or philosophy of right; he thereby had opportunities to speak in favor of abolitionism, which was gaining momentum in parts of Europe, or at least to articulate a normative critique of the race-based chattel slavery or Atlantic slavery and the associated slave trade qua (legalized) INSTITUTIONS; but he did neither. Why? (...) In raising and seeking an answer to this question, I am not interested in what Kant’s normative silence about the institutions of Atlantic slavery and slave trade may tell us about him as a person (for example, whether he was blinded by his own racist prejudices or whether he was affected by some kind of cognitive dissonance). Rather, I will focus on what it may tell us about certain limitations of his political philosophy, limitations that might have made it THEORETICALLY DIFFICULT for him to figure out exactly what to DO about those institutions as entrenched political realities. (shrink)

The mathematical structure of realist quantum theories has given rise to a debate about how our ordinary 3-dimensional space is related to the 3N-dimensional configuration space on which the wave function is defined. Which of the two spaces is our (more) fundamental physical space? I review the debate between 3N-Fundamentalists and 3D-Fundamentalists and evaluate it based on three criteria. I argue that when we consider which view leads to a deeper understanding of the physical world, especially given the deeper topological (...) explanation from the unordered configurations to the Symmetrization Postulate, we have strong reasons in favor of 3D-Fundamentalism. I conclude that our evidence favors the view that our fundamental physical space in a quantum world is 3-dimensional rather than 3N-dimensional. I outline lines of future research where the evidential balance can be restored or reversed. Finally, I draw lessons from this case study to the debate about theoretical equivalence. (shrink)

How does the critical Kant view ontology? There is no shared scholarly answer to this question. Norbert Hinske sees in the Critique of Pure Reason a “farewell to ontology,” albeit one that took Kant long to bid (Hinske 2009). Karl Ameriks has found evidence in Kant’s metaphysics lectures from the critical period that he “was unwilling to break away fully from traditional ontology” (Ameriks 1992: 272). Gualtiero Lorini argues that a decisive break with the tradition of ontology is essential to (...) Kant’s critical reform of metaphysics, as is reflected in his shift from “ontology” to “transcendental philosophy,” two notions that Lorini takes to be related by mere “analogy” (Lorini 2015). I agree with Lorini that a thorough reform of ontology is a pivotal part of Kant’s critical plan for metaphysics and that ontology somehow “survives within the critical philosophy” (Lorini 2015: 76). To make this case, however, I deem it important to identify “ontology” and “transcendental philosophy” in the sense of extensional equivalence. While we can detect this identification in Kant’s writings, only from his metaphysics lectures can we get a full sense of its historical and philosophical significance. In this chapter I focus on how it represents a definitive turn from as well as notable continuity with traditional treatments of ontology, particularly the Wolffian one. (shrink)

This paper examines the relationship of ethical decision-making by individuals to corporate business ethics and organizational performance of three groups: SMEs, Outstanding SMEs and Large Enterprises, in order to provide a reference for Taiwanese entrepreneurs to practice better business ethics. The survey method involved random sampling of 132 enterprises within three groups. Some 524 out of 1320 questionnaires were valid. The survey results demonstrated that ethical decision-making by individuals, corporate business ethics and organizational performance are highly related. In summary, then, (...) high levels of organizational performance were directly attributable to high levels of applied corporate and individual ethics. Furthermore, there is a demonstrable tendency for Outstanding SMEs to reject ethically unsound practices such as padded expense accounts, tax evasion and misleading advertising. The measurement criteria used to assess organizational performance, however, did not include an objective evaluation of financial performance. (shrink)

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)

The present study aims to examine the relationship between the cortical midline structures (CMS), which have been regarded to be associated with selfhood, and moral decision making processes at the neural level. Traditional moral psychological studies have suggested the role of moral self as the moderator of moral cognition, so activity of moral self would present at the neural level. The present study examined the interaction between the CMS and other moral-related regions by conducting psycho-physiological interaction analysis of functional images (...) acquired while 16 subjects were solving moral dilemmas. Furthermore, we performed Granger causality analysis to demonstrate the direction of influences between activities in the regions in moral decision-making. We first demonstrate there are significant positive interactions between two central CMS seed regions—i.e., the medial prefrontal cortex (MPFC) and posterior cingulate cortex (PCC)—and brain regions associated with moral functioning including the cerebellum, brainstem, midbrain, dorsolateral prefrontal cortex, orbitofrontal cortex and anterior insula (AI); on the other hand, the posterior insula (PI) showed significant negative interaction with the seed regions. Second, several significant Granger causality was found from CMS to insula regions particularly under the moral-personal condition. Furthermore, significant dominant influence from the AI to PI was reported. Moral psychological implications of these findings are discussed. The present study demonstrated the significant interaction and influence between the CMS and morality-related regions while subject were solving moral dilemmas. Given that, activity in the CMS is significantly involved in human moral functioning. (shrink)

Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. I propose a unified 'Humean' solution to the two problems. Humeanism allows us to incorporate the Past Hypothesis and the Statistical Postulate into the best system, which we then use to simplify the quantum state of the universe. This enables us to confer the nomological status to the quantum state in (...) a way that adds no significant complexity to the best system and solves the ''supervenient-kind problem'' facing the original version of the Past Hypothesis. We call the resultant theory the Humean unification. It provides a unified explanation of time asymmetry and quantum entanglement. On this theory, what gives rise to time's arrow is also responsible for quantum phenomena. The new theory has a separable mosaic, a best system that is simple and non-vague, less tension between quantum mechanics and special relativity, and a higher degree of theoretical and dynamical unity. The Humean unification leads to new insights that can be useful to Humeans and non-Humeans alike. (shrink)

Artificial intelligence (AI) systems are increasingly adopted to make decisions in domains such as business, education, health care, and criminal justice. However, such algorithmic decision systems can have prevalent biases against marginalized social groups and undermine social justice. Explainable artificial intelligence (XAI) is a recent development aiming to make an AI system’s decision processes less opaque and to expose its problematic biases. This paper argues against technical XAI, according to which the detection and interpretation of algorithmic bias can be handled (...) more or less independently by technical experts who specialize in XAI methods. Drawing on resources from feminist epistemology, we show why technical XAI is mistaken. Specifically, we demonstrate that the proper detection of algorithmic bias requires relevant interpretive resources, which can only be made available, in practice, by actively involving a diverse group of stakeholders. Finally, we suggest how feminist theories can help shape integrated XAI: an inclusive social-epistemic process that facilitates the amelioration of algorithmic bias. (shrink)

Humans often unconsciously perceive social robots involved in their lives as partners rather than mere tools, imbuing them with qualities of companionship. This anthropomorphization can lead to a spectrum of emotional risks, such as deception, disappointment, and reverse manipulation, that existing approaches struggle to address effectively. In this paper, we argue that a Virtual Interactive Environment (VIE) exists between humans and social robots, which plays a crucial role and demands necessary consideration and clarification in order to mitigate potential emotional risks. (...) By analyzing the relational nature of human-social robot interaction, we discuss the connotation of such a virtual interactive environment that is similar to the emotional states aroused when reading novels. Building on this comprehension, we further demonstrate that manufacturers should carry out comprehensive Virtual Interactive Environment Indication (VIEI) measures during human-social robot interaction with a stricter sense of responsibility when applying social robots. Finally, we contemplate the potential contributions of virtual interactive environment indication to existing robot ethics guidelines. (shrink)

Kant describes logic as “the science that exhaustively presents and strictly proves nothing but the formal rules of all thinking”. (Bviii-ix) But what is the source of our cognition of such rules (“logical cognition” for short)? He makes no concerted effort to address this question. It will nonetheless become clear that the question is a philosophically significant one for him, to which he can see three possible answers: those representations are innate, derived from experience, or originally acquired a priori. Although (...) he gives no explicit argument for the third answer, he seems committed to it—especially given his views on the source of pure concepts of the understanding and on the nature of logic. It takes careful preparatory work to gather all the essential materials for motivating and reconstructing Kant’s “original acquisition” account of logical cognition. I shall proceed in two sections. In section 1, I analyze Kant’s argument that pure concepts of the understanding (or intellectual concepts)—as one kind of pure cognition—must be acquired originally and a priori. My analysis partly concerns his varied attitudes toward Crusius’s and Leibniz’s versions of the nativist account of such concepts. I give special attention to how Kant characterizes the nativist account and his own “original acquisition” account in terms of “preformation” and “epigenesis”. My goal is, firstly, to tease out the sense in which Kant grants that there must be an innate ground (or preformation) for the derivation of pure concepts and, secondly, to introduce—and pave the way for answering—the question about the source of logical cognition. In section 2, in light of Kant’s reference to Locke and Leibniz as the greatest reformers of philosophy (including logic) in their times (Log, AA 9: 32), I examine the Lockean and Leibnizian approaches to logic, respectively. Both approaches are “physiological” by Kant’s standard and are directly opposed to his own strictly critical method. I explain how this methodological move shapes Kant’s view that representations of logical rules must be originally acquired a priori. This acquisition involves a kind of radical epigenesis of pure reason: unlike the acquisition of pure concepts, it presupposes no further innate ground (or preformation). This view will have important consequences for issues such as the ground of the normativity of logical rules and the boundaries of their rightful use. (shrink)

Declan Smithies’ The Epistemic Role of Consciousness argues for “phenomenal mentalism,” according to which justification is determined synchronically and solely by phenomenally individuated mental states. Moreover, part I of the book argues for a few specific epistemic principles about perception, cognition, and introspection. My comments focus on the discussion of these specific principles and raise worries about the consistency with other ideas in the book, and about the arguments for these principles.

Harry Frankfurt had insightfully pointed out that an agent acts freely when he acts in accord with the mental states with which he identifies. The concept of identification rightly captures the ownership condition (something being one’s really own), which plays a significant role in the issues of freedom and moral responsibility. For Frankfurt, identification consists of one’s forming second-order volitions, endorsing first-order desires, and issuing in his actions wholeheartedly. An agent not only wants to φ but also fully embraces his (...) desire to φ (and φ). Frankfurt’s official theory above encounters some serious problems, especially since it is believed that his concept of wholehearted identification is too strong to be necessary for freedom. In this paper, I propose that we can uncouple identification from wholeheartedness and thus get two different senses of identification: weak identification and strong identification. Then, I argue that this distinction does a better job than Frankfurt’s official theory. On the one hand, weak identification is enough for ownership and freedom and thus more promising than strong identification; on the other hand, this distinction has an attractive implication that it fits well with our intuition about the degree of freedom and responsibility. (shrink)

The text addresses conceptions of human selfhood and humankind as developed by two major nineteenth-century German-speaking historians, Johann Gustav Droysen and Jacob Burckhardt. It aims at ascertaining to what extent the historical anthropologies proposed by both authors can be considered to be humanistic. We will attempt to provide an answer to this question while locating and discussing both humanistic and anti-humanistic features in their texts. Humanism is understood here as a perspective that emerged within the framework of the philosophy of (...) the Enlightenment, for example, in Immanuel Kant's ethics and in Friedrich Niethammer's pedagogy. On the one hand, we will define Droysen's and Burckhardt's anthropologies as humanistic, stressing their intellectual connection to the universalistic notions of humankind and human nature developed in the late eighteenth-century. On the other, we will relativize this predicament by exploring their main anti-humanistic traits, i.e. nationalism, with regard to Droysen, and aestheticism, in the case of Burckhardt. (shrink)

Kant is regarded as the spokesman of the contemporary declaration of human rights and the forerunner of global citizenship theory. However, this noble image has been questioned by critics for his comment of empirical racial hierarchy stated in the pre-critical period: Kant’s moral law applies only to the white race with the “full personality”. Around the question of whether Kant’s pure moral philosophy was impregnated by his racist view, the defenders of Kant either adopt the negative defense strategy of affirming (...) the transcendental moral philosophy and negating the racial thought, or try to justify the consistency of Kant’s theory from the perspective of his later philosophy of right. The deficiency of these two justifications is that they do not directly deal with the relationship between moral philosophy and race theory. When Kant developed a mature moral theory in the mid-1780s, he also constructed a systemically mature race theory under the guidance of teleology principles to defend the unity of mankind in a different world. This theory can be used as the explanatory basis to prove the universality of Kant’s moral philosophy, which reflects the deep correlation between moral philosophy and race theory. From this perspective, it can not only make up for the lack of defenders and respond to the critics’ doubts, but also portray a consistent egalitarian image of Kant. (shrink)