Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must behave like homomorphisms on the shared signature. We determine conditions under which decidability of the validity of universal formulae in the component theories transfers to their connection. In addition, we consider variants of the basic connection scheme. Our results can be seen as a generalization of the so-called E-connection approach for combining modal logics (...) to an algebraic setting. (shrink)

Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every many-sorted theory is equivalent to a single-sorted theory. We make this conjecture precise, and prove that it is true, at least according to one reasonable notion of theoretical (...) equivalence. Our clarification of Quine’s conjecture, however, exposes the shortcomings of his argument against many-sorted logic. (shrink)

We use connections between conjunctive game formulas and the theory of inductive definitions to define the notions of a coinductive formula and its approximations. Corresponding to the theory of conjunctive game formulas we develop a theory of coinductive formulas, including a covering theorem and a normal form theorem for many sorted languages. Applying both theorems and the results on "model interpolation" obtained in this paper, we prove a many-sorted interpolation theorem for ω 1 ω-logic, which considers interpolation with respect to (...) the language symbols, the quantifiers, the identity, and countably infinite conjunction and disjunction. (shrink)

In this paper we discuss an interpretation of intuitionistic type theory in many-sorted arithmetic with so-called conditional application. Via the formulas-as-types correspondence the arithmetical system in turn can be embedded in ML, resulting in a characterization of strong Σ-elimination by an axiom of conditional choice.

We achieve several results. First, we develop a variant of the theory of absolute Galois groups in the context of many sorted structures. Second, we provide a method for coding absolute Galois groups of structures, so they can be interpreted in some monster model with an additional predicate. Third, we prove the “Weak Independence Theorem” for pseudo-algebraically closed (PAC) substructures of an ambient structure with no finite cover property (nfcp) and the property [Formula: see text]. Fourth, we describe Kim-dividing in (...) these PAC substructures and show several results related to the SOPnhierarchy. Fifth, we characterize the algebraic closure in PAC structures. (shrink)

One of the most important recent developments in the discussion of Kierkegaard's ethics is an interpretation defended, in different forms, by Philip Quinn and Stephen Evans. Both argue that a divine-command theory of moral obligation is to be found in Works of Love . Against this view, I argue that, despite significant overlap between DCT and the view of moral obligation found in Works of Love , there is at least one essential difference between the two: the former, but not (...) the latter, is committed to the claim that, necessarily, p is morally obligatory only if God commands that p. (shrink)

The many-Hilbert-spaces theory of quantum measurements, which was originally proposed by S. Machida and the present author, is reviewed and developed. Dividing a typical quantum measurement in two successive steps, the first being responsible for spectral decomposition and the second for detection, we point out that the wave packet reduction by measurement takes place at the latter step, through interaction of an object system with one of the local systems of detectors. First we discuss the physics of the detection process, (...) using numerical simulations for a simple detector model, and then formulate a general theory of quantum measurements to give the wave packet reduction in an explicit form as a sort of phase transition. The derivation is based on the macroscopic nature of the local system, to be represented in a continuous direct sum of many Hilbert spaces, and on the finite-size effect of the local system, to give phase shifts proportional to size parameters. We give a definite criterion for examining any instrument as to whether it works well as a detector or not. Finally, we compare the present theory with famous measurement theories and propose a possible experimental test to discriminate it from others. A few solvable detector models are also discussed. (shrink)

We introduce an abstract framework for general rough set theory from a mereological perspective and consider possible concepts of ’a priori’ granules and granulation in the same. The framework is ideal for relaxing many of the relatively superfluous set-theoretic axioms and for improving the semantics of many relation based, cover-based and dialectical rough set theories. This is a relatively simplified presentation of a section in three different recent research papers by the present author.

In recent philosophy of science there has been much discussion of both pluralism, which embraces scientific terms with multiple meanings, and eliminativism, which rejects such terms. Some recent work focuses on the conditions that legitimize pluralism over eliminativism – the conditions under which such terms are acceptable. Often, this is understood as a matter of encouraging effective communication – the danger of these terms is thought to be equivocation, while the advantage is thought to be the fulfilment of ‘bridging roles’ (...) that facilitate communication between different scientists and specialisms. These theories are geared towards regulating communication between scientists qua scientists. However, this overlooks an important class of harmful equivocation that involves miscommunication between scientists and nonscientists, such as the public or policymakers. To make my case, I use the example of theory of mind, also known as ‘mindreading’ and ‘mentalizing’, and broadly defined as the capacity to attribute mental states to oneself and others. I begin by showing that ‘theory of mind’ has multiple meanings, before showing that this has resulted in harmful equivocations of a sort and in a way not accounted for by previous theories of pluralism and eliminativism. (shrink)

