The reason for physics’ failure to find a final theory of the universe is examined. Problems identified are: the lack of unequivocal definitions for its fundamental elements (time, length, mass, electric charge, energy, work, matter-waves); the danger of relying too much on mathematics for solutions; especially as philosophical arguments conclude the universe cannot have a mathematical basis. It does not even need the concept of number to exist. Numbers and mathematics are human inventions arising from the human predilection for measurement. (...) Following Aristotle, a single fundamental cause is proposed to explore the efficacy of using pure non-mathematical philosophy to explain the universe, contrary to current quantum physical views. The cause is taken as Time, which is then defined, surprisingly leading automatically to a definition of a three-dimensional space answering the question into what can a universe be placed (space before space seems non-sensical). This enables the philosophical arguments to derive a universal rule giving clear-cut descriptions (definitions) of force (both gravitational and electromagnetic), motion, energy, and particles. The formation of atomic nuclei and atomic properties together with an unexpected role for neutrinos follow. In particular, a Popper-test can be prepared by introducing the concept of measurement to allow the philosophy arguments to be tested in another discipline - mathematics. The solution agrees with human physical observations to a remarkable degree of accuracy, automatically explaining and predicting values for Planck’s and the fine-structure constants. Although mathematical, it is included as confirming the efficacy of philosophy in attaining a final theory. (shrink)

Waiting time is widely used in health and social policy to make resource allocation decisions, yet no general account of the moral significance of waiting time exists. We provide such an account. We argue that waiting time is not intrinsically morally significant, and that the first person in a queue for a resource does not ipso facto have a right to receive that resource first. However, waiting time can and sometimes should play a role in justifying allocation decisions. First, there (...) is a duty of fairness prohibiting line-cutting where a sufficiently just queue exists. Second, waiting time has several morally attractive features that can justify its incorporation into allocation schemes. Where candidates are in relevantly similar circumstances, allocating by waiting time is relatively efficient, maximizes distribution equality relative to other Pareto efficient distributions, and treats candidates fairly. The claim that allocation using waiting time is fair is controversial. Some have claimed that formal lotteries are a fairer way to select among equal beneficiaries. We argue that lotteries are no fairer than allocation based on waiting time when it is equiprobable how a prospective queue will be ordered. In practice, lotteries share many of the disadvantages of queues; which is fairer will depend on contingent features of the allocation scenario. The upshot is that first-come, first-served is in fact a just way to allocate resources in many of the cases where it seems pre-theoretically compelling, and waiting time has unique normative properties which frequently justify its incorporation into resource allocation schemes. (shrink)

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

Placebo-trials on HIV-infected pregnant women in developing countries like Thailand and Uganda have provoked recent controversy. Such experiments aim to find a treatment that will cut the rate of vertical transmission more efficiently than existing treatments like zidovudine. This scenario is first stated as generally as possible, before three ethical principles found in the Belmont Report, itself a sharpening of the Helsinki Declaration, are stated. These three principles are the Principle of Utility, the Principle of Autonomy and the Principle of (...) Justice. These are taken as voices of moral imperative. But although each has intuitive appeal, it can be shown that there are possible scenarios in which they give conflicting prescriptions. To achieve consistency, one must be subordinate to the others. The voice of utility is taken as subordinate to those of justice and autonomy and it is shown that given plausible assumptions about the level of poverty and education in the developing country targeted, the experiment is ruled morally wrong in the name of both justice and autonomy. Moreover, it is argued that no justification can be found for the inclusion of a placebo group, when strictly defined. By contrast, a ‘no- treatment’ control arm might be justified, but only when the demands of autonomy are satisfied, demands that are more stringent than they might appear. A utilitarian defence of the experiment is examined, namely that the would-be participants are in a no-loss situation, and it is shown that this defence is seriously flawed. Finally, it is concluded that there is no justification for amending the Declaration of Helsinki. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

