1. Do models formulated in programming languages use explicit rules where connectionist models do not? 2. Are rules as found in programming languages hard, precise, and exceptionless, where connectionist rules are not? 3. Do connectionist models use rules operating on distributed representations where models formulated in programming languages do not? 4. Do connectionist models fail to use structure sensitive rules of the sort found in "classical" computer architectures? In this chapter we argue that the (...) answer to each of these questions is negative. (shrink)

Rules are meant to apply equally to all within their jurisdiction. However, some rules are frequently broken without consequence for most. These rules are only occasionally enforced, often at the discretion of a third-party observer. We propose that these rules—whose violations are frequent, and enforcement is rare—constitute a unique subclass of explicitly codified rules, which we call ‘phantom rules’ (e.g., proscribing jaywalking). Their apparent punishability is ambiguous and particularly susceptible to third-party motives. Across six (...) experiments, (N = 1440) we validated the existence of phantom rules and found evidence for their motivated enforcement. First, people played a modified Dictator Game with a novel frequently broken and rarely enforced rule (i.e., a phantom rule). People enforced this rule more often when the “dictator” was selfish (vs. fair) even though the rule only proscribed fractional offers (not selfishness). Then we turned to third person judgments of the U.S. legal system. We found these violations are recognizable to participants as both illegal and commonplace (Experiment 2), differentiable from violations of prototypical laws (Experiments 3) and enforced in a motivated way (Experiments 4a and 4b). Phantom rule violations (but not prototypical legal violations) are seen as more justifiably punished when the rule violator has also violated a social norm (vs. rule violation alone)—unless the motivation to punish has been satiated (Experiment 5). Phantom rules are frequently broken, codified rules. Consequently, their apparent punishability is ambiguous, and their enforcement is particularly susceptible to third party motives. (shrink)

Cardinal Bessarion (1408–1472), in the second chapter of the first book of his influential work In calumniatorem Platonis, attempted to reply to Georgios Trapezuntios’ (1396–1474) criticism against Plato in the Comparatio Philosophorum Platonis et Aristotelis. Bessarion investigates why the Athenian philosopher maintained, in several dialogues, that the sacred truths should not be communicated to the general public and argued in favor of the value of oral transmission of knowledge, largely based on his theory about the cognitive processes. Recently, Fr. Bessarion (...) Kouotsis has argued that Cardinal Bessarion’s reasoning draws primarily on the “Disciplina Arcani”, i.e., the rule of secrecy, which was an established practice of the Early Christian Church, aimed at protecting and preserving the core elements of the religion from outsiders. While I find Kouotsis’ approach interesting and thought-provoking—for instance, the idea that Bessarion’s argumentation was likely influenced by Eastern Christian views on the rule of secrecy—I intend, first of all, to discuss why Bessarion did not explicitly mention it. Moreover, I would like to argue that Bessarion’s good knowledge of the long Platonic tradition and Eastern mysticism, encompassing both pagan and Christian elements, should also be considered a significant source. Furthermore, I would like to question Kouotsis’ implicit argument that Bessarion’s views were dominated by his training in Orthodox theology and discuss the possibility that Pletho’s (1355–1454) teaching was the obvious influence for Bessarion’s defense of secrecy. After all, we should bear in mind that Anastos has already pointed out Pletho’s reverence for the rule of secrecy. Finally, I would like to support that Bessarion, in the specific text, focused predominantly on the epistemological and cognitive aspects of oral teaching, resorting to the rule of secrecy only to enhance his views. (shrink)

One of the most common ancient moral teachings of considering oneself as equal with others is called the Golden Rule, which has long been the focus of different schools in time and world. This rule, as an important moral value and norm, by "adopting another perspective" (perspective_taking) causes the mutual understanding of individuals and is the cornerstone of other moral standards. . The implementation of this rule requires accurate knowledge of the needs, good and evil of others with one's own (...) conscience. In fact, to implement this rule, one must imagine oneself in another position, which causes a kind of epistemological-motivational empathy. The golden rule means "treat others as you would like to be treated" and the golden rule "do not like what others do not like for themselves" is explicitly or with different interpretations in Nahj al-Balaghah. This research uses a descriptive and analytical method and through the collection of library information to try to explain the different interpretations of the golden and silver rules in Nahj al-Balagheh. According to the results of this study, fairness, justice, compassion, identification of self-interests with others, forgiveness, meeting with different sections of society and self-discipline are among the conceptual forms of the golden rule in the words of Amir. (shrink)

Many philosophers believe that agents are self-ruled only when ruled by their (authentic) selves. Though this view is rarely argued for explicitly, one tempting line of thought suggests that self-rule is just obviously equivalent to rule by the self . However, the plausibility of this thought evaporates upon close examination of the logic of ‘self-rule’ and similar reflexives. Moreover, attempts to rescue the account by recasting it in negative terms are unpromising. In light of these problems, this paper instead proposes (...) that agents are self-ruled only when not ruled by others. One reason for favouring this negative social view is its ability to yield plausible conclusions concerning various manipulation cases that are notoriously problematic for nonsocial accounts of self-rule. A second reason is that the account conforms with ordinary usage. It is concluded that self-rule may be best thought of as an essentially social concept. (shrink)