Each many-sorted theory can be converted to an unsorted theory. But this conversion procedure is not uniquely determined, leading to a dilemma: which unsorted theory captures the content of the corresponding many-sorted theory?

One of the most important recent developments in the discussion of Kierkegaard's ethics is an interpretation defended, in different forms, by Philip Quinn and Stephen Evans. Both argue that a divine-command theory of moral obligation (DCT) is to be found in "Works of Love". Against this view, I argue that, despite significant overlap between DCT and the view of moral obligation found in "Works of Love", there is at least one essential difference between the two: the former, but not the (...) latter, is committed to the claim that, necessarily, p is morally obligatory only if God commands that p. (shrink)

The relations of power between healthcare-related institutions and the professionals that interact with them are changing. Generally, the institutions are gaining the upper hand. Consequently, the intellectual abilities necessary for professionals to pursue the internal goods of healthcare are changing as well. A concrete case is the struggle over sickness benefits in Sweden, in which theSwedish Social Insurance Agency(SSIA) and physicians are important stakeholders. The SSIA has recently consolidated its power over the sickness certificates that doctors issue for their patients. (...) The result has been a stricter gatekeeping of sickness benefits. In order to combat the inroads made by state institutions into sickness certification, and into the sphere of medical practice, some doctors have developed cunning “techniques” to maximize the chance to have their sickness certificates accepted by the SSIA. This article attempts to demonstrate that cunning intelligence—the ability of the weak to “outsmart” a stronger adversary—plays an important role in the practice of medicine. Cunning intelligence is not merely a defective form of prudence (phronesis), nor is it simply an instance of instrumental reason (techne), but rather an ability that occupies a distinct place among the intellectual abilities generally ascribed to professionals. (shrink)

Though Kierkegaard's ethic in "Works of Love" frequently has been a target of harsh — and often uncharitable — criticism, a number of recent treatments have sought to defend both its viability and its relevance to the contemporary discussion. Increasingly, the literature is replete with interpretations that situate it within the traditions of virtue ethics and/or divine command theory. I evaluate these readings, focusing primarily on the issue of moral obligation in Kierkegaard's writings. I argue that both the virtue and (...) divine command interpretations are deficient, though Kierkegaard's ethic indeed shares significant points of contact with both traditions. I explicate and defend an alternative account of moral obligation that seems to me most to warrant the label, "Kierkegaardian," and attempt to expand the view, taking Kierkegaard's ethic as a foundation upon which to build a theoretically rigorous account of moral obligation. The resulting view, I argue, captures the best of both virtue ethics and divine command theory, while avoiding the most serious problems of each. (shrink)

Under the sway of the postulate of determinism, sociologists (with some exceptions) have given little direct attention to sheerly fortuitous events. Such events are analytically distinguishable from those which are considered the results of chance only because we currently lack knowledge of their causation. Exemplifications of pure chance abound in the various arts and sciences, including sociology (especially in work by symbolic interactionists). Direct, explicit consideration of random, accidental, or chance phenomena requires approaches that emphasize both the processes of behavior (...) and interaction and the case-study method of investigation. (shrink)

General preface -- Preface to the second edition -- What is philosophy of religion? -- Philosophy of religion and other disciplines -- Philosophy of religion and philosophy -- Can thinking about religion be neutral? -- Fideism -- Neutralism -- Critical dialogue -- The theistic God : the project of natural theology -- Concepts of God -- The theistic concept of God -- A case study : divine foreknowledge and human freedom -- The problem of religious language -- Natural theology -- (...) Proofs of God's existence -- Classical arguments for God's existence -- Ontological arguments -- Cosmological arguments -- Teleological arguments -- Moral arguments -- Conclusions: The value of theistic argument -- Religious experience -- Types of religious experience -- Models for understanding experience -- Experience of God as direct and mediated -- Are religious experiences veridical? -- Checking experiential claims -- Special acts of God : revelation and miracles -- Special acts -- Theories of revelation -- Is the traditional view defensible? -- What is a miracle? -- Is it reasonable to believe in miracles? -- Can a revelation have special authority? -- Religion, modernity, and science -- Modernity and religious belief -- Naturalism -- Do the natural sciences undermine religious belief? -- Objections from the social sciences -- Religious uses of modern atheism -- The problem of evil -- Types of evil, versions of the problem, and types of response -- The logical form of the problem -- The evidential form of the problem -- Horrendous evils and the problem of hell -- Divine hiddenness -- Faith(s) and reason -- Faith : subjectivity in religious arguments -- The evidentialist challenge to religious belief -- Reformed epistemology -- The place of subjectivity in forming beliefs -- Interpretive judgments and the nature of a cumulative case -- Can faith be certain? -- Faith and doubt : can religious faith be tested? -- What is faith? -- Could one religion be true? (shrink)

