This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form (...) and that deductions in normal form have the subformula property. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a (...) general introduction rule for implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

This is the general introduction to the edited collection "A companion to Experimental Philosophy".

Memetic Science is the name of a new field that deals with the quantitativeanalysis of cultural transfer.The units of cultural transfer are entities called "memes". In a nutshell, memes are to cultural and mental constructs as genesare to biological organisms. Examplesof memesare ideas,tunes, fashions, and virtuallyany culturaland behavioral unit that gets copiedwitha certaindegree of fidelity. It is arguedthat the under standing of memes is of similar importance and consequence as the understanding of processes involving DNA and RNA in molecular biology.Thispaperpresentsa (...) rigorousfoundation fordiscussion ofmemes and approaches to quantifying relevantaspects of memegenesis, inter action, mutation, growth,deathand spreadingprocesses. It is also argued inthispaper that recombinant memetics is possible incomplete analogy to recombinant DNA/ genetic engineering. Special attention is paid to memes in written modern English. (shrink)

This is a short introduction to a book symposium on Paul Gowder's recent book, _The Rule of Law in thee Real World_ (Cambridge University Press, 2016). The book symposium will appear in the St. Luis University Law Journal, 62 St. Louis U. L.J., -- (2018), with commentaries on Gowder's book by colleen Murphy, Robin West, Chad Flanders, and Matthew Lister, along with replies by Paul Gowder.

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for (...) bilateral proof rules has a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (shrink)

Jobst Langrebe’s and Barry Smith’s book Why Machines Will Never Rule the World argues that artificial general intelligence (AGI) will never be realized. Drawing on theories of complexity they argue that it is not only technically, but mathematically impossible to realize AGI. The book is the result of cooperation between a philosopher and a mathematician. In addition to a thorough treatment of mathematical modelling of complex systems the book addresses many fundamental philosophical questions. The authors show that philosophy is (...) still relevant for questions of information technology in general and artificial intelligence in particular. This paper endorses Landgrebe’s and Smith’s arguments that artificial general intelligence cannot be realized, but not their conclusion that machines will never rule the world. It is not only a question of what technology can do. An equally important question is what technology does to us. Machines may not take over the world in a literal sense, but they may have many negative effects. Some of the most serious can be placed under the category of the “degeneration effect”. (shrink)

Proponents of the rule of law argue about whether that ideal should be conceived formalistically or in terms of substantive values. Formalistically, the rule of law is associated with principles like generality, clarity, prospectivity, consistency, etc. Substantively, it is associated with market values, with constitutional rights, and with freedom and human dignity. In this paper, I argue for a third layer of complexity: the procedural aspect of the rule of law; the aspects of rule-of-law requirements that have to do with (...) "natural Justice" or "procedural due process." These I believe have been neglected in the jurisprudential literature devoted specifically to the idea of the rule of law and they deserve much greater emphasis. Moreover procedural values go beyond elementary principles like the guarantee of an unbiased tribunal or the opportunity to present and confront evidence. They include the right to argue in a court about what the law is and what its bearing should be on one's situation. The provision that law makes for argument is necessarily unsettling, and so this emphasis on the procedural aspect highlights the point predictability should not be regarded as the be-all and end-all of the rule of law. (shrink)

An examination of the role played by general rules in Hume's positive (nonskeptical) epistemology. General rules for Hume are roughly just general beliefs. The difference between justified and unjustified belief is a matter of the influence of good versus bad general rules, the good general rules being the "extensive" and "constant" ones.

We recall and improve our 2019 and 2020 concepts of n-SuperHyperGraph, Plithogenic nSuperHyperGraph, n-Power Set of a Set, and we present some application from the real world. The nSuperHyperGraph is the most general form of graph today and it is able to describe the complex reality we live in, by using n-SuperVertices (groups of groups of groups etc.) and nSuperHyperEdges (edges connecting groups of groups of groups etc.).

In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.

The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s (...) and Prawitz’ project of providing a logical basis for metaphysics only relies on the restricted assumption. (shrink)