Recent years have seen a surge of interest in implicit bias. Driving this concern is the thesis, apparently established by tests such as the IAT, that people who hold egalitarian explicit attitudes and beliefs, are often influenced by implicit mental processes that operate independently from, and are largely insensitive to, their explicit attitudes. We argue that implicit bias testing in social and empirical psychology does not, and without a fundamental shift in focus could not, establish this startling thesis. (...) We suggest that implicit bias research has been conducted in light of inadequate theories of racism and sexism. As a result, such testing has not sufficiently controlled for subjects’ prejudiced explicit beliefs and emotions, and has not ruled out the possibility that explicit prejudice best explains test subjects’ discriminatory associations and behavior. (shrink)

In PI 189, Wittgenstein's interlocutor asks, ‘But are the steps then not determined by the algebraic formula?’. Wittgenstein responds, ‘The question contains a mistake’. What is the mistake contained in the interlocutor's question? Wittgenstein's elaboration is neither explicit nor its intended upshot transparent. In this paper, I offer a reading on which the interlocutor's question arises from illicitly crossing different pictures of ‘determination’. I begin by working through Wittgenstein's machine analogy in PI 193, which illustrates picture‐crossing in our ways (...) of talking about a machine. Using the lessons from this analogy, I show how the interlocutor's ‘mistake’ can be diagnosed in similar terms: their confusion about the power of a rule to determine its applications rests on mistakenly crossing a behavioural and a mathematical sense of ‘determine’—thereby concocting a mystifying picture of rule‐following. (shrink)

Wittgenstein has been considered one of the greatest philosophers of the 20th century while being one of its most popular mystics. Considering the staunch secularization of philosophy during the Enlightenment, such combination is rarely seen in philosophers of more recent times. The farthest explication of the relationship between Wittgenstein’s philosophy and his mysticism has not went as far as making a Christian nature explicit. This can be read as analytic philosophy’s identification as an heir to the Enlightenment. There has (...) been much ink spilled in the mystical aspects of his philosophy. Although there are hints of his Christian leanings, patent parallelisms have yet to be drawn properly. Exploring Christian faith and rule-following, this paper asserts that the former is how the latter is characterized in the Philosophical Investigations. Faith and rule-following both provide a way of seeing and are sufficient for action. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of (...) FCT's fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

The tenth proposition of Spinoza’s Ethics reads: ‘Each attribute of substance must be conceived through itself.’ Developing and defending the argument for this single proposition, it turns out, is vital to Spinoza’s philosophical project. Indeed, it’s virtually impossible to overstate its importance. Spinoza and his interpreters have used EIp10 to prove central claims in his metaphysics and philosophy of mind (i.e., substance monism, mind-body parallelism, mind-body identity, and finite subject individuation). It’s crucial for making sense of his epistemology (i.e., Spinoza’s (...) account of knowledge and response to skepticism) and in resolving puzzles within the Ethics (i.e., explaining human ignorance of all but two attributes). Even those who do not attribute some of the above claims to Spinoza need EIp10 to defend much of what they believe about Spinoza’s system. This paper locates a previously unnoticed argument for this proposition in Spinoza’s Short Treatise on God, Man, and His Well Being. There, Spinoza shows himself concerned with a powerful and underappreciated form of philosophical skepticism, one with surprising echoes in the work of his contemporary Leibniz as well as in the later Wittgenstein. Spinoza’s introduction of E1p10 in the Ethics circumvents this form of skepticism, solving the problem the Short Treatise envisions while also explaining that text’s argument’s absence from the explicit justificatory structure of the Ethics. (shrink)

A study was conducted regarding ways in which higher education institutions can improve ethics. Theoretical frameworks used included: Virtue ethics, deontological and environmental ethics theories. The total sampled written texts were 94. Non-probability sampling was used. The type that was used was online convenience sampling through web scraping. Philosophical assumption that guided this study was interpretivism and the approach was Qualitative. Case study was used as a design and content analysis as a method of data analysis. Some of the findings (...) of the study included but were not limited to the following: Higher education's ethical and professional standards are critical for retaining the trust of students, staff, and the larger society. Institutions that prioritise ethics and standards will be better positioned to carry out their goal and positively impact society. The study recommended the following to Higher education stakeholders: Create faculty-led ethics committees to evaluate and advise on ethical issues such as teaching, research, and academic freedom. Make certain that these committees are composed of a diverse spectrum of faculty members with ethics expertise; Create explicit rules and protocols for using AI, machine learning, and big data ethically in academic research and administrative processes. Address the issues of discrimination, privacy, and accountability in AI applications; and Involve alumni in ethics programs and projects to encourage them to support and contribute to ethical education and research. Create opportunities for alumni to advise students on how to develop ethical professions. (shrink)