In The Mushroom at the End of the World: On the Possibility of Life in Capitalist Ruins, Anna Lowenhaupt Tsing explains how bare land is formed. Capitalism produces ‘ruins’ by stripping living beings of the capacity to form their own ecological relations, a necessary condition for the reproduction of life. Contemporary capitalism alienates living beings from ecological relations, i.e. capitalism generates “the ability to stand alone, as if the entanglements of living did not matter. Through alienation, people and things become (...) mobile assets; they can be removed from their lifeworlds in distance-defying transport to be exchanged with other assets from other life worlds, elsewhere” (Tsing 2021, 5). Cutting the threads of the web of life through capitalist alienation, however, produces bare land as a side effect, infertile waste deprived of the means to reproduce itself without capitalist support. Alienation is the deracination of living beings from their lifeworld, transforming them into passive cogs for capitalist accumulation. However, Tsing upholds matsutake mushrooms, rare fungi popular among Japa- nese foodies, as exemplars of the resilience of ecological relations. Even amidst ruins, matsutakes successfully form beneficial relations with other living beings, like pine trees, other fungi and human beings. The insistent capacity to regenerate ecological relations is the ineluctable means of reproduction for the matsutake mushroom. Even at the end of the world, the matsutake persists by perpetually co-producing new lifeworlds for itself and fellow living beings (see also Haraway 2016). I claim that Tsing’s approach to capitalist alienation is descriptively convinc- ing but lacks the affective force for ecological class consciousness. Tsing surveys the web of life from the perspective of living beings quite distant from humankind, articulating a theoretical diagnosis rather than a political exhortation. On an affective level, it is challenging to generate ecological class consciousness among the (presumably) human readers of my chapter if they are presented with only the biographies of mushrooms growing far beyond my home. As Chantal Mouffe (2018, 72) argues, the construction of an emphatically political identity requires an appeal to the affects, like hope, indignation or compassion. Latour and Schultz also stress that ecological politics currently suffers from an affective misalignment, with people failing to identify with the fate of their increasingly inhospitable environments (2022, 47). Why would European humans care about these unknown fungi? The reproduction of our CO2-intensive livelihoods largely depends on the emission of bare land elsewhere, so in the short run, we stand to benefit more from putting our heads in the sand. I employ Chakrabarty’s (2021) suggestion of grounding post-humanist politics first in strategic anthropocentrism to subsequently push for a post-humanist expansion of our human understanding. One must first feel personally interpellated by the crisis of the global means of reproduction before one can grasp the need for an ecological class politics beyond human confines. I turn to John Steinbeck’s 1939 novel The Grapes of Wrath as a kindred spirit with more mobilising potential. Steinbeck tells the story of a family of impoverished farmers from Oklahoma, the Joads, travelling to California in pursuit of a better life, yet only encountering more poverty, exploitation and anti-immigrant racism. Steinbeck describes in detail the environmental and social devastation, but he focuses on the commodified labour power of migrant farmers rather than commodified mushrooms. Steinbeck’s main characters are also uprooted from their entangled histories in the land and community of rural Oklahoma, but they present a more familiar face of the ecological class deprived of the means of reproduction. Steinbeck’s outcry against alienation-as-deracination is clear, but the shift in perspective facilitates the empathetic outrage required for building ecological class consciousness. Steinbeck’s strategic anthropocentrism helps human readers understand why alienation-as-deracination is a concern. (shrink)

John Tomasi's new book, Free Market Fairness, has been well-received as "one of the very best philosophical treatments of libertarian thought, ever" and as a "long and friendly conversation between Friedrich Hayek and John Rawls—a conversation which, astonishingly, reaches agreement". The book does present an authoritative state-of-the-debate across the spectrum from right-libertarianism on the one side to high liberalism on the other side. My point is not to question where Tomasi comes down with his own version of "market (...) democracy" as a remix of Hayek and Rawls. My point is to use his sympathetic restatements of views across the liberal spectrum to show the basic misframings and common misunderstandings that cut across the liberal-libertarian viewpoints surveyed in the book. As usual, the heart of the debate is not in the answers to carefully framed questions, but in the framing itself. (shrink)