In this paper, I examine Hume’s account of an important class of causal belief which he calls “general rules”. I argue that he understands general rules, like all causal beliefs, as lively ideas which are habitually associated with our impressions or memories. However, I argue, he believes that they are unlike any reflectively produced causal beliefs in that they are produced quickly and automatically, such that they occur independently of any other processes of reasoning. Given this, (...) I argue, Hume appears to understand general rules as relatively simple beliefs, expressible only via generic sentences, like “birds lay eggs”. (shrink)

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires (...) that revised beliefs incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

The widely discussed "discursive dilemma" shows that majority voting in a group of individuals on logically connected propositions may produce irrational collective judgments. We generalize majority voting by considering quota rules, which accept each proposition if and only if the number of individuals accepting it exceeds a given threshold, where different thresholds may be used for different propositions. After characterizing quota rules, we prove necessary and sufficient conditions on the required thresholds for various collective rationality requirements. We also (...) consider sequential quota rules, which ensure collective rationality by adjudicating propositions sequentially and letting earlier judgments constrain later ones. Sequential rules may be path-dependent and strategically manipulable. We characterize path-independence and prove its essential equivalence to strategy-proofness. Our results shed light on the rationality of simple-, super-, and sub-majoritarian decision-making. (shrink)

Abstract This paper offers an appraisal of Phillip Pettit's approach to the problem how a merely finite set of examples can serve to represent a determinate rule, given that indefinitely many rules can be extrapolated from any such set. I argue that Pettit's so-called ethnocentric theory of rule-following fails to deliver the solution to this problem he sets out to provide. More constructively, I consider what further provisions are needed in order to advance Pettit's general approach to the (...) problem. I conclude that what is needed is an account that, whilst it affirms the view that agents' responses are constitutively involved in the exemplification of rules, does not allow such responses the pride of place they have in Pettit's theory. (shrink)

The first learning game to be developed to help students to develop and hone skills in constructing proofs in both the propositional and first-order predicate calculi. It comprises an autotelic (self-motivating) learning approach to assist students in developing skills and strategies of proof in the propositional and predicate calculus. The text of VALIDITY consists of a general introduction that describes earlier studies made of autotelic learning games, paying particular attention to work done at the Law School of Yale (...) University, called the ALL Project (Accelerated Learning of Logic). Following the introduction, the game of VALIDITY is described, first with reference to the propositional calculus, and then in connection with the first-order predicate calculus with identity. Sections in the text are devoted to discussions of the various rules of derivation employed in both calculi. Three appendices follow the main text; these provide a catalogue of sequents and theorems that have been proved for the propositional calculus and for the predicate calculus, and include suggestions for the classroom use of VALIDITY in university-level courses in mathematical logic. (shrink)

A Plithogenic Logical proposition P is a proposition that is characterized by many degrees of truth-values with respect to many corresponding attribute-values (or random variables) that characterize P. Each degree of truth-value may be classical, fuzzy, intuitionistic fuzzy, neutrosophic, or other fuzzy extension type logic. At the end, a cumulative truth of P is computed.

This is the first volume of Equality and Justice, a six-volume collection of the most important articles of the twentieth century on the topic of justice and equality. This volume addresses the following three (only loosely related) issues: (1) What is the concept of justice? (2) Is justice primarily a demand on individuals or on societies? (3) What are the relative merits of conceptions of justice based on equality, based on priority for those who have less, and based on ensuring (...) that everyone has a basic minimum, of the relevant goods? (shrink)

