The moral status of animals is a subject of controversy both within and beyond academic philosophy, especially regarding the question of whether and when it is ethical to eat meat. A commitment to animal rights and related notions of animal protection is often thought to entail a plant-based diet, but recent philosophical work challenges this view by arguing that, even if animals warrant a high degree of moral standing, we are permitted - or even obliged - to eat meat. (...) class='Hi'>Andy Lamey provides critical analysis of past and present dialogues surrounding animal rights, discussing topics including plant agriculture, animal cognition, and in vitro meat. He documents the trend toward a new kind of omnivorism that justifies meat-eating within a framework of animal protection, and evaluates for the first time which forms of this new omnivorism can be ethically justified, providing crucial guidance for philosophers as well as researchers in culture and agriculture. (shrink)

Hohwy (Hohwy 2016, Hohwy 2017) argues there is a tension between the free energy principle and leading depictions of mind as embodied, enactive, and extended (so-called ‘EEE1 cognition’). The tension is traced to the importance, in free energy formulations, of a conception of mind and agency that depends upon the presence of a ‘Markov blanket’ demarcating the agent from the surrounding world. In what follows I show that the Markov blanket considerations do not, in fact, lead to the kinds of (...) tension that Hohwy depicts. On the contrary, they actively favour the EEE story. This is because the Markov property, as exemplified in biological agents, picks out neither a unique nor a stationary boundary. It is this multiplicity and mutability– rather than the absence of agent-environment boundaries as such - that EEE cognition celebrates. (shrink)

A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing epistemic modals. If (...) we want to respect these evaluations, our best option is a relativist theory of epistemic modals. On a relativist theory, an utterance of a might be F can be true relative to one context of evaluation and false relative to another. We argue that such a theory does better than any rival approach at capturing all the behaviour of epistemic modals. (shrink)

RESUMO Neste artigo, busco identificar, por meio de algumas passagens da "Fundamentação da Metafísica dos Costumes" e da "Crítica da Razão Prática", o debate de Kant com a Filosofia Prática Universal de Wolff. Em um primeiro momento, apresento, de forma sucinta, alguns aspectos gerais da metafísica e da ética wolffiana com o intuito de, em um segundo momento, explicitar como algumas considerações de Kant, em suas duas primeiras obras morais, incidem diretamente nas teses de seu predecessor. A crítica de Kant (...) é apresentada nas seguintes etapas. Primeiro, destaco, diante das teses de Wolff, o argumento kantiano sobre a impossibilidade de se estabelecerem os princípios da faculdade superior de apetição e da obrigação moral a partir do prazer baseado nas representações e, por conseguinte, no princípio da felicidade. Em um segundo momento, sublinho a reivindicação kantiana de uma razão prática pura como a única base da faculdade superior de apetição. A partir disso, é notável o surgimento dos novos conceitos kantianos de lei formal, de liberdade e de perfeição moral. Por último, destaco, ainda em diálogo com Wolff, como a razão prática pura, compreendida como faculdade superior de apetição, pode representar não apenas as bases da necessidade moral, mas também uma fonte adequada de motivação. ABSTRACT In this Paper, I seek to identify Kant's debate with Wolff`s Universal Practical Philosophy in some passages of the "Foundations of Metaphysics of Morals" and of the "Critique of Practical Reason". At first, I briefly present some general aspects of Wolff`s metaphysics and ethics aiming at, in a second step, stressing how some of Kant's considerations, in his first two moral works, have a direct impact on the theses of his predecessor. First, stressing the discussion with Wolff, I highlight Kant's argument about the impossibility of establishing the principles of the superior faculty of desire and of moral obligation from the pleasure on the representations and, therefore, in the principle of happiness. In a second step, I stress the Kantian claim of pure practical reason as the basis of the superior faculty of desire. Thence, I show how the new Kantian concepts of formal law, freedom and moral perfection emerge. Finally, I highlight, still in a dialogue with Wolff, how the pure practical reason may represent not only the foundations of moral necessity, but also how it may be a proper source of motivation. (shrink)