There have been recent disagreements in the philosophy of neuroscience regarding which sorts of scientific models provide mechanistic explanations, and which do not. These disagreements often hinge on two commonly adopted, but conflicting, ways of understanding mechanistic explanations: what I call the “representation-as” account, and the “representation-of” account. In this paper, I argue that neither account does justice to neuroscientific practice. In their place, I offer a new alternative that can defuse some of these disagreements. I argue that individual models (...) do not provide mechanistic explanations by themselves. Instead, individual models are always used to complement a huge body of background information and pre-existing models about the target system. With this in mind, I argue that mechanistic explanations are distributed across sets of different, and sometimes contradictory, scientific models. Each of these models contributes limited, but essential, information to the same mechanistic explanation, but none can be considered a mechanistic explanation in isolation of the others. (shrink)

We consider two-sorted theories of vector spaces and prove a criterion for the assertion that such a theory allows elimination of quantifiers over vector variables.

This article is a critical examination of MacIntyre’s notion of morality in reference to Kant’s deontological moral theory. The examination shows that MacIntyre (a) criticizes Kant’s moral theory to defend virtue ethics or neo-Aristotelian ethics with a weak notion of morality; (b) favors the idea of local morality, which does not leave any room for moral assessment and reciprocity in an intercultural domain; and (c) fails to provide good arguments for his moral historicism and against Kant’s moral universalism.

Prior research on the impact of mandatory quotas in one dimension of diversity, on other dimensions, shows contradictory results. We seek to resolve this puzzle by relying on theory in social psychology on homophily and recategorization processes in hiring. In the context of a law mandating a gender quota on Indian boards, we predict and find that boards respond to the law by hiring new women directors who are similar to existing directors in terms of caste and community dimensions. We (...) find that this homophily effect is impactful to the extent that even high-status women directors cannot overcome it. At the aggregate level, these organizational-level practices result in caste and community inequalities remaining intact despite the introduction of 1309 new women directors. We contribute to research on inequality, board of directors, and affirmative action. (shrink)

This paper examines the problem of sameness in terms of being it the classical problem of personal identity and various philosophical positions on the existence of the self as a substantive subject. I call this subject an ethical Self, which involves different notions of ego, being, substance, and personhood. The denial of the existence of a permanent self by philosophers like Hume and Buddhists does not seem justified in regard to one's identity or sameness over time. The no-self theorists do (...) not provide any strong ground for how to explain the notion of personhood and one's actions in a moral space without accepting a substantive self as a doer that continues over time. They certainly seem to have failed in establishing a logical connection between their no-self theories on the one hand and the necessity of an ethical self in their philosophical accounts on the other. Rejecting the no-self theory in defense of the self theory of personal identity, I conclude this paper with a note that sameness of a person over time is the prerequisite of morality, law, and present and future plans and that there is no harm in considering a permanent self, as Jīva of Jainism, to solve the problem of personal identity. There is also no harm in preferring the self theory over the no-self theory since the former, unlike the latter, does give a meaning to spirituality and transcendence. (shrink)

This book presents a unique collection of papers on various philosophical aspects of the unknown and unvoiced truth and reality of the cosmic world. It offers a systematic analysis of the three philosophical theories of Quietism, Agnosticism and Mysticism and introduces readers to the fundamentals of mystical knowledge claimed by philosophical schools of the east and the west. It discusses, debates and deliberates on philosophical issues concerning the acquisition of truth, its objectivity and its various dimensions along with the (...) application of thoughts pertaining to Quietism, Agnosticism, and metaphysical-mystic traditions in philosophy. It examines and precisely defines the scope and limits of knowledge, the respective way of life, its expressions and morality, mystical revelation, ineffability of the ultimate, value realism, and faith and reason - with a primary focus on the classical Indian schools of Hinduism, Buddhism, Jainism, Agnosticism, the Bāuls, Greek traditions, modern western meta-philosophy, and contemporary quietist debate in religion and theology. This insightful collection should be of great interest to independent researchers, students and teachers of philosophy, theology, Mysticism and Agnosticism, cultural studies and religious studies. (shrink)