‘Rule-following’ is a name for a cluster of phenomena where we seem both guided and “normatively” constrained by something general in performing particular actions. Understanding the phenomenon is important because of its connection to meaning, representation, and content. This article gives an overview of the philosophical discussion of rule-following with emphasis on Kripke’s skeptical paradox and recent work on possible solutions. Part I of this two-part contribution is devoted to the basic issues from Wittgenstein to Kripke. Part II will (...) be about recent answers to the skeptical paradox and Boghossian’s and Wright’s new puzzles. (shrink)

Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose (...) a dilemma, alleging that Normativism either entails a vicious regress or falls prey to a charge of idleness. In this paper, I respond to this argument. I argue that Normativism can avoid the commitments that generate the regress and does not propose the sort of explanation required to charge that its explanation has been shown to be problematically idle. The regress-generating commitment to be avoided is, roughly, that tokened, contentful mental states are the product of rule-following. The explanatory task Normativists should disavow is that of explaining how it is that beliefs and other contentful mental states are produced. I argue that Normativism, properly understood as a theory of content, does not provide this kind of psychological explanation, and therefore does not entail that such explanations are to be given in terms of rule-following. If this is correct, Normativism is not the proper target of the dilemma offered by Glüer-Pagin and Wikforss. Understanding why one might construe Normativism in the way Glüer-Pagin and Wikforss must, and how, properly understood, it avoids their dilemma, can help us to appreciate the attractiveness of a genuinely normative theory of content and the importance of paying careful attention to the sort of normativity involved in norm-based theories of content. (shrink)

What are rules? In this paper I develop a view of regulative rules which takes them to be a distinctive normative kind occupying a middle ground between orders and normative truths. The paradigmatic cases of regulative rules that I’m interested in are social rules like rules of etiquette and legal rules like traffic rules. On the view I’ll propose, a rule is a general normative content that is in force due to human (...) activity: enactment by an authority or acceptance by a community. Rules are unlike orders in being not necessarily communicative, not an expression’s of the giver’s will, not evaluable for sincerity, and in that they have propositional content. And they’re unlike normative truths in that they’re themselves not even truth-evaluable (though their contents are). This is because rules qua things that are in force are not like constatives which have a mind to world direction of fit, but more like performatives. Furthermore, they differ from normative truths in that their normativity is isolated from their background justification and is therefore not dependent on contributory notions like reasons coming together in a weighing explanation. As such, they occupy a middle ground between orders and normative truths, much like in H. L. A. Hart’s opinion law occupies a middle ground between “coercion” and “morality” (Hart 1961/1994). I also illustrate the virtues of this understanding of rules by showing how proper appreciation of how they differ from normative truths helps us defuse a common objection to Hart’s practice theory of rules. (shrink)

‘Rule-following’ is a name for a cluster of phenomena where we seem both guided and “normatively” constrained by something general in performing particular actions. Understanding the phenomenon is important because of its connection to meaning, representation, and content. This article gives an overview of the philosophical discussion of rule-following with emphasis on Kripke’s skeptical paradox and recent work on possible solutions. Part I of this two-part contribution was devoted to the basic issues from Wittgenstein to Kripke. Part II is (...) about recent answers to the skeptical paradox and Boghossian’s and Wright’s new puzzles. (shrink)

In her seminal article ‘Modern Moral Philosophy’ (1958) Elizabeth Anscombe argued that we need a new ethics, one that uses virtue terms to generate absolute prohibitions against certain act-types. Leading contemporary virtue ethicists have not taken up Anscombe's challenge in justifying absolute prohibitions and have generally downplayed the role of rule-following in their normative theories. That they have not done so is primarily because contemporary virtue ethicists have focused on what is sufficient for characterizing the deliberation and action of the (...) fully virtuous person, and rule-following is inadequate for this task. In this article, I take up Anscombe's challenge by showing that rule-following is necessary for virtuous agency, and that virtue ethics can justify absolute prohibitions. First, I offer a possibility proof by showing how virtue ethics can generate absolute prohibitions in three ways: by considering actions that directly manifest vice or that cannot be performed virtuously; actions that are prohibited by one's institutional roles and practical identities; and actions that are prohibited by the prescriptions of the wise. I then seek to show why virtue ethicists should incorporate rule-following and absolute prohibitions into their theories. I emphasize the central role that rules have in the development of virtue, then motivate the stronger view that fully virtuous agents follow moral rules by considering the importance of hope, uncertainty about consequences, and taking responsibility for what eventuates. Finally, I provide an account of what Anscombe called a ‘corrupt mind’, explaining how our understanding of virtue is corrupted if we think that virtue may require us to do vicious actions. (shrink)

General discussion of grounding, including its formal features, relations to other notions, and applications.

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of (...) Dummett and his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

