Russia took the advantage of the contribution of the Armenian armed organizations in order to possess Istanbul, straits around it, Eastern Anatolia, to weaken Turkey, to be strengthen in the Southern Caucasus, organized the rebellion of the Armenians living in Turkey against the government. Russian ruling circles put forward the Armenian matter in order to take advantage of them. Armenians involved in the war to create their own government by obtaining the territory including Van, Bitlis, Tigranakert, Erzurum, Kharberd (...) and Sebastya, as well as Cilicia from Turkey, to solve their Armenian problem. But in fact, Russia, France and England tried to blow to Turkey pretending to try for building an independent Armenian government. The grade of contribution of Armenian military units in the First World War can be characterized as following: 1. Creating the Armenian volunteer units. 2. Establishing the regular battalions and infantry regiments and forming the national corpuses. The organizations of Hnchak and Dashnaksutyun actively participated in creating the Armenian volunteer units. Dashnaks mobilized 40 000 people to destroy the Turkish people. They established tens of khumbas. The Armenian volunteer units were commanded by Andranic Ozanyan, Dro, Amazasp, Keri, Checho, Vardan and others terrorists. Armenian volunteer units which were supposed to move in 4 directions, should act in the directions where the Armenian people were densely populated. These 4 Armenian volunteer units fight against Turks in all important combat operations from Sarigamish to Erzurum. The same time Russian army and Armenians triggered the rebellion of the local population against the Turkish government. 50000 of Armenians were fighting in French, England and USA armies. The Eastern legion of Armenians was established in French army on November 1916. On November 15, 1918, the Eastern Legion was named Armenian legion. The number of the Armenians in the legion riched to 4000. In the beginning of 1916, there was an announcement about subordination of the military detachments to army and establishment of infantry regiments based on that. Establishment of the separate Armenian corpus started at the end of December 1917. In 1917, 8 Armenian shooter regiments were established. From the mentioned 8 regiments two Armenian shooter divisions, the special Armenian division of Andranic, 3 infantry brigades of western Armenians in the Southern Caucasus region, some guerrilla troops in Erevan, Igdir guerrilla infantry and rider regiments, Zeytun regiment in Tbilisi were established. At present, Armenia often raises false claims such as the "Armenian genocide" in the parliaments of the world, trying to confirm this lie. This research proves that Armenians betrayed the Ottoman state during the First World War and also committed Turkish genocides. (shrink)

Genocide denialism is an understudied topic in the epistemic injustice scholarship; so are epistemic relations outside of the Euro-American context. This article proposes to bring the literature into contact with an underexplored topic in a ‘distant’ setting: Turkey. Here, I explore the ethical and epistemological implications of the Turkish denial of the Armenian genocide as a pervasive and systematic epistemic harm. Using an interdisciplinary methodology, I argue that a philosophical exploration of genocide denialism requires examining the role of institutions (...) and ideology in relation to the epistemic harm done by individual perpetrators. More specifically, I suggest that the individual, ideological, and institutional roots of genocide denialism constitute a regime of epistemic injustice in Turkey. (shrink)

Historically, the great powers used small nations without a homeland, land and stable moral values as atool for their politics, and the Armenians were one of the few such nations. The Armenians who settled in the Caucasus under the patronageof christian Europe and tsar Russia have repeatedly committed genocide of Azerbaijanis over the past two centuries and facilitated the deportation of the local population. The Armenian atrocities that began in the 19th century and had no analogues in the 20th (...) century were finally brought to an end in the 44-day war and the Azerbaijani army successfully completed the Great Return. Initially, the Armenian occupants were expelled from Nagorno-Karabakh and seven adjacent regions, and now the second stage has begun- a successful return to the ancestral lands of ancient Western Azerbaijan. (shrink)

