Oaksford & Chater (O&C) focus on patterns of typical adult reasoning from a probabilistic perspective. We discuss implications of extending the probabilistic approach to lifespan development, considering the role of working memory, strategy use, and expertise. Explaining variations in human reasoning poses a challenge to Bayesian rational analysis, as it requires integrating knowledge about cognitive processes.

The general principle behind the effects of nested sets on the use of base rates, we believe, is that the mind is prepared to take in Without any need to assume two cognitive systems, this principle explains how the proper use of base rates can be facilitated and also accounts for occasions when base rates are overused.

This contribution traces the parallel development of two distinct approaches to peasant agroecological education: the peasant-to-peasant horizontal method that disseminated across Mesoamerica and the Caribbean beginning in the 1970s, and the political-agroecological training schools of combined consciousness-building and skill-formation that have been at the heart of the educational processes of member organizations of La Via Campesina since the 1990s. Applying a theoretical framework that incorporates territorial struggle, agroecology and popular education, we examine spatial and organizational aspects of each of these (...) models for peasant education and movement-building. Recognizing that the models, their respective contexts, and the dialectical relationships therein have been in constant evolution, we share findings on the movement-place as a territorial system with socio-historical subjectivity, that is, peasant movements as territorially-embedded, collective historical actors. This leads to some conclusions in moving past educational theory that has centered upon individual subjects, and approaching a conception of territory as a subject of learning processes. (shrink)

The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...) shall grant Dummett his general bias towards verificationism, encapsulated in the slogan 'meaning is use'. The second general assumption I see no need to question is Dummett's particular breed of molecularism. Some of Dummett's assumptions will have to be given up, if classical logic is to be vindicated in his meaning-theoretical framework. A major result of this paper will be that the meaning of negation cannot be defined by rules of inference in the Dummettian framework. (shrink)

ABSTRACTEvaluative aesthetic discourse communicates that the speaker has had first-hand experience of what is talked about. If you call a book bewitching, it will be assumed that you have read the book. If you say that a building is beautiful, it will be assumed that you have had some visual experience with it. According to an influential view, this is because knowledge is a norm for assertion, and aesthetic knowledge requires first-hand experience. This paper criticizes this view and argues for (...) an alternative view, according to which aesthetic discourse expresses affective states of mind, analogously to how assertions express beliefs. It is because these affective states require first-hand experience that aesthetic discourse communicates that such acquaintance is at hand. The paper furthermore argues that the lack of an experience requirement for aesthetic belief ascriptions constitutes a problem for the kind of expressivist who claims that evaluative belief states are covert non-cognitive states. (shrink)

It is widely held within contemporary metaethics that there is a lack of linguistic support for evaluative expressivism. On the contrary, it seems that the predictions that expressivists make about evaluative discourse are not borne out. An instance of this is the so-called problem of missing Moorean infelicity. Expressivists maintain that evaluative statements express non-cognitive states of mind in a similar manner to how ordinary descriptive language expresses beliefs. Conjoining an ordinary assertion that p with the denial of being in (...) the corresponding belief state famously gives rise to Moorean infelicity:?? It’s raining but I don’t believe that it’s raining. If expressivists are right, then conjoining evaluative statements with the denial of being in the relevant non-cognitive state of mind should give rise to similar infelicity. However, as several theorists have pointed out, this does not seem to be the case. Statements like the following are not infelicitous: Murder is wrong but I don’t disapprove of it. In this paper, I argue that evaluative statements express the kind of states that are attributed by ‘find’-constructions in English and that these states are non-cognitive in nature. This addresses the problem of missing Moorean infelicity and, more generally, goes to show that there are linguistic facts which support expressivism about evaluative discourse. (shrink)

Emergence is a universal phenomenon that can be defined mathematically in a very general way. This is useful for the study of scientifically legitimate explanations of complex systems, here defined as hyperstructures. A requirement is that the observation mechanisms are considered within the general framework. Two notions of emergence are defined, and specific examples of these are discussed.