So far, the value dimension underlying affectivity disorders has remained out of focus in phenomenological psychopathology. As early as at the beginning of the 20th century, however, German phenomenologist Max Scheler examined in depth the relationship between affectivity and value dimension through the concept of valueception (Wertnehmung). In this sense, a recent noteworthy contribution has been provided by John Cutting, who has drawn attention to the importance of Scheler’s analyses for psychiatry. In this work I take into consideration (...) only two aspects of Cutting’s proposal: 1) the relationship between the impairments of valueception and the perception of certain value classes; and 2) the interpretation of Scheler’s phenomenological reduction and its juxtaposition with the modus vivendi of schizophrenia. According to Cutting, in the modus vivendi of schizophrenia the valueception impairment entails putting vital values in brackets and focusing on personal values, with a process that recalls Scheler’s phenomenological reduction. Regarding the first aspect, I share Cutting’s starting point, but then shift the focus on how important the valueception is for the intersubjective dimension. In particular, I maintain that rather than compromising the perception of vital values, valueception impairments in the modus vivendi of schizophrenia interfere with the intersubjective dimension and are interwoven with a process of disembodiment. My thesis is that the modus vivendi of schizophrenia involves a disturbance of the intersubjective dimension that arises from the level of valueception and that determines the person’s self-referential closure. With regard to the second point, by analyzing Scheler’s phenomenological reduction, I sustain that its main objective is to increase both the interaction with otherness and the openness to the world (Weltoffenheit). As a consequence, the modus vivendi of schizophrenia, in my opinion, is not comparable, as Cutting claims, with Scheler’s phenomenological reduction, but goes in a different direction. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Scrutinizing the Art of TheaterAaron Meskin (bio)IntroductionIn his 1992 address to the American Society for Aesthetics, Peter Kivy suggested that philosophers of art might do best by giving up on “grand theorizing” (that is, pursuing the definition of art).1 In its place he proposed that they pursue the “careful and imaginative philosophical scrutiny of the individual arts and their individual problems.”2 Of course John Passmore and others had (...) said similar things at earlier points,3 but philosophical aesthetics has, it seems to me, finally and robustly taken the turn toward the philosophies of the arts. Much of the best work in philosophical aesthetics over the last fifteen years or so has pursued the route Kivy suggested. James Hamilton’s The Art of Theater is part of this turn—it is careful and imaginative scrutiny of the art of theater done at the very highest level, and I am delighted to have this opportunity to comment on it.4In what follows I shall address a number of issues raised by Hamilton’s work: the definition of theatrical enactment; the place of pretending and imagining in theatrical performance; the nature of Hamilton’s “ingredients model” and its relation to more traditional accounts of the work/performance relation; the account of theatrical style on offer; and the question of what we have learned from experimental theater.But before I move on to address those aspects of the book’s content in detail, let me say something about the pedagogical significance of this work. Although there are a number of legitimate ways to teach introductory courses on aesthetics and the philosophy of art (for example, by following a historical progression or by structuring it around certain key issues), one increasingly attractive option is to teach a course that focuses on those aforementioned individual arts and their individual problems. So, for example, I used to regularly teach graduate seminars in aesthetics to students enrolled [End Page 51] in a fine arts doctoral program. These students studied music, art education, the visual arts, theater, and dance; the seminars were designed to provide them with a broad foundation in philosophical aesthetics. Since they typically had no background in philosophy, I made the effort to assign readings and topics relevant to their own artistic practices and interests. Providing them with contemporary cutting-edge philosophical material on music and the visual arts was not hard. Kivy’s work, as well as that by Jerrold Levinson, Arthur Danto, Richard Wollheim, and others, makes that fairly easy. And intriguingly—since philosophers are commonly said to have ignored the art of dance—there’s even a decent amount of recent philosophical work on that art form by such authors as Graham McFee, Frances Sparshott, and Noël Carroll and Sally Banes.5 But where to turn to for the theater students? I would often read some of Aristotle’s Poetics with them, but I have to admit that the serious students of the theater that I encountered in those seminars typically knew that text much better than I did. (Still, I hope I challenged their breezy assumptions about catharsis!) We would read Hume on tragedy together—fun, but not really so much about the theater—and sometimes a bit of Nietzsche. But there was never much to give them from contemporary philosophers on the subject—a few articles here and there, of course, but nothing that clearly laid out the big and distinctive issues that the art form of theater raises. Nothing, to put the point a bit differently, that would provide any evidence that there really was a lively and extant philosophy of theater out there, as there are lively and extant philosophies of film, music, literature, and photography. In short, for those attracted to the prospect of teaching aesthetics as the philosophies of arts, the dearth of good work on theater by contemporary philosophers has been a significant source of frustration and even a bit of an embarrassment.The book in question is not the only recent philosophical work on theater. There are fine articles on the topic by David Osipovich, David Saltz, and Paul Woodruff, among others. Hamilton himself has a string of... (shrink)