This paper offers a general characterization of underdetermination and gives a prima facie case for the underdetermination of the topology of the universe. A survey of several philosophical approaches to the problem fails to resolve the issue: the case involves the possibility of massive reduplication, but Strawson on massive reduplication provides no help here; it is not obvious that any of the rival theories are to be preferred on grounds of simplicity; and the usual talk of empirically equivalent theories (...) misses the point entirely. (If the choice is underdetermined, then the theories are not empirically equivalent!) Yet the thought experiment is analogous to a live scientific possibility, and actual astronomy faces underdetermination of this kind. This paper concludes by suggesting how the matter can be resolved, either by localizing the underdetermination or by defeating it entirely. Introduction A brief preliminary Around the universe in 80 days Some attempts at resolving the problem 4.1 Indexicality 4.2 Simplicity 4.3 Empirical equivalence 4.4 Is this just a philosophers' fantasy? Move along... ...nothing to see here 6.1 Rules of repetition 6.2 Some possible replies Conclusion. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those (...) in current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

The book is very well structured to support practical skills development in understanding DSGE modelling through exercises to graduate a user knowledge on macroeconomic application relevant for policy decisions through use of scientific programs like DYNARE /IRIS, appropriate for use with MatLab/Octave. The author also provided useful references for the more inquisitive reader or practitioner to develop his / her ontological quest for further knowledge in the macroeconomic management of a state (Jackson, 2016). On the basis of relevance of its (...) contents pertaining to theoretical application of macroeconomic policy and management of an economy, I strongly recommend this book to anyone preparing for graduate courses in Economics and related areas like Econometrics, Economic Policy Management and also, to the practitioner-researcher engaged in macroeconomic model construction and policy formulation. (shrink)

This is an introduction to the volume "Explanation Beyond Causation: Philosophical Perspectives on Non-Causal Explanations", edited by A. Reutlinger and J. Saatsi (OUP, forthcoming in 2017). -/- Explanations are very important to us in many contexts: in science, mathematics, philosophy, and also in everyday and juridical contexts. But what is an explanation? In the philosophical study of explanation, there is long-standing, influential tradition that links explanation intimately to causation: we often explain by providing accurate information about the causes of (...) the phenomenon to be explained. Such causal accounts have been the received view of the nature of explanation, particularly in philosophy of science, since the 1980s. However, philosophers have recently begun to break with this causal tradition by shifting their focus to kinds of explanation that do not turn on causal information. The increasing recognition of the importance of such non-causal explanations in the sciences and elsewhere raises pressing questions for philosophers of explanation. What is the nature of non-causal explanations - and which theory best captures it? How do non-causal explanations relate to causal ones? How are non-causal explanations in the sciences related to those in mathematics and metaphysics? This volume of new essays explores answers to these and other questions at the heart of contemporary philosophy of explanation. The essays address these questions from a variety of perspectives, including general accounts of non-causal and causal explanations, as well as a wide range of detailed case studies of non-causal explanations from the sciences, mathematics and metaphysics. (shrink)

This paper presents a new reconstruction of Wittgenstein’s famous (and controversial) rule-following arguments. Two are the novel features offered by our reconstruction. In the first place, we propose a shift of the central focus of the discussion, from the general semantics and the philosophy of mind to the philosophy of mathematics and the rejection of the notion of a function. The second new feature is positive: we argue that Wittgenstein offers us a new alternative notion of a rule (to (...) replace the rejected functions), a notion reminiscent of Category Theory’s notion of a morphism. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

This book was first published in Japanese in 2013 and was warmly welcomed not only by general readers but also by specialists in philosophy. I believe that it succeeded in breaking new ground in the field of introductory approaches to philosophy. Many manga or comic books explaining the thought of major philosophers have already been published. There have also been manga whose story was conceived by philosophers. To the best of my knowledge, however, there has never been a book (...) in which a philosopher has illustrated his or her own philosophical thought entirely in manga form. There are no doubt many philosophers who can draw manga or illustrations, so it’s quite strange that no such book has been published until now. “I want to try drawing a manga introduction to philosophy myself!” After this idea came to me, I began by taking a draft of about twenty manga pages to the editing department at Kodansha Publications. The characters were awkward at first, but as I kept drawing they seemed to move more smoothly, and by the time I had finished it almost felt like they were speaking for themselves. I drew around 220 original pages in detail using a pencil. Manga creator Nyancofu Terada then gave these pencil drawings professional lines. It is entirely thanks to him that I was able to publish my manga in the Kodansha paperback series. As the title says, this book is an introduction to philosophy. I tried to write about questions like “What is philosophy?” and “What does it mean to think philosophically” for a general readership. This is not a book that presents easy-to-understand explanations of the theories of famous philosophers. Instead, I have tried to express as clearly as possible how I myself think about four major topics: “time,” “existence,” “I,” and “life.” By following this route, the reader will be led directly to the core elements of philosophical thought. My aim was to imbue this journey with a sense of speed and intensity. (shrink)

