This issue presents the research on early Chinese texts by Cao Feng, a philosophy professor at Tsinghua University. He is an expert in early Chinese political philosophy and philosophy of language found in transmitted and excavated texts. His extensive education in Japan has left him well versed in Japanese sinology. Although a critical researcher in the field of early Chinese thought and a very prolific writer in both Chinese and Japanese, Cao Feng is little known in the West. This issue (...) introduces three papers selected in consultation with the author: a reflection on the study of excavated texts, the "Huang" component of so-called Huang-Lao thought, and views on language in the Laozi. (shrink)

1891. The recovered manuscript of Aristotle's Constitutional History of Athens, now for the first time given to the world from the unique text in the British...

The visual system adapts to a wide range of visual features, from lower-level features like color and motion to higher-level features like causality and, perhaps, number. According to some, adaptation is a strictly perceptual phenomenon, such that the presence of adaptation licenses the claim that a feature is truly perceptual in nature. Given the theoretical importance of claims about adaptation, then, it is important to understand exactly when the visual system does and does not exhibit adaptation. Here, we take as (...) a case study one specific kind of adaptation: visual adaptation to size. Supported by evidence from four experiments, we argue that, despite robust effects of size adaptation in the lab, (1) size adaptation effects are phenomenologically underwhelming (in some cases, hardly appreciable at all), (2) some effects of size adaptation appear contradictory, and difficult to explain given current theories of size adaptation, and (3) prior studies on size adaptation may have failed to isolate size as the adapted dimension. Ultimately, we argue that while there is evidence to license the claim that size adaptation is genuine, size adaptation is a puzzling and poorly understood phenomenon. (shrink)

As the scope of innovative technologies is expanding, their implications and applications are increasingly intersecting with various facets of society, including the deeply rooted traditions of religion. This paper embarks on an exploratory journey to bridge the perceived divide between advancements in technology and faith, aiming to catalyze a dialogue between the religious and scientific communities. The former often views technological progress through a lens of conflict rather than compatibility. By utilizing a technology-centric perspective, we draw metaphorical parallels between the (...) functionalities of new technologies and some theological concepts of Islam. The purpose is not to reinterpret religious concepts but to illustrate how these two domains can coexist harmoniously. This comparative analysis serves as a conversation starter with an intention to mitigate any apprehensions towards technology by highlighting its potential to align with religious concepts. By fostering an environment where technological innovations are seen as tools for enhancement rather than threats to tradition, we contribute to a more inclusive discourse that encourages the religious community to engage with and potentially embrace contemporary technological advancements. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Albert and Cederman couch the neorealist perspective in terms of ‘systems’ theorizing, Ferguson and Mansbach rhetorically discuss issues and non-issues which are readily addressed within the neoliberal perspective, and of course, Onuf is unabashedly a constructivist. Below, I discuss each theoretical perspective relative to the articles assigned, and, thereafter conclude with some observations on the three articles and theoretical frameworks.

This paper introduces the concept of AI-inclusive epistemology, suggesting that artificial intelligence (AI) may develop its own epistemological perspectives, function as an epistemic agent, and assume the role of a quasi-member of society. We explore the unique capabilities of advanced AI systems and their potential to provide distinct insights within knowledge systems traditionally dominated by human cognition. Additionally, the paper proposes a framework for a sustainable symbiotic society where AI and human intelligences collaborate to enhance the breadth and depth of (...) epistemological pursuits. Through this exploration, we aim to redefine conventional knowledge paradigms by integrating the AI perspective, thereby fostering a more comprehensive and dynamic epistemological landscape. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

For the purposes of this enquiry—an account of what Equiano’sa modernity was, and which particular historical ‘demarcations’ of modernity provided for an enslaved man to achieve freedom through great fortune and great cunning, I will assume a definition of ‘modernity’ as defined by Kathleen Wilson: “. . . not one moment or age, but a set of relations that are constantly being made and unmade, contested and reconfigured, that nonetheless produce among their contemporaneous witnesses the conviction of historical difference.” By (...) adopting this definition, modernity in the times of Equiano refers to, “the cultural practices and representations that produced certain kinds of subjects and objects of knowledge, upheld widely-shared notions of space and time, or facilitated the formation of cultural identities that resulted in pluralities and contradictions as well as unities and coherences,” which provided for a slave to acquire freedom amidst eighteenth-century imperialism, slave-trade, and emerging abolitionist sentiments within bourgeois culture. (shrink)