This article explores the norms that govern regular users’ acts of sharing content on social networking sites. Many debates on how to counteract misinformation on Social Networking Sites focus on the epistemic norms of testimony, implicitly assuming that the users’ acts of sharing should fall under the same norms as those for posting original content. I challenge this assumption by proposing a non-epistemic interpretation of (mis) information sharing on social networking sites which I construe as infrastructures for forms of life (...) found online. Misinformation sharing belongs more in the realm of rumour spreading and gossiping rather than in the information-giving language games. However, the norms for sharing cannot be fixed in advance, as these emerge at the interaction between the platforms’ explicit rules, local norms established by user practices, and a meta-norm of sociality. This unpredictability does not leave us with a normative void as an important user responsibility still remains, namely that of making the context of the sharing gesture explicit. If users will clarify how their gestures of sharing are meant to be interpreted by others, they will implicitly assume responsibility for possible misunderstandings based on omissions, and the harms of shared misinformation can be diminished. (shrink)

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; (...) and (iii) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

Wilhelm von Humboldt (1767-1835) is rightly regarded as a thinker who extended the development of the so-called expressivist conception of language and world that Johann Georg Hamann (1730-1788) and especially Johann Gottfried Herder (1744-1803) initially articulated. Being immersed as Humboldt was in the intellectual climate of German Romanticism, he aimed not only to provide a systematic foundation for how he believed linguistic research as a science should be conducted, but also to attempt to rectify what he saw as the deficiencies (...) of Kant’s philosophical system. My aim in this paper is to show how an expressivist thinker like Humboldt has the conceptual resources from within his own framework and, perhaps surprisingly, with some help from the 20th century philosopher of language and mind, Donald Davidson, to reject a criticism commonly made against expressivist conceptions of language and world. This is the charge that this sort of expressivism threatens the objectivity of the world by emphasizing the role of language in the constitution and disclosure of the world. Cristina Lafont makes just this charge against Humboldt (and other philosophers in the German expressivist-hermeneutic tradition). Specifically, she argues that expressivist philosophers of language are all ultimately committed to some pernicious form of linguistic idealism and relativism. In this paper, I first present Humboldt’s reflections on language and give some textual evidence for why he is often read – mistakenly in my view – as a linguistic idealist and relativist. Second, I briefly sketch Lafont’s charge of linguistic idealism and relativism against Humboldt. Third and finally, I show how she misunderstands Humboldt’s expressivist conception of language and world by connecting my rebuttal to her criticism with Davidson’s argument that successful communication does not require the sharing of explicit rules or conventions that govern in advance the use and understanding of words. (shrink)

This paper puts forward an account of imaginative immersion. Elaborating on Kendall Walton’s thesis that imagining aims at the fictional truth, it first argues that imaginings are inherently rule- or norm-governed: they are ‘regulated’ by that which is presented as fictionally true. It then shows that an imaginer can follow the rule or norm mandating her to imagine the propositions presented as fictional truths either by acquiring explicit beliefs about how the rule (norm) is to be followed, or directly, (...) without acquiring such beliefs. It proceeds to argue that to the extent that an imaginer follows this rule (norm) without holding such beliefs, she is more immersed in her imaginings. The general idea is that immersion in an activity is a matter of following rules or norms that apply to that activity without explicitly thinking about how to follow them, that is, without ‘doxastic mediation.’ Lastly, the paper shows that this thesis can explain various features associated with imaginative immersion, such as the sort of attentiveness it involves, the emotional response it generates, and its relation to spoilers. (shrink)

ABSTRACTThis paper provides a naturalistic account of inference. We posit that the core of inference is constituted by bare inferential transitions, transitions between discursive mental representations guided by rules built into the architecture of cognitive systems. In further developing the concept of BITs, we provide an account of what Boghossian [2014] calls ‘taking’—that is, the appreciation of the rule that guides an inferential transition. We argue that BITs are sufficient for implicit taking, and then, to analyse explicit taking, (...) we posit rich inferential transitions, which are transitions that the subject is disposed to endorse. (shrink)

Even though he is not very explicit about it, in “Wittgenstein on Rules and Private Language” Kripke discusses two different, albeit related, skeptical theses ‒ the first one in the philosophy of mind, the second one in the philosophy of language. Usually, what Kripke says about one thesis can be easily applied to the other one, too; however, things are not always that simple. In this paper, I discuss the case of the so-called “Normativity Argument” against semantic dispositionalism (...) (which I take to be epistemological in nature) and argue that it is much stronger as an argument in the philosophy of mind than when it is construed as an argument in the philosophy of language. (shrink)