There is a fundamental disagreement about which norm regulates assertion. Proponents of factive accounts argue that only true propositions are assertable, whereas proponents of non-factive accounts insist that at least some false propositions are. Puzzlingly, both views are supported by equally plausible (but apparently incompatible) linguistic data. This paper delineates an alternative solution: to understand truth as the aim of assertion, and pair this view with a non-factive rule. The resulting account is able to explain all the relevant linguistic data, (...) and finds independent support from general considerations about the differences between rules and aims. (shrink)

Why do we have social norms—of fairness, cooperation, trust, property, or gender? Modern-day Humeans, as I call them, believe these norms are best accounted for in cultural evolutionary terms, as adaptive solutions to recurrent problems of social interaction. In this paper, I discuss a challenge to this “Humean Program.” Social norms involve widespread behaviors, but also distinctive psychological attitudes and dispositions. According to the challenge, Humean accounts of norms leave their psychological side unexplained. They explain, say, why we share equally, (...) but not why we disapprove of those who don’t. I defend the Humean Program against this challenge. In particular, I suggest an idea for how to extend the Program to account for the psychological side of norms. Socially adaptive behaviors aren’t just likely to emerge in a group; They are also likely to be widely taught within it. The transmission of these behaviors through instruction explains why they are associated with distinctive normative attitudes and dispositions. These attitudes play a pedagogical role in helping transmit these behaviors to children and newcomers. (shrink)

This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's (...) conclusion does not follow from its premises? This result does nothing to vitiate the theories of distribution developed over the period beginning in medieval times. What it does vitiate is many if not all attempts to use distribution in tests of invalidity outside of the standard two-premise categorical arguments—where they were verified on a case-by-case basis without further theoretical grounding. In addition it shows that there was no theoretical basis for many if not all claims of fundamental status of rules of distribution. These results are further support for approaching historical texts using mathematical archeology. (shrink)

As an indirect ethical theory, rule consequentialism first evaluates moral codes in terms of how good the consequences of their general adoption are and then individual actions in terms of whether or not the optimific code authorises them. There are three well-known and powerful objections to rule consequentialism’s indirect structure: the ideal world objection, the rule worship objection, and the incoherence objection. These objections are all based on cases in which following the optimific code has suboptimal consequences in the (...) real world. After outlining the traditional objections and the cases used to support them, this paper first constructs a new hybrid version of consequentialism that combines elements of both act and rule consequentialism. It then argues that this novel view has sufficient resources for responding to the previous traditional objections to pure rule consequentialism. (shrink)

This is an introduction to an edited volume of critical reactions to Derek Parfit's book On What Matters. It outlines Parfit's key ideas on reasons and rationality, his revisionary interpretations of Kantian ethics, his versions of Kantian Contractualism and Rule Consequentialism, and his master argument that attempts to show how the best versions of these ethical theories converge. The introduction also intoruces the essays of the volume.