Many times, what we say proves to be wrong. It might turn out that what we took to be a comforting remark was, in fact, making things worse. Or that a joke was inappropriate. Or that yelling out loud was rude. More importantly for this paper, there are plenty of cases in which what we said turns out to be false: we spoke without paying attention, we were misinformed or tricked, or we made a reasoning mistake. -/- A particular instance (...) of this latter phenomenon is when someone changes their perspective and doesn't find their previous assertions true anymore. For example, imagine that you used to like licorice as a child, and that you went around saying things like "Licorice is tasty." But, growing up, you find licorice too strong and quite boring; your tastes have changed. While the taste of licorice itself has not changed, you are not going around anymore uttering "Licorice is tasty." In fact, in certain cases, you might even think that what you said in your childhood was wrong - at least in light of your present preferences. -/- Sometimes we "take back" the assertions we made when we realize they are no longer true. Such speech acts of taking back can be performed in various ways: more formally, as effected in a court of law or when an official speaks to the press, or more informally in our day-by-day interactions. These acts of taking back are known as retraction. Retraction is usually achieved by employing certain linguistic markers ('I was wrong', 'I was mistaken', 'I retract', "Scratch that' etc.) that signal that the retractor takes their previous speech act to be faulty in a certain way. -/- This phenomenon has formed the basis for a popular argument used by relativists about a variety of natural language expressions (predicates of taste, epistemic modals, moral and aesthetic claims etc.) in support of their view. Recently, several considerations (mostly from contextualists about the same expressions), both from the armchair and based on empirical studies, have been offered to undercut the support retraction was thought to provide for relativism. In this paper, I consider and re-evaluate that support in light of both types of considerations, showing that neither of them decisively undermines it. However, to survive the contextualist counterattack, the relativist needs to pay a price: that is, she will be forced to make some concessions or rethink certain claims. I show what I think those concessions should be and what needs to be rethought (and how). The upshot is that, while the support retraction offers relativism is not as strong as initially believed, appeal to retraction remains a legitimate move in the debate. In section 1, I introduce the views in the debate and clarify the phenomenon of retraction and its dialectical role. Armchair data are investigated in section 2, proper experimental studies in section 3, while section 4 summarizes and concludes. (shrink)

A phronetic approach takes into account everything possible. By this, the phronetic researcher ought to be better-informed of the practical—that which is readily available in order to solve localized political problems and to direct political participants to think in terms of value-rational understanding and action. Phronetic knowledge ought to be of utility to the citizenry—and not only to academia. It does not only explain phenomena, but also provides for altering the outcomes associated with political phenomena by integrating value judgments and (...) broader ethical precepts into the analysis. This is instrumental in producing knowledge that provides for practical application of problem solving that can be deemed good or better, and provides a means for ascertaining the bad or worse in a given political scenario. This paper examines how knowledge is produced by the phronetic approach, what knowledge can be known by the phronetic approach, and whether there are inherent limitations to the phronetic approach to understanding. (shrink)

This paper examines the distinction between self-love and self-conceit in Kant's moral psychology. It motivates an alternative account of the origin of self-conceit by drawing a parallel to what Kant calls transcendental illusion.

A supplemental document for "Metalinguistic Gradability".

Algorithms wield increasing control over our lives—over the jobs we get, the loans we're granted, the information we see online. Algorithms can and often do wield their power in a biased way, and much work has been devoted to algorithmic bias. In contrast, algorithmic neutrality has been largely neglected. I investigate algorithmic neutrality, tackling three questions: What is algorithmic neutrality? Is it possible? And when we have it in mind, what can we learn about algorithmic bias?