This paper describes axiomatic theories SA and SAR, which are versions of second order arithmetic with countably many sorts for sets of natural numbers. The theories are intended to be applied in reverse mathematics because their multi-sorted language allows to express some mathematical statements in more natural form than in the standard second order arithmetic. We study metamathematical properties of the theories SA, SAR and their fragments. We show that SA is mutually interpretable with the theory of (...) arithmetical truth PATr obtained from the Peano arithmetic by adding infinitely many truth predicates. Corresponding fragments of SA and PATr are also mutually interpretable. We compare the proof-theoretical strengths of the fragments; in particular, we show that each fragment SAs with sorts <=s is weaker than next fragment SAs+1. (shrink)

Supervaluational theories of vagueness have achieved considerable popularity in the past decades, as seen in eg [5], [12]. This popularity is only natural; supervaluations let us retain much of the power and simplicity of classical logic, while avoiding the commitment to strict bivalence that strikes many as implausible. Like many nonclassical logics, the supervaluationist system SP has a natural dual, the subvaluationist system SB, explored in eg [6], [28].1 As is usual for such dual systems, the classical features of (...) SP (typically viewed as benefits) appear in SB in ‘mirror-image’ form, and the nonclassical features of SP (typically viewed as costs) also appear in SB in ‘mirror-image’ form. Given this circumstance, it can be difficult to decide which of two dual systems is better suited for an approach to vagueness.2 The present paper starts from a consideration of these two approaches— the supervaluational and the subvaluational—and argues that neither of them is well-positioned to give a sensible logic for vague language. §2 presents the systems SP and SB and argues against their usefulness. Even if we suppose that the general picture of vague language they are often taken to embody is accurate, we ought not arrive at systems like SP and SB. Instead, such a picture should lead us to truth-functional systems like strong Kleene logic (K3) or its dual LP. §3 presents these systems, and argues that supervaluationist and subvaluationist understandings of language are better captured there; in particular, that a dialetheic approach to vagueness based on the logic LP is a more sensible approach. §4 goes on to consider the phenomenon of higher-order vagueness within an LP-based approach, and §5 closes with a consideration of the sorites argument itself. (shrink)

As a result of a spate of studies geared to investigating Brazilian racial categories, it is now believed by many that Brazilians reason about race in a manner quite different to that of Americans. This paper will argue that this conclusion is premature, as the studies in question have not, in fact, investigated Brazilian categories. What they have done is elicit sorting tasks on the basis of appearances, but the cognitive models of respondents have not been investigated in order to (...) determine what are the boundaries of their concepts. Sorting based on appearances is not sufficient to infer the boundaries of concepts whenever appearance is not a defining criterion for the concepts in question, as the case appears to be for racial and ethnic categories. Following a critique of the methods used, I review a terminological and theoretical confusion concerning the use of the terms 'emic' and 'etic' in anthropology that appears directly responsible for the failure so far to choose methods appropriate to parsing the conceptual domain of 'race' in Brazil. (shrink)

The implicit activities of the living body in sports (such as heart rate, involuntary gestures, stress, reflex, emotional regulation and interaction expressions) emerge in the consciousness of the lived body without our voluntary control. We demonstrate physiological emersion, and how, including in dramaturgical perception, physiological flows and processes collide with the image of a whole body. In this paper, we introduce corporeal non-property as the missing (?) link between phenomenology and neuroscience, renewed by research on the cerebral unconscious and the (...) perception of their lived body. Rather than mindfulness, physical activity obliges the subject to learn the unconscious and his motor skills from his living body: a new psychoanalysis of sport is thus established by studying what emerges from the activity of the living body up to the level of the conscious description of motor action. In this paper, we explain why that awareness occurs, and why it matters for the understanding of unconscious activity of the athlete’s living body. This is potentially interesting, although it needs, as a theory, to overcome the obvious reliance of the body on unconscious or habitual/automated physiological processes. But the incorporation of body techniques forms a habitus. (shrink)