We can evaluate laws as better or worse relative to different normative standards. One might lament the fact that a law violates human rights or, in a different register, marvel at its ease of application. A question in legal philosophy is whether some standards for evaluating laws are fixed by—or grounded in—the very nature of law. I take Raz’s discussion of the distinctively legal virtues, those that fall under the rubric of the “Rule of Law” such as clarity, generality, and (...) non-retroactivity, as my starting point for exploring a very general puzzle about the relationship between law’s essence and its virtue. -/- The claim that there are some virtues that laws have qua laws invites a comparison between law and other “goodness-fixing kinds.” 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. For example, if an object belongs to the kind CLOCK, whether it keeps time accurately provides a basis for evaluating it as better or worse as a clock. Furthermore, the relevant normative fact—if a clock does not keep time accurately, it is a bad clock—is at least partly explainable in terms of the nature of clocks (clocks are things that are supposed to be keep time accurately). Hence, 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 constitutive standard defined by the Rule-of-Law virtues, these questions lack settled answers. Although Raz 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 goodness-fixing kinds involves revising the general picture. (shrink)

Preface/Introduction: The question under discussion is metaphysical and truly elemental. It emerges in two aspects — how did we come to be conscious of our own existence, and, as a deeper corollary, do existence and awareness necessitate each other? I am bold enough to explore these questions and I invite you to come along; I make no claim to have discovered absolute answers. However, I do believe I have created here a compelling interpretation. You’ll have to judge for yourself. (...) -/- What follows is the presentation of three essays I have worked on over the past several years seeing publication for the first time. “Hollows of Experience” was written first as an invited chapter for a collection on the ontology of consciousness. However, when cuts became necessary, my chapter got the knife. Its length has prohibited it from publication in any print journal. “Myth and Mind” was written next as a journal article, but as my involvement with it grew so did its length, so it has also idled on my websty awaiting its call. “From Panexperientialism to Conscious Experience” was written most recently, but it is the only one to have been available to the public elsewhere than my own website. Under the name, “The Continuum of Experience”, it was Target Article #95 on the recently closed Karl Jaspers Forum (for discussion purposes only). -/- I have put them in a different sequence here, for reasons of logical sense. Up first, “Panexperientialism” deals with an idea difficult for many to accept, namely that conscious experience is a particular mode of symbolically reflected experience that is largely unique to our species. However, I aver that experienced sensation in itself (as found, for example, in autonomic sensory response systems) goes “all the way down” into nature, and thus the title, panexperientialism. -/- Understanding this idea is helpful to dealing with the focus on language in Part I of “Hollows”, next, since here speech and general symbolic interaction in general are found to be the catalysts for the creation of our consciously experienced world (our “lived reality”). In Part II, however, I explore how experienced sensations must be coeval with existence, and, with even greater temerity, how all this sensational existence might have arisen within some literally inconceivable background of awareness-in-itself that yet has a dynamism that occasionally breaks into existence as experiential events and entities. (The latter may sound wacky, but physicists and cosmologists are themselves attempting to come to terms with that which seethes with vast potential energy in what they refer to as the quantum vacuum.) -/- “Myth and Mind” was put third since it deals with a major lacuna in “Hollows” — that presumed prehistoric period when members of our species made the painful crossing of the symbolic threshold into the beginnings of cultural consciousness. Speech plays a central role here, too, but I look more at narrative structures from the dawn of self-awareness when ritual and myth became vital to human survival. Why would fantastic stories and bizarre rituals be necessary? I speculate that growing foresight led to the unavoidable realization of certain mortality, from which, in turn, emerged the secondary realization that we were now alive. In contrast to our yet-to-come death, we have life here and now, and by ritually identifying with a symbolically expanded mythic, i.e., sacred, reality, we may continue to live on after bodily death, just as our ancestors and loved ones must also do. Language and mythmaking are necessary to avoid mortal despair and they remain at the core of human consciousness. -/- As Ernst Cassirer (1944) has noted, language and myth are “twin creatures”, both metaphoric webs over a reality we can never wholly comprehend. We live in the symbolic and construct our works of imagination and wars of conquest to make life meaningful, to feel immortal, and to sense that we ourselves participate in a reality greater than ourselves. No doubt we do, but this does not mean our culturally constructed self-identities survive the death of our bodies, and it does not imply that our symbolic concepts can ever indicate the ultimate truth. We simply must symbolize an extended reality that was sacred to our ancestors: “Is it not our way, as illusory as it may be, to force continuance on our world and our life in the face of their inevitable ending? Are we not compelled to extend those imaginary horizons as far as we can despite the terror and the sometime joy their extension incites? Is their closure not a form of death?” (Crapanzano, p. 210) -/- Of course, this leaves me in the uncomfortable position of being forced to admit that this venture of mine must inevitably be another attempt at meaningful mythmaking. But what else could it be? This is certainly not a scientific proof though it is indeed an academically rigorous exploration. (Just try to count the citations!) I hope the reader will judge my thesis on the basis of its coherence, the sense of meaning it evokes, my intellectual responsibility, and, finally, the engagement it inspires. If you have read my expositions and found yourself immersed in the timeless questions I here call forth, I would call these writings successful (even if you violently disagree with my answers). -/- I am very grateful to Huping Hu for granting me this special issue of JCER in which to present my ideas in some detail. He has patiently dealt with my exuberant approach and allowed the many changes I kept coming up with right until the final publication date. I also wish to thank the many potential commentators who politely replied to my invitation, and, even more, I thank those who made time to write actual commentaries. -/- References -/- Cassirer, E. (1944). An Essay on Man: An Introduction to a Philosophy of Human Culture. New Haven/London: Yale UP. -/- Crapanzano, V. (2004). Imaginative Horizons: An Essay in Literary-Philosophical Anthropology. Chicago: U of Chicago Press. -/- Gregory M. Nixon University of Northern British Columbia Prince George, British Columbia, Canada Email: [email protected] Websty: http://members.shaw.ca/doknyx. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