In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. The Parc de La Villette represents the (...) last of these possibilities: it is a philosophical statement that develops the premises derived from poststructuralist philosophies and the philosophy of deconstruction. The uniqueness of its being status, however, is that it does so not only at the level of the theoretical assumptions, but also through its functioning as an active philosophical work. This means that a park is a happening philosophy. Its activity, however, does not refer only to the present tense, but is also an attempt to penetrate the future, all otherness and impossibility. This kind of activity assumes that the work, in a sense, does not yet fully exist, but is also still produced in the processes of its interpretation. The theoretical foundations of the park included texts by Bernard Tschumi, in which he questioned traditional ways of creating a work of architecture, postulating in return the use of a long series of negations, which were comparable to the crisis of metaphysics characteristic of contemporary philosophy. It is therefore no coincidence that the publication containing Tschumi’s theoretical text on Parc de La Villette was accompanied by an essay by Jacques Derrida developing some of the architect’s concepts. The next step in integrating philosophy into the process of park design was a series of discussions between Peter Eisenman and Derrida, who completely moved the creation of the park into the world of thoughts, without accentuating the need for their realization in the material reality. The main topic of these discussions was the problem of the chôra, which was taken up by later commentators and used to interpret the park as a work in which the philosophy of the beginning is manifested relating to issues of politics, morality and religion. The park was therefore interpreted as a space of invention within the scope of creating new rules of functioning of the community and democracy. Thinking about the political future may, however, exceed the horizon of ordinary expectations. Although philosophical thought is always connected with contemporary problems and metaphysics sometimes intertwines with current politics, yet at the same time the customs of philosophy also include crossing horizons and thinking about absolute otherness and impossibility. Initially, the chôra, différance, Absolute Otherness (tout autre) and the Impossibile were concepts of pure philosophy of atheistic character, but with the further development of the discussion, more and more theological motifs began to emerge. One of the reasons for this phenomenon was the fact that radical negations of all being, which were contemplated in contemporary philosophy (by Heidegger and Derrida, among others), had previously been manifested in negative and apophatic theologies (by Master Eckhart, among others). Also the category of the “Other”, taken from Emmanuel Levinas, was clearly connected with the thought about God. A further reason for connecting the chôra with the theological thought was the interest in the philosophy of deconstruction expressed by some theologians. Caputo in particular managed to persuade Derrida to participate in discussions on the current status of religion. In the late period of Derrida’s writing, further statements on religious topics appeared. All these reasons led to posing a question about the identity of the chôra and God. Although there were no satisfactory conclusions on this issue, the discussion was also important to create an interpretation of the park as a place of worship. The chôra, representing, according to Plato, the preoriginal emptiness is the place of every beginning, but it turns out that it is not neutral to the being created in it. The chôra deposits itself in every being as an irremovable beginning that interferes with its stability. The chôra, therefore, forces us into a palintropical movement, but it also turns out to be a pure compulsion, an erring necessity and a fundamental force from which, in the human perception, motifs useful to the individual and to the community are extracted. All definitions of this force, including its anthropomorphisation, are formulated in such a way that they allow for building private and collective morality upon them. Such definitions are changed depending on variable political situations. It is difficult to determine whether in the processes of changes in the formulation of “God’s names” any essential value is retained, which is not subject to change. The current definitions of the chôra (God?), which can be found, for example, in the philosophy of Caputo, stress that she is a combination of various and contradictory forces. This characteristic inherits much of Plato’s concept, reminds us of Master Eckhart’s views on Gottheit and, at the same time, is not unfamiliar to Tschumi, whose essays were an apologia of contradictions. The current concept of chôra, transferred into the sphere of politics, is the praise of social diversity and the protection of the difference from the forces of order. In the Parc de La Villette, the future community and democracy were elevated as a system of safe existence of individuals in all their singularity. The park is a temple of a future community in which individual beings have nothing in common. (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)