A widely cited roadblock to bridging ecological psychology and enactivism is that the former identifies with realism and the latter identifies with constructivism, which critics charge is subjectivist. A pragmatic reading, however, suggests non-mental forms of constructivism that simultaneously fit core tenets of enactivism and ecological realism. After advancing a pragmatic version of enactive constructivism that does not obviate realism, I reinforce the position with an empirical illustration: Physarum polycephalum (a slime mold), a communal unicellular organism that leaves slime trails (...) that form chemical barriers that it avoids in foraging explorations. Here, environmental building and sensorimotor engagement are part of the same process with P. polycephalum coordinating around self-created, affordance-bearing geographies, which nonetheless exist independently in ways described by ecological realists. For ecological psychologists, affordances are values, meaning values are external to the perceiver. I argue that agent-enacted values have the same status and thus do not obviate ecological realism or generate subjectivism. The constructivist-realist debate organizes around the emphasis that enactivists and ecological theorists respectively place on the inner constitution of organisms vs. the structure of environments. Building on alimentary themes introduced in the P. polycephalum example and also in Gibson’s work, I go on to consider how environment, brain, visceral systems, and even bacteria within them enter perceptual loops. This highlights almost unfathomable degrees of mutually modulating internal and external synchronization. It also shows instances in which internal conditions alter worldly configurations and invert values, in Gibson’s sense of the term, albeit without implying subjectivism. My aim is to cut across the somatic focus of enactive constructivism and the external environment-oriented emphasis of ecological realism and show that enactivism can enrich ecological accounts of value. (shrink)

Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