The Introduction provides an overview of Kendall Walton’s make-believe framework for a variety of representations and his arguments that such representations are dependent on their social or historical context. Walton argues that diverse representations involve our capacities for imagination and make-believe with props; they overlap with the fictional. Focusing on make-believe with props explains paradigmatic representational arts such as paintings and novels, theater and film. But this perspective reaches beyond the arts: it explains pictures and photographs in general (...) not only artistic ones; stories in general as well as literary and performing arts; music; metaphors, and even the claims we make about fictional entities and existence. The first section explains the main points of the make-believe framework in Mimesis as Make-Believe, and it reconstructs Walton’s argument in “Categories of Art” that some aesthetic properties depend on the perceptible and historical categories of art to which a work belongs. The second section outlines Walton’s specific proposals about literary fiction, fictional characters, poetry, pictures, photographs, music and negative existential claims. These explanations are integrated with summaries of the papers. The third section examines Walton’s implicit view of two much-discussed issues: the ontology of art and definitions of art. This discussion clears away some misunderstandings of Walton’s contextualism or historicism and relates Walton’s work to Arthur Danto’s and Frank Sibley’s. (shrink)

Habitual action would still be a tremendously pervasive feature of our agency. And yet, references to habitual action have been marginal at best in contemporary philosophy of action. This neglect is due, at least, to the combination of two ideas. The first is a widespread view of habit as entirely automatic, inflexible, and irresponsive to reasons. The second is philosophy of action’s tendency (dominant at least since Anscombe and Davidson) to focus on explaining action by reference to reasons. Arguably, if (...) habitual behavior is reasons-irresponsive, and if action is explained by reference to reasons, the study of habit would have very little to teach about action. Recently, however, there has been a surge in philosophical interest on habit and habitual action. Novel approaches are challenging the two ideas mentioned above, arguing that (1) habitual behavior is not entirely automatic or inflexible, but instead has a particular kind of flexibility and intentionality; and that (2) acting out of habit can count as a form of acting for reasons, even in the absence of the traditional rationalizing mental states: belief, desire, and intention. -/- The essays contained in this issue move discussions forward in exciting new directions. In what follows we present each paper and situate it within its broader theoretical context, so that this introduction may serve also as an introduction to the topic of habitual action. A crucial lesson that emerges from these essays is a need to move past disputes between philosophical schools or traditions. Rather than combatting between different philosophical factions, an ecumenical approach capable of skillfully bringing together elements from different traditions seems better able to tackle problems that remain unsolved. These problems include (but are not limited to): developing an account of responsibility for habitual action; explaining our ability to perform joint habitual actions; and clarifying the link between habit and self-control. (shrink)