Thomas Kuhn explicitly states that the paradigm shift implies a change of the world. This is because the paradigm is seen as constitutive of nature itself. In this paper, I will try to interpret this thesis by inscribing Kuhn's theory in the larger Kantian theoretical framework. As the last chapter of the „Critique of pure reason” shows, Kant thought that reason is inherently historical and evolves through revolutions. This dynamical perspective on reason comes clearly to light especially in the „Appendix” (...) to the „transcendental Dialectic”, where the Idea of reason is seen as an abstract theoretical framework that makes possible and guides the understanding. It will be shown that the Kuhnian paradigm and the Kantian transcendental Ideea function in similar ways. Both serve as an orientation for scientific research, they make rules possible, and constitute nature in a weak, indirect, way. The relation between Ideea and understanding in the first „Critique” parallels in many ways the kuhnian relation between paradigm and normal science. (shrink)

Quine has been charged with eliminating the normative dimension from his naturalized epistemology. The aim of the paper is to look at the role of empathy in Quine's language learning situation, which in its simplest form is constituted by the parent-child relation. We will explore the normativity of the role of empathy thereof by exploiting the sociality of the language learning situation. Since the sociality of Quine's notion of empathy is implicit, to explore the normativity expression thereof, we will examine (...) the explicit sociality of Wittgenstein's language learning situation-also constituted in its simplest form by the master-novice relation-and the normative character of it. By explicating the normativity of the calibrating role of the master and of rule following generally, we will parse the social dimensions of the empathizing role of the linguist in Quine's language learning situation. Finally, by examining the nature of normativity in empathizing, we will establish that the normativity of empathizing involved in Quine's language learning situation is socially grounded without denying its individual dimension. We will conclude that the normativity objection against Quine's naturalism thus stands refuted. (shrink)

The development of explicit theories of dynamic context change has led to a fundamentally new perspective on the interpretation of discourse. In this paper I show that this development also opens up the possibility of approaching subclausal composition along similar lines. More specifically, I argue that a dynamic theory where type-driven rules apply directly to overt surface structures and fill in missing information by building anaphoric bridges is more faithful to natural language semantics than the classical Montagovian approach.

By endorsing that Bildung is a condition for thought, McDowell explicitly sets out to revive a theme in classical german philosophy. As long as the concept of Bildung is intended to play a role in McDowell’s theory of meaning and reasons, however, it is best understood in the light of its distinctive combination of neo-Fregeanism about content and Wittgensteinianism about rule-following. The Fregean part is there to warrant that reasons are objective, the Wittgensteinian move is to account for our grasping (...) of reasons. I argue that, as it stands, the project can hardly succeed. According to this reading, Bildung not only provides the epistemic resources to access reasons. It shapes them in a way that is in tension with the idea that reasons are objective. I conclude with a guess about the amendment needed to keep the project in the air. (shrink)

The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions that are (...) explicitly known by using a certain set of logical rules, the concept of implicit knowledge is definable on the basis of the concept of explicit knowledge. In any case, both implicit and explicit knowledge are typically characterized as factive, i.e. such that it is always the case that what is known is also true. The aim of the present paper is twofold: first, we will develop a dynamic system of explicit intersubjective knowledge that allows us to introduce the operator of implicit knowledge by definition; secondly, we will show that it is not possible to hold together the following two theses: (1) the concept of implicit knowledge is definable along the lines indicated above and (2) the concept of implicit knowledge is factive. (shrink)

The objective of this paper is to analyze the broader significance of Frege’s logicist project against the background of Wittgenstein’s philosophy from both Tractatus and Philosophical Investigations. The article draws on two basic observations, namely that Frege’s project aims at saying something that was only implicit in everyday arithmetical practice, as the so-called recursion theorem demonstrates, and that the explicitness involved in logicism does not concern the arithmetical operations themselves, but rather the way they are defined. It thus represents the (...) attempt to make explicit not the rules alone, but rather the rules governing their following, i.e. rules of second-order type. I elaborate on these remarks with short references to Brandom’s refinement of Frege’s expressivist and Wittgenstein’s pragmatist project. (shrink)

Wittgenstein’s Investigations proposed an egalitarian view about language games, emphasizing their plurality (“language has no downtown”). Uses of words depend on the game one is playing, and may change when playing another. Furthermore, there is no privileged game dictating the rules for the others: games are as many as purposes. This view is pluralist and egalitarian, but it says little about the connection between meaning and use, and about how a set of rules is responsible for them in (...) practice. Brandom’s Making It Explicit attempted a straightforward answer to these questions, by developing Wittgensteinian insights: the primacy of social practice over meanings; the idea that meaning is use; the idea of rule–following to understand participation in social practices. Nonetheless, Brandom defended a non–Wittgensteinian conception of discursive practice: language has a “downtown”, the game of “giving and asking for reasons”. This is the idea of a normative structure of language, consisting of advancing claims and drawing inferences. By means of assertions, speakers undertake “commitments” that can be challenged/defended in terms of reasons (those successfully justified can gain “entitlement”). This game is not one among many: it is indispensable to the very idea of discursive practice. In this paper, my aim will be that of exploring the main motivations and implications of both perspectives. (shrink)