Within contemporary metaethics, it is widely held that there is a “presumption of realism” in moral thought and discourse. Anti-realist views, like error theory and expressivism, may have certain theoretical considerations speaking in their favor, but our pretheoretical stance with respect to morality clearly favors objectivist metaethical views. This article argues against this widely held view. It does so by drawing from recent discussions about so-called “subjective attitude verbs” in linguistics and philosophy of language. Unlike pretheoretically objective predicates (e.g., “is (...) made of wood”, “is 185 cm tall”), moral predicates embed felicitously under subjective attitude verbs like the English “find”. Moreover, it is argued that the widespread notion that moral discourse bears all the marks of fact-stating discourse is rooted in a blinkered focus on examples from English. Cross-linguistic considerations suggest that subjective attitude verbs are actually the default terms by which we ascribe moral views to people. Impressions to the contrary in English have to do with some unfortunate quirks of the term “think”. (shrink)

Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's first (...) argument, ‘It is assertible that if and only if it is assertible that it is assertible that ’, is one that bilateralists can reject, and concludes that they cannot. It follows that the logic of assertibility and deniability, according to a result by Williamson, is the little known modal logic K4 studied by Sobociński. The paper ends with a plaidoyer for bilateralists to adopt this logic. (shrink)

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

In this paper, we consider a few actual cases of mnemonic strategies among older subjects (older than 65). The cases are taken from an ethnographic study, examining how elderly adults cope with cognitive decline. We believe that these cases illustrate that the process of remembering in many cases involve a complex distributed web of processes involving both internal or intracranial and external sources. Our cases illustrate that the nature of distributed remembering is shaped by and subordinated to the dynamic characteristics (...) of the on-going activity and to our minds suggest that research on memory and distributed cognition should focus on the process of remembering through detailed descriptions and analysis of naturally occurring situations. (shrink)

The right to health is enshrined in the constitution of the World Health Organization and numerous other international agreements. Yet today, an estimated 5.7 million people die each year from treatable infectious diseases, most of which are susceptible to existing antimicrobials if they were accessible. These deaths occur predominantly among populations living in poverty in low- and middle-income countries, and they greatly exceed the estimated 700,000 annual deaths worldwide currently attributed to antimicrobial resistance. Ensuring universal appropriate access to antimicrobials is (...) not only a critical part of realizing the right to health, it is necessary for mobilizing effective collective action against the development and spread of AMR. (shrink)

Empathy facilitates everyday social interactions and has often been linked in the literature to prosocial behavior. Robust evidence has been found for a positive relationship between experiencing empathy and behaving prosocially. However, empathy, and the empathy–prosocial behavior relationship in particular, has been studied mostly in combination with negative emotions. Less research has been conducted on empathy for positive emotions, and the link between positive empathy and displayed prosocial behavior has not been intensively investigated so far. The purpose of the present (...) article is thus twofold: first, we review and summarize research evidence on empathy for positive emotions, and second, we propose that people’s motivation to maintain an experienced positive affect is a viable mechanism linking positive empathy and prosocial behavior. (shrink)

Berichte zur Wissenschaftsgeschichte, EarlyView.

Ethicism is the most comprehensively defended answer to the question regarding whether ethical properties determine aesthetic properties in artworks. According to ethicism, aesthetically relevant ethical flaws in artworks count as aesthetic flaws and aesthetically relevant ethical merits count as aesthetic merits. In this paper, I argue that ethicism’s most significant argument, the Merited Response Argument suffers from an ambiguity that makes it either unsound or uninteresting. Specifically, the notion of an artwork’s ‘prescribing’ a response, central to MRA, is ambiguous between (...) merely attempting to elicit a response from appreciators as appropriate to a work, and endorsing a response as appropriate to relevant parts of the actual world. While the first sense of ‘prescribe’ does the aesthetic work, the second does the ethical. (shrink)

