Passages in Aristotle’s Politics Book 3 are cited in discussions of the “rule of law”, most particularly sections in 1287a where the famous characterization of law as “mind without desire” occurs and in 1286a where Aristotle raises and explores the question whether it is better to be ruled by the best man or the best laws. My paper aims, by exegetically culling out Aristotle’s position in the Politics, Nicomachean Ethics and Rhetoric, to argue that his view on the (...) class='Hi'>rule of law and its relations to human subjects is considerably more complex and considerably more interesting. Despite Aristotle’s dictum, laws are not expressions or institutions of a pure and passionless rationality, and in order to be framed, understood and administered well, one must both have the sort of solid understanding of virtues, vices, passions, and motives of human action that Aristotle’s moral philosophy provides and have developed, at least to some degree, certain virtues. My paper focuses particularly on three themes: the role of the passions and desires in judgment, action, virtues and vices; the inescapability of passions and desires in the functioning of law; the possibility for rule of law and a certain level of virtue to be mutually supporting. (shrink)

I argue that Sellars’s naturalization of Kant should be understood in terms of how he used behavioristic psychology and cybernetics. I first explore how Sellars used Edward Tolman’s cognitive-behavioristic psychology to naturalize Kant in the early essay “Language, Rules, and Behavior”. I then turn to Norbert Wiener’s understanding of feedback loops and circular causality. On this basis I argue that Sellars’s distinction between signifying and picturing, which he introduces in “Being and Being Known,” can be understood in terms of what (...) I call cybernetic behaviorism. I interpret picturing in terms of cycles of cybernetic behavior and signifying in terms of coordination between cybernetic behavior systems, or what I call triangulated cybernetic behavior. This leads to a formal, naturalistic understanding of personhood as the capacity to engage in triangulated cybernetic behavior. I conclude by showing that Sellars’s thought has the resources, which he did not exploit, for introducing the concept of second-order cybernetics. This suggests that Sellars’s philosophy of mind could be developed in the direction of autopoiesis and enactivism. (shrink)

Various disciplines and area studies might benefit from this investigation, aside from the obvious Central Asian and Soviet studies. The artificial separation of "areas" and disciplines, that have not existed during the evolution of the subject matter, cannot yield complete understanding. Given the restrictions imposed by the Soviet censorship and bureaucracies who control collections of materials and published works, documentation is not exhaustive. It is anticipated that subsequent research shall unearth additional information. Therefore, the temptation to hold back and wait (...) for such new discoveries is immense. (shrink)

"Procedural Justice" offers a theory of procedural fairness for civil dispute resolution. The core idea behind the theory is the procedural legitimacy thesis: participation rights are essential for the legitimacy of adjudicatory procedures. The theory yields two principles of procedural justice: the accuracy principle and the participation principle. The two principles require a system of procedure to aim at accuracy and to afford reasonable rights of participation qualified by a practicability constraint. The Article begins in Part I, Introduction, with two (...) observations. First, the function of procedure is to particularize general substantive norms so that they can guide action. Second, the hard problem of procedural justice corresponds to the following question: How can we regard ourselves as obligated by legitimate authority to comply with a judgment that we believe (or even know) to be in error with respect to the substantive merits? The theory of procedural justice is developed in several stages, beginning with some preliminary questions and problems. The first question - what is procedure? - is the most difficult and requires an extensive answer: Part II, Substance and Procedure, defines the subject of the inquiry by offering a new theory of the distinction between substance and procedure that acknowledges the entanglement of the action-guiding roles of substantive and procedural rules while preserving the distinction between two ideal types of rules. The key to the development of this account of the nature of procedure is a thought experiment, in which we imagine a world with the maximum possible acoustic separation between substance and procedure. Part III, The Foundations of Procedural Justice, lays out the premises of general jurisprudence that ground the theory and answers a series of objections to the notion that the search for a theory of procedural justice is a worthwhile enterprise. Sections II and III set the stage for the more difficult work of constructing a theory of procedural legitimacy. Part IV, Views of Procedural Justice, investigates the theories of procedural fairness found explicitly or implicitly in case law and commentary. After a preliminary inquiry that distinguishes procedural justice from other forms of justice, Part IV focuses on three models or theories. The first, the accuracy model, assumes that the aim of civil dispute resolution is correct application of the law to the facts. The second, the balancing model, assumes that the aim of civil procedure is to strike a fair balance between the costs and benefits of adjudication. The third, the participation model, assumes that the very idea of a correct outcome must be understood as a function of process that guarantees fair and equal participation. Part IV demonstrates that none of these models provides the basis for a fully adequate theory of procedural justice. In Part V, The Value of Participation, the lessons learned from analysis and critique of the three models are then applied to the question whether a right of participation can be justified for reasons that are not reducible to either its effect on the accuracy or its effect on the cost of adjudication. The most important result of Part V is the Participatory Legitimacy Thesis: it is (usually) a condition for the fairness of a procedure that those who are to be finally bound shall have a reasonable opportunity to participate in the proceedings. The central normative thrust of Procedural Justice is developed in Part VI, Principles of Procedural Justice. The first principle, the Participation Principle, stipulates a minimum (and minimal) right of participation, in the form of notice and an opportunity to be heard, that must be satisfied (if feasible) in order for a procedure to be considered fair. The second principle, the Accuracy Principle, specifies the achievement of legally correct outcomes as the criterion for measuring procedural fairness, subject to four provisos, each of which sets out circumstances under which a departure from the goal of accuracy is justified by procedural fairness itself. In Part VII, The Problem of Aggregation, the Participation Principle and the Accuracy Principle are applied to the central problem of contemporary civil procedure - the aggregation of claims in mass litigation. Part VIII offers some concluding observations about the point and significance of Procedural Justice. (shrink)