Conceptualism is the thesis that, for any perceptual experience E, (i) E has a Fregean proposition as its content and (ii) a subject of E must possess a concept for each item represented by E. We advance a framework within which conceptualism may be defended against its most serious objections (e.g., Richard Heck's argument from nonveridical experience). The framework is of independent interest for the philosophy of mind and epistemology given its implications for debates regarding transparency, relationalism and representationalism, demonstrative (...) thought, phenomenal character, and the speckled hen objection to modest foundationalism. (shrink)

One fairly common view about practical reason has it that whether you have a reason to act is not determined by what you know, or believe, or are justified in believing. Your reasons are determined by the facts. Perhaps there are two kinds of reasons, and however it goes with motivating reasons, normative reasons are determined by the facts, not your take on the facts. One fairly common version of this view has it that what's reasonable for you to do (...) is determined by what you know or believe. Any view that drives this kind of wedge between reasons and rationality is inherently unstable. I argue against this view, criticize the arguments typically presented in its favor, and sketch an alternative. (shrink)

I consider a serious objection to the knowledge account of assertion and develop a response. In the process I introduce important new data on prompting assertion, which all theorists working in the area should take note of.

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

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 argues for externalism about justification on the basis of thought experiments. I present cases in which two individuals are intrinsically and introspectively indistinguishable and in which intuitively, one is justified in believing that p while the other is not. I also examine an argument for internalism based on the ideas that we have privileged access to whether or not our own beliefs are justified and that only internalism is compatible with this privilege. I isolate what I take to (...) be the most plausible form of privileged access to justification and show that it is compatible with externalism. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

Replicating or exceeding human intelligence, not just in particular domains but in general, has always been a major goal of Artificial Intelligence (AI). We argue here that “human intelligence” is not only ill-defined, but often conflated with broader aspects of human psychology. Standard arguments for replicating it are morally unacceptable. We then suggest a reframing: that the proper goal of AI is not to replicate humans, but to complement them by creating diverse intelligences capable of collaborating with humans. This goal (...) renders issues of theory of mind, empathy, and caring, or community engagement, central to AI. It also challenges AI to better understand the circumstances in which human intelligence, including human moral intelligence, fails. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (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)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, has (...) important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

What is the relation between works of fiction and the acquisition of knowledge?

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

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)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 43.1 (2005) 55-81 [Access article in PDF] Self-Knowledge in Descartes and Malebranche Lawrence Nolan John Whipple 1. Introduction Descartes's notorious claim that mind is better known than body has been the target of repeated criticisms, but none appears more challenging than that of his intellectual heir Nicolas Malebranche.1 Whereas other critics—especially twentieth-century philosophers eager to use Descartes as their whipping boy—have often (...) been uncharitable, Malebranche accepts many of the fundamental Cartesian doctrines, including mind-body dualism. But he argues that Descartes's position on knowledge of the mind is internally inconsistent. Malebranche agrees with Descartes that the existence of the mind is better known than that of body, but he vehemently denies that the nature of the mind is better known. This denial is based on his view that we lack a clear idea of the mind.2 [End Page 55]Malebranche's polemic has attracted much attention in recent scholarship.3 The growing consensus among commentators is that Malebranche develops a devastating internal critique of Descartes's theory of the mind. For example, Nicholas Jolley writes: "In his case for his negative thesis [concerning knowledge of the mind] Malebranche mounted a powerful, even annihilating, critique of Descartes. This critique embodies the remarkable insight that there is a serious muddle at the heart of Descartes's whole theory of knowledge."4 In a book-length defense of Malebranche's critique, Tad Schmaltz also emphasizes its internal character: "the interpretation here of Malebranche's theory presents it as fundamentally Cartesian, and thereby serves to reinforce his own view that he has provided an authoritative interpretation of the account of mind in the writings of Descartes and other Cartesians."5 Schmaltz also asserts: "Malebranche took his negative thesis concerning our knowledge of the soul to involve not so much a rejection of Cartesianism as an internal correction of it."6We think such remarks misstate the case. Indeed, we argue in this paper that Malebranche's polemic fails as an internal critique of Descartes's theory of the mind. Although we do not here aspire to defend Descartes's strong thesis—that mind is better known than body—we do think he can consistently maintain that we have a clear and distinct idea of the mind, and thus that our knowledge of the mind's nature is at least on a par with our knowledge of corporeal nature.7 While Malebranche's rhetoric would encourage us to think that the debate between him and his predecessor is being fought on common or neutral ground, the fact is that Malebranche often appeals to assumptions and aspects of his own theory of "Vision in God" that Descartes would reject. Once more, he interprets Descartes's theory of knowledge in ways that are misguided and sometimes even uncharitable. If Malebranche's critique succeeds at all, it succeeds only against a straw man—Malebranche's Descartes and not the historical figure.Ours is not the first effort to defend Descartes against this particular attack. When Malebranche first published his critique in Book Three of his first great work, The Search After Truth (1674),8 Descartes had been dead for over two decades, [End Page 56] but he was ably defended by the famous Cartesian Antoine Arnauld in On True and False Ideas (1683). In the ensuing debate Arnauld was clearly the superior dialectician, but while winning several tactical points, he appears not to fully appreciate the crux of Malebranche's argument, or at least that is the view of Jolley and Schmaltz.9 We have a somewhat higher opinion of Arnauld's side of the debate. Granted, some of his defenses are facile and can be easily dismissed; others however are quite compelling when properly developed. In at least one instance, we attempt to provide that development. At the same time we think it is a mistake to treat Arnauld as Descartes's surrogate or as if he had issued the final salvo from the camp of the orthodox Cartesians. Arnauld was a... (shrink)

The Double Content view is the first comprehensive theory of art that is able to satisfactorily explain the nature of all kinds of artworks in a unified way — whether paintings, novels, or musical and theatrical performances. The basic thesis is that all such representational artworks involve two levels or kinds of representation: a first stage in which a concrete artifact represents an artwork, and a second stage in which that artwork in turn represents its subject matter. "Dilworth applies his (...) theory across the arts and to a variety of issues, demonstrating that it has far-reaching implications for our philosophical understanding of the nature of art.” - Stephen Davies, Associate Professor of Philosophy, University of Auckland.. (shrink)

Worrall argued that structural realism provides a ‘synthesis’ of the main pro-realist argument – the ‘No Miracles Argument’, and the main anti-realist argument – the ‘Pessimistic Induction’. More recently, however, it has been claimed that each of these arguments is an instance of the same probabilistic fallacy – sometimes called the ‘base-rate fallacy’. If correct, this clearly seems to undermine structural realism and Magnus and Callender have indeed claimed that both arguments are fallacious and ‘without [them] we lose the rationale (...) for … structural realism ’. I here argue that what have been shown to be fallacious are simply misguided formalisations of ‘the’ arguments and that when they are properly construed they continue to provide powerful motivation for favouring structural realism. (shrink)