A version of intuitionistic type theory is extended with opposite types, allowing a different formalization of negation and obtaining a paraconsistent type theory (⁠|$\textsf{PTT} $|⁠). The rules for opposite types in |$\textsf{PTT} $| are based on the rules of the so-called constructible falsity. A propositions-as-types correspondence between the many-sorted paraconsistent logic |$\textsf{PL}_\textsf{S} $| (a many-sorted extension of López-Escobar’s refutability calculus presented in natural deduction format) and |$\textsf{PTT} $| is proven. Moreover, a translation of |$\textsf{PTT} $| into intuitionistic type theory is (...) presented and some properties of |$\textsf{PTT} $| are discussed. (shrink)

Implementation of formal specifications is very important in formal software development and can be described in terms of simple logical concepts. Formal specifications are presentations of theories in many-sorted first-order logic, and an implementation of a formal specification on another formal specification amounts to an interpretation of the former into a conservative extension of the latter. Here we present and analyse some sort introducing constructs akin to those found in many programming languages. This is of importance because it occurs (...) often in implementing formal specifications, when new sorts are ‘constructed’ from the concrete ones. We specify these constructs and show that these specifications provide extensions with behaviour close to that of the familiar extensions by definitions. (shrink)

Online debates typically possess a large number of argumentative comments. Most readers who would like to see which comments are winning arguments often only read a part of the debate. Many platforms that host such debates allow for the comments to be sorted, say from the earliest to latest. How can argumentation theory be used to evaluate the effectiveness of such policies of sorting comments, in terms of the actually winning arguments displayed to a reader who may not have read (...) the whole debate? We devise a pipeline that captures an online debate tree as a bipolar argumentation framework, which is sorted depending on the policy, giving a sequence of induced sub-BAFs representing how and how much of the debate has been read. Each sub-BAF has its own set of winning arguments, which can be quantitatively compared to the set of winning arguments of the whole BAF. We apply this pipeline to evaluate policies on Kialo debates, where it is shown that reading comments from most to least liked, on average, displays more winners than reading comments earliest first. Therefore, in Kialo, reading comments from most to least liked is on average more effective than reading from the earliest to the most recent. (shrink)

The sort of ethical theory derived from Aristotle, variously described as virtue ethics, virtue-based ethics, or neo-Aristotelianism, is becoming better known, and is now quite widely recognized as at least a possible rival to deontological and utilitarian theories. With recognition has come criticism, of varying quality. In this article I shall discuss nine separate criticisms that I have frequently encountered, most of which seem to me to betray an inadequate grasp either of the structure of virtue theory or of (...) what would be involved in thinking about a real moral issue in its terms. In the first half I aim particularly to secure an understanding that will reveal that many of these criticisms are simply misplaced, and to articulate what I take to be the major criticism of virtue theory. I reject this criticism, but do not claim that it is necessarily misplaced. In the second half I aim to deepen that understanding and highlight the issues raised by the criticisms by illustrating what the theory looks like when it is applied to a particular issue, in this case, abortion. (shrink)

The sort of ethical theory derived from Aristotle, variously described as virtue ethics, virtue-based ethics, or neo-Aristotelianism, is becoming better known, and is now quite widely recognized as at least a possible rival to deontological and utilitarian theories. With recognition has come criticism, of varying quality. In this article I shall discuss nine separate criticisms that I have frequently encountered, most of which seem to me to betray an inadequate grasp either of the structure of virtue theory or of (...) what would be involved in thinking about a real moral issue in its terms. In the first half I aim particularly to secure an understanding that will reveal that many of these criticisms are simply misplaced, and to articulate what I take to be the major criticism of virtue theory. I reject this criticism, but do not claim that it is necessarily misplaced. In the second half I aim to deepen that understanding and highlight the issues raised by the criticisms by illustrating what the theory looks like when it is applied to a particular issue, in this case, abortion. (shrink)