Semantic originalism is a theory of constitutional meaning that aims to disentangle the semantic, legal, and normative strands of debates in constitutional theory about the role of original meaning in constitutional interpretation and construction. This theory affirms four theses: (1) the fixation thesis, (2) the clause meaning thesis, (3) the contribution thesis, and (4) the fidelity thesis. -/- The fixation thesis claims that the semantic content of each constitutional provision is fixed at the time the provision is framed and ratified: (...) subsequent changes in linguistic practice cannot change the semantic content of an utterance. -/- The clause meaning thesis claims that the semantic content is given by the conventional semantic meaning (or original public meaning) of the text with four modifications. The first modification is provided by the publicly available context of constitutional utterance: words and phrases that might be ambiguous in isolation can become clear in light of those circumstances of framing and ratification that could be expected to known to interpreters of the Constitution across time. The second modification is provided by the idea of the division of linguistic labor: some constitutional provisions, such as the natural born citizen clause may be terms of art, the meaning of which are fixed by the usages of experts. The third modification is provided by the idea of constitutional implicature: the constitution may mean things it does not explicitly say. The fourth modification is provided by the idea of constitutional stipulations: the constitution brings into being new terms such as House of Representatives and the meaning of these terms is stipulated by the Constitution itself. -/- The contribution thesis asserts that the semantic content of the Constitution contributes to the law: the most plausible version of the contribution thesis is modest, claiming that the semantic content of the Constitution provides rules of constitutional law, subject to various qualifications. Our constitutional practice provides strong evidence for the modest version of the contribution thesis. -/- The fidelity thesis asserts that we have good reasons to affirm fidelity to constitutional law: virtuous citizens and officials are disposed to act in accord with the Constitution; right acting citizens and officials obey the constitution in normal circumstances; constitutional conformity produces good consequences. Our public political culture affirms the great value of the rule of law. -/- We can summarize semantic originalism as a slogan: The original public meaning of the constitution is the law and for that reason it should be respected and obeyed. The slogan recapitulates each of the claims made by semantic originalism, but it is potentially misleading because it does not clearly distinguish between the semantic claims made by the fixation and clause meaning theses, the legal claim made by the contribution thesis, and the normative claim made by the fidelity thesis. -/- Part I introduces the four theses. Part II is entitled An Opinionated History of Constitutional Originalism, and it provides the context for all that follows. Part III is entitled Semantic Originalism: A Theory of Constitutional Meaning, and it lays out the case for original public meaning as the best nonnormative theory of constitutional content. Part IV is entitled The Normative Implications of Semantic Originalism, and it articulates a variety of normative arguments for originalism. Part V is entitled Conclusion: Semantic Originalism and Living Constitutionalism, and it explores the broad implications of semantic originalism for living constitutionalism and the future of constitutional theory. (shrink)

Formulations of Mill's principle of utility are examined, and it is shown that Mill did not recognize a moral obligation to maximize the good, as is often assumed. His was neither a maximizing act nor rule utilitarianism. It was a distinctive minimizing utilitarianism which morally obligates us only to abstain from inflicting harm, to prevent harm, to provide for others minimal essentials of well being (to which rights correspond), and to be occasionally charitable or benevolent.

The perceptual symbol system view assumes that perceptual representations have a role-argument structure. A role-argument structure is often incorporated into amodal symbol systems in order to explain conceptual functions like abstraction and rule use. The power of perceptual symbol systems to support conceptual functions is likewise rooted in its use of structure. On Barsalou's account, this capacity to use structure (in the form of frames) must be innate.

In order to fight massive vandalism the English- language Wikipedia has developed a system of surveillance which is carried out by humans and bots, supported by various tools. Central to the selection of edits for inspection is the process of using filters or profiles. Can this profiling be justified? On the basis of a careful reading of Frederick Schauer’s books about rules in general (1991) and profiling in particular (2003) I arrive at several conclusions. The effectiveness, efficiency, and risk-aversion of (...) edit selection all greatly increase as a result. The argument for increasing predictability suggests making all details of profiling manifestly public. Also, a wider distribution of the more sophisticated anti-vandalism tools seems indicated. As to the specific dimensions used in profiling, several critical remarks are developed. When patrollers use ‘assisted edit- ing’ tools, severe ‘overuse’ of several features (anonymity, warned before) is a definite possibility, undermining profile efficacy. The easy remedy suggested is to render all of them invisible on the interfaces as displayed to patrollers. Finally, concerning not only assisted editing tools but tools against vandalism generally, it is argued that the anonymity feature is a sensitive category: anons have been in dispute for a long time (while being more prone to vandalism). Targeting them as a special category violates the social contract upon which Wikipedia is based. The feature is therefore a candidate for mandatory ‘underuse’: it should be banned from all anti-vandalism filters and profiling algorithms, and no longer be visible as a special edit trait. (shrink)

The theme of the conflict between the different interpretations of Spinoza’s philosophy in French scholarship, introduced by Christopher Norris in this volume and expanded on by Alain Badiou, is also central to the argument presented in this chapter. Indeed, this chapter will be preoccupied with distinguishing the interpretations of Spinoza by two of the figures introduced by Badiou. The interpretation of Spinoza offered by Gilles Deleuze in Expressionism in Philosophy provides an account of the dynamic changes or transformations of the (...) characteristic relations of a Spinozist finite existing mode, or human being. This account has been criticized more or less explicitly by a number of commentators, including Charles Ramond. Rather than providing a defence of Deleuze on this specific point, which I have done elsewhere, what I propose to do in this chapter is provide an account of the role played by “joyful passive a affections” in these dynamic changes or transformations by distinguishing Deleuze’s account of this role from that offered by one of his more explicit critics on this issue, Pierre Macherey. An appreciation of the role played by “joyful passive affections” in this context is crucial to understanding how Deleuze’s interpretation of Spinoza is implicated in his broader philosophical project of constructing a philosophy of difference. The outcome is a position that, like Badiou in the previous chapter, rules out “intellect in potentiality” but maintains a role for the joyful passive affects in the development of adequate ideas. (shrink)