One question about the role of the mental in the determination of practical reason concerns the pro-attitudes: can any set of beliefs, without the help of a desire, rationalize or make reasonable a desire, intention, attempt, or intentional action? After criticizing Michael Smith’s argument for a negative answer to this question, I present two arguments in favor of a positive answer. Another question about the role of the mental in the determination of practical reason concerns belief: what gives you a (...) reason to go to the store, the fact that you’re out of milk or the belief that you’re out of milk? The two questions about the mental are connected. I argue that if we give a positive answer to the first question and reject the Humean Theory of Motivation, we cannot accept the currently favored conception of normative reasons as determined by the facts. For the anti-Humean, normative reasons must be determined by the agent’s perspective. (shrink)

The artefacts produced by artists during their creation of works of art are very various: paintings, writings, musical scores, and so on. I have a general thesis to offer about the relations of artefacts and artworks, but within the confines of this article I shall mainly discuss cases drawn from the art of painting, central specimens of which seem to be autographic in Nelson Goodman's sense, namely such that even the most exact duplication of them does not count as producing (...) the same work of art. My view will be that an artwork (such as a painting) and its associated artefact are not identical, and nor is the artefact in any sense part of the painting in question,2 but that nevertheless it is still possible to maintain the view that paintings are autographic (which view I shall call l the autographic thesis). I shall proceed initially through presentation of some counter-examples to common assumptions as to the relations of artefacts and artworks, and then present an alternative 'representational' theory of their relations. (shrink)

In Anarchy, State and Utopia, Robert Nozick argues, first, that free-market anarchism is unstable -that it will inevitably lead back to the state; and, second, that without a certain "redistributive" proviso, the model is unjust. If either of these things is the case, the model defeats itself, for its justification purports to be that it provides a morally acceptable alternative to government (and therefore to the state). I argue, against Nozick's contention, that his "dominant protection agency" neither meets his monopoly (...) condition for statehood nor need run afowl of his redistributive requirement. This being the case, his argument against free market anarchism fails. (shrink)