Sellars was an inferentialist about meaning. He thus effectively accorded modality a categorial function, maintaining that any meaningful assertion involves implicit commitment to rules of material inference, which modal propositions explicitly endorse. But Sellars was also a modal anti-realist, construing modality as “entirely immanent to thought” (LRB §40), not present in the world an sich. These two commitments, Klemick argues, render it impossible in principle for us to describe the world an sich adequately, undermining Sellars’ scientific realism, on which, (...) at the “ideal outcome of scientific inquiry,” “the gulf between appearances and things-in-themselves [... can] be bridged” (SM II §51). Sellars’ attempt to ground his modal anti-realism in an ideal “pure description of the world” (CDCM §79) cannot succeed, given modality’s categorial function. Further, his subsequent deployment of picturing as a naturalistic criterion of ontological commitment founders on an analogue of the Kantian problem of noumenal affection: the descriptions of picturing relations that render this proposal intelligible are emptied of content by the denial that the in-itself is modally characterized. Sellars’ worthy aim of preserving the world’s independence of our conceptual activity, Klemick concludes, doesn’t require denying that it exhibits modal relations isomorphic to the semantic relations within our conceptual scheme. (shrink)

In recent years a growing number of philosophers in the analytic tradition have focused their attention on the significance of human sociality. An older point of departure of analysis, which actually precedes this current tide of accounts of sociality, has revolved around the debate between “holism” and “individualism” in the philosophy of the human or social sciences and social theory. The more recent point of departure for various accounts of sociality has centered on the nature of conventions, social groups, shared (...) intentions, or collective intentionality. Putting aside the disagreements among these accounts, they all take for granted an antecedently intelligible notion of individual agency as explanatorily primitive and seek to explain the possibility of plural or collective agency in terms of the former. By contrast, other philosophers who have worked at the intersection of analytic and "continental" philosophy have emphasized the primacy of practice as the proper starting point for philosophical reflections on the nature of human sociality. In the analytic tradition this emphasis is typically framed in terms of the possibility of rule-following, a topic put on the philosophical agenda by the later Wittgenstein. Peter Winch’s and Saul Kripke’s influential but controversial readings of Wittgenstein explicitly thematize the issue of rule-following, readings which have in turn generated critical reflection in various disciplines for which this issue is relevant. -/- I begin by briefly explicating the positions of Pettit and Brandom on the issue of rule-following (putting aside any specific differences between them for the moment). Next I connect Pettit’s and Brandom’s views on rule-following, and more generally on normativity and its necessarily social basis, with the views of Theodore Schatzki and Joseph Rouse, whose conceptions of the significance of practice and its inherent sociality are indebted as much to the early Heidegger as well as the later Wittgenstein. I suggest that Pettit’s and Brandom’s views of the necessarily social nature of rule-following (i.e., practice) ought to acknowledge and integrate the shared insight of Schatzki and Rouse that practices are not only modes of activity, but constitute more basically the concrete setting or world within which practices qua modes of activity are intelligible (verständlich) at all. I conclude the paper by suggesting how an integrated account of the significance of the necessarily social nature of practice undermines the assumptions of those philosophers who seek to analyze human sociality solely on the basis of modes of interactions among individual agents. (shrink)

Since sending explicit messages can be costly, people often utilize “what is not said,” i.e., informative silence, to economize communication. This paper studies the efficient communication rule, which is fully informative while minimizing the use of explicit messages, in cooperative environments. It is shown that when the notion of context is defined as the finest mutually self-evident event that contains the current state, the efficient use of informative silence exhibits the defining property of indexicals in natural languages. While (...) the efficient use of silence could be complex, it is also found that the efficient use of silence can be as “simple” as the use of indexicals in natural languages if and only if the information structure satisfies some centrality and dominance properties. (shrink)

In 1753, the Berlin Academy announced that the focus of the prize essay contest of 1755 would be optimism, with entrants required (among other things) ‘to put forward arguments that will be thought most fitting to confirm or destroy this system’. In line with these instructions, entrants submitted essays that were either pro- or anti-optimism. This was to the dismay of one of the judges of the contest, André-Pierre Le Guay de Prémontval (1716–1764), who had, by his own admission, surreptitiously (...) attempted to influence the entrants by sketching out a ‘middle point’ between the polarized pro- and anti-optimist positions in a series of books published between 1754 and 1755, namely Thoughts on Freedom, The Diogenes of d’Alembert, and On Chance under the Rule of Providence. The aim of this essay is to elucidate and historically contextualize Prémontval’s highly original ‘middle point’, as outlined implicitly in the aforementioned books and much more explicitly in a series of essays published after the essay contest had concluded. (shrink)