In the context of discovery-oriented hypothesis testing research, behavioral scientists widely accept a convention for false positive (α) and false negative error rates (β) proposed by Jacob Cohen, who deemed the general relative seriousness of the antecedently accepted α = 0.05 to be matched by β = 0.20. Cohen’s convention not only ignores contexts of hypothesis testing where the more serious error is the β-error. Cohen’s convention also implies for discovery-oriented hypothesis testing research that a statistically significant observed effect is (...) four times more probable to be a mistaken discovery than for a statistically significant true observed effect to be independently replicable. In the long run, Cohen’s convention thus is epistemically harmful to the development of a progressive science of human behavior, making its acceptance crucial in explaining the replication crisis in behavioral science. The balance between α- and β-errors generally ought to be struck using both epistemic and practical considerations. Yet epistemic considerations alone imply that making a genuine contribution to the body of knowledge in behavioral science requires error rates that are not only small but also symmetrical. (shrink)

Several authors have used the notion of causal specificity in order to defend non-parity about genetic causes (Waters 2007, Woodward 2010, Weber 2017, forthcoming). Non-parity in this context is the idea that DNA and some other biomolecules that are often described as information-bearers by biologists play a unique role in life processes, an idea that has been challenged by Developmental Systems Theory (e.g., Oyama 2000). Indeed, it has proven to be quite difficult to state clearly what the alleged special role (...) of genetic causes consists in. In this paper, I show that the set of biomolecules that are normally considered to be information-bearers (DNA, mRNA) can be shown to be the most specific causes of protein primary structure, provided that causal specificity is measured over a relevant space of biological possibilities, disregarding physical as well as logically possible states of the causal variables. (shrink)

This paper (from 2006) is now defunct. I argue against "realist primitivism". One of my arguments is a kind of "evolutionary debunking argument". Some of the material of this was incorporated into “Can Disjunctivists Explain Our Access to the Sensible World?” and "How Does Color Experience Represent the World?".

This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. (More information at www<dot>beyondspacetime<dot>net.) This chapter introduces causal set theory and identifies and articulates a 'problem of space' in this theory.

In the archetypical action thriller, the plot turns on a critical moment of insight. A car with out-of-state license plates, the gold tooth of the man behind the counter— something tips us off, and loose strands of evidence are woven into a meaningful pattern. Substituting a runaway trolley for suspicious vehicles and dental anomalies, we suggest that a similar denouement is at hand in the field of moral psychology. A number of theoretical proposals that were at one time regarded as (...) unconnected at best, and contradictory at worst, now show hope of reconciliation. Unknowns abound, but there are hints of an emerging consensus. At its core is a recognition that moral judgment is the product of interaction and competition between distinct psychological systems. The goal of the present essay is to describe these systems to highlight important questions for future research. Recent research in moral psychology has focused on two challenges to the longdominant cognitive development paradigm conceived by Piaget and nurtured by Kohlberg (Kohlberg, 1969; Piaget, 1965/1932; Turiel, 1983, 2005). The first challenge claims that moral judgment is accomplished by rapid, automatic and unconscious intuitions (Damasio, 1994; Haidt, 2001; Hauser, 2006; Mikhail, 2000; Schweder & Haidt, 1993), contra the cognitive developmentalists' assumption that moral judgment is the product of conscious principled reasoning. This challenge is built in part on studies demonstrating people's inability to articulate a rational basis for strongly held moral convictions (Bjorklund, Haidt, & Murphy, 2000; Cushman, Young, & Hauser, 2006; Hauser, Cushman, Young, Jin, & Mikhail, 2007; Mikhail, 2000). The second and related challenge claims that moral judgment is driven primarily by affective responses (Blair, 1995; Damasio, 1994; Greene & Haidt, 2002; Schweder & Haidt, 1993), contra the cognitive developmentalists' assumption that moral judgment results from the application of general principles in a "cold" cognitive process.. (shrink)

What is it to share the same concept? The question is an important one since sharing the same concept explains our ability to non-accidentally coordinate on the same topic over time and between individuals. Moreover, concept identity grounds key logical relations among thought contents such as samesaying, contradiction, validity, and entailment. Finally, an account of concept identity is crucial to explaining and justifying epistemic efforts to better understand the precise contents of our thoughts. The key question, then, is what psychological (...) and social facts could play these roles? Elsewhere, we have argued for a specific relational model of concept identity, the connectedness model (e.g. Schroeter 2012, Schroeter and Schroeter 2014, 2015). Our aim in this chapter is to further explain the motivations behind that account, to address worries about transitivity and vagueness, and to contrast our approach with closely related accounts of concept identity developed by François Recanati and Simon Prosser. -/- What’s distinctive of our approach is that we seek to vindicate the first-person epistemic perspective of concept users. Concepts, on our account, play a crucial normative role in setting regulative ideals for the representational practices in which individual subjects participate. This focus on the normative role of concepts – as opposed to a purely causal explanatory role – motivates our approach to concept identity and our toleration of vagueness and borderline cases. (shrink)