I argue that the physical marks on a canvas resulting from an artist's intentional, stylistic and expressive acts cannot themselves be the artist's expression, but instead they serve to signify or indicate those acts. Thus there is a kind of indicative content associated with a picture that is distinct from its subject matter (or 'representational content'). I also argue that this kind of indicative content is closely associated with the specific artistic medium chosen by the artist as her expressive medium, (...) for which reason I call this kind of content medium content (or medium-related content). (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.

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

It is generally accepted that Picasso might have used a different canvas as the vehicle for his painting Guernica, and also that the artwork Guernica itself necessarily represents a certain historical episode—rather than, say, a bowl of fruit. I argue that such a conjunctive acceptance entails a broadly propositional view of the nature of representational artworks. In addition, I argue—via a comprehensive examination of possible alternatives—that, perhaps surprisingly, there simply is no other available conjunctive view of the nature of representational (...) artworks in general. CiteULike Connotea Del.icio.us What's this? (shrink)

A novel semantic naturalization program is proposed. Its three main differences from informational semantics approaches are as follows. First, it makes use of a perceptually based, four-factor interactive causal relation in place of a simple nomic covariance relation. Second, it does not attempt to globally naturalize all semantic concepts, but instead it appeals to a broadly realist interpretation of natural science, in which the concept of propositional truth is off-limits to naturalization attempts. And third, it treats all semantic concepts as (...) being purely abstract, so that concrete cognitive states are only indexed by them rather than instantiating them. (shrink)

FEEL FREE TO CITE - IGNORE IN-PDF REQUEST The eight year gap between the publication of Volume I (1976) of The History of Sexuality and Volumes II and III (1984) has provoked a fair amount of debate within scholarly circles. Does it represent a fundamental rethinking of the analysis of power and knowledge begun in Volume I, or is something else at stake? And what does the shift in emphasis regarding power and resistance after these eight years ultimately entail? James (...) Miller’s influential, if often flawed, biography of Foucault has provided one of the leading interpretations of this gap in Foucault’s publishing career. On Miller’s account, the turn towards governmentality and technologies of the self represents something of a tacit admission of failure on Foucault’s part regarding his Volume I rendering of power and resistance.1 Now, it seems to me that there is something right about this reading – we can map a shift in Foucault’s consideration of power and resistance in this period, culminating in the 1982 essay, “The Subject and Power,” which it seems to me can be read as a perverse re-writing of the themes of Volume I. However, the idea that this eight year period represents a ‘hard break,’ or an introduction of an incommensurability between resistance as tactical reversal (Volume I) and resistance as.. (shrink)

The category of works of fiction is a very broad and heterogeneous one. I do have a general thesis in mind about such works, namely, that they themselves are fictional, in much the same way as are the fictional events or entities that they are about. But a defense of such a broad thesis would provide an intractably complex topic for an introductory essay, so I shall here confine myself to a presentation of a similar thesis for narrative theatrical works (...) or plays, performances of which are naturally regarded as involving, or evoking, a “fictional world” whose fictional characters and events are what the work in question is about. Another reason for initially focusing on such narrative plays is because performances of them provide a rich source of epistemic issues about evidence for artistic authenticity or correctness of artworks, which will turn out to be of integral importance to my fictionalist account of plays. (shrink)

The representational content or subject matter of a picture is normally distinguished from various non-representational components of meaning involved in artworks, such as expressive, stylistic or intentional factors. However, I show how such non subject matter components may themselves be analyzed in content terms, if two different categories of representation are recognized--aspect indication for stylistic etc. factors, and normal representation for subject matter content. On the account given, the relevant kinds of content are hierarchically structured, with relatively unconceptualized lower level (...) aspectual contents encoding or symbolizing higher level conceptualized representational subject matter. Such an account is strongly supported by the latest findings of cognitive science regarding levels of conceptualization. The paper also demonstrates how the account given is compatible with the actual pictorial competence of normal viewers of visual artworks. (shrink)

The Prisoner's Dilemma (PD) exhibits a tragedy in this sense: if the players are fully informed and rational, they are condemned to a jointly dispreferred outcome. In this essay I address the following question: What feature of the PD's payoff structure is necessary and sufficient to produce the tragedy? In answering it I use the notion of a trembling-hand equilibrium. In the final section I discuss an implication of my argument, an implication which bears on the persistence of the problem (...) posed by the PD. (shrink)

Ideas about soul and body – about thinking or remembering, mind and life, brain and self – remain both diverse and controversial in our neurocentric age. The history of these ideas is significant both in its own right and to aid our understanding of the complex sources and nature of our concepts of mind, cognition, and psychology, which are all terms with puzzling, difficult histories. These topics are not the domain of specialists alone, and studies of emotion, perception, or reasoning (...) have never been isolated theoretical endeavours. As Francis Bacon described human philosophy or ‘the knowledge of ourselves’, within which he located the study of body, soul, and mind, it ‘deserveth the more accurate handling, by how much it toucheth us more nearly’ (1605/ 2000: 93). The history of ideas in these domains is particularly challenging given the practical dimensions and implications of theories of mind. Because theories of human nature and debates about body and mind do ‘touch us’ so ‘nearly’, they attract and can thus reveal, in specific historical contexts, interconnected discourses or associations which may be quite unlike our own. So there are no neat boundaries around a historical category of ‘seventeenth-century British philosophy of the soul’. The central topic of this chapter can be thought of either as pneumatology, the doctrine or science of spirits and souls, or as continuous with the ‘psychologia’ or psychology of Aristotelian traditions (Park and Kessler 1988; Hatfield 1995: 184-6). In neither case, however, should we expect any deep unity to be provided by history, geography, discipline, or subject-matter. (shrink)

According to R. G. Collingwood in The Principles of Art, art is the expression of emotion--a much-criticized view. I attempt to provide some groundwork for a defensible modern version of such a theory via some novel further criticisms of Collingwood, including the exposure of multiple ambiguities in his main concept of expression of emotion, and a demonstration that, surprisingly enough, his view is unable to account for genuinely creative artistic activities. A key factor in the reconstruction is a replacement of (...) the concept of expression with that of interpretation: what artists do is to interpret, rather than express, their initial emotions, in creative ways that may go far beyond their initial impulses. Thus more broadly the paper attempts to show that the concept of interpretation is just as central to understanding artistic creativity as it is in the analysis of the critical appreciation of artworks. (shrink)