Recent scholarship has considered the requirements of justice and economic regimes in the work of John Rawls. This work has not delved into the requirements of justice and liberal socialism as deeply as the work that has been done on property-owning democracy. A thorough treatment of liberal socialism and the requirements of justice is needed. This paper seeks to begin to fill this gap. In particular, it needs to be shown if liberal socialism fully answers the requirements of justice (...) better than property-owning democracy. It will be argued that liberal socialism does significantly better in realizing the two principles. This paper has the following structure, first, an overview of Rawls' position on economic regimes, capitalism, and the requirements of justice will be presented. In particular, how the two principles work in tandem to meet the demands of distributive justice will be considered. Second, a review of property-owning democracy will be conducted. Finally, liberal socialism will be examined and discussed as an economic regime that answers the requirements of justice more fully. (shrink)

G.A. Cohen’s critique of the Rawlsian difference principle points out an inconsistency in its presentation. The initial equality decided by the participants in the original position under the veil of ignorance is not preserved by the inequality sanctioned by the difference principle. Cohen shows how the breakdown of the initial equality of the original position prevents the desired results of the Rawlsian system from being realized. Cohen argues that an egalitarian ethos is required within a society for equality preserving economic (...) distributions and Pareto superior outcomes to occur. Nonetheless, Cohen’s analysis of Rawls misses the ultimate cause of inequality, which is the dynamics of capital accumulation. An egalitarian ethos is only possible if there is a socialist mode of production to facilitate its development. Additionally, Cohen’s critique of Rawlsian constructivism through an argument for intuitionism does not address the natural-material existence of human beings. This existence must be considered for any advantageous social formation. (shrink)

Modern money theory is a conjecture concerning fiscal spending and the nature of money. I show that modern money theory provides two interesting insights into distributive justice that have not been addressed in the recent Anglo-American distributive justice literature: (i) that the nature of a sovereign fiat currency allows for some distributive conflicts to be avoided; and (ii) that recent Anglo- American distributive justice theories assume that the economy is at capacity. Based on this, I consider if the policy results (...) of modern money theory can help foster a sense of justice. (shrink)

Decommodification is an important support for the development of our excellences and the pursuit of our freedom of conscience. In order to show this, the paper will be structured as follows. First, it will be argued that a decommodified social threshold of goods and services is a necessary part of a free-standing politically liberal conception of justice. The authors to be reviewed in this section are R.H. Tawney and John Rawls. The second section will discuss a compendium of possible (...) decommodified goods and services. Finally, an alternative of partial decommodification and a brief comment on basic income grants will be presented in the last sections. (shrink)

Abstract: This paper restates the thesis of 'The Requirements of Justice and Liberal Socialism" where it was argued that liberal socialism best meets Rawlsian requirements of justice. The recent responses to this paper by Jan Narveson, Jeppe von Platz, and Alan Thomas merit examination and comment. This paper shows that if Rawlsian justice is to be met, then non-personal property must be subject to public control. If just outcomes merit the public control of non-personal property and this control is not (...) utilized, then justice has been subordinated to the objectively less important institution of private property. (shrink)

Hun Chung’s recent article “Rawls’s Self-Defeat: A Formal Analysis” argues that the selection of results equivalent to justice as fairness can be derived by utilitarianism. Chung argues that these results can be achieved through the use of Rawls’s constructed utility function from his work Justice as Fairness. Although Chung’s article is finely argued and presented in great detail, this paper will show that Chung made three mistakes in the fundamentals of his argument. First, Chung mistakes Rawls’s constructed utility function as (...) actually utilitarian. Second, Chung confuses the motivations and the assumptions of those held by agents in the original position and those held by utilitarian agents. Last, Chung’s previous mistakes result in the incorrect conclusion that an equal distribution of resources will be selected by representative agents instead of the unequal distribution prescribed by the difference principle. (shrink)

Behaviorism was a peculiarly American phenomenon. As a school of psychology it was founded by John B. Watson (1878-1958) and grew into the neobehaviorisms of the 1920s, 30s and 40s. Philosophers were involved from the start, prefiguring the movement and endeavoring to define or redefine its tenets. Behaviorism expressed the naturalistic bent in American thought, which came in response to the prevailing philosophical idealism and was inspired by developments in natural science itself. There were several versions of naturalism in (...) American philosophy, and also several behaviorisms. Most behaviorists paid homage to Darwinian functionalism; all forswore introspection and made learned changes in behavior the primary subject matter and explanatory domain of psychology. They differed in their descriptions of behavior, modes of explanation, and attitudes toward mentalistic concepts. Watson was a strict materialist who wanted to eliminate all mentalistic talk from psychology. Edward Chace Tolman (1886-1959) regarded mind as a biological function of the organism. He permitted mentalistic terms such as 'purpose' in behavioral description, and posited intervening processes that included 'representations' of the environment, while requiring such processes be studied only as expressed in behavior. Clark L. Hull (1884-1952) developed a hypothetical-deductive version of behaviorism, akin to Tolman's functionalism in positing intervening variables but without his cognitivist constructs. B. F. Skinner (1904-90) rejected intervening variables and developed his own account of the behavior of the whole organism, based on the laws of operant conditioning. The naturalism in American philosophy of the early twentieth century showed respect for the natural sciences, especially biology and psychology. John Dewey (1896, 1911), George Santayana (1905, 1920), and F. J. E. Woodbridge (1909, 1913) expressed this attitude. It animated the neorealism of E. B. Holt and Ralph Barton Perry, who gave special attention to psychology, and the evolutionary naturalism and critical realism of Roy Wood Sellars. This naturalism differed from Watson's in regarding mind as part of nature from a Darwinian and functionalist perspective, and treating behavior as the product of the mental functioning. It fed Tolman's version of behaviorism. It was not materialistic or physical-reductionist. Only later, with Quine and logical empiricism, was behaviorism seen as essentially physicalistic. (shrink)

In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...) are no processes unique to memory to support robust generalizations with inductive potential. Eliminativism about episodic memory seems to follow from the claim that it has no dedicated neurocognitive system of its own. After identifying this under-noticed threat, we push back against modern eliminativists by surveying recent evidence that still indicates specialized mechanisms, computations, and representations that are distinctly mnemic in character. We argue that contemporary realists about episodic memory can retain lessons of the common system approach while resisting the further move to eliminativism. (shrink)

Moral encroachment is the thesis that morality has an effect---unrecognized by traditional epistemology---on which doxastic states are epistemically appropriate. The thesis is increasingly popular among those who, in opposition to Gendler (2011), desire harmony between epistemic and moral demands on belief. This paper has three main goals. First, drawing on attractive structural principles concerning belief and justification, it is shown that a thoroughgoing harmony between moral and epistemic demands is implausible. This weakens the motivation for positing moral encroachment, but a (...) proponent might still hope that moral encroachment can have a significant effect, so that many of the central cases of apparent disharmony can be avoided. The next goal of the paper is to argue that any significant effect of moral encroachment would manifest itself in the credences which are most epistemically appropriate. Finally, it is shown that even a small effect of moral encroachment on credence is in tension with widely accepted basic constraints on epistemically appropriate credence. (shrink)

Super-Humeans argue that the most parsimonious ontology of the natural world compatible with our best physical theories consists exclusively of particles and the distance relations between them. This paper argues by contrast that Super-Humean reduction goes insufficiently far, by showing there to be a more parsimonious ontology compatible with physics: Ultimate-Humeanism. This novel view posits an ontology consisting solely of the particles and distance relations required for the existence of a single brain. Super-Humeans impose conditions on what counts as an (...) ontology of the natural world to avoid their view slipping into this kind of ontology, but these conditions are arbitrarily imposed and once this is exposed, Super-Humeans face a dilemma. Either they can embrace Ultimate-Humeanism as the minimal ontology of the natural world compatible with physics, or (more likely) they can rethink the methodology that got them there. Overall, this paper argues that Super-Humeanism currently lacks principled motivation, outlines a framework for naturalistic ontological reductions, and exposes the consequences of unchecked adherence to a simplicity-driven methodology. (shrink)

The giving up of the body or suicide for spiritual reasons has been dealt with by James Benn and D Max Moermane. The relationships of the dead and the living are discussed by Bryan J Cuevas, John Cliff ord Holt, and Matthew T Kapstein, while Hank Glassman, Mark Rowe, and Jason A Carbine talk about different funeral practices. With glossaries for Chinese, Japanese, and Korean characters and an elaborate index, this book is a unique peek into Buddhist practices (...) regarding the dead and deserves attention by researchers, students, and admirers of this religion. (shrink)

Personal AI assistants are now nearly ubiquitous. Every leading smartphone operating system comes with a personal AI assistant that promises to help you with basic cognitive tasks: searching, planning, messaging, scheduling and so on. Usage of such devices is effectively a form of algorithmic outsourcing: getting a smart algorithm to do something on your behalf. Many have expressed concerns about this algorithmic outsourcing. They claim that it is dehumanising, leads to cognitive degeneration, and robs us of our freedom and autonomy. (...) Some people have a more subtle view, arguing that it is problematic in those cases where its use may degrade important interpersonal virtues. In this article, I assess these objections to the use of AI assistants. I will argue that the ethics of their use is complex. There are no quick fixes or knockdown objections to the practice, but there are some legitimate concerns. By carefully analysing and evaluating the objections that have been lodged to date, we can begin to articulate an ethics of personal AI use that navigates those concerns. In the process, we can locate some paradoxes in our thinking about outsourcing and technological dependence, and we can think more clearly about what it means to live a good life in the age of smart machines. (shrink)

It is often thought that judgments about what we ought to do are limited by judgments about what we can do, or that “ought implies can.” We conducted eight experiments to test the link between a range of moral requirements and abilities in ordinary moral evaluations. Moral obligations were repeatedly attributed in tandem with inability, regardless of the type (Experiments 1–3), temporal duration (Experiment 5), or scope (Experiment 6) of inability. This pattern was consistently observed using a variety of moral (...) vocabulary to probe moral judgments and was insensitive to different levels of seriousness for the consequences of inaction (Experiment 4). Judgments about moral obligation were no different for individuals who can or cannot perform physical actions, and these judgments differed from evaluations of a non-moral obligation (Experiment 7). Together these results demonstrate that commonsense morality rejects the “ought implies can” principle for moral requirements, and that judgments about moral obligation are made independently of considerations about ability. By contrast, judgments of blame were highly sensitive to considerations about ability (Experiment 8), which suggests that commonsense morality might accept a “blame implies can” principle. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

This paper connects recent findings from experimental epistemology to several major themes in classical Indian epistemology. First, current evidence supports a specific account of the ordinary knowledge concept in contemporary anglophone American culture. According to this account, known as abilism, knowledge is a true representation produced by cognitive ability. I present evidence that abilism closely approximates Nyāya epistemology’s theory of knowledge, especially that found in the Nyāya-sūtra. Second, Americans are more willing to attribute knowledge of positive facts than of negative (...) facts, especially when such facts are inferred and even when the positive and negative “facts” are logically equivalent. Similar suspicions about knowledge of negative facts seemingly occur in classical Indian epistemology, suggesting that the asymmetry might not be an American quirk but instead reflect a cross-culturally robust tendency in knowledge attributions. Each of these themes—abilism and the positive/negative asymmetry—presents an exciting opportunity for further research in experimental cross-cultural epistemology. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Liao and Carbonell argue that medical devices are often not merely biased, but rather materialize oppression through the perpetuation of oppression into the present and future (Liao and Carbonell 2...

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...) esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...) of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)

This is an encyclopedia article about epistemic closure principles. The article explains what they are, their various philosophical uses, how they are argued for or against, and provides an overview of the related literature.

A counterfactual is a conditional statement in the subjunctive mood. For example: If Suzy hadn’t thrown the rock, then the bottle wouldn’t have shattered. The philosophical importance of counterfactuals stems from the fact that they seem to be closely connected to the concept of causation. Thus it seems that the truth of the above conditional is just what is required for Suzy’s throw to count as a cause of the bottle’s shattering. If philosophers were reluctant to exploit this idea prior (...) to 1970, it was because of a widespread feeling that the truth-conditions of the counterfactual conditional were not sufficiently well understood. The development of a formal semantics for counterfactuals by Robert Stalnaker [1968] and David Lewis [1973b] stands as a major recent achievement in philosophical logic. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly (...) weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself. (shrink)

I argue that the dispute between two leading theories of interpretation of legal texts, textual originalism and textual evolutionism, depends on the false presupposition that changes in the way a word is used necessarily require a change in the word’s meaning. Semantic externalism goes a long way towards reconciling these views by showing how a word’s semantic properties can be stable over time, even through vicissitudes of usage. I argue that temporal externalism can account for even more semantic stability, however. (...) Temporal externalism is the theory that the content of an utterance at time t may be determined by developments in linguistic usage subsequent to t. If this semantic theory is correct, then the originalist and evolutionist positions effectively collapse. Originalism is correct in that the original meaning of the text is the meaning that is binding on jurists, but evolutionism is vindicated, as it is the current practices and standards that determine the meaning the text now has, and has always had. Objections to temporal externalism, and to its application to the interpretation of legal texts, are considered and addressed. (shrink)

This paper has as its topic two recent philosophical disputes. One of these disputes is internal to the project known as decision theory, and while by now familiar to many, may well seem to be of pressing concern only to specialists. It has been carried on over the last twenty years or so, but by now the two opposing camps are pretty well entrenched in their respective positions, and the situation appears to many observers (as well as to some of (...) the parties involved) to have reached a sort of stalemate. The second of these two disputes is, on the other hand, very much alive. While it has been framed in decision theoretic terms, it is definitely not a dispute internal to that enterprise. It is, rather, a debate about the very coherence of the notion of objective value, and as such touches on issues of central importance to, for example, meta–ethics and moral psychology. (shrink)

Newcomb’s problem is a decision puzzle whose difficulty and interest stem from the fact that the possible outcomes are probabilistically dependent on, yet causally independent of, the agent’s options. The problem is named for its inventor, the physicist William Newcomb, but first appeared in print in a 1969 paper by Robert Nozick [12]. Closely related to, though less well-known than, the Prisoners’ Dilemma, it has been the subject of intense debate in the philosophical literature. After three decades, the issues remain (...) unresolved. Newcomb’s problem is of genuine importance because it poses a challenge to the theoretical adequacy of orthodox Bayesian decision theory. It has led both to the development of causal decision theory and to efforts aimed at defending the adequacy of the orthodox theory. (shrink)

Knowledge entails the truth of the proposition known; that which is merely believed may be false. If I have beliefs about your beliefs, then I may believe that some of your beliefs are false. I may believe, for example, that you mistakenly believe that it is now raining outside. This is a coherent belief for me, though not for you. You cannot coherently believe that you believe falsely that it is raining, and this despite the fact that your having that (...) false belief is clearly a logical possibility. The proposition is, for you, a kind of doxastic blindspot. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been criticized for (...) using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...) this lecture. To repeat, a subregular polyhedron has congruent faces and congruent [polyhedral] angles. A subregular polyhedron whose faces are all regular polygons is regular—using standard terminology. -/- Geometers before Euclid showed that there are “essentially” only five regular polyhedra: every regular polyhedron is a tetrahedron (4 faces), a hexahedron or cube (6 faces), an octahedron (8 faces), a dodecahedron (12 faces), or an icosahedron (20 faces). -/- The first question is whether there are subregular polyhedra that are not regular. For example, are there tetrahedra having congruent angles and congruent triangular faces but whose faces are not equilateral triangles? -/- Another question is the classification of subregular polyhedra if they exist. For example, considering the fact that the regular tetrahedra all have equilateral triangles as faces, we ask which triangles other than equilaterals are faces of subregular tetrahedra. Similarly, considering the fact that the regular hexahedra all have squares as faces, we ask which quadrangles other than squares are faces of subregular hexahedra. -/- After introductory remarks that include historical and philosophical points, we concentrate on tetrahedra. A triangle that is congruent to each of the four faces of a tetrahedron is called a generator of the tetrahedron. The main result proved is that every acute triangle is a generator of a subregular tetrahedron. The proof includes an algorithm –implementable with scissors and paper –that constructs from any given acute triangle a subregular tetrahedron whose faces are congruent to the given triangle. -/- Algorithm: Given any acute triangle. Construct a similar triangle whose sides are double the sides of the given triangle. Draw the three lines connecting the three midpoints of the sides (making four triangles congruent to the given triangle—a central triangle surrounded by three peripheral triangles). Make three “hinges” along the lines connecting the midpoints. “Fold” the peripheral triangles together (into a tetrahedron). [LIGHTLY EDITED VERSION OF PRINTED ABSTRACT] Acknowledgements: William Lawvere, Colin McLarty, Irvin Miller, Frango Nabrasa, Lawrence Spector, Roberto Torretti, and Richard Vesley. -/- . (shrink)

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly (...) weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself.Em sua forma mais forte e geral, o princípio da referência universalista afirma que toda proposição refere-se ao universo completo do discurso propriamente dito, independentemente de quão limitados sejam os referentes de seus termos não-lógicos ou com conteúdo. Embora Boole mudasse de um modelo monístico de universo-fixo nos seus trabalhos iniciais de 1847 e 1848 para um modelo pluralista de universo-múltiplo no seu tratado maduro de 1854, ele nunca hesitou em sua aceitação franca do princípio da referência universalista, possivelmente em uma forma ligeiramente mais fraca. De fato, ele considerou este princípio como um acompanhamento essencial para a sua teoria de formação de conceitos e de proposições. Visões semelhantes são encontradas em lógicos posteriores, e algumas das mais recentes formulações da lógica clássica de primeira ordem parecem estar de acordo com uma forma deste, se é que elas não implicam, de fato, o próprio princípio. (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)

This paper will focus on the problem of environmental refugees related to environmental decay and resource loss. Robert Nozick’s distributive justice theory will be used as a theoretical framework to analyze the problem of environmental refugees. The restrictive nature of Nozick’s theory of distribution is rather practical since it meets with many of the current mores regarding wealth accumulation, desert, and aspirations for inheritance. Given our current reluctance to redistribute to prevent the effects of environmental decay, and to pay to (...) prepare for disasters generally, the prospect of a redistributive solution to environmental refugees that permanently alters patterns of ownership is rather unlikely. Nevertheless, given the rather unfortunate possibility of increasing numbers of environmental refugees in the future, a practical means to provide for their well-being needs to be considered. (shrink)

In his Republic, Plato argues that self-rulership cannot be widespread enough in a populace due to structural failures of education. This means that rulership by the few with the use of manipulative mythological devices is inevitable. That is, if a populace cannot rule themselves through the use of their reason, then they will be ruled by others through the use of myth, at best, and at worst, violence. Even given this rather grim conclusion, if we closely examine what Plato has (...) to say about politics, we can see that there is no natural impossibility for generalized rule by the many. That is, there is no aristocracy of birth, but there is an aristocracy of the educated. As I will show below, we can develop a more democratic politics out of Plato if we consider the possibility of a democratic education. Before I do that, I will briefly consider Rawls’ comments on the education of citizens for democracy. This will allow for a clearer consideration of the democratic potential of Plato’s political philosophy in his Republic. (shrink)

Rawls’s consideration not to include the choice of economic systems as part of a theory of justice is inconsistent with his comments on redistribution and the political effects of economic inequality. When Rawls’s discussion of economic systems and his discussion of economic inequalities is examined, it is apparent that the selection of economic systems is a pertinent topic for a theory of justice. The propensity for the primary social good of self-respect to be satisfied can be affected by the selection (...) of economic systems. Rawls has incorrectly determined the selection of economic systems to be unimportant if different economic systems can be more advantageous to the satisfaction of self-respect than others. When socialism and Rawls’s version of regulated capitalism are compared, socialism is a maximin solution, and accordingly will be selected by people within the original position under the veil of ignorance. (shrink)

Modern Monetary Theory and Distributive Justice shows how the macroeconomic framework called modern money theory (MMT) is relevant to the field of political philosophy called distributive justice. Many of the macroeconomic assumptions of distributive justice are unstated and unexamined. The framework of MMT illuminates these assumptions and provides an alternative vision of distributive justice analysis and prescriptions. In particular, MMT holds that modern money is a nominal state issued token (fiat), there is a distinction between nominal assets and real assets, (...) that state money as a nominal token can cause changes in real terms, and that the macroeconomy has historically not operated at capacity. The upshot of these assumptions held by MMT is that state spending can bring about changes in persons’ well-being without traditional redistributive measures via taxation. This is in contradistinction to standard assumptions in the distributive justice literature, which holds that the macroeconomy is at capacity and, thus, redistribution is the necessary mechanism for enacting improvements in well-being. This is a fundamental shift in how distributive justice can be conceived. (shrink)

This dissertation explains Karl Marx’s understanding of nature, human action, and a materialist standard of practical action. Marx’s understands natural processes as not identical with human action. There are two types of human action for Marx: material action and social action. Material action can use natural processes. Social action does not directly use natural processes, but social action can promote how material action uses natural processes. The difference between natural processes, material action, and social action is important for Marx since (...) it: maintains the independent reality of nature, maintains the development of material accomplishments as separate from social forms, and demonstrates the transitory status of social forms. This difference between material action and social action allows Marx to criticize certain social forms while praising the productive possibilities of the current level of technical development. A practical standard is developed using Marx’s understanding of nature and human action. This practical standard is based on humans’ necessary relationship to natural processes. Beneficial outcomes according to humans’ material abilities and their existence as natural beings is established by application of the practical standard. The materialist standard of practical action can be understood as an ethical theory that is not based on traditional ethical criteria. (shrink)

G.A. Cohen attempts to provide a case for socialism that takes into consideration the reasons why socialism is desirable and some of the problems for its feasibility. He finds that the kind of community sentiment that socialism requires is possible, but the devices of social organization that can facilitate the growth of socialist sentiment along with the effective transmission of information are not currently known. In short, Cohen thinks social scientists and philosophers need to find out how to harness the (...) information transmission capacity of market exchange without the motivational encouragement of rapacious self-interest that market exchange fosters. This paper argues that Cohen’s appraisal of the ineffectiveness of informational transmission in socialist planned economies in incorrect. A democratically planned socialist economy can serve as the basis for the fostering of the socialist community sentiment that Cohen advocates along with the required transmission of economic information. (shrink)

This paper will examine the three distributive problems of inequality, social scarcity, and environmental decay. All three of these problems are the result of economic growth that is not properly structured by institutions. It will be argued that each one of these distributive problems exacerbates the other two. Any solution to one of these problems must address the other two as well. This paper will show that these three distributive problems can be minimized through a combination of tax measures, institutional (...) changes, public employment creation, public service provision, and the nationalization of certain industries. (shrink)

Language, Truth, and History is an excellent volume of essays coming from one of the most important philosophers in the last fifty years. It would be of interest to anyone interested in the ways Davidson's philosophy evolved after the publication of the first two volumes, and it is essential reading for anyone working in philosophy of language or philosophy of mind.

Doris Olin's Paradox is a very helpful book for those who want to be introduced to the philosophical treatment of paradoxes, or for those who already have knowledge of the general area and would like to have a helpful resource book.

Rolling Stones guitarist Keith Richards has argued that rock and roll happens from the neck down. In this contribution to The Rolling Stones and Philosophy, edited by Luke Dick and George Reisch, I draw on neuroscience to argue that, in the parlance of John Stuart Mill, rock and roll is both a higher and a lower pleasure.