We study the performance of ChatGPT interpreting prompts that require legal expertise to answer. Our inputs are very close adaptations from the "Contextual Canons" section of Scalia and Garner's Reading Law: The Interpretation of Legal Texts (Thomson West: 2012). We report our findings for the entire section (comprising 14 canons) of the book. We conclude that ChatGPT is exceptionally successful in taking the contextual canons into account.

This chapter surveys a few of the central questions about philosophical perspectives on the ethics of belief, focusing especially on (1) questions about whether doxastic involuntarism is consistent with the normative approach to epistemology characteristic of any ethics of belief; (2) the status and interpretation of William Clifford's famous injunction against belief on "insufficient" evidence, and broader questions about the role of negative versus positive doxastic norms; (3) whether norms governing belief are distinctively epistemic norms, or are instead moral or (...) practical ones; and (4) how moral and political questions about belief bear on epistemic norms, including a discussion of doxastic wronging, racist beliefs, skepticism and rape culture, and epistemic partiality—whether, for instance, friendship requires beliefs that violate epistemic norms. (shrink)

In international law and the ethics of war, there are a variety of actions which are seen as particularly problematic and presumed to be always or inherently wrong, or in need of some overwhelmingly strong justification to override the presumption against them. One of these actions is assassination, in particular, assassination of heads of state. In this essay I argue that the presumption against assassination is incorrect. In particular, I argue that if in a given scenario war is justified, then (...) assassination of the enemy state's leader is also justified, and in fact ought to be pursued as a means short of war. I defend this position on both consequential and deontic grounds, arguing that assassination is both more discriminate than war and serves to harm only those most responsible for the situation which justifies war in the first place. I conclude by arguing that a norm of assassination, far from being a destabilizing force, as some have argued, would in fact serve to reinforce international norms of rights and respect for persons by making clear that tyrants and would-be oppressors cannot hide behind military forces or notions of sovereignty to protect themselves from judgment and retribution. (shrink)

This essay defends an epistemicist response to the phenomenon of vagueness concerning moral terms. I outline a traditional model of - and then two novel approaches to - epistemicism about moral predicates, and I demonstrate how the foregoing are able to provide robust explanations of the source of moral, as epistemic, indeterminacy. The first approach to moral epistemicism concerns the extensions of moral predicates, as witnessed by the non-transitivity of a value-theoretic sorites paradox. The second approach to moral epistemicism is (...) induced by the status of moral dilemmas in the epistemic interpretation of two-dimensional semantics. I examine the philosophical significance of the foregoing, and compare the proposal to those of ethical expressivism, constructivism, and scalar act-consequentialism. Finally, I examine the status of moral relativism in light of the epistemicist models of moral vagueness developed in the paper. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

According to Robert K. Garcia, trope theories divide into two distinct groups based on the type of tropes (module or modifier) assumed. Although left unnoticed by many trope theorists, Garcia claims that the module/modifier distinction has important consequences regarding the ontological merits of the different trope theories. In this article, I argue that Garcia’s distinction between module and modifier tropes fails to provide any correct or informative classification of trope theories: Garcia’s distinction is based on assumptions and primitive notions trope (...) theorists explicitly reject. Trope theories attempt to eliminate the fundamental object-property dichotomy by means of the analysis of inherence (an object having a property). By contrast, Garcia’s module and modifier tropes are different kinds of particular properties, which fundamentally inhere in a property bearer. Therefore, no trope is a module or modifier trope in Garcia’s sense. Finally, there is an ambiguity in Garcia’s use of his term “character making” that makes void his arguments for the module/modifier distinction based on the conception of non-module tropes as “character makers”. (shrink)