The Handmaid’s Tale depicts a United States taken over by a fundamentalist dictatorship called Gilead that also resembles Plato’s ideal city. Attempts to explain Gilead’s debt to Plato face two challenges. First, aspects of Gilead that recall Plato also contain features that differ, at times dramatically, from the Platonic original. Second, Gilead invokes distorted versions of ideas from philosophies other than Plato’s. I explore two ways of making sense of Gilead’s distorted philosophical appropriations. The explanations differ over whether such distortions (...) are best explained by the nature of the philosophies they misrepresent, or by the nature of Gilead. The explanation that emphasizes Gilead’s own agency is ultimately best able to make sense of how illiberal regimes misappropriate philosophical concepts, both in the novel and in reality, in order to limit the political imagination of their subjects. (shrink)

English version of collaborative text with Bruno Varela on his film La máquina de futuro (2024), published in the catalog of Umbrales experimental film section of the FICUNAM film festival.

This article brings animal protection theory to bear on Temple Grandin’s work, in her capacity both as a designer of slaughter facilities and as an advocate for omnivorism. Animal protection is a better term for what is often termed animal rights, given that many of the theories grouped under the animal rights label do not extend the concept of rights to animals. I outline the nature of Grandin’s system of humane slaughter as it pertains to cattle. I then outline four (...) arguments Grandin has made defending meat-eating. On a protection-based approach, I argue, Grandin’s system of slaughter is superior to its traditional counterpart. Grandin’s success as a designer of humane slaughterhouses however is not matched by any corresponding success in offering a moral defence of meat-eating. Despite, or perhaps because of, the popularity of her work, Grandin’s arguments for continuing to eat animals are noteworthy only in how disappointing and rudimentary they are. If we can thank Grandin for making a difference in the lives of millions of farm animals, her work can also be criticized for not engaging the moral status of animals with the depth and rigor that it deserves. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

Freeganism is the practice of eating food that is free. It is commonly associated with recovering food that grocery stores and restaurants have thrown away, but vegetables grown in one’s garden and other free foods, such as leftovers from a work event, would also qualify. It is worth asking whether there is a form of freeganism that can be justified in new omnivorist terms. Could it be consistent with animal protection to eat meat, just so long as we don’t pay (...) for it? -/- I argue that from an animal protection point of view, freegan meat consumption faces two difficulties. The first is that when it involves the consumption of animal flesh conventionally regarded as edible (chicken, pork, beef, etc.) but not other types of flesh commonly considered inedible (mice, dogs, etc.), the practice is likely to be rooted in speciesism. This runs contrary to new omnivorism’s own principles, which are anti-speciesist. In addition, when the meat in question is the product of animal agriculture, consuming it will amount to a form of complicity in the industry’s wrong-doing, as the rationale for the animal’s slaughter will be retroactively endorsed. Either of these two considerations taken by itself will suffice to generate a presumption against freegan meat consumption. -/- My analysis, however, does not address every conceivable defense of freegan meat consumption. In particular, neither consideration generates a reason to avoid all animal by-products, such as eggs from backyard chickens that are well cared for. But given that the by-products in question will not be industrially produced, such consumption is likely to be permissible only in exceptional instances, rather than a practice available to society at large. (shrink)

Philosophers have highlighted a dilemma for the criminal law. Unjust, racist policies in the United States have produced conditions in which the dispossessed are more likely to commit crime. This complicity undermines the standing of the state to blame their offenses. Nevertheless, the state has reason to punish those crimes in order to deter future offenses. Tommie Shelby proposes a way out of this dilemma. He separates the state’s right to condemn from its right to punish. I raise doubts about (...) Shelby’s proposed resolution. So long as punishment is widely and reasonably understood to condemn crime, Shelby’s proposal does not resolve the dilemma. Moreover, there is reason to think the blaming aspect of punishment plays a role in the justification of its hard treatment. I conclude by considering some other ways out of the dilemma, focusing especially on how the United States might take responsibility for its complicity. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