Scholarly opinions vary on what language is, how it evolved, and from where or what it evolved. Long considered uniquely human, today scholars argue for evolutionary continuity between human language and animal communication systems. But while it is generally recognized that language is an evolving communication system, scholars continue to debate from which species language evolved, and what behavioral and cognitive features are the precursors to human language. To understand the nature of protolanguage, some look for homologs in gene functionality, (...) brain areas, or anatomical structures such as the supralaryngeal vocal tract; others point toward primates, their gestural, vocal, multimodal, and in later evolving hominins also their pantomimic communication systems; and still others draw parallels between the musicality that characterizes language and the pitch found in the numerous sounds produced by animals. Accordingly, protolanguage theories today are multiple and diverse, and protolanguages might have also been diverse. This special issue on Evolving (Proto)Language/s for Lingua bundles several of the protolanguage theories that were put forward at the sixth edition of the Ways to Protolanguage conference series, held at the Calouste Gulbenkian Foundation in Lisbon, in 2019. Not aimed at surveying all the different ways there are to conceptualize, study, and model protolanguage/s, this issue provides interested readers with good overviews on the role played in current theorizing on protolanguage/s by (paleo)anthropology, genetics, physiology, developmental, evolutionary, ecological, and pragmatic research lines. (shrink)

In recent years, increasing attention has been devoted to the underrepresentation, exclusion or outright discrimination experienced by women and members of other visible minority groups in academic philosophy. Much of this debate has focused on the state of contemporary Anglophone philosophy, which is dominated by the tradition of analytic philosophy. Moreover, there is growing interest in academia and society more generally for issues revolving around linguistic justice and linguistic discrimination (sometimes called ‘linguicism’ or ‘languagism’) (see e.g. Van Parijs 2011). Globalization (...) and the increasing adoption of English as global linguistic vehicle or lingua franca push these issues at the forefront of much of the world’s attention. The convergence of these two trends suggests the appropriateness of an analysis of the condition of non-native speakers of English in analytic philosophy. (shrink)

In our thought, we employ rules of inference and belief-forming methods more generally. For instance, we (plausibly) employ deductive rules such as Modus Ponens, ampliative rules such as Inference to the Best Explanation, and perceptual methods that tell us to believe what perceptually appears to be the case. What explains our entitlement to employ these rules and methods? This chapter considers the motivations for broadly internalist answers to this question. It considers three such motivations—one based on (...) simple cases, one based on a general conception of epistemic responsibility, and one based on skeptical scenarios. The chapter argues that none of these motivations is successful. The first two motivations lead to forms of internalism—Extreme Method Internalism and Defense Internalism—that are too strong to be tenable. The third motivation motivates Mental Internalism (Mentalism), which does not fit with plausible accounts of entitlement. (shrink)

The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.

The mass-count distinction is a morpho-syntactic distinction among nouns that is generally taken to have semantic content. This content is generally taken to reflect a conceptual, cognitive, or ontological distinction and relates to philosophical and cognitive notions of unity, identity, and counting. The mass-count distinction is certainly one of the most interesting and puzzling topics in syntax and semantics that bears on ontology and cognitive science. This volume aims to contribute to some of the gaps in the research on the (...) topic, in particular the relation between the syntactic mass-count distinction and semantic and cognitive distinctions, diagnostics for mass and count, the distribution and role of numeral classifiers, abstract mass nouns, and object mass nouns (furniture, police force, clothing). (shrink)

(Article part 2 of 2) This introduction notes the contributions of authors to the second issue of the Journal of Global Ethics 2015 Sustainable Development Goals Forum. It briefly explains the process through which the Sustainable Development Goals have developed from their receipt in 2014 to their passage in September 2015 by the UN General Assembly, and it considers their development in prospect. The Millennium Development Goals, which spanned 1990–2015, present a case study that reveals the changeability of (...) such long-term multilateral commitments. They were enmeshed in overlapping and inconsistent national and intergovernmental commitments reaching from 1995 to 2005, and the text of those goals also evolved, stabilizing for the last time in 2007. The SDGs and attendant commitments should be expected to evolve similarly over their 15-year run. This presents a concern, for among the three committees established by the UN to create the goals, the two committees charged with public consultation were retired as pl.. (shrink)