Illusionism treats the almost universally held belief in our ability to make free choices as an erroneous, though beneficent, idea. According to this view, it is sadly true, though virtually impossible to believe, that none of a person’s choices are avoidable and ‘up to him’: any claim to the effect that they are being naïveté or, in the case of those who know better, pretense. Indeed, the implications of this skepticism are so disturbing, pace Spinoza, that it must not be (...) allowed to see the light of intellectual day, confined to the nether regions of consciousness. Even those who have ‘done the philosophy’ and disabused themselves here should nevertheless (somehow) continue believing in free will, lest they come to regard our lives as meaningless, spreading despair and social upheaval. Thus, the “Illusionists” who propound this view are themselves circumspect in doing so. -/- But is escaping the (putative) truth really possible here? Could a disabused philosopher ever return to something like his former intellectual innocence? Self-deception may not be possible; but would an attempt at it reveal anything significant about choice formation? If one were to try to regain one’s illusion, what would one realize? I shall argue here that one would reflectively discover precisely the opposite of what the Illusionists contend- that there are indeed free choices. Let us begin by considering the inconsistency that supposedly entails the illusion of free will. (shrink)

We argue against the halving response to Sleeping Beauty. First, we outline an appealing constraint on probability assignments: the Principle of Irrelevant Information. Roughly, this says: if you don’t know whether C, but you would assign probability r to A regardless of whether C or not-C, then you should assign r to A. This Principle is deeply plausible, but we show that it contradicts halving. Second, we show that halving violates solid statistical reasoning.

The paper continues my earlier Chat with OpenAI’s ChatGPT with a Focused LLM Experiment (FLEX). The idea is to conduct Large Language Model (LLM) based explorations of certain areas or concepts. The approach is based on crafting initial guiding prompts and then follow up with user prompts based on the LLMs’ responses. The goals include improving understanding of LLM capabilities and their limitations culminating in optimized prompts. The specific subjects explored as research subject matter include a) diagonalization techniques as practiced (...) by Cantor, Turing, Gödel, and the advances, such as the Forcing techniques introduced by Paul Cohen and later investigators, b) Knowledge Hierarchies & Mapping Exercises, c) Discussions of IJ Good’s Speculations Concerning the First Ultraintelligent Machine, AGI, and Super- intelligence. Results suggest variability between major models like ChatGPT-4, Llama-3, Cohere, Sonnet and Opus. Results also point to strong dependence on users’ preexisting knowledge and skill bases. The paper should be viewed as ’raw data’ rather than a polished authoritative reference. (shrink)

The problem of communication in de se thoughts is the problem of communication of first-person or self-locating thoughts across the speakers of a conversation. The problem mainly stems from the lack of a proper account of attitude and content — an account that is supposed to explain whether or how the context of linguistic utterances is related to the semantic content of a sentence, assertion and belief. In this paper, after introducing two new semantic items, namely, almost-impossible and almost-necessary propositions, (...) that could be taken as theoretically primitive entities in the semantic framework I wish to draw, I propose an account of modified Lewisian-centered content and attitude based on the metaphysical framework of the Lewisian counterpart-theoretic semantics for quantified modal logic to the extent that the modification relies on those new semantic items. I then show that we can solve the problem by using our modified account. (shrink)

I this paper I give minimal axioms for the ontology of time, especially A-theories and B-theories and I derive philosophically interesting lemmas. The exercise is set-theoretical, defining all notions and indicating assumptions and philosophical points of disagreement, while being easy to translate to other formal expressions . The issue of a logic for A-theories of time is treated towards the end, where I sketch ‘copresent’ operators for capturing the idea of temporal passage. The main conclusion will be that, while circularity (...) threatens both families of theories, the growing block theory (belonging to the A-theory) is the least objectionable philosophically. (shrink)