Modern bioethics is clearly dominated by deontologists who believe that we have some way of identifying morally correct and incorrect acts or rules besides taking account of their consequences. Robert M. Veatch is one of the most outspoken of those numerous modern medical ethicists who agree in rejecting all forms of teleological, utilitarian, or consequentialist ethical theories. This paper examines his critique of utilitarianism and shows that the utilitarianism of John Stuart Mill is either not touched at all by his (...) critique or can be defended against it. This article argues that the dominant deontological majority is mistaken and that a utilitarian theory of moral action very much like Mill’s is precisely what is needed by modern medical ethics and by those medical practitioners who are resolved to practice medicine in a reasonable and morally acceptable manner. (shrink)

Two main cognitive theories predict that people find refuting evidence that falsifies their theorising difficult, if not impossible to consider, even though such reasoning may be pivotal to grounding their everyday thoughts in reality (i.e., Poletiek, 1996; Klayman & Ha, 1987). In the classic 2-4-6 number sequence task devised by psychologists to test such reasoning skills in a simulated environment – people fail the test more often than not. In the 2-4-6 task participants try to discover what rule the (...) number triple 2-4-6 conforms to. The rule is ‘ascending numbers’, but it is tricky to discover this rule. Participants tend to generate hypotheses with the properties of the 2-4-6 triple, for example, ‘even numbers ascending in twos’. They must search for evidence to test whether their hypothesis is the rule. But experimental evidence has shown that they tend to generate confirming triples that they expect to be consistent with their hypothesis rather than inconsistent falsifying triples. Counter to the two main hypothesis testing theories this paper demonstrates that falsification is possible in five 2-4-6 task experiments when participants consider an Imaginary Participant’s hypothesis. Experiment 1 and 2 show that competition with an opponent hypothesis tester facilitates falsification. Experiments 3 to 5 show that the consideration of an alternative hypothesis helps this falsification of hypotheses lead to rule discovery. The implications of the results for theories of hypothesis testing and reasoning are discussed. (shrink)

The Artificial Intelligence (AI) is being used in healthcare in Jordan, paying special attention to the ethical and legal issues it brings. Although AI can greatly benefit health services by enhancing diagnostics, patient care, and how things run smoothly, it also raises some worries about data privacy, transparency, and following the rules. To understand the situation in Jordan better, the study involved a discussion group with healthcare workers, legal professionals, and AI experts. The results indicate that while the Jordanian government (...) is eager to embrace AI, there are some missing pieces when it comes to laws specifically for AI systems. Participants stressed the importance of strong regulations, clear ethical guidelines, and solid training for healthcare staff to make sure AI is used safely and fairly. If these issues are addressed, it could really change the way healthcare is delivered while ensuring that patient trust and ethical standards are upheld. (shrink)

1. How do human organizations, as designed by humans, govern polities? -/- Current web-site analyses indicate that the medical-sites register the heaviest use. Humans are concerned with their health in a variety of iterations. If you will, it is the choice of the marketplace. But, humans must tend to the business of life. The humans live in communities, which necessarily choose definitions for their polities. Polities cannot exist without explicitly appointed and generally known socio-legal laws. In defining those rules, societies (...) decide how they are going to be organized and ruled---either consciously or by default---and how the common functions of the community are going to be financed. (shrink)

Viewed in the light of the remarkable performance of ‘Watson’ - IBMs proprietary artificial intelligence computer system capable of answering questions posed in natural language - on the US general knowledge quiz show ‘Jeopardy’, we review two experiments on formal systems - one in the domain of quantum physics, the other involving a pictographic languaging game - whereby behaviour seemingly characteristic of domain understanding is generated by the mere mechanical application of simple rules. By re-examining both experiments in the context (...) of Searle’s Chinese Room Argument, we suggest their results merely endorse Searle’s core intuition: that ‘syntactical manipulation of symbols is not sufficient for semantics’. Although, pace Watson, some artificial intelligence practitioners have suggested that more complex, higher-level operations on formal symbols are required to instantiate understanding in computational systems, we show that even high-level calls to Google translate would not enable a computer qua ‘formal symbol processor’ to understand the language it processes. We thus conclude that even the most recent developments in ‘quantum linguistics’ will not enable computational systems to genuinely understand natural language. (shrink)

Viewed in the light of the remarkable performance of ‘Watson’ - IBMs proprietary artificial intelligence computer system capable of answering questions posed in natural language - on the US general knowledge quiz show ‘Jeopardy’, we review two experiments on formal systems - one in the domain of quantum physics, the other involving a pictographic languaging game - whereby behaviour seemingly characteristic of domain understanding is generated by the mere mechanical application of simple rules. By re-examining both experiments in the context (...) of Searle’s Chinese Room Argument, we suggest their results merely endorse Searle’s core intuition: that ‘syntactical manipulation of symbols is not sufficient for semantics’. Although, pace Watson, some artificial intelligence practitioners have suggested that more complex, higher-level operations on formal symbols are required to instantiate understanding in computational systems, we show that even high-level calls to Google translate would not enable a computer qua ‘formal symbol processor’ to understand the language it processes. We thus conclude that even the most recent developments in ‘quantum linguistics’ will not enable computational systems to genuinely understand natural language. (shrink)

The results are interpreted in terms of a deficit in initial rule learning and subsequent generalization of these rules to new stimuli. Negative feedback is adequately processed at a neural level but this information is not used to improve behaviour on subsequent trials. As learning is degraded, the process of error detection at the moment of the actual response is diminished. Therefore, the current study demonstrates that disturbed error-monitoring processes play a central role in the often reported learning deficits (...) in individuals with PP. (shrink)