This metatheoretical paper investigates mind wandering from the perspective of philosophy of mind. It has two central claims. The first is that, on a conceptual level, mind wandering can be fruitfully described as a specific form of mental autonomy loss. The second is that, given empirical constraints, most of what we call “conscious thought” is better analyzed as a subpersonal process that more often than not lacks crucial properties traditionally taken to be the hallmark of personal-level cognition - such as (...) mental agency, explicit, consciously experienced goal-directedness, or availability for veto control. I claim that for roughly two thirds of our conscious life-time we do not possess mental autonomy (M-autonomy) in this sense. Empirical data from research on mind wandering and nocturnal dreaming clearly show that phenomenally represented cognitive processing is mostly an automatic, non-agentive process and that personal-level cognition is an exception rather than the rule. This raises an interesting new version of the mind-body problem: How is subpersonal cognition causally related to personal-level thought? More fine-grained phenomenological descriptions for what we called “conscious thought” in the past are needed, as well as a functional decomposition of umbrella terms like “mind wandering” into different target phenomena and a better understanding of the frequent dynamic transitions between spontaneous, task-unrelated thought and meta-awareness. In an attempt to lay some very first conceptual foundations for the now burgeoning field of research on mind wandering, the third section proposes two new criteria for individuating single episodes of mind-wandering, namely, the “self-representational blink” (SRB) and a sudden shift in the phenomenological “unit of identification” (UI). I close by specifying a list of potentially innovative research goals that could serve to establish a stronger connection between mind wandering research and philosophy of mind. (shrink)

The paper discusses an objection, put forward by - among others - John McDowell, to Kripke’s Wittgenstein’s non-factualist and relativist view of semantic discourse. The objection goes roughly as follows: while it is usually possible to be a relativist about a given domain of discourse without being a relativist about anything else, relativism about semantic discourse entails global relativism, which in turn entails subjective idealism, which we can reasonably assume to be false. The paper’s first section sketches Kripke’s Wittgenstein’s ideas (...) about semantic discourse and gives a fully explicit formulation of the objection. The second section describes and briefly discusses the formal apparatus needed to evaluate the objection - which is basically equivalent to John MacFarlane’s recent development of David Kaplan’s classic semantic framework. Finally, the third section explains in detail why the objection fails. I show that even though relativism about semantic discourse does entail a form of global relativism, the relativism in question does not entail anything like Berkeleyan or Fichtean idealism. This particular kind of relativism holds that which character (in Kaplan’s sense) is associated to a given utterance depends on what MacFarlane calls “the context of assessment”. (shrink)

In this article, I expound and defend an interpretation of Sellars as a metaethical quasi-realist. Sellars analyzes moral discourse in non-cognitivist terms: in particular, he analyzes “ought”-statements as expressions of collective intentions deriving from a collective commitment to provide for the general welfare. But he also endorses a functional-role theory of meaning, on which a statement’s meaning is grounded in its being governed by semantical rules concerning language entry, intra-linguistic, and language departure transitions, and a theory of truth as (...) correct assertibility relative to such semantical rules. On these non-representationalist theories, even though moral statements are expressions of intentions and not fundamentally descriptive, they nevertheless count as assertorically meaningful, and some count as positively true. I further argue that this interpretation is capable not only of explaining Sellars’ explicitly metaethical writings, but also of unifying his scientific realism with his commitment to the ineliminable and indispensable role of the language of intentions: if this linguistic framework does not play an explanatory role, but only an expressive role, this explains both why Sellars’ commitment to it does not contravene his naturalism, as well as why, given the necessity of such language for our practical engagement with the world, the scientific image of humans in the world will only be completed once such language supplements it to enable us to relate practically to it. (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)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule (...) have divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Crossing the road within the traffic system is an example of an action human agents perform successfully day-to-day in complex systems. How do they perform such successful actions given that the behaviour of complex systems is often difficult to predict? The contemporary literature contains two contrasting approaches to the epistemology of complex systems: an analytic and a post-modern approach. We argue that neither approach adequately accounts for how successful action is possible in complex systems. Agents regularly perform successful actions without (...) obeying (explicit or implicit) algorithmic rules (as the analytic approach suggests) and without an existential leap to action (as the post-modern approach suggests). We offer an alternative: A common-sense pragmatist epistemology, one that focuses on the kind of actions making up most agents’ successful moment-to-moment actions in complex systems. Successful actions obtain when agents apply ceteris paribus rules-of-thumb during predictive and decisional practices while achieving some desired goal. (shrink)

I argue that judgments of what is ‘true in a fiction’ presuppose the Reality Assumption: the assumption that everything that is true is fictionally the case, unless excluded by the work. By contrast with the more familiar Reality Principle, the Reality Assumption is not a rule for inferring implied content from what is explicit. Instead, it provides an array of real-world truths that can be used in such inferences. I claim that the Reality Assumption is essential to our ability (...) to understand stories, drawing on a range of empirical evidence that demonstrates our reliance on it in narrative comprehension. However, the Reality Assumption has several unintuitive consequences, not least that what is fictionally the case includes countless facts that neither authors nor readers could ever consider. I argue that such consequences provide no reason to reject the Reality Assumption. I conclude that we should take fictions, like non-fictions, to be about the real world. (shrink)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it (...) assumed the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