During long-term refugee displacements, it is common for the refugees’ country of origin to be called on to recognize a right of return. A long-standing tradition of philosophical theorizing is sceptical of such a right. Howard Adelman and Elazar Barkan are contemporary proponents of this view. They argue that, in many cases, it is not feasible for entire refugee populations to return home, and so the notion of a right of return is no right at all. We can call Adelman (...) and Barkan’s view the feasibility objection. Many defenders of rights will deny that empirical facts such as the kind to which Adelman and Barkan appeal are relevant to determining whether a moral entitlement amounts to a right. In contrast, I offer a response to the feasibility objection that does admit the relevance of facts. In my view, considerations of feasibility do matter when determining what rights human beings possess. Nevertheless, the feasibility objection is undone by its failure to acknowledge a distinction between two different kinds of feasibility constraints. ‘Hard’ constraints include logical, nomological and biological considerations. ‘Soft’ constraints include political, cultural and institutional factors. A necessary condition of a moral entitlement achieving the status of a right, I argue, is that it be feasible in the hard sense. Crucially, however, a right need not always be feasible in the soft sense. Refugees can have rights that it is not currently possible to implement politically. (shrink)

During his Jena period, Fichte endorses a curious dictum: ‘the kind of philosophy one chooses depends on the kind of person one is’. How can Fichte’s dictum support a vindication of German idealism over Spinozism, which he also calls ‘dogmatism’? I will show that the answer to this seemingly straightforward question reveals a rather complex series of metametaphysical objections that shape the development of the entire German idealist tradition. Ultimately, as I will suggest, the series of metametaphysical questions that shape (...) the German idealist tradition must culminate in the question of how to understand the relation between philosophy and its presuppositions. I will conclude by briefly considering a hermeneutical response to this question. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...) future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

On the classical understanding, an agent is fully excused for an action if and only if performing this action was a case of faultless wrongdoing. A major motivation for this view is the apparent existence of paradigmatic types of excusing considerations, affecting fault but not wrongness. I show that three such considerations, ignorance, duress and compulsion, can be shown to have direct bearing on the permissibility of actions. The appeal to distinctly identifiable excusing considerations thus does not stand up to (...) closer scrutiny, undermining the classical view and giving us reason to seek alternative ways of drawing the justification/excuse distinction. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

This is a chapter on noncognitivism in a textbook on ethics.

This study aims to evaluate whether the idea of ultimate reality in world religions contributes to the characteristics of the world religion paradigm, which is hierarchical cosmology or “subject-object cosmology.” Several research on this topic claims that one of the characteristics of the world religion paradigm is its hierarchical perspective. Discussing this issue is important to distinguish the world religions as the paradigm and the world religions as the most widely embraced religion. This study argues that the hierarchical perspective of (...) the world religion paradigm can be rooted in the idea of ultimate reality, that there is a supreme, foremost, and most principal reality in the continuity of this universe, namely the supernatural or God. The hierarchical cosmology consists of three main domains: supernatural/God, culture/human, and nature. This study uses a literature study methodology, relying on books, journals, and texts related to research questions. This study finds that the world religion paradigm or hierarchical cosmology or “subject-object cosmology” is prominent, especially in Abrahamic religions such as Islam, Christianity, and Judaism, even though the concept of ultimate reality in these three religions is different. (shrink)

One of the starting assumptions in the debate over the ethical status of animals is that someone who is committed to reducing animal suffering should not eat meat. Steven Davis has recently advanced a novel criticism of this view. He argues that individuals who are committed to reducing animal suffering should not adopt a vegetarian or vegan diet, as Tom Regan an other animal rights advocates claim, but one containing free-range beef. To make his case Davis highlights an overlooked form (...) of animal harm, that done to field animals in crop production. Yet while Davis's argument is ingenious and thought-provoking, it is not a successful challenge to vegetarianism and veganism's status as the diets that most advance animal rights. Scientific studies of crop production that Davis draws on document two different forms of harm done to field animals: those that are directly killed by harvesting equipment and those that are killed by other animals. Once this distinction is made explicit, the degree to which such studies pose a problem for animal protection theory considerably weakens. Davis also overlooks philosophically significant forms of harm to human beings that are present in beef production but not crop harvesting. Finally, he bases his argument on the controversial assumption that there is no difference between deliberate and accidental killing - either of animals or people. Although these problems defeat Davis's attempt to offer an immanent critique of Regan's animal rights position, his analysis does have important dietary ramifications that animal advocates should take into account. (shrink)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he grants—and (...) in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