Laws can be evaluated as better or worse relative to different normative standards. But the standard set by the Rule of Law defines a kind-relative standard of evaluation: features like generality, publicity, and non-retroactivity make the law better as law. This fact about legal evaluation invites a comparison between law and other “goodness-fixing kinds,” where a kind is goodness-fixing if what it is to be a member of the kind fixes a standard for evaluating instances as better or worse. (...) Indeed, for any goodness-fixing kind, K, that sets a standard, S, for evaluating Ks as Ks, we can ask: (1) How does the nature of Ks explain S? (2) Does being a K depend on meeting a minimum threshold of S-relative goodness? In the case of law and its kind-relative standard defined by the Rule-of-Law virtues, these questions lack settled answers. Although Raz (1979, 2019) offers some discussion, I argue that his answers have the surprising upshot of rendering law sui generis relative to other goodness-fixing kinds, and that preserving continuity with other such kinds involves revising the general picture. On the revised picture, law construed as a system of rules is subject to kind-relative evaluation because it is (a) a functional artifact, (b) with an essential function of realizing a limited normative ideal, and (c) its being minimally good at that function—that is, its realization of the relevant normative ideal to some degree—is a condition and ground of law’s existence, since all functional artifacts appear to be subject to such threshold conditions. (shrink)

The article contains a critical analysis of the skeptical solution to the rule- following problem. The skeptical solution denies the existence of “superlative” R-facts that would make statements of the form “P means R by ‘+’ ” true. The role of the sources for the meaning of ‘+’ here is played by the patterns of solidarity behavior of members of some community to which P belongs. The correct use of ‘+’ would be one that is approved by the competent (...) majority of this community, and there can be no other sense in which it would be correct or wrong. Boyd’s hypothesis denies the communal character of the ‘+’ meaning. While there are no “superlative” R-facts, there should be C-facts not about the R as the standard that P or its community follows in their practice of using ‘+’, but about whether they do it correctly. The proof of the Boyd hypothesis is based on the example of an imaginary Ω-community, whose agents use a finite set of simple symbols for the needs of their arithmetic: ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’. Each symbol denotes a subset of identical, from the Ω-community point of view, numerical values. The symbol ‘A’ is used, for ex- ample, for a subset of the natural numbers 1, 10, 19, 28, 37, 46, etc.; ‘B’ for 2, 11, 20, 29, 38, 47, etc.; ‘C’ for 3, 12, 21, 30, 39, 48, etc. The Ω-community’s arithmetic uses the only local function ⊕ whose range of values forms a finite set of mathematical propositions {α} that are true. The Ω-community’s arithmetic, like our own, is open to many skeptical challenges. Is there a fact that determines the meaning of ‘⊕’? What do agents do when they calculate with ‘⊕’ (say, solve examples ‘A⊕B = ?’, ‘C⊕E=?’, etc.)? Do they Add, Badd or Dadd? To answer them would require a “superlative” R-fact. For the calculation practice with ‘⊕’, it could be a certain R-fact that determines the only possible order for the sequence of numerals ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’ such that {α} is true. An analysis of the calculation practice using the local arithmetic function ⊕ shows that for it there are no such R-facts that would determine the only correct standard R – even if the agents in the Ω-community were trained in such calculations on a full set of cases for the application of that function. However, for such practice there are C-facts (independent in their existence from R-facts) that make it possible to distinguish between what seems to be right and what is right. The solitary agent P and the Ω-community are in the same position regarding the knowledge of C-facts. The Ω-community’s point of view has no advantage in matters of C-facts knowledge over the solitary agent P’s point of view. The Ω-community arithmetic shows that if a solitary agent P had the suitable knowledge of C-facts about the practice of calculations with ‘⊕’, it would allow him/her to disagree with the not correct answers of other members of the community even when they would constitute an absolute majority. (shrink)

A number of philosophers from Hobbes to Mill to Parfit have held some combination of the following views about the Golden Rule: (a) It is the cornerstone of morality across many if not all cultures. (b) It affirms the value of moral impartiality, and potentially the core idea of utilitarianism. (c) It is immune from evolutionary debunking, that is, there is no good naturalistic explanation for widespread acceptance of the Golden Rule, ergo the best explanation for its appearance (...) in different traditions is that people have perceived the same non-natural moral truth. De Lazari-Radek and Singer employ all three of these claims in an argument meant to vindicate Sidgwick's ‘principle of universal benevolence’. I argue that the Golden Rule is the cornerstone of morality only in Christianity, it does not advocate moral impartiality, and there is a naturalistic explanation for why versions of the Golden Rule appear in different traditions. (shrink)

In fragment B 12 Anaxagoras asserted: ‘And [Mind] has every gnômê concerning everything and is strong to the greatest degree.’ The definitions of gnômê given in the standard Greek lexicon cover a wide range: ‘mark’, ‘token’, ‘intelligence’, ‘thought’, ‘judgment’, ‘understanding’, ‘attention’, ‘conscience’, ‘reason’, ‘will’, ‘disposition’, ‘inclination’, ‘purpose’, ‘initiative’, ‘opinion’, ‘verdict’, ‘decision’, ‘proposition’, ‘resolution’, ‘advice’, and ‘maxim’. Taking a clue from the assonance of ischei (has) with ischuei (is strong), it would be natural to take both parts of the assertion to (...) be concerned with the extent of Mind’s strength, and this would suggest the translation: ‘for it holds every decision concerning everything and (thereby) has the greatest strength’. So understood, both parts of the assertion would be reinforcing Anaxagoras’ basic claim that Mind ‘rules over’ (kratein) everything. Thus, what Anaxagoras’ cosmic nous does is provide just the kind of intelligent oversight nous typically provides in early Greek poetry and philosophy. (shrink)