Genocide remembrance is a complex epistemological/ethical achievement, whereby survivors and descendants give meaning to the past in the quest for both personal-historical and social-historical truth. This paper offers an argument of epistemic injustice specifically as it occurs in relation to practices of (individual and collective) genocide remembrance. In particular, I argue that under conditions of genocide denialism, understood as collective genocide misremembrance and memory distortion, genocide survivors and descendants are confronted with hermeneutical oppression. Drawing on Sue Campbell’s relational, reconstructive account (...) of remembering, I argue that genocide denialism involves disrespectful challenges to memory, which systematically misrecognize rememberers. Adopting the case of Turkey’s denialism of the Armenian genocide, I discuss two interrelated mechanisms through which this can happen: i) through the systematic portrayal of survivors and descendants as vicious rememberers, and ii) through distortions of the very concept of ‘genocide’. Based on this, I show how hermeneutical and testimonial injustice are crucially interrelated when it comes to “contested” memories of historical injustice and the biographical testimony it gives rise to. (shrink)

This article offers an argument of genocide denial as an injustice perpetrated not only against direct victims and survivors of genocide, but also against future members of the victim group. In particular, I argue that in cases of persistent and systematic denial, i.e. denialism, it perpetrates an epistemic injustice against them: testimonial oppression. First, I offer an account of testimonial oppression and introduce Kristie Dotson’s notion of testimonial smothering as one form of testimonial oppression, a mechanism of coerced silencing particularly (...) pertinent to genocide denialism. Secondly, I turn to the epistemology of genocide denialism and, using the example of Turkey’s denialism of the Armenian genocide, show how it presents what Linda Martín Alcoff calls a substantive practice of ignorance. Thirdly, I apply these considerations to individual practices of genocide denial and analyse the particular characteristics of testimony on genocide, the speaker vulnerabilities involved and the conditions under which hearers will reliably fail to meet the dependencies of a speaker testifying to genocide. Finally, I explore the harms that testimonial oppression perpetrates on members of the victim group, insofar as it systematically deprives them of epistemic recognition. (shrink)

This paper regiments and responds to an objection to skeptical theism. The conclusion of the objection is that it is not reasonable for skeptical theists to prevent evil, even when it would be easy for them to do so. I call this objection a “Dominance-Reasoning Objection” because it can be regimented utilizing dominance reasoning familiar from decision theory. Nonetheless, I argue, the objection ultimately fails because it neglects a distinction between justifying goods that are necessary for the existence of (...) a good and those that are necessary for God’s permission of the good. (shrink)

This chapter argues in favour of three interrelated points. First, I argue that demonstration (as expression of scientific knowledge) is fundamentally defined as knowledge of the appropriate cause for a given explanandum: to have scientific knowledge of the explanandum is to explain it through its fully appropriate cause. Secondly, I stress that Aristotle’s notion of cause has a “triadic” structure, which fundamentally depends on the predicative formulation (or “regimentation”) of the explanandum. Thirdly, I argue that what has motivated Aristotle to (...) choose the syllogism as a demonstrative tool was precisely the fact that syllogisms are apt to express causal relations in their triadic structure. Instead of complaining against Aristotle’s preference for the syllogisms as demonstrative tools, I argue that Aristotle was fully aware of the advantages of regimenting the explanandum into a predication. One of these advantages is to abandon a purely extensional standpoint and to highlight the importance of the notion of relevancy in explanation. (shrink)

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

I offer a meta-level analysis of realist arguments for the reliability of ampliative reasoning about the unobservable. We can distinguish form-driven and content-driven arguments for realism: form-driven arguments appeal to the form of inductive inferences, whilst content-driven arguments appeal to their specific content. After regimenting the realism debate in these terms, I will argue that the content-driven arguments are preferable. Along the way I will discuss how my analysis relates to John Norton’s recent, more general thesis that the grounds for (...) licit induction are always material. (shrink)

This essay expands on Barry Smith’s paper “Against Fantology” of 2005, which defends the view that analytic philosophy has throughout its history been marked by a tendency to conceive the syntax of first-order predicate logic as a key to ontology. I present fantology (or "F(a)ntology") in the light of a more general and in itself ontologically neutral operation that I call a default ontologization of a language. I then discuss Quine’s views, since he is the most outspoken fantologist in the (...) second half of the twentieth century. As Smith points out, “fantology sometimes takes the form of a thesis according to which the language of standard predicate logic can serve the formulation of the truths of natural science in a uniquely illuminating way”. Hence Quine’s doctrine according to which the ontological commitments of a theory become evident only when the theory has been regimented in fantological clothing. (shrink)