This dissertation argues for a "bundle thesis" of phenomenal consciousness: that the ways things seem to subjects are constituted by bundles of representational and functional properties. I argue that qualia are determined not only by intrinsic properties, but also by relational properties to other bodily and mental states . The view developed on the basis of this claim is called "phenomenal holism." ;Part I examines the current literature on phenomenal consciousness, sorting out various conceptual and historical issues. In particular, I (...) show that current research falls into two camps: that claiming there is no coherent view of phenomenal consciousness or of how it can be studied, and that claiming that phenomenal consciousness is constituted by non-relational and non-causal/functional/representational properties. Neither camp believes that materialist theories of consciousness are possible. ;Part II counters the specific objections these writers raise against materialist theories. First I show that some of the most prominent objections are founded upon an implicit and misguided assumption: that qualia are non-relational simples, based on what I call the segregationist intuition. Then, more specifically, I argue: that while Kripke's argument from a posteriori necessity against the identity-theory is committed to the absence of an appearance/reality distinction, its presumptions entail this distinction; and that the symmetrical development of the possibility of "hidden qualia" shows that absent qualia and zombie arguments against functionalism are absurd. This last argument is extended to argue against the possibility of inverted spectra. It is concluded that none of the standard objections to materialist theories carry significant weight. ;Part III turns to relational theories of consciousness, and supports an "integrationist intuition" about the mind. I first show that higher-order perception and higher-order thought theories are inadequate, in spite of correctly construing consciousness relationally. I then go on to develop the bundle theory, drawing support from empirical research on vision and pain. The dissertation concludes by defending phenomenal holism and integrationist views of mind more generally, and setting directions for future research. (shrink)

In this paper I am concerned with two questions: What is sexist humor? and what is wrong with it? To answer the first question, I briefly develop a theory of humor and then characterize sexist humor as humor in which sexist beliefs (attitudes/norms) are presupposed and are necessary to the fun. Concerning the second question, I criticize a common sort of argument that is supposed to explain why sexist humor is offensive: although the argument explains why sexist humor feels offensive, (...) it does not place responsibility for the offense in the humorist or audience that enjoys sexist humor. I develop an alternate account of the offense in sexist humor that places responsibility for offense in precisely those quarters. (shrink)

In this paper I am concerned with two questions: What is sexist humor? and what is wrong with it? To answer the first question, I briefly develop a theory of humor and then characterize sexist humor as humor in which sexist beliefs are presupposed and are necessary to the fun. Concerning the second question, I criticize a common sort of argument that is supposed to explain why sexist humor is offensive: although the argument explains why sexist humor feels offensive, it (...) does not place responsibility for the offense in the humorist or audience that enjoys sexist humor. I develop an alternate account of the offense in sexist humor that places responsibility for offense in precisely those quarters. (shrink)

The sort of ethical theory derived from Aristotle, variously described as virtue ethics, virtue-based ethics, or neo-Aristotelianism, is becoming better known, and is now quite widely recognized as at least a possible rival to deontological and utilitarian theories. With recognition has come criticism, of varying quality. In this article I shall discuss nine separate criticisms that I have frequently encountered, most of which seem to me to betray an inadequate grasp either of the structure of virtue theory or of (...) what would be involved in thinking about a real moral issue in its terms. In the first half I aim particularly to secure an understanding that will reveal that many of these criticisms are simply misplaced, and to articulate what I take to be the major criticism of virtue theory. I reject this criticism, but do not claim that it is necessarily misplaced. In the second half I aim to deepen that understanding and highlight the issues raised by the criticisms by illustrating what the theory looks like when it is applied to a particular issue, in this case, abortion. (shrink)

This paper presents the outlines of a phenomenological theory of foundational or non-inferential knowledge according to which the facts or states of affairs towards which our beliefs are intentionally directed can sometimes serve as reasons or evidence for what we believe. This occurs in acts of fulfillment, in which an object or state of affairs is given as it is thought to be. Hopp further argues that the sorts of empirical facts that can serve as reasons for noninferentially justified beliefs (...) are not confined to facts about one’s own occurrent mental states, but include facts about the physical world as well. In the course of defending the view against objections, Hopp argues that we should be internalists about the reasons in virtue of which what we believe is justified but externalists about the factors in virtue of which our states of believing have the status of being justified. He also argues against the claim that mental states, such as perceptual experiences, constitute our evidence for empirical beliefs. (shrink)