This paper defends a simple thesis: that knowledge is belief for reasons that are both objectively and subjectively sufficient. I take a dogmatic approach, devoting the bulk of the paper to an explanation of what this means, and of why it explains both what knowledge is like, and why it is important; the theory is justified by its fruits. I go on to illustrate, by appeal to my main thesis, how knowledge comes to play some of the key roles that (...) it does, including looking at Williamson’s arguments that knowledge is prime and for its distinctive explanatory role, as well as why my account explains and predicts the complicated behavior of knowledge in cases involving defeaters, defeated defeaters, and defeaters whose defeaters are defeated, as well as the different possible kinds of defeat – the primary source of complications in the Gettier literature. These facts are easily explained by the central thesis of the paper, without either giving up on the analysis of knowledge or resorting to arbitrary or ad hoc measures. Since the last five decades of literature might lead one to find it fairly audacious to propose an analysis of knowledge, a final section addresses the putative inductive grounds for general pessimism about the Gettierological project. (shrink)

This paper connects two ideas. The first is that some common responses to ethical views are responses to their degrees of pragmatism, where a view’s degree of pragmatism is its sensitivity to ethically relevant changes in the actor’s circumstances. I claim that we feel the pull of opposing pro-pragmatic and antipragmatic intuitions in certain cases. This suggests a project, of searching for an ethical view capable of doing justice to these opposing intuitions in some way. The second central idea is (...) that a theory of pattern-based reasons looks more promising than the obvious alternatives to fulfil this role, amongst Teleological theories at least. Pattern-based reasons are reasons to perform some action because of the goodness or rightness of a larger pattern of action—such as a pattern that a group could perform or that the actor could perform over an extended period—of which the immediate action is a mere part. Existing theories of such reasons share two features that prevent them explaining the intuitions we wish to explain: they consider only one pattern at a time (they are monist), and they treat patterns as eligible only if the agents concerned are willing to realise them (they accept the Willingness Requirement). But we need not accept these doctrines. Moreover, a theory of patternbased reasons without them is able to explain the pro- and anti-pragmatic intuitions in an elegant way, and has other attractive features. (shrink)

There are obvious benefits to be gained from the study of logic: heightened ability to express ideas clearly and concisely, increased skill in defining one's terms, enlarged capacity to formulate arguments rigorously and to analyze them critically. But the greatest benefit, in my judgment, is the recognition that reason can be applied in every aspect of human affairs.

Habilitation thesis, book proposal in preparation.

I aim to develop a tool for comparing theories of vagueness, using Structured Query Language. Relevant SQL snippets will be used throughout.

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

An examination is made of the way in which particles emerge from linear, bosonic, massive quantum field theories. Two different constructions of the one-particle subspace of such theories are given, both illustrating the importance of the interplay between the quantum-mechanical linear structure and the classical one. Some comments are made on the Newton-Wigner representation of one-particle states, and on the relationship between the approach of this paper and those of Segal, and of Haag and Ruelle.

International Commentary on Evidence, 2006 Vol. 4, Issue 2, 1-47 . [link to online version posted].

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

This article serves as either an addendum or as an expansion of ideas and work developed in my 2024 book, The Rationality Project: Across the Millennia, issued by Palgrave Macmillan. The book explores 21 potential theories for explaining rationality in terms of why and how one among these can serve in the position of explanatory power. The book does not fully explain all of these candidate theories, assigning that complete role to this addendum or work-in-progress. The main reason for this (...) abbreviation in assessing all the theories in the book is that the complete coverage—which this addendum allows—of all 21 theories would become too detailed for some philosophical readers. This addendum; one may consider, is then for the more technically minded reader—although certainly not-too-technically minded readers are welcome to explore it. If it becomes too bogged in detail for those latter kinds of readers, they may end up skimming the material in this addendum, trying at least to get the general idea of how these addendum sections fit into the book's goals. (shrink)

An investigation is made into how the foundations of statistical mechanics are affected once we treat classical mechanics as an approximation to quantum mechanics in certain domains rather than as a theory in its own right; this is necessary if we are to understand statistical-mechanical systems in our own world. Relevant structural and dynamical differences are identified between classical and quantum mechanics (partly through analysis of technical work on quantum chaos by other authors). These imply that quantum mechanics significantly affects (...) a number of foundational questions, including the nature of statistical probability and the direction of time. (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)

This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, and also (...) includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)