Why is there a specific problem with biological individuality? Because the living realm contains a wide range of exotic particular concrete entities that do not easily match our ordinary concept of an individual. Slime moulds, dandelions, siphonophores are among the Odd Entities that excite the ontological zeal of the philosophers of biology. Most of these philosophers, however, seem to believe that these Odd Cases oblige us to refine or revise our common concept of an individual. They think, explicitly or tacitly, (...) that to be a living, evolutionary entity is to be a living individual. In this paper, we explore an alternative proposal: the variety and oddity of the forms of the living realm might be ontologically regimented through an increase in the categorial complexity of the living realm, by admitting, beside living individuals, living non-individuals or by acknowledging, more generally, that the evolutionary development of the living forms is not necessarily a process of building individuals, that life is not necessarily individuals-oriented. We claim that, from an ontological point of view, the spectacle of the living realm obliges us to take aggregativity seriously. (shrink)

A satisfactory solution to the problem of consciousness would take the form of a simple yet fully general model that specifies the precise conditions under which any given state of consciousness occurs. Science has uncovered numerous correlations between consciousness and neural activity, but it has not yet come anywhere close to this. We are still looking for the Newtonian laws of consciousness. -/- One of the main difficulties with consciousness is that we lack a language in which to formulate illuminating (...) generalizations about it. Philosophers and scientists talk about "what it’s like", sensations, feelings, and perceptual states such as seeing and hearing. This language does not allow a precise articulation of the internal structures of conscious states and their inter-relations. It is inadequate to capture relations of the kind we are looking for between conscious states and physical states. -/- In this thesis I refine and defend a theory of consciousness which promises to solve this regimentation problem: the representational theory of consciousness. I argue that the representational theory can solve the regimentation problem and smooth out other important obstacles to a fruitful study of consciousness. I also make a case for the theory independently of its payoffs, and I discuss the leading opposing theories at some length. (shrink)

One of the most fascinating and continually debated arguments in the philosophical literature on the badness of death comes from the work of Lucretius (Titus Lucretius Carus, circa 99-55 BCE). This chapter will focus on Lucretius’s famous Symmetry Argument. I will begin by saying more about what exactly Epicureanism teaches about death — and why Epicureans thought it could not be bad. After that, I will provide the passage from Lucretius’s epic poem that includes his reasons for thinking that death (...) cannot be bad and will show how Lucretius’s passage has been regimented into the Symmetry Argument against the badness of death. Next, I will discuss the lasting influence of Lucretius’s argument, summarizing some common ways of responding. Finally, I will turn to two other passages from Lucretius’s poem, both of which suggest that it is actually good (both for us and for the world) that our lives come to an end, and I will conclude by considering the implications of Lucretius’s thought for political policy. (shrink)

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

This paper presents a novel account of focal stress and pitch contour in English dialogue. We argue that one should analyse and treat focus and pitch contour jointly, since (i) some pragmatic interpretations vary with contour (e.g., whether an utterance accepts or rejects; or whether it implicates a positive or negative answer); and (ii) there are utterances with identical prosodic focus that in the same context are infelicitous with one contour, but felicitous with another. We offer an account of two (...) distinct pitch contours that predicts the correct felicity judgements and implicatures, outclassing other models in empirical coverage or formality. Prosodic focus triggers a presupposition, where what is presupposed and how the presupposition is resolved depends on prosodic contour. If resolving the presupposition entails the proffered content, then the proffered content is uninteresting and hence the utterance is in-felicitous. Otherwise, resolving the presupposition may lead to an implicature. We regiment this account in SDRT. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary notion (...) of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

The starting point of this paper is the thought that the phenomenal appearances that accompany mental states are somehow only there, or only real, from the standpoint of the subject of those mental states. The world differs across subjects in terms of which appearances obtain. Not only are subjects standpoints across which the world varies, subjects are standpoints that we can ‘adopt’ in our own theorizing about the world (or stand back from). The picture that is suggested by these claims (...) has an appeal but is at the same time obscure and stands in need of regimentation. This paper explores and motivates a metaphysical account of what it is for subjects to be standpoints, what it is to adopt standpoints in our representations and, most importantly, how these notions might help us better understand the subjective character of conscious mental states. Some well-known observations by Thomas Nagel serve as starting points and the paper concludes by revisiting Nagel’s argument for the inevitable incompleteness of objective accounts of mental states, which will be reframed in terms of the central commitments of the proposed framework. (shrink)