Contrary to the popular assumption that linguistically mediated social practices constitute the normativity of action (Kiverstein and Rietveld, 2015; Rietveld, 2008a,b; Rietveld and Kiverstein, 2014), I argue that it is affective care for oneself and others that primarily constitutes this kind of normativity. I argue for my claim in two steps. First, using the method of cases I demonstrate that care accounts for the normativity of action, whereas social practices do not. Second, I show that a social practice account of (...) the normativity of action has unwillingly authoritarian consequences in the sense that humans act only normatively if they follow social rules. I suggest that these authoritarian consequences are the result of an uncritical phenomenology of action and the fuzzy use of “normative”. Accounting for the normativity of action with care entails a realistic picture of the struggle between what one cares for and often repressive social rules. (shrink)

This essay presents the normative foundation of W.E.B. Du Bois’s constructivist theory of justice in three steps. First, I show that for Du Bois the public sphere in Anglo-European modern states consists of a dialectical interplay between reasonable persons and illiberal rogues. Second, under these nonideal circumstances, the ideal of autonomy grounds reasonable persons’ deliberative openness, an attitude of public moral regard for others which is necessary for constructing the terms of political rule. Though deliberative openness is the essential (...) vehicle of construction, reasonable persons only have a pragmatic political obligation to forge ties of deliberative reciprocity with likeminded persons whom they trust will listen and not harm them. Finally, I present Du Bois’s defense of black suffragists’ support of the 19th Amendment to illustrate pragmatic political obligation in action. I sketch successful democratic engagement that reconstitutes a nonideal public sphere. (shrink)

Law is ‘sovereign’, it has been said. Since the poet Pindar expressed this fulminating thought in the 6th century B.C., the whole western tradition, from Aristotle to Cicero, from Heidegger to Schmitt, hasn’t stopped raising questions about the ambivalent relationship connecting law, strength and violence...

Most philosophers who study moral responsibility have done so in isolation of the concept of truth. Here, I show that thinking about the nature of truth has profound consequences for discussions of moral responsibility. In particular, by focusing on the very trivial nature of truth—that truth depends on the world and not the other way around—we can see that widely accepted counterexamples to one of the most influential incompatibilist arguments can be shown not only to be false, but also impossible.

Suppose you utter the sentence “I am a professional philosopher”. Can I –or anybody else – literally express the same thought you thereby expressed? An affirmative answer implies a potential split between the referent of the thought you expressed and its thinker, as well as the possibility of expressing that thought without using the first person pronoun. Here I attempt to clarify the basic features of a reference rule individuating such an intersubjectively shareable type of thought, i.e. the self (...) type. Doing so requires meeting Bermúdez’s (2019) challenge, namely, the challenge of determining (a) in virtue of what is an individual the referent but not necessarily the thinker of the thought in such cases, and (b) what makes it the case that a sentence is used to express a self type of thought, as opposed to a thought of another type. I advance an elucidation that is entirely congenial to Bermúdez’s own account in terms of location abilities. Contrary to what he suggests, however, the analysis plausibly remains one at the level of the contextually constrained type (or instantiable type), and leads to a revision – if not a straightforward rejection – of Frege’s Criterion for the individuation of thought. (shrink)

What did Descartes regard as subject to doubt, and what was beyond doubt, in the Meditations? A review of the Objections and Descartes' reactions in the Replies provides some useful clarification, but viewing Descartes' method of doubt in conjunction with his professed theory of knowledge in the Rules for the Direction of the Mind further elucidates his own understanding of the project. In the Rules, Descartes introduces the mind's intuition of "simple natures" as the atomistic basis of all knowledge, its (...) form as well as its content. The simple natures, Descartes claims, can only be understood thoroughly, and I argue that Descartes' doubt in the  Meditations appears not to include doubt of simple natures. A related attempt to link the earlier work to the Meditations by Peter Schouls is considered and criticized; I suggest as an alternative that there are three classes of objects pertaining to the construction of knowledge in the Meditations: a) first principles and concepts that are constituents of other knowledge, intuited and not doubted, nor called 'knowledge' by Descartes; b) what Descartes calls clearly and distinctly perceived knowledge that survives doubt, known through a kind of intuition; and c) science, as remembered collections of clearly and distinctly perceived knowledge. Finally, because the two works do have important dissimilarities, I also consider how differences between the Rules and the Meditations might affect the applicability of the simple natures to the arguments of the Meditations, especially in the light of clues found in the intellectual autobiography of the Discourse on Method. (shrink)

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)

Does A cause B simply if A prevents what would have prevented B? Such a case is known as double prevention: where we have the prevention of a prevention. One theory of causation is that A causes B when B counterfactually depends on A and, as there is such a dependence, proponents of the view must rule that double prevention is causation.<br><br>However, if double prevention is causation, it means that causation can be an extrinsic matter, that the cause and (...) effect need not be connected by a continuous chain of events, that there can be causation by absence, and that there can be causation at a distance. All of these implications jar with strong intuitions we have about the nature of causation. There is, on the other hand, a theory of causation based on an ontology of real dispositions, where causation involves the passing around of powers. This theory in contrast entails that double prevention is not causation and, on this issue, it can claim a victory over the counterfactual dependence account. (shrink)

This essay frames systemic patterns of mental abuse against women of color and Indigenous women on Turtle Island (North America) in terms of larger design-of-distribution strategies in settler colonial societies, as these societies use various forms of social power to distribute, reproduce, and automate social inequalities (including public health precarities and mortality disadvantages) that skew socio-economic gain continuously toward white settler populations and their descendants. It departs from traditional studies in gender-based violence research that frame mental abuses such as gaslighting--commonly (...) understood as mental manipulation through lying or deceit--stochastically, as chance-driven interpersonal phenomena. Building on structural analyses of knowledge in political epistemology (Dotson 2012, Berenstain 2016), political theory (Davis and Ernst 2017), and Indigenous social theory (Tuck and Yang 2012), I develop the notion of cultural gaslighting to refer to the social and historical infrastructural support mechanisms that disproportionately produce abusive mental ambients in settler colonial cultures in order to further the ends of cultural genocide and dispossession. I conclude by proposing a social epidemiological account of gaslighting that a) highlights the public health harms of abusive ambients for minority populations, b) illuminates the hidden rules of social structure in settler colonial societies, and c) amplifies the corresponding need for structural reparations. (shrink)

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, (...) I argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