This paper argues that McDowell wrongly assumes that “terror”, Cavell’s reaction to the radical contingency of our shared modes of knowing or our “attunement”, expresses a skepticism that is antinomically bound to an equally unacceptable dogmatism because Cavell rather regards terror as a mood that reveals the “truth of skepticism”, namely, that there is no conclusive evidence for necessary attunement on pain of a category error, and that a precedent for McDowell’s misunderstanding is Hegel’s argument for necessary attunement in a (...) system of knowing, whose refutation Schelling holds it is the “merit of skepticism” to provide. (shrink)

While the idea that philosophy requires self-transformation is historically pervasive, it exerts considerable influence on the post-Kantians who first aim to systematize Kant’s idealism by grounding it on a first principle. In the 1790s, Fichte and Schelling offer competing accounts of the self-transformation that they regard as essential to positing a first principle. Their accounts raise two central questions. First, what makes this kind of self-transformation possible? Second, are there different possible expressions of philosophical self-transformation? In what follows, I will (...) articulate the Fichtean and Schellingian answers to these central questions. For Fichte, the one who summons me to posit a first principle makes possible my philosophical self-transformation, although the latter has an exclusively idealist expression in that I can only genuinely posit the I as first principle, which is to say that philosophical self-transformation depends on mutual recognition and vindicates precisely one philosophical system (Section 1). For Schelling, a brute act of will makes possible my philosophical self-transformation, although the latter has either an idealist or a realist expression in that I can genuinely posit either the I or the not-I as first principle, which is to say that philosophical self-transformation does not depend on mutual recognition and vindicates one of two possible philosophical systems (Section 2). Thus, whereas Fichtean self-transformation is recognitive and non-pluralistic, Schellingian self-transformation is pluralistic and non-recognitive. I conclude with a discussion of how Jacobi poses a challenge to Fichte’s and Schelling’s answers to the two central questions (Section 3). (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

In the Vocation of Man, Fichte makes the striking claim that life is eternal, rational, our true being, and the final cause of nature in general and of death in particular. How can we make sense of this claim? I argue that the public lectures that compose the Vocation are a popular expression of Fichte’s pre-existing commitment to what I call immortalism, the view that life is the unconditioned condition of intelligibility. Casting the I as an absolutely self-active or living (...) power enables his philosophical account of both the intelligibility of objects and of what it means to die. This explains his characterization of the Wissenschaftslehre as a system in which ‘all is act, movement, and life’. In Sect. 1, I explain the context of Jacobi’s use of ‘caput mortuum’ as a term for the thing in itself. In Sects. 2 and 3, I reconstruct two immortalist arguments from Fichte’s Jena period. The first is that the I’s self-activity rules out the existence of the thing in itself and thereby vanquishes ‘death’s head’. The second is that, insofar as the I charges us with the moral perfection of nature, it is the final cause of our entire life, including its end. This is to say that the I puts our every moment into question, even our last. In Sect. 4, I use these immortalist arguments to interpret the striking claim from the Vocation. (shrink)

Marginal comments on student essays are a near-universal method of providing feedback in philosophy. Widespread as the practice is, however, it has well-known drawbacks. Commenting on students' work in the form of a video has the potential to improve the feedback experience for both instructors and students. The advantages of video feedback can be seen by examining it from both the professor's and the student's perspective. In discussing the professor's perspective, this article shares observations based on the author's experience delivering (...) feedback through video. Turning to the student's view, it discusses qualitative feedback solicited from students that indicates a clear preference for video feedback over written marginalia. In particular, students describe video feedback as more informative, more personal, better at suggesting improvements on future assignments, enhancing the professor's ability to communicate through tone of voice and gesture, and easier to understand compared to written feedback. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

Calls to recognize a right of return are a recurring feature of refugee crises. Particularly when such crises become long-term, advocates of displaced people insist that they be allowed to return to their country of origin. I argue that this right is best understood as the right of refugees to return, not to a prior territory, but to a prior political status. This status is one that sees not just any state, but a refugee's state of origin, take responsibility for (...) safeguarding their welfare. This entitlement I characterize as an institutional right: a right that presupposes, and is a necessary feature of, a particular institution. The institution of which the right of return is an indispensable part is the international political system that sees authority exercised by sovereign states. The institutional argument for a right of refugee return presupposes two basic factual claims about states: they play a central role in safeguarding rights and they pursue exclusionary policies of border control. Importantly, the institutional view presupposes only that states do perform both functions, not that they are justified in doing so. On a purely normative level, the institutional account assumes little more than the moral equality of human beings. (shrink)

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

Hannah Arendt argued that refugees pose a major problem for liberalism. Most liberal theorists endorse the idea of human rights. At the same time, liberalism takes the existence of sovereign states for granted. When large numbers of people petition a liberal state for asylum, Arendt argued, these two commitments will come into conflict. An unwavering respect for human rights would mean that no refugee is ever turned away. Being sovereign, however, allows states to control their borders. States supposedly committed to (...) human rights will thus often violate the rights of refugees by denying them entry. I attempt to defend liberalism from Arendt’s criticism by outlining a rights-based model of asylum that is enforceable by sovereign states. This approach avoids the question of what border-enforcement measures, if any, are defensible at the level of ideal justice, and instead seeks to outline a framework of refugee rights that can be realized in a world in which migration controls are a fact of life. Central to my argument is a distinction between the place where a person is recognized as a rights-bearing agent and the potentially different place where he or she exercises those rights. (shrink)

In the Freedom essay, Schelling charges that (1) idealism fails to grasp human freedom’s distinctiveness and that (2) this failure undermines idealism's attempt to refute pantheism, as exemplified by Spinoza. This raises two questions, which I will answer in turn: what, for Schelling, is distinctive of human freedom; and how does the idealists’ failure to grasp it render them unable to refute pantheism? To answer these questions, I will reconstruct Schelling’s argument that freedom has the distinctness of being the unconditioned (...) condition of the world’s intelligibility. My reconstruction will illustrate how Schelling’s notion of freedom as primal will grounds the alleged primacy of practical reason as Kant and Fichte conceive it. I will then consider three objections to Schelling’s argument. Throughout, I will develop the Schellingian idea that freedom is enacted in an unprethinkable decision that cannot be anticipated by any law or principle. (shrink)

Philosophical discussions of Molyneux's problem within contemporary philosophy of mind tend to characterize the problem as primarily concerned with the role innately known principles, amodal spatial concepts, and rational cognitive faculties play in our perceptual lives. Indeed, for broadly similar reasons, rationalists have generally advocated an affirmative answer, while empiricists have generally advocated a negative one, to the question Molyneux posed after presenting his famous thought experiment. This historical characterization of the dialectic, however, somewhat obscures the role Molyneux's problem has (...) played in spawning debates within the empiricist tradition. Fortunately, the differences between various empiricist accounts have been widely recognized and discussed among historians of philosophy working on the topic. The focus of the present essay is to develop an interpretation of John Locke's views on Molyneux's problem that best coheres with his other views on human understanding as well as with the predominant scientific opinion about the nature of perception during the period in which he lived. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

The Bugis-Makassar indigenous people who live around Mount Bawakaraeng perform a ritual pilgrimage (hajj) to the top of Mount Bawakaraeng (as a sacred space). This ritual is often considered heretical and deviant. These negative assumptions are the result of the monopoly definition of “sacred place” by the world religion paradigm which is only limited to the doctrine of the holy book and is hierarchical-exclusive. Meanwhile, in the indigenous religion paradigm, “sacred place” is closely related tothe surrounding environment (nature) which also (...) gives life to indigenous peoples. The Bugis-Makassar indigenous people who live around Mount Bawakaraeng construct the sacredness of the mountain, not only as a place for religious rituals but also as a guarantor of their life. There were lacking previous researches discussing “sacred place” through the indigenous religion paradigm approach. This research contributes to that lack. This study examines how the indigenous religion paradigm interprets “sacred place”. The research method used in this research is qualitative. This study argues that there is no better way to understand why indigenous people perform rituals on Mount Bawakaraeng than using the indigenous religion paradigm. This study also shows that the “sacred place” associated with Mount Bawakaraeng is a way for the indigenous people who live around the mountain to preserve the nature around them which has enabled them to live and make a living such as accessing water, gathering medicines from nature, and so on. Eventually, with research that provides a better explanation of what a “sacred place” is in the indigenous religion paradigm, negative assumptions about indigenous people who regard a mountain as sacredplace can be better understood. (shrink)

The phenomenon of abbreviation used on Instagram is an interesting thing since the users modify the abbreviation form of expansion words making deviation from the original meaning. The principle of meaning relation between abbreviations and their expansions is used to make a change to the purposes of Instagram users. This research was aimed to describe the principle of abbreviation used in Instagram. An exploitation method was used by the technique of making screenshots and recording the abbreviation data. The results of (...) research indicate that the principle of abbreviation consists of three forms namely inclusion, contact, and complementary. The results of this research can be very effective in understanding as well as how to use abbreviations, especially on Instagram. The Novelty of the study is in investigating the abbreviation used in Instagram. (shrink)

A precursor to the hard problem of consciousness confronts nihilism. Like physicalism, nihilism collides with the first-personal fact of what perception and action are like. Unless this problem is solved, nature’s inclusion of conscious experience will remain, as Chalmers warns the physicalist, an “unanswered question” and, as Jacobi chides the nihilist, “completely inexplicable". One advantage of Kant’s Copernican turn is to dismiss the question that imposes this hard problem. We need not ask how nature is accompanied by the first-person standpoint (...) because “I think” is an apperceptive form of thinking that must be able to accompany any cognition of nature. Kant’s formal conception of apperception worries Fichte in his Nova Methodo lectures. This conception arguably cannot exhaust the ground of experience, for it does not show why we posit objects “at all". For Fichte, it is our agency that first opens a world of objects, viz., as subjects, means, ends, and obstacles. In what follows, I argue that, for Fichte, the I poses no hard problem because it collides exclusively with nihilistic views like Spinozism, which are refuted by a properly transcendental idealist conception of apperception, according to which the first-person standpoint is the absolute ground of our experience of nature. If transcendental idealism refutes nihilism, nature is no more explicable than that there is something it is like for me to perceive and act. In Section 1, I show why Kantian apperception is necessary for possible experience. In Section 2, I reconstruct Fichte’s argument that a modified conception of apperception refutes guises of nihilism, thereby solving the hard problem of consciousness. In Section 3, I suggest that transcendental idealism undermines Chalmers’ proposed solution to and Dennett’s dismissal of this problem. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

As a cultural heritage containing traditional teachings, Pemali has been since long time practiced by the local people of Indonesia in almost all parts of the archipelago. The traditional teachings are nowadays potential of conflicting with the current life style of people due to a number of factors. This study aims at providing data and information about perception, attitude, and obedience of Indonesian people toward the pemali by investigating four independent variables i.e. ethnic group, sex, age, and education of the (...) samples. A total of 318 samples of Indonesian people residing in East Kalimantan Province participated in the study. The data of perception, attitude, and obedience collected by questionnaires form the samples specified in each of the four independent variables were then analyzed quantitatively by using analysis of variance (Anova) procedure, homogeneity test, and multiple comparison test. The statistic computations of the data analysis were done by applying SPSS computer program. The results of the analysis indicated that the majority of samples performed good perception as well as positive attitude toward pemali. In terms of obedience toward pemali, samples‘ obedience was categorized into 3 levels: very high, high, and moderate. The study concluded that amid the modern life style of the present era, the archipelago people keep upholding the local cultural values handed down from their ancestors as parts of their national identity. (shrink)

Some philosophers (Duff, Hampton) conceive of punishment as a way of communicating a message to the punished and argue that this communicative function justifies the harm of punishment. I object to communicative theories because punishment seems intuitively justified in cases in which it fails as a method of communication. Punishment fails as communication when the punished ignores the intended message or fails to understand it. Among those most likely to ignore or fail to understand the message of punishment are the (...) most hardened criminals, whom we typically think are appropriate targets of punishment. I suggest that an alternative justificatory strategy, one that focuses not on the successful receipt of the message of punishment by the wrongdoer but on the expression of condemnation by the community, is not subject to the same worry. The norms of successful expression are more easily met than those of communication, so that expressing condemnation toward a criminal might be justified even if he is unreceptive in the face of the expression. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

The notion of a spontaneous order has a long history in the philosophy of economics, where it has been used to advance a view of markets as complex networks of information that no single mind can apprehend. Traditionally, the impossibility of grasping all of the information present in the spontaneous order of the market has been invoked as grounds for not subjecting markets to central planning. A less noted feature of the spontaneous order concept is that when it is applied (...) to ecosystems it yields a reasonably strong environmental ethic. Thinking of ecosystems as spontaneous orders generates a presumption against interfering with their natural functioning in a manner that results in anthropogenic species loss. Such a presumption will permit some interventions in nature while precluding others. Environmental ethics could potentially make valuable use of the spontaneous order idea, without necessarily endorsing its traditional application to markets. (shrink)

Our understanding of Schelling’s internal critique of German idealism, including his late attack on Hegel, is incomplete unless we trace it to the early “Philosophical Letters on Dogmatism and Criticism,” which initiate his engagement with the problem of systematicity—that judgment makes deriving a system of a priori conditions from a first principle necessary, while this capacity’s finitude makes this impossible. Schelling aims to demonstrate this problem’s intractability. My conceptual aim is to reconstruct this from the “Letters,” which reject Fichte’s claim (...) that the Wissenschaftslehre is an unrivalled system. I read Schelling as charging Fichte with misrepresenting a system’s livability or commensurability with our finitude. My historical aim is to provide a framework for understanding Schelling’s Freiheitsschrift, which argues that a system’s liveability depends on its incompleteness or limitation by our finitude. On my reading, Schelling is early and continually committed to systematicity within the bounds of human finitude. (shrink)

In Postpolitics and the Limits of Nature, Andy Scerri offers a comprehensive overview of the relationship between Critical Theory and the US environmental movement from the 1960s to the present, refracted through the lens of the American Left. He examines why past generations of radical ecological and social justice scholarship have been ineffective in the fight against injustice and rampant environmental exploitation. Scerri then engages a new wave of radicals and reformists who, in the wake of the Occupy movement (...) and the 2016 presidential election, are reinventing the radical project as a challenge to injustice in the Anthropocene era. Along the way, he provides a fresh account of the thought of one of the major contributors to critical theory, Theodor Adorno, and of recent work that seeks to link Adorno’s ideas to the so-called new realism in political philosophy and political theory. (shrink)

Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...) any sets A and B, if A is the same size as B, then there is a bijection from A to B. The aim of the paper, however, is to argue that this question is in fact wide open: to argue that we are not in a position to know the answer, because we are not in one to know the principle. The aim, that is, is to argue that for all we know there is only one size of infinity. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

Educational institutions are in need of increasing their high standards as an essential factor in improving the level of quality in education. Hence, they are looking at better ways to develop such a curriculum which reaches the pre-decided standards. This calls for curriculum evaluation. This study was aimed at evaluating the implementation of the 2010 Curriculum (K-10) of English Education Department at the Universitas Islam Negeri Alauddin Makassar, Indonesia. The research design adapted Stake's Countenance Model. The data collected were quantitative (...) and qualitative data. The findings revealed that at the transactions stage, the concordance level between the objective conditions and the standard actuality/objective intensity objective for the curriculum implementation components was overall classified as 'Medium' (Score 48.75%). It indicated that some of the sub components still required limited changes or revisions in accordance with the Indonesian National Education Standards Agency instructions. Thus, the formative evaluation of the department’s curriculum implementation needs to be conducted periodically (annually) to ensure the quality of the program and anticipate the changes and development of workplace needs. (shrink)