The kind of empathy that is communicated through expressions like “I feel your pain” or “I share your sadness” is important, but peculiar. For it seems to require something perplexing and elusive: sharing another’s experience. It’s not clear how this is possible. We each experience the world from our own point of view, which no one else occupies. It’s also unclear exactly why it is so important that we share others' pains. If you are in pain, then why should it (...) matter, and be a good thing, that I am also in the same pain? Our goal in this paper is to address these questions. Specifically, our goal is to clarify how empathy, in the regimented sense of sharing another’s pain, is possible and why it is important. Central to our account is the concept of being acquainted with—that is, directly aware of—pain. When I feel my own pain, and am acquainted with it, I want the pain to stop, and I’m moved—sometimes compelled—to stop it. My acquaintance with the pain is what reveals that it is no good, to be gotten rid of, and to be avoided in the future. Acquaintance also appears to be implicated in our understanding of, and motivation to relieve, others’ pains. When I say “I feel your pain” I express an awareness of your pain, a direct appreciation of its noxious qualities, and, as with my own pain, an understanding of why it ought to be eased. Explaining how empathy is both possible and important therefore involves clarifying the nature of acquaintance: its limits, epistemic role, and motivational significance. What our analysis reveals is that agents have both epistemic and moral reasons to share other people’s pain because pain-sharing is the source of a species of character-building knowledge that we have no other way of accessing except through direct acquaintance with pain. (shrink)

There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...) from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional 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 and hyperintensional expressivist approaches 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)

I propose some rules that regiment substitutions of NPs.

Crispin Wright’s entitlement theory holds that we have non-evidential justification for accepting propositions of a general type––which Wright calls “cornerstones”––that enables us to acquire justification for believing other propositions––those that we take to be true on the grounds of ordinary evidence. Entitlement theory is meant by Wright to deliver a forceful response to the sceptic who argues that we cannot justify ordinary beliefs. I initially focus on strategic entitlement, which is one of the types of entitlement that Wright has described (...) in more detail. I suggest that it is dubious that we are strategically entitled to accept cornerstones. After this, I focus on entitlement in general. I contend that, in important cases, non-evidential justification for accepting cornerstones cannot secure evidential justification for believing ordinary propositions. My argument rests on a probabilistic regimentation of the so-called “leaching problem”. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

The principle of alternative possibilities tells us that an agent is morally responsible for an action only if he could have done otherwise. Frankfurt-style cases provide an extremely influential challenge to the PAP . And Frankfurt-style compatibilists are motivated to accept compatibilism about responsibility and determinism in part due to FSCs. But there is a significant tension between our judgments about responsibility in FSCs and our judgments about responsibility in certain omissions cases. This tension has thus far largely been treated (...) as an internal puzzle for defenders of FSCs to solve. My goal here is to regiment this tension into a clear argument which undermines the FSC based critique of PAP. I will also argue that there is an in principle reason to doubt that Frankfurt-Style Compatibilists will be able to successfully respond to my argument. (shrink)

A recurring claim in a number of behavioural, cognitive and neuro-scientific literatures is that there is, or must be, a unidimensional ‘common currency’ in which the values of different available options are represented. There is striking variety in the quantities or properties that have been proposed as determinants of the ordering in motivational strength. Among those seriously suggested are pain and pleasure, biological fitness, reward and reinforcement, and utility among economists, who have regimented the notion of utility in a variety (...) of ways, some of them incompatible. This topic deserves philosophical attention for at least the following reasons. Repeated invocation of the ‘common currency’ idiom isn’t merely terminological coincidence because most of the claims are competing explanations either of manifest pattern in choices, or of order in the processes producing choice. We can’t suppose that the different currency claims within each area are compatible, because there are significant obstacles to identifying pairs of members of either the ‘pattern’ or ‘process’ group. There are, finally, seriously opposed positions about the relationships between the pattern facts and the process facts. There are philosophical positions both favouring and opposing a common currency. But direct consideration of the abstract relationships between claims about common currencies across scientific settings, and the arguments for and against these claims, is relatively rare. There is, though, much of philosophical interest to be found here. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