Modern fundamental science tends to avoid the principle of physical causality and realism, replacing it with heuristically postulated and separated mathematical constructions that impose their own rules before being adjusted to measurement results. While it is officially accepted as the single possible kind of rigorous knowledge, we argue that another, explicitly extended kind of science can provide the causally complete picture of reality avoiding the glaring gaps, growing problems and persisting stagnation of the artificially reduced knowledge paradigm. The logic (...) of science development and especially its current state call for the urgently needed transition to the extended, causally complete kind of knowledge and related sustainable progress at superior creativity levels of self-aware, reason-based society. (shrink)

Throughout this research, imposing the training of an Artificial Neural Network (ANN) to play tic-tac-toe bored game, by training the ANN to play the tic-tac-toe logic using the set of mathematical combination of the sequences that could be played by the system and using both the Gradient Descent Algorithm explicitly and the Elimination theory rules implicitly. And so on the system should be able to produce imunate amalgamations to solve every state within the game course to make better of (...) results of winnings or getting draw. (shrink)

There are advantages to thrift over honest toil. If we can make do without numbers we avoid challenging questions over the metaphysics and epistemology of such entities; and we have a good idea, I think, of what a nominalistic metaphysics should look like. But minimizing ontology brings its own problems; for it seems to lead to error theory— saying that large swathes of common-sense and best science are false. Should recherche philosophical arguments really convince us to give all this up? (...) Such Moorean considerations are explicitly part of the motivation for the recent resurgence of structured metaphysics, which allow a minimal (perhaps nominalistic) fundamental ontology, while avoiding error-theory by adopting a permissive stance towards ontology that can be argued to be grounded in the fundamental. This paper evaluates the Moorean arguments, identifying key epistemological assumptions. On the assumption that Moorean arguments can be used to rule out error-theory, I examine deflationary ‘representationalist’ rivals to the structured metaphysics reaction. Quinean paraphrase, fictionalist claims about syntax and semantics are considered and criticized. In the final section, a ‘direct’ deflationary strategy is outlined and the theoretical obligations that it faces are articulated. The position advocated may have us talking a lot like a friend of structured metaphysics—but with a very different conception of what we’re up to. (shrink)

There is a lot of conceptual engineering going on in medical research. I substantiate this claim with two examples, the medical debate about cancer classification and about obesity as a disease I also argue that the proper target of conceptual engineering in medical research are experts’ conceptions. These are explicitly written down in documents and guidelines, and they bear on research and policies. In the second part of the chapter, I propose an externalist framework in which conceptions have both the (...) explanatory power of psychological concepts and that of semantic concepts. It is likely, however, that human activities and practices distinct from medical research, and regulated by different practices and epistemic rules, call for different targets for conceptual engineering. I conclude with indicating an open agenda of problems for philosophers of medicine interested in conceptual engineering. (shrink)

With the increasing degrees A.I.s and machines are applied across different social contexts, the need for implementing ethics in A.I.s is pressing. In this paper, we argue for a pluralist hybrid model for the implementation of moral A.I.s. We first survey current approaches to moral A.I.s and their inherent limitations. Then we propose the pluralist hybrid approach and show how these limitations of moral A.I.s can be partly alleviated by the pluralist hybrid approach. The core ethical decision-making capacity of an (...) A.I. based on the pluralist hybrid approach consists of two systems. The first is a deterministic algorithm system that incorporates different moral rules for making explicit moral decisions. The second is a machine learning system that calculates the value of the variables required by the application of moral principles. The pluralist hybrid system is better than the existing proposals as (i) it better addresses the moral disagreement problem of the top-down approach by including different moral principles, while (ii) it reduces the opacity of ethical decision-making compared with a bottom-up system by implementing explicit moral principles for moral decision making. (shrink)