Early modern medicine was much more dependent on the senses than its contemporary counterpart. Although a comprehensive medical theory existed that assigned great value to taste and odor of medicaments, historical descriptions of taste and odor appears imprecise and inconsistent to modern eyes. How did historical actors move from subjective experience of taste and odor to culturally stable agreements that facilitated communication about the sensory properties of medicaments? This paper addresses this question, not by investigating texts, but by going straight (...) to the sensory impression, which certain substances convey. The aim is not to overwrite or rectify historical descriptions but to investigate whether modern methodologies for sensory assessment can be enlisted to understand the past. We draw on history of science for framing and research questions, pharmaceutical science for knowledge of pharmaceuticals and preparations, and food and meal science for assaying procedures and protocols. We show that sensory evaluation can yield precise descriptions that would not have been alien to early modern medicine makers. However, there are problems with translating descriptions of taste between different historical contexts. By comparing contemporary descriptions of sensations with eighteenth‐century ones, the article discusses how sensory descriptions are highly dependent on context, and subject to historical change. (shrink)

Mobile health devices pose novel questions at the intersection of philosophy and technology. Many such applications not only collect sensitive data, but also aim at persuading users to change their lifestyle for the better. A major concern is that persuasion is paternalistic as it intentionally aims at changing the agent’s actions, chipping away at their autonomy. This worry roots in the philosophical conviction that perhaps the most salient feature of living autonomous lives is displayed via agency as opposed to patiency—our (...) lives go well in virtue of what we do, rather than what happens to us. Being persuaded by a device telling us how to conduct our lives seemingly renders the agent passive, an inert recipient of technological commands. This agential bias, however, has led to a marginalization of patiential characteristics that are just as much part of our lives as are agential characteristics. To appreciate the inherent interlocking of acting and being acted upon, it is vital to acknowledge that agency and patiency are correlates, not mutually exclusive opposites. Furthermore, it is unclear whether an action can only count as agential so long as its causes are internal. Drawing on the extended mind and extended will framework, I argue that mHealth applications merely serve as volitional aids to the agent’s internal cognition. Autonomously set goals can be achieved more effectively via technology. To be persuaded by an mHealth device does not mainly—let alone exclusively—emphasize patiency; on the contrary, it can be an effective tool for technologically enhancing agency. (shrink)

Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...) bilateral logic which also meets those requirements. Thus Rumfitt cannot claim that only classical bilateral rules of inference succeed in imparting a coherent sense onto the connectives. My system can be extended to classical logic by adding the intuitionistically unacceptable half of a structural rule Rumfitt uses to codify the relation between assertion and denial. Thus there is a clear sense in which, in the bilateral framework, the difference between classicism and intuitionism is not one of the rules of inference governing negation, but rather one of the relation between assertion and denial. (shrink)

Am Beginn des 21. Jahrhunderts sind die gesellschaftlichen Konsequenzen neuer Formen der Sammlung, Verwendung und Vernetzung von Daten zur Überwachung und Beeinflussung von Menschen und Gruppen noch nicht vollends absehbar. Mit den Surveillance Studies können die Bedingungen und Diskurse von Sicherheit, Überwachung und Kontrolle im Rahmen einer interdisziplinären Forschungsinitiative analysiert werden. Verschiedene Pespektiven werden hier einführend dargestellt. Beiträge aus der Rechtswissenschaft, der Kriminologie, der Geographie, Soziologie und Kunstgeschichte zeigen, welche unterschiedlichen Perspektiven es gibt, um die komplexen und folgenreichen Zusammenhänge der (...) Surveillance zu verstehen oder zukünftige Entwicklungen einzuschätzen. Die verschiedenen Perspektiven ergänzen sich zu einem Gesamtbild, welches die Strukturen und Feinheiten dieser Entwicklungen deutlich macht. Die Beiträge gehen dabei auf grundsätzliche Probleme bei der Analyse von Überwachung aus ihrer jeweiligen Sicht ein und bieten so eine kompakte Übersicht über ein spezifisches, in dieser Hinsicht neues Forschungsfeld. Weiterhin zeigen sie, wie vielschichtig der Einfluss der von Überwachungtechnologien und Kontrolldiskursen auf unser tägliches Leben tatsächlich ist. Als einführende Texte bieten die versammelten Beiträge einen Ausgangspunkt für weitere Analysen und Diskussionen – vor allem jenseits aller akademischen Debatten. (shrink)

Some things that we take to be the case in a fictional work are never made explicit by the work itself. For instance, we assume that Sherlock Holmes does not have a third nostril, that he wears underpants and that he has never solved a case with a purple gnome, even though neither of these things is ever mentioned in the narration. This article argues that examples like these can be accounted for through the same content-enriching reasoning that we employ (...) when confronted with non-fictional discourse, with the important difference that fictional discourse essentially involves pretence. Fictional discourse works in much the same way as non-fictional discourse, and what is conveyed without being stated can accordingly be explained through familiar pragmatic mechanisms. It is argued that this account carries some distinct advantages over competing views. (shrink)

The present paper unravels ontological and normative conditions of personhood for the purpose of critiquing ‘Cognitivist Views’. Such views have attracted much attention and affirmation by presenting the ontology of personhood in terms of higher-order cognition on the basis of which normative practices are explained and justified. However, these normative conditions are invoked to establish the alleged ontology in the first place. When we want to know what kind of entity has full moral status, it is tempting to establish an (...) ontology that fits our moral intuitions about who should qualify for such unique normative standing. But this approach conflates personhood’s ontology and normativity insofar as it stresses the primacy of the former while implicitly presupposing the latter; it thereby suffers from a ‘Normative Fallacy’ by inferring from ‘ought’ to ‘is’. Following my critique of Cognitivism, I sketch an alternative conception, contending that, whereas the Cognitivist ontology of personhood presupposes the normative, a social ontology is constituted by it. In due consideration of evidence from developmental psychology, the social embeddedness of persons—manifested in the ability of taking a ‘second-person stance’—is identified as a key feature of personhood that precedes higher-order cognition, and is directly linked to basic normative concerns. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

This is a comprehensive introduction to the history of Western Philosophy from the Pre-Socratics to Twentieth Century thought. In addition to all the key figures, the book covers figures whose contributions have so far been overlooked, such as Vico, Montesquieu, Durkheim and Weber. Along with in-depth discussion of the philosophical movements, Skirbekk and Gilje also discuss the natural sciences, the establishment of the Humanities, Socialism and Fascism, Psychoanalysis, and the rise of the social sciences. _History of Western Thought_ is an (...) ideal introduction to philosophy and the sociological and scientific structures that have shaped modern day philosophy. (shrink)

The outcomes of sports and competitive games excite intense emotions in many people, even when those same people acknowledge that those outcomes are of trifling importance. I call this incongruity between the judged importance of the outcome and the intense reactions it provokes the Puzzle of Sport. The puzzle can be usefully compared to another puzzle in aesthetics: the Paradox of Fiction, which asks how it is we become emotionally caught up with events and characters we know to be unreal. (...) In this article, I examine the prospects of understanding our engagement with competitive games on the model of our engagement with works of fiction, thus enabling analogous explanations for both puzzles. I show that there are significant problems with such an approach and offer an alternative, mobilizing ideas from David Velleman and Thomas Nagel, that appeals to the volatility of our motivational attitudes. (shrink)

A well-known theory about under which circumstances a statement is true in a fiction is The Reality Principle, which originate in the work of David Lewis: (RP) Where p1... pn are the primary fictional truths of a fiction F , it is true in F that q iff the following holds: were p1 ... pn the case, q would have been the case (Walton 1990: 44). RP has been subjected to a number of counterexamples, up to a point where, in (...) the words of Stacie Friend “it is widely recognized that the Reality Principle […] cannot be a universal inference rule for implied story-truths” (Friend 2017: 33). This chapter argues that the strength of these counterexamples is widely overestimated, and that they do not, on closer scrutiny, constitute reasons for rejecting RP. (shrink)

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

Some habits are vital to who we are in that they shape both our self-perception and how we are seen by others. This is so, I argue, because there is a constitutive link between what I shall call ‘identity-shaping habits’ and narrative agency. Identity-shaping habits are paradigmatically acquired and performed by persons. The ontology of personhood involves both synchronic and diachronic dimensions which are structurally analogous to the synchronic acquisition and the diachronic performance of habits, and makes persons distinctly suitable (...) to being shaped by habits. Since habits differ vastly in their scope, I develop a conceptualization that carves out defining features of identity-shaping habits. Such habits, I venture, fundamentally alter a person’s embodiment such that the alterations to their psychological and physiological make-up vitally inform their persistence—if not metaphysically, then at least practically by crucially shaping one’s narrative agency. (shrink)

Dahlbäck, Forsblad and Hydén argue that conversational remembering in the real‐world must be acknowledged as an interactional practice grounded in and bound to the communicative actions produced by the interlocutors. They illustrate the complexity of those processes by referring to their own fieldwork examining older adults’ prospective memory within their homes (Dahlbäck, Kristiansson, & Stjernberg, 2013) and propose alternative methodologies (e.g., scenarios design) to increase collaborations between ethnographic and experimental memory researchers.

If a work of literary fiction prescribes us to imagine that the Devil made a bet with God and transformed into a poodle, then that claim is true in the fiction and we imagine accordingly. Generally, we cooperate imaginatively with literary fictions, however bizarre, and the things authors write into their stories become true in the fiction. But for some claims, such as moral falsehoods, this seems not to be straightforwardly the case, which raises the question: Why not? The puzzles (...) such cases raise are sometimes grouped under the heading “imaginative resistance”. In this paper, I argue against what I take to be the best attempts to dismiss the puzzles and solve them. I also tease out subtleties not sufficiently addressed in the existing literature and end by defending a unified solution of my own. According to this solution, the puzzling phenomena occur when literary works offer inadequate and exhaustive grounds for claims. The solution’s novelty lies in its giving a normative rather than psychological or alethic explanation for the puzzling phenomena, the relevant norms being those of proper artistic appreciation. (shrink)

According to what I call the Merit Principle, roughly, works of art that attempt to elicit unmerited responses fail on their own terms and are thereby aesthetically flawed. A horror film, for instance, that attempts to elicit fear towards something that is not scary is to that extent aesthetically flawed. The Merit Principle is not only intuitive, it is also endorsed in some form by Aristotle, David Hume, and numerous contemporary figures. In this paper, I show how the principle leads (...) to a novel paradox when applied to an undertheorized class of artworks I call ‘seductive works’. These artworks necessarily invite an unmerited response in order to invite a (merited) repudiation of that response. Thus, according to the Merit Principle, they are necessarily aesthetically flawed, which is counter-intuitive. I consider a number of unsuccessful solutions to the paradox that aim to preserve the Merit Principle, before rejecting that principle as it stands. I discuss what is challenging about seductive artworks, before briefly defending a new principle that appeals to a general way that a work’s aesthetic value is conditioned by the constraints under which it operates. This principle not only resolves the paradox, but explains the competing intuitions that give rise to it. (shrink)

This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...) is that there is serious philosophy in the Euthydemos, too. MM argues that to counter the sophist brothers Euthydemos and Dionysodoros, Socrates points out that that there are different aspects to the verb 'to say' that run in parallel to the different aspects of the very 'to learn'. So just as there is continuity rather than ambiguity between 'to learn' and 'to understand', so there is continuity between the different aspects of saying. Thus Socrates puts forward a teleological account of both learning and meaning. Following up on some of MM's thoughts, I argue that the sophists subscribe, despite appearance, to a theory of meaning that respects serious and widely accepted philosophical theses on meaning. -/- Forthcoming in the Australasian Philosophical Review. The curator of the volume is Fiona Leigh, and the committee also has Hugh Benson and Tim Clarke. You can find MM's paper as well as the commentaries by Nicholas Denyer and Russell E. Jones and Ravi Sharma (and myself) by registering. (shrink)

What is objectionable about “blacking up” or other comparable acts of imagining involving unethical attitudes? Can such imaginings be wrong, even if there are no harmful consequences and imaginers are not meant to apply these attitudes beyond the fiction? In this article, we argue that blackface—and imagining in general—can be ethically flawed in virtue of being oppressive, in virtue of either its content or what imaginers do with it, where both depend on how the imagined attitudes interact with the imagining’s (...) context. We explain and demonstrate this using speech act theory alongside a detailed case study of blackface. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Vaiśeṣikasūtra – A Translation by Ionut Moise and Ganesh U. ThiteNils Seiler (bio)Vaiśeṣikasūtra – A Translation. By Ionut Moise and Ganesh U. Thite. London: Routledge, 2021. Pp. viii + 294. Paper $48.95, isbn 978-1-032005-90-4.Vaiśeṣikasūtra – A Translation by Ionut Moise and Ganesh U. Thite serves as an introduction to Vaiśeṣika thought and an introduction to the seventh-century commentary (vṛtti) on the Vaiśeṣikasūtra by Candrānanda. Their book is primarily (...) intended for non-specialists. As Moise notes, "The aim of this edition of Vaiśeṣikasūtra is, therefore, to introduce students of Western philosophy to some of the categories of Indian philosophy, and by way of this to demonstrate the necessity of conceptual correlation between Indian philosophy (particularly Vaiśeṣika) and the perennial and insoluble questions of today's World philosophy" (p. 6). Besides ShashiPrabha Kumar's Classical Vaiśeṣika in Indian Philosophy: On Knowing and What is to Be Known (2013) and the brief summaries included in surveys such as Raffaele Torella's The Philosophical Traditions of India: An Appraisal (2011), there is very little secondary literature in English that offers a general introduction to Vaiśeṣika thought, especially for non-specialists. Moise and Thite's work attempts to help fill this gap, but their work would have benefited from a longer, more descriptive introduction to Vaiśeṣika (à la Kumar and Torella). Primary literature in English on Vaiśeṣika is not much better. For example, as Moise and Thite note, only excerpts of Candrānanda's commentary have been translated into English. Thus, unlike Halbfass (1992), Nozawa (1993), and Thakur (2003) (p. ix), Moise and Thite offer the first complete translation of the earliest extant commentary on the Vaiśeṣikasūtra.The book is divided into three main parts: chapter 1 provides a brief introduction to Vaiśeṣika philosophy and a summary of Candrānanda's commentary, chapter 2 outlines the current state of manuscripts of the Vaiśeṣikasūtra and Vaiśeṣikasūtravṛtti, and chapter 3 contains a transliteration and translation of the Vaiśeṣikasūtravṛtti. The authors also include three appendices, two of which situate Vaiśeṣika philosophy within world philosophy and within its own commentarial tradition, and one of which outlines the extant manuscripts of the Vaiśeṣikasūtra and Vaiśeṣikasūtravṛtti.Moise uses chapter 1 to familiarize his philosophical audience with the tradition of Vaiśeṣika. He does this by drawing attention to the history of Greek and Indian thought, highlighting similarities between these traditions, and emphasizing the importance of naturalism, metaphysics, and ontology in both [End Page 1] traditions. Although it may seem an idiosyncratic way to introduce Indian philosophy, Moise uses the Greek tradition to build a foundation from which those unfamiliar with Indian thought may find a way into the tradition of Vaiśeṣika. This approach is more than pedagogical. Moise argues that his "preliminary survey on the Pre-Socratic Greek philosophy [sic] is important because of their conspicuous resemblance with the problems raised by the early Vedic and Upaniṣadic seers" (p. 2). The similarity between Greek and Vedic thought is essentially metaphysical, according to Moise. But there are also meaningful differences between the questions Greek and Indian thinkers pose and the answers they provide and attending to these differences can be philosophically fruitful. As Moise argues, "by matching unrelated systems of thought (Indian, Greek, analytic, and so forth), our knowledge rebuilds and reconstructs while the ontic definitions of the world gain more clarity than has ever been possible" (p. 6).According to Moise, Vaiśeṣika philosophy can challenge our metaphysical and ontological notions. Specifically, he argues that Vaiśeṣika ontology provides an alternative to the problematic dualism of matter and form in Aristotelian thought, as well as to the notions of essence and existence in the Medieval Scholastics (p. 4). Moise argues that disparate philosophical traditions can problematize and influence our understanding of philosophy: "In short, Indian philosophies begin, change, and challenge the scope of ontology" and... (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

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

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