A suggestion famously made by Peter Winch and carried through to present discussions holds that what constitutes the social as a kind consists of something shared – rules or practices commonly learned, internalized, or otherwise acquired by all members belonging to a society. This essays argues against the explanatory efficacy of appeals to this shared something as constitutive of a social kind by examining a violation of social norms or rules, viz., mistakes. I argue that an asymmetric relation exists between (...) the notion of mistakes and that of the social. In particular, mistakes do not presuppose a concept of the social, but the concept of the social requires prior specification of a category of mistakes. But no such prior specification proves possible. The very notion of a mistake is so inchoate that it makes it impossible to provide the kind of regimentation required for a rule-governed domain. Thus, there may be recognized mistakes even in the absence of a unified system or common knowledge of norms.Later writers attempt to avoid Winch's over-strong assumption that something shared and internal constitutes the social but cannot. Extending recent work by Stephen Turner, I argue that ``the social'' is not a domain that is susceptible to lawlike treatment, but rather a heterogeneous, motley collection. For absent the assumption of a shared something, no social object exists to be explained. So, I conclude, we have at present no clear way of marking out the social as a coherent or unified domain of inquiry. (shrink)

Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the the posterior probabilities will (...) be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of propositional logic; 4. (...) Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

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

Quine's metaphilosophical naturalism is often dismissed as overly “scientistic.” Many contemporary naturalists reject Quine's idea that epistemology should become a “chapter of psychology” and urge for a more “liberal,” “pluralistic,” and/or “open-minded” naturalism instead. Still, whenever Quine explicitly reflects on the nature of his naturalism, he always insists that his position is modest and that he does not “think of philosophy as part of natural science”. Analyzing this tension, Susan Haack has argued that Quine's naturalism contains a “deep-seated and significant (...) ambivalence”. In this paper, I argue that a more charitable interpretation is possible—a reading that does justice to Quine's own pronouncements on the issue. I reconstruct Quine's position and argue that Haack and Quine, in their exchanges, have been talking past each other and that once this mutual misunderstanding is cleared up, Quine's naturalism turns out to be more modest, and hence less scientistic, than many contemporary naturalists have presupposed. I show that Quine's naturalism is first and foremost a rejection of the transcendental. It is only after adopting a broadly science-immanent perspective that Quine, in regimenting our language, starts making choices that many contemporary philosophers have argued to be unduly restrictive. (shrink)

Content disjunctivism is the view that veridical experience involves contents and objects that differ from those of corresponding hallucinations. On one formulation of this view, we are aware of ordinary material things in our surroundings when we experience veridically, and we are aware of mere appearances when we hallucinate. This paper proposes a way of developing this view and offers some considerations in support. Central to the proposed regimentation will be a distinction between different notions of appearance. We distinguish between (...) the notion of something merely appearing to have a property and the notion of mere appearances, which are types of objects that we can refer to and be aware of. Mere appearances are not sense data or Meinongian non-existent objects but existing objects that do not have the properties that they appear to have. These notions of appearance will be elucidated, in particular by characterizing how they are involved in hallucination and illusion. I argue that the resulting view is supported by how our mental life seems to us when we experience our environment. (shrink)

Consciousness is a natural phenomenon, the object of a flourishing area of research in the natural sciences – research whose primary goal is to identify the neural correlates of consciousness. This raises the question: why is there need for a philosophy of consciousness? As we see things, the need for a philosophy of consciousness arises for two reasons. First, as a young and energetic science operating as yet under no guiding paradigm, the science of consciousness has been subject to considerable (...) confusion regarding its methodological, conceptual, and philosophical foundations, and it is philosophy’s mandate to address such confusion in an attempt to regiment scientific practice. Secondly, the identification of a neural feature that correlated perfectly with consciousness would still leave open a certain metaphysical question: is the relation between consciousness and the relevant neural feature merely correlation, or is that correlation indicative of a deeper, more intimate relation between the two? In this paper, we offer an opinionated overview of the philosophy of consciousness as it addresses these two dimensions of consciousness research. (shrink)

The automatic integration of information resources in the life sciences is one of the most challenging goals facing biomedical informatics today. Controlled vocabularies have played an important role in realizing this goal, by making it possible to draw together information from heterogeneous sources secure in the knowledge that the same terms will also represent the same entities on all occasions of use. One of the most impressive achievements in this regard is the Gene Ontology (GO), which is rapidly acquiring the (...) status of a de facto standard in the field of gene and gene product annotations, and whose methodology has been much intimated in attempts to develop controlled vocabularies for shared use in different domains of biology. The GO Consortium has recognized, however, that its controlled vocabulary as currently constituted is marked by several problematic features - features which are characteristic of much recent work in bioinformatics and which are destined to raise increasingly serious obstacles to the automatic integration of biomedical information in the future. Here, we survey some of these problematic features, focusing especially on issues of compositionality and syntactic regimentation. (shrink)

(2017) 'Interest and Agency', in Gabriel, Markus and Rasmussen, Anders Moe (eds.) German Idealism Today. De Guyter Verlag. -/- Abstract: Undeterred by Kant’s cautionary advice, contemporary defenders of free will advance substantive metaphysical theses in support of their views. This is perhaps unsurprising given the mixed reception of Kant’s solution of the conflict between freedom and natural necessity, which is supposed to vindicate reason’s withdrawal from speculation. Kant argues that neither libertarians nor determinists can win, because they deal with concepts (...) of unrestricted scope, and proposes instead to regiment the reference conditions of each concept and to specify the domain, ‘world’, proper to each. However, the precise character of this solution, its conceptual and metaphysical commitments, continues to be a matter of controversy among Kant scholars. In particular, there is ever-renewed concern about the incipient dualism of the position. Although I will be examining some of this material, my primary aim in this paper is not to make a contribution to the interpretative debate about the antinomy. Rather, I want to draw on two lessons from Kant’s treatment of the antinomy to argue for the importance of a certain way of putting the problem of human freedom. (shrink)

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic (...) side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” in- ferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability. (shrink)

The paper concentrates on how the acceptance of radical naturalism in Quine’s theory of meaning escorts Quine to ponder the naturalized epistemology. W.V. Quine was fascinated by the evidential acquisition of scientific knowledge, and language as a vehicle of knowledge plays a significant role in his regimented naturalistic theory anchored in the scientific framework. My point is that there is an interesting shift from epistemology to language (semantic externalism). The rejection of the mentalist approach on meaning vindicates external that somehow (...) pave the way for ‘semantic holism’, a thesis where the meaning of a sentence is defined in turns to the totality of nodes and paths of its semantic networks where the meaning of linguistic units depend upon the meaning of the entire language. I would like to relook on Quine’s heart-throbbing claim about the co-extensiveness of the sentential relation and the evidential relation that point towards an affirmation of meaning holism and semantic externalism. Besides, the knowledge of acquaintance that relinquishes the singular thought from the account of psychological consideration and self-knowledge hypothesis copes up with the testimonial and warrant knowledge entangling by the claims of social knowledge as anticipated by Alvin Goldman. My conclusion would be nearer to the stance of semantic externalism inculcated by the social knowledge (in an epistemic sense) and semantic holism. (shrink)

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

This paper provides a rebuttal to the argument in Elohim (2018) in `Synthese'. Elohim provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient for conceivability to be (...) a guide to metaphysics in the hyperintensional setting such that Chalmers' argument, hyperintensionally construed, is in fact sound. (shrink)

An attempt at a Montague-style reconstruction of the semantics of Buridan's logic on a regimented fragment of Latin.

This study focuses on nuclear tourism, which flourished a decade ago in the Exclusion Zone, a regimented area around the Chornobyl Nuclear Power Plant (Ukraine) established in 1986, where the largest recorded nuclear explosion in human history occurred. The mass pilgrimage movement transformed the place into an open air museum, a space that preserves the remnants of Soviet culture, revealing human tragedies of displacement and deaths, and the nature of state nuclear power. This study examines the impact of the site (...) on its visitors and the motivations for their persistence and activities in the Zone, and argues that through photography, cartography, exploration, and discovery, the pilgrims attempt to decode the historical and ideological meaning of Chornobyl and its significance for future generations. Ultimately, the aesthetic and political space of the Zone helps them establish a conceptual and mnemonic connection between the Soviet past and Ukraine’s present and future. Their practices, in turn, help maintain the Zone’s spatial and epistemological continuity. Importantly, Chornobyl seems to be polysemic in nature, inviting interpretations and shaping people’s national and intellectual identities. (shrink)

From Hegel to Engels, Sartre and Ruyer (Ruyer, 1933), to name only a few, materialism is viewed as a necropolis, or the metaphysics befitting such an abode; many speak of matter’s crudeness, bruteness, coldness or stupidity. Science or scientism, on this view, reduces the living world to ‘dead matter’, ‘brutish’, ‘mechanical, lifeless matter’, thereby also stripping it of its freedom (Crocker, 1959). Materialism is often wrongly presented as ‘mechanistic materialism’ – with ‘Death of Nature’ echoes of de-humanization and hostility to (...) the Scientific Revolution (which knew nothing of materialism!), also a powerful Christian theme in Cudworth, Clarke and beyond (Overhoff, 2000). Here I challenge this view, building on some aspects of Israel’s Radical Enlightenment concept (Israel, 2001), which has been controversial but for my purposes is a useful claim about the dissemination of a home-grown Spinozism, sometimes reformulated as an ontology of the life sciences, an aspect Israel does not address (compare Secrétan et al., eds., 2007; Citton, 2006). First, I examine some ‘moments’ of radical Enlightenment materialism such as La Mettrie and Diderot (including his Encyclopédie entry “Spinosiste”), but also anonymous, clandestine texts such as L’Âme Matérielle, to emphasize their distinctive focus on the specific existence of organic beings. Second, I show how this ‘embodied’, non-mechanistic character of Enlightenment ‘vital materialism’ makes it different from other episodes, and perhaps more of an ethics than is usually thought (also via the figure of the materialist as ‘laughing philosopher’). Third, I reflect on what this implies for our image of the Enlightenment – no longer a Frankfurt School and/or Foucaldian vision of ‘discipline’, regimentation and order (as in Mayr, 1986) – but ‘vital’, without, conversely, being a kind of holist vitalism “at odds with the universalizing discourse of Encyclopedist materialism, with its insistence on the uniformity of nature and the universality of physical laws” (Williams, 2003): vital materialism is still materialism. Its ethics tends towards hedonism, but its most radical proponents (Diderot, La Mettrie and later Sade) disagree as to what this means. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

Fideism, as a philosophical and theological view, is defined in various manners. Sometimes it is defined as the priority of faith over accounts of all kinds of cognition based on human reason. The Geneva reformer John Calvin (1509–1564) was a fideist, and he simultaneously admired Saint Augustine — traces of that admiration can be found very easy in the chief Calvin’s work Institutio christianae religionis. However, this does not mean that he shared Augustinian views on faith‑reason relations. John Calvin adopted (...) late‑Augustinian interests, and was especially concerned with the issue of predestination. The Geneva reformer was the author of the double predestination doctrine. The chief claim of this doctrine is that: God intended one part of humanity for salvation; and the other one for damnation. This conclusion was supported with numerous quotations from the Old and the New Testament, and followed from the accepted exegetic principle that all words of the Holy Scripture are to be understood literally. Calvin also acted selectively and did not take into account other passages of the Bible contrary to them in sense. These different, even contradictory words and quotations create an incoherent image of God, which Calvin left unexplained as one of God’s mysteries. According to this image, God is a petulant despot, who by his irrational will treats people with unequal measure. God has settled a priori who would be saved and who would be damned, so the will of concrete man to act well or badly is without importance. In consequence, God is responsible for the evil and sins committed by people. Calvin’s God is unfair because he is merciful for one man, but not for other one. In approving a voluntaristic image of God, Calvin started becoming, particularly in the doctrine of double predestination, an extreme fideist, much more than his master Augustine. However, in later decades (especially in the seventeenth century), Calvin’s version of Christianity gaverise a rebellion against the double predestination doctrine, first in the ranks of the Dutch Calvinistic theologians (Armenians), and later in the circles of the English philosophers (Cambridge Platonics). In the end, Calvinism became a compromised Christianity and essentially contributed to the development of deism and atheism in Western European Countries in the eighteenth century. (shrink)

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