Speech and thought about what the law is commonly function in practical ways, to guide or assess behavior. These functions have often been seen as problematic for legal positivism in the tradition of H.L.A. Hart. One recent response is to advance an expressivist analysis of legal statements (Toh), which faces its own, familiar problems. This paper advances a rival, positivist-friendly account of legal statements which we call “quasi-expressivist”, explicitly modeled after Finlay’s metaethical theory of moral statements. This consists in a (...) descriptivist, “rule-relational” semantics combined with a pragmatic account of the expressive and practical functions of legal discourse. We argue that this approach is at least as well-equipped as expressivism to explain the motivational and prescriptive features of “internal” legal statements, as well as a fundamental kind of legal disagreement, while being better positioned to account for various “external” uses of the same language. We develop this theory in a Hartian framework, and in the final part of the paper argue (particularly against Toh’s expressivist interpretation) that Hart’s own views in The Concept of Law are best reconstructed along such quasi-expressivist lines. (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two (...) kinds of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

A dramatic problem facing the concept of the self is whether there is anything to make sense of. Despite the speculative view that there is an essential role for the perceiver in measurement, a physicalist view of reality currently seems to be ruling out the conditions of subjectivity required to keep the concept of the self. Eliminative materialism states this position explicitly. The doctrine holds that we have no objective grounds for attributing personhood to anyone, and can therefore dispense with (...) the concept. That implication would require us to dispense with many of the most basic commitments of our manifest or common sense image of the world. And it would require us to abandon, to maintain as an act of bad faith, or radically to adjust, virtually every significant basic commitment underlying the variety of traditions that have evolved historically from the (natural) platform of common sense. Daniel Dennett’s sympathies seem to be divided over this issue. He is reluctant to eliminate the most fundamental linguistic-conceptual-institutional commitments that have evolved from common sense. Yet, I will argue, the basis of his support for these, beneath the surface of his rhetoric, is a mirage. His view of persons and related (intentional) concepts is a case in point. In place of the eliminative materialist position, Dennett recommends that we regard the self as a highly useful “theorist’s fiction.” He adopts a similar epistemic stance toward intention, belief, mind, and so on. In this paper I aim to show that Dennett’s recommendation is based on a subtle version of the dualism of subject and object (or scheme and content), which he seems to agree that we should transcend. Against Dennett’s view of the self as a “theorist’s fiction,” I argue in favour of a version of Donald Davidson’s realist thesis that, once we properly appreciate the significance of abandoning this pervasive dualism, we can maintain the self and associated intentional items – belief, mind, and so on – within a thoroughly realist ontology. (shrink)

Several quantitative surveys have been conducted internationally to gather empirical information about physicians’ general attitudes towards health care rationing. Are physicians ready to accept and implement rationing, or are they rather reluctant? Do they prefer implicit bedside rationing that allows the physician–patient relationship broad leeway in individual decisions? Or do physicians prefer strategies that apply explicit criteria and rules?

The thesis aims at a methodological reflection of logical reconstruction and tries to develop this method in detail, especially with regard to the reconstruction of natural language arguments. First, the groundwork for the thesis is laid by presenting and, where necessary, adapting its foundations with regard to the philosophy of language and the theory of argument. Subsequently, logical reconstruction, especially the logical reconstruction of arguments, is presented as a hermeneutic method and as a tool for the application of (formal) logic (...) and argumentation theory to natural language arguments. Logical reconstruction is presented as a special type of exegetical interpretation by paraphrase that is subject to (adapted) hermeneutic maxims and presumption rules that govern exegetical interpretation in general. However, in contrast to the interpretation of texts by natural language paraphrases, logical reconstruction leads to interpretantia that are logically explicit formal language texts and can be analyzed using formal methods and meta-theoretical concepts that are not directly applicable to natural language texts. By providing explicit and precise records of different readings, logical reconstruction can thus help to clarify (and maybe even solve) persistent interpretation controversies. Through an adaptation and specification of hermeneutic maxims and presumption rules, the thesis aims at providing suitable means for the systematic guidance and evaluation of logical reconstructions of argumentative texts. As a genuinely interpretative undertaking, logical reconstruction will be distinguished from the non-interpretative enterprise of formalization and from the development of theories of logical form, which provide a framework in which formalization and reconstruction take place. As exegetical interpretations, logical reconstructions of texts that are not readily formalizable can still be assessed with respect to their hermeneutic quality. The hermeneutic method of logical reconstruction can thus widen the scope for the application of logic and argumentation theory, because it allows us to use formal methods for the analysis and assessment of "difficult" natural language texts in a non-arbitrary, albeit indirect way. The last part of the thesis presents a manual for the logical reconstruction of natural language arguments, whose application is illustrated step by step. (shrink)

The Westermarck Effect posits that intimate association during childhood promotes human incest avoidance. In previous work, I articulated and defended a version of the Westermarck Effect by developing a phylogenetic argument that has purchase within primatology but that has had more limited appeal for cultural anthropologists due to their commitment to conventionalist or culture-first accounts of incest avoidance. Here I look to advance the discussion of incest and incest avoidance beyond culture-first accounts in two ways. First, I shall dig deeper (...) into the disciplinary grooves within cultural anthropology that make attractive the view that incest has a naturalness to it that is countered only or primarily by explicit social rules, such as taboos. Second, I further explore the emerging, post-conventionalist view of incest avoidance in a more positive vein by elaborating on the nature of the Westermarckian mechanism and how it relates to such explicit social rules and our innate biological endowments. One general aim here is to overcome the bifurcation between perspectives that are seen as biological and those seen as cultural, preempting or countering the claim that rejecting culture-first accounts entails a form of biological reductionism, a general aim I have pursued in related publications on bioessentialism about kinship. (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)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)