According to a view assumed by many scientists and philosophers of science and standardly found in science textbooks, it is controlled ex perience which provides the basis for distinguishing between acceptable and unacceptable theories in science: acceptable theories are those which can pass empirical tests. It has often been thought that a certain sort of test is particularly significant: 'crucial experiments' provide supporting empiri cal evidence for one theory while providing conclusive evidence against another. However, in 1906 Pierre (...) Duhem argued that the falsification of a theory is necessarily ambiguous and therefore that there are no crucial experiments; one can never be sure that it is a given theory rather than auxiliary or background hypotheses which experiment has falsified. w. V. Quine has concurred in this judgment, arguing that "our statements about the external world face the tribunal of sense experience not indi vidually but only as a corporate body". Some philosophers have thought that the Duhem-Quine thesis gra tuitously raises perplexities. Others see it as doubly significant; these philosophers think that it provides a base for criticism of the foundational view of knowledge which has dominated much of western thought since Descartes, and they think that it opens the door to a new and fruitful way to conceive of scientific progress in particular and of the nature and growth of knowledge in general. (shrink)

his paper is an excerpt from a larger project that aims to open a new pathway into Spinoza's Ethics by formally reconstructing an initial fragment of this text. The semantic backbone of the project is a custom-made Spinozian model theory that lays out some of the formal prerequisites for more ne-grained investigations into Spinoza's fundamental ontology and modal metaphysics. We implement Spinoza's theory of attributes using many-sorted models with a rich system of identity that allows us to clarify the puzzling (...) status of such logical principles as the Substitution of Identicals and Transitivity of Identity in Spinoza's thought. The intensional structure of our Spinozian models also captures his proposal that states of a airs can be necessitated or excluded by the essences of particular things, an essence-relative modality that should be of interest to philosophers who have sought to rehabilitate the concept of essence in contemporary analytic metaphysics. (shrink)

I take another look at the history of science and offer some fresh insights into why the history of science is filled with discarded theories. I argue that the history of science is just as we should expect it to be, given the following two facts about science: theories are always only partial representations of the world, and almost inevitably scientists will be led to investigate phenomena that the accepted theory is not fit to account for. Together these (...) facts suggest that most scientific theories are apt to be discarded sometime, superseded by new theories that better serve scientists’ new research interests. Consequently, it is reasonable to expect that many of the theories we currently accept, despite their many impressive successes, will be discarded sometime in the future. But I also argue that discarded theories are not always aptly characterized as a sign of failure or as a sign of some sort of shortcoming with science. Theories are discarded because scientists are making advances in their pursuit of knowledge. Thus, discarded theories are often a sign of the good health of science. Scientists are responding to their changing research interests. (shrink)

Simon Blackburn puts forward a compelling original philosophy of human motivation and morality. He maintains that we cannot get clear about ethics until we get clear about human nature. So these are the sorts of questions he addresses: Why do we behave as we do? Can we improve? Is our ethics at war with our passions, or is it an upshot of those passions? Blackburn seeks the answers in an exploration of guilt, shame, disgust, and other moral emotions; he draws (...) also on game theory and cognitive science in his account of the structures of human motivation. Many philosophers have wanted a naturalistic ethics a theory that integrates our understanding of human morality with the rest of our understanding of the world we live in. What is special about Blackburn's naturalistic ethics is that it does not debunk the ethical by reducing it to the non-ethical. At the same time he banishes the spectres of scepticism and relativism that have haunted recent moral philosophy. Ruling Passions sets ethics in the context of human nature: it offers a solution to the puzzle of how ethics can maintain its authority even though it is rooted in the very emotions and motivations that it exists to control. (shrink)

The last century has seen many disciplines place a greater priority on understanding how people reason in a particular domain, and several illuminating theories of informal logic and argumentation have been developed. Perhaps owing to their diverse backgrounds, there are several connections and overlapping ideas between the theories, which appear to have been overlooked. We focus on Peirce’s development of abductive reasoning [39], Toulmin’s argumentation layout [52], Lakatos’s theory of reasoning in mathematics [23], Pollock’s notions of counterexample [44], (...) and argumentation schemes constructed by Walton et al. [54], and explore some connections between, as well as within, the theories. For instance, we investigate Peirce’s abduction to deal with surprising situations in mathematics, represent Pollock’s examples in terms of Toulmin’s layout, discuss connections between Toulmin’s layout and Walton’s argumentation schemes, and suggest new argumentation schemes to cover the sort of reasoning that Lakatos describes, in which arguments may be accepted as faulty, but revised, rather than being accepted or rejected. We also consider how such theories may apply to reasoning in mathematics: in particular, we aim to build on ideas such as Dove’s [13], which help to show ways in which the work of Lakatos fits into the informal reasoning community. (shrink)