Universal Basic Income (UBI) has been proposed as a potential way in which welfare states could be made more responsive to the ever-shifting evolutionary challenges of institutional adaptation in a dynamic environment. It has been proposed as a tool of “real freedom” (Van Parijs) and as a tool of making the welfare state more efficient. (Friedman) From the point of view of complexity theory and evolutionary economics, I argue that only a welfare state model that is “polycentrically” (Polanyi, Hayek) organized (...) as an evolving network of distributed decision-making can respond to the challenges of complexity in an adaptively efficient manner. UBI has the theoretical possibility to facilitate flexible, bottom-up innovation, since a) it embodies the “rule of law” principles of generality, nondiscrimination, simplicity, and transparency, and b) it grants people widespread freedom to experiment, innovate, and deviate from established practices and norms; but whether it can be made to work as intended depends on a number of variables in its design. I situate my research in the contemporary UBI debate around automation and technological development, which I interpret creatively through the lens of contemporary evolutionary political economy. I advance a syncretic model of institutional design based upon the shared insights of the Santa Fe, Neo-Hayekian, and Neo-Schumpeterian schools of evolutionary economics that, following Adam Thierer and Michael Munger, I call the framework of Permissionless Innovation (PI). Under the PI framework, which is a development of the tradition of evolutionary liberalism (Hume, Smith, Mandeville, Mill, Hayek, Polanyi, Schumpeter, Hodgson), individuals are granted the default right to innovate without having to ask for permission, and the right to basic income, which they can use to support their right to innovate, mutate, and experiment. This framework is a liberal framework to the extent it relies on widespread human freedom as a means of fostering innovation and social learning. And it is an evolutionary framework to the extent that it seeks to facilitate evolutionary socioeconomic processes for the sake of social progress and welfare advancement. I proceed to show, through an analysis of how innovation operates in both the economy and the cultural domain, that UBI can be used as an important cornerstone of an evolutionary liberal model of “ecostructural” governance that treats the socioeconomic order as an ecological garden of spontaneous growths, adaptations, and innovations. I call this the Permissionless Innovation Universal Basic Income (PIUBI) framework. In it, the right to innovate, deviate, and mutate is upheld as the “gold standard” of institutional design whereby individuals are granted widespread freedoms combined with the provision of UBI and other innovation-fostering (carefully bound) services and regulations. In the coming decades, UBI may even enable poor people to take better advantage of Human Enhancement Technologies (HETs) and other experimental innovations. Such a framework is compatible with a fast pace of evolutionary development, but the regulatory model accompanying such a framework must be capable of responding to evolutionary lock-ins, maladaptive innovations, self-destructive behaviour on the part of UBI recipients, and the management of catastrophic and existential risks. In the end, I will have shown that the PIUBI framework can be justified as a plausible default institutional mechanism for responding to radical uncertainty, but it needs to be experimentally adapted to changing circumstances with the help of various situation-specific, polycentric, multi-level, approaches. (shrink)

In this paper, I first present an overview of Asay’s _A Theory of Truthmaking_, highlighting what I take to be some of its most attractive features, especially his re-invigoration of the ontological understanding of truthmaking and his defence of ontology-first truthmaking over explanation-first truthmaking. Then, I articulate what I take to be a puzzling potential inconsistency: (a) he appeals to considerations to do with aboutness in criticising how well ontological views account for truth while (b) ruling out aboutness from the (...) right account of truthmaking. He argues, instead, that necessitation is both necessary and sufficient for truthmaking (§3.3). I suggest that adding aboutness to one’s account in the right way is not just compatible with but important for ontology-first truthmaking. I do all this to invite Asay to clarify his position on these matters. Overall, Asay’s worldview displays the fruitfulness of an ontologically serious approach to metaphysics that puts truthmaking centre-stage. (shrink)

Analytical philosophy is ruled by the alliance of logic, linguistics and mathematics since its beginnings in the syllogistic calculus of terms and premises in Aristotle's Analytica protera, in the theories of medieval logic that dealt with what are Proprietatis Terminorum (significatio, suppositio, appellatio), in the theological apologetics of argumentation with the combinatorics of symbols by Raymundus Llullus in the work Ars Magna, Generalis et Ultima (1305-08), in what is presented as Theologia Combinata (cf. Tomus II.p.251) in Ars Magna Sciendi sive (...) Combinatoria by Athanasius Kircher (1669), in analytical combinatorics based in Leibniz's dissertation Ars Combinatoria (1666), where language is understood as a lingua characteristica and as a calculus ratiocinator, in the combinatorics of classes that have the meanings 1 or 0 given in the idea of Boolean functions (1854), in Frege's work Begriffschrift, eine der arithmeticeschen nachgebildete Fomelsprache des reinen Denkens (Concept letter, the language of formulas of pure thought made according to the model in arithmetical language), in Cantor's study of set theory / Grundlagen einer allgemeinen Mannigfaltigkeitstheorie (1883) and up to algorithms of fuzzy logic as a "means of approximate thinking that is in the human prior" (Zadeh, 1990) and fuzzy linguistics in computer semantics (Burghard B. Rieger, 1993). These are all the philosophical ideas of mathematicians and logicians that founded what we call logical pragmatism here as a demand that logic be absolutely used in every way in which it will dominate the grammar of language until logic itself becomes the philosophical grammar of the mind!!! (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free topology) (...) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

Standard Humanism is the modern Management system and belief of mankind's third millennium - with the capability to establish peace and justice! With this motto that: -/- We need the best world, as we are the best human beings, Seven billion human beings… -/- Standard Humanism is based on this basis and belief that: 1/ Human life from day one to this date on the Earth has been spent in a very primitive and traditional way; no thought and system due (...) to the primitive nature of human life has been able to save it in a fair and pervasive and acceptable manner which is approved by everyone from poverty, oppression, massacre and crime and its shortcomings, as a result the pains and shortcomings and oppressions of his life have been there and even looking never-ending! -/- 2/ To get out of this primitive and traditional life, positive thinking people with any belief and culture and nationality should equip themselves to the five principles of Standard Humanism - and by keeping all that they own, and not by losing them - change the nature of the primitive life of human beings and take human life to another world!!! The difference between that world and today's world of mankind is the difference between underdeveloped men and men who have been kept underdeveloped in this era and those who have made changes in their life in the third millennium. -/- The five principles are: A. There is a source of truth to unite and cover mankind under righteousness… B. Everyone has the right to choose his/her way of living… C. All should be mentioned and respected in the universal culture of mankind… D. We need a perfect international organization to protect us… E. We are the clean, pure and wise creature on this earth… -/- (Standard Humanism advocates a "Two Layers Identity" for every human being, First: by equipping all with five principles of it in order to eliminate the rules of ignorance, oppression etc. from their life and, Second: by insisting anyone to live according to his/her belief and culture - at its best form - in a safe world by the support and the administration of Worldwide Standard Human Society). -/- 3/ Worldwide Standard Human Society has this systematic characteristic based on believing the five superior fact of human life (Management and politics, religion and beliefs, culture and art, science, and economy) to provide for the right and need of all human beings and build and manage the complete and dynamic human life. The main goal and intention of Standard Humanism is the change and turn from its current nature and essence, to the nature and essence and system of "a standard type growth" (Getting out of the current primitive cycle of seeking superiority and entering the world of progressive and phase by phase growth towards higher stages, and discovering more human capabilities and human life). (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

My starting point is what I call the Normative Authority Conception of justification, where S is justified in their belief that p at t (to some degree n) if and only if their believing that p at t is not ruled out by epistemic norms that have normative authority over S at t. With this in mind, this paper develops an account of doxastic justification by first developing an account of the normative authority of epistemic norms. Drawing from work in (...) political philosophy, I argue that (a) the cognitive and evaluative commitments and concerns behind our actual practices of holding each other and ourselves accountable for our beliefs reveal which epistemic norms we have consented to be under, and that (b) it is because we have consented to be under the authority of these norms – by actually holding ourselves and others accountable to them – that they in turn have normative authority over us. By connecting the authority of epistemic norms to the authority we have over ourselves in this way, the resulting account of doxastic justification (i) explains why it can be appropriate to criticize, resent, or sanction someone for having unjustified beliefs, (ii) avoids the phenomena of normative alienation and normative parochialism, and (iii) respects the social and collective nature of epistemic justification. (shrink)

What is the ontology of collective action? I have in mind three connected questions. 1. Do the truth conditions of action sentences about groups require there to be group agents over and above individual agents? 2. Is there a difference, in this connection, between action sentences about informal groups that use plural noun phrases, such as ‘We pushed the car’ and ‘The women left the party early’, and action sentences about formal or institutional groups that use singular noun phrases, such (...) as ‘The United States declared war on Japan on December 8th, 1941’ and ‘The Supreme Court ruled that segregation is unconstitutional in 1954 in Brown vs. Board of Education’? 3. Under what conditions does it make sense to speak of a group doing something together, and what, if anything, is a collective action? In this paper, I argue that a) understanding action sentences about groups does not commit us to the existence of group agents per se, but only to the existence of individual agents; b) there is no difference in this regard between sentences which attribute actions to informal groups on the one hand and institutional groups on the other; c) collective action can be both intentional and unintentional; d) any random group of agents each of whom does something is also a group which does something together; e) while there is a sense in which groups per se perform no primitive collective actions, and therefore no actions at all, f) there is a sensible extension of talk of actions to groups, though it should be treated strictly speaking, like talk of group agents, as a façon de parler, for g) the only agents per se are individuals and the only actions are theirs. -/-. (shrink)

Kirja-arvio teoksesta Jordan B. Peterson, 12 elämänohjetta. Käsikirja kaaosta vastaan (12 Rules for Life. An Antidote to Chaos, 2018). Suom. Tero Valkonen. WSOY, Helsinki 2018.

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial (...) counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

The new …eld of judgment aggregation aims to …nd collective judgments on logically interconnected propositions. Recent impossibility results establish limitations on the possibility to vote independently on the propositions. I show that, fortunately, the impossibility results do not apply to a wide class of realistic agendas once propositions like “if a then b” are adequately modelled, namely as subjunctive implications rather than material implications. For these agendas, consistent and complete collective judgments can be reached through appropriate quota rules (which decide (...) propositions using acceptance thresholds). I characterise the class of these quota rules. I also prove an abstract result that characterises consistent aggregation for arbitrary agendas in a general logic. (shrink)

The Sleeping Beauty puzzle provides a nice illustration of the approach to self-locating belief defended by Robert Stalnaker in Our Knowledge of the Internal World (Stalnaker, 2008), as well as a test of the utility of that method. The setup of the Sleeping Beauty puzzle is by now fairly familiar. On Sunday Sleeping Beauty is told the rules of the game, and a (known to be) fair coin is flipped. On Monday, Sleeping Beauty is woken, and then put back to (...) sleep. If, and only if, the coin landed tails, she is woken again on Tuesday after having her memory of the Monday awakening erased.1 On Wednesday she is woken again and the game ends. There are a few questions we can ask about Beauty’s attitudes as the game progresses. We’d like to know what her credence that the coin landed heads should be (a) Before she goes to sleep Sunday; (b) When she wakes on Monday; (c) When she wakes on Tuesday; and (d) When she wakes on Wednesday? Standard treatments of the Sleeping Beauty puzzle ignore (d), run together (b) and (c) into one (somewhat ill-formed) question, and then divide theorists into ‘halfers’ or ‘thirders’ depending on how they answer it. Following Stalnaker, I’m going to focus on (b) here, though I’ll have a little to say about (c) and (d) as well. I’ll be following orthodoxy in taking 1 2 to be the clear answer to (a), and in taking the correct answers to (b) and (c) to be independent of how the coin lands, though I’ll briefly question that assumption at the end. An answer to these four questions should respect two different kinds of constraints. The answer for day n should make sense ‘statically’. It should be a sensible answer to the question of what Beauty should do given what information she then has. And the answer should make sense ‘dynamically’. It should be a sensible answer to the question of how Beauty should have updated her credences from some earlier day, given rational credences on the earlier day. As has been fairly clear since the discussion of the problem in Elga (2000), Sleeping Beauty is puzzling because static and dynamic considerations appear to push in different directions.. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) introduces. I (...) will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

The present dissertation investigates certain facets of the logical structure of oughts – where “ought” is used as a noun, roughly meaning obligation. I do so by following two lines of inquiry. The first part of the thesis places oughts in the context of practical rationality. The second part of the thesis concerns the inference rules governing arguments about oughts, and specifically the inference rule of Reasoning by Cases. These two lines of inquiry, together, aim to expound upon oughts (...) in rationality and reasoning. The methodology used in this dissertation is the one of philosophical logic, in which logical, qualitative models are developed to support and foster conceptual analysis. The dissertation consists of four main chapters. The first two chapters are devoted to the role of oughts in practical rationality. I focus on the so-called Enkratic principle of rationality, which – in its most general formulation – requires that if an agent believes sincerely and with conviction that she ought to do X, then she intends to X. I develop a logical framework to investigate the (static and dynamic) relation between those oughts believed by the agent and her intentions. It is shown that, under certain minimal assumptions, the Enkratic principle of rationality is a principle of limited validity. The following two chapters of the dissertation constitute a study of the classical inference rule of Reasoning by Cases, which – in its simplest form – moves from the premises “A or B”, “if A then C” and “if B then C” to the conclusion “C”. Recent literature has called the validity of Reasoning by Cases into question, with the most influential counterexample being the so-called Miners’ Puzzle – an instance of Reasoning by Cases where “C” involves oughts. I provide a unifying explanation of why the Miners’ Puzzle emerges. It is shown that, within specific boundaries, Reasoning by Cases is a valid inference rule. (shrink)

The main goal of this study is to develop a conceptual framework meant (a) to present the essential traits of persuasion, (b) to explain resistance to persuasion (mainly when the persuader tries to shape, reinforce, or change an attitudinal response), and (c) to provide a feasible strategy to overcome the coping behaviors associated with resistance to persuasion. Defined as the communication process in which “someone makes other people believe or decide to do something, especially by giving them reasons why they (...) should do it, or asking them many times to do it”, persuasion ensures a noncoercive social control by shaping, reinforcing, or changing target audience’s cognitions, feelings, attitudes, beliefs, and behaviors. Persuasion involves volitional behaviors (that are inextricably intertwined with spontaneous, impulsive, mindless, or compulsive behaviors) and a significant cognitive load. Even if persuasion does not elicit negative feelings like various shortcuts to compliance (coercion, bribery, deception, manipulation of the dominant instincts, etc.), it generates ipso facto resistance to persuasion. Public relations specialists and other communication professionals can reduce or cope with resistance to persuasion by creating a low-pressure persuasion context, using evidential reasons, and following evidential rules. (shrink)

Despite their centrality to medicine, drugs are not easily defined. We introduce two desiderata for a basic definition of medical drugs. It should: (a) capture everything considered to be a drug in medical contexts and (b) rule out anything that is not considered to be a drug. After canvassing a range of options, we find that no single definition of drugs can satisfy both desiderata. We conclude with three responses to our exploration of the drug concept: maintain a monistic (...) concept, or choose one of two pluralistic outcomes. Notably, the distinction between drugs and other substances is placed under pressure by the most plausible of the options available. (shrink)

In the following paper, I wish to examine a problem for the theist libertarian. On the one hand, libertarians insist that freedom requires possible alternatives open to the agent. On the other hand, God’s perfectly formed moral character implies that He always does the morally best. Give His moral character, then, it appears that there are no possible alternatives open to God. We thus get a dilemma for the theist libertarian: either a) God is not libertarian free – because His (...) moral character rules out possible alternatives; or b) God’s character is not perfectly formed – because libertarian freedom requires that it is possible for God to act out of character. In the present paper, I argue that Thomas Reid, a paradigmatic libertarian, has the theoretical tools to retain a robust account of libertarian freedom without compromising a robust account of perfectly formed characters. In sum, it is necessary that agents with fully formed characters always act in character (read de dicto), but it is possible that agents with fully formed characters act out of character (read de re). The former claim captures the robustness of perfectly formed moral characters and the latter claim captures the robustness of libertarian freedom. (shrink)

I attempt to make sense of Hume's enigmatic characterization of the standard of taste as "a rule, by which the various sentiments of men may be reconciled; at least, a decision, afforded, confirming one sentiment, and condemning another." In particular, I take up the questions (a) how the standard could be both a rule and a decision, (b) why it is at least a decision if not a rule, and (c) why, if a rule, it may (...) reconcile various sentiments rather than merely confirm one and condemn another. (shrink)