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

It is argued that contraposition is valid for a class of natural language conditionals, if some modifications are allowed to preserve the meaning of the original conditional. In many cases, implicit temporal indices must be considered, making a change in verb tense necessary. A suitable contrapositive for implicative counterfactual conditionals can also usually be found. In some cases, the addition of certain words is necessary to preserve meaning that is present in the original sentence and would be lost or changed (...) in the contrapositive without them. A distinction is made between adding new meaning and adding new words to preserve existing meaning. For concessive conditionals and relevance conditionals, however, no valid contrapositive can be found. They do not belong to the class of contraposable conditionals, which can be independently defined. Difficult cases are also discussed in which the contradictory of the consequent semantically entails the truth of the antecedent. In such cases the content of the antecedent is implicit in the meaning of the consequent. Contraposition becomes possible if what is implicit in the original consequent is made explicit in the contrapositive antecedent. (shrink)

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is (...) valid when it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (shrink)

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...) but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that (...) such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

Public parks play important roles in conserving biodiversity, promoting environmental sustainability, fostering community engagement, and enhancing the overall well-being of residents in urban areas. Nevertheless, finance is needed to maintain and expand the greenspaces in the parks. The current study aims to examine how perceptions of biodiversity loss consequences and park visitation frequency influence the residents’ willingness to contribute financially to tree-planting projects in public parks. Employing the Bayesian Mindsponge Framework analytics on a dataset of 535 Vietnamese urban residents, we (...) discovered that perceived health loss and knowledge erosion as consequences of biodiversity loss and park visitation frequency are directly positively associated with financial donation willingness. Meanwhile, the perceived economic growth loss was found to be indirectly positively associated with donation willingness through park visitation frequency, whereas the perceived loss of nature-based recreation opportunities exhibits the opposite indirect association. Based on these results, communication strategies focusing on the multifaceted benefits of biodiversity preservation and investments in public parks are recommended to improve urban residents’ financial support to park panting initiatives, accessibility to greenspaces, and connections with nature. These are crucial for promoting an eco-surplus culture that enhances biodiversity conservation and human well-being. (shrink)

My argument is that Chalmers' zombie fiction and his rigid-designator-argument going back on Kripke comes down to a petitio principii. Rather, at the core it appears to be more related to the essential 'privacy' of the phenomenal internal perspective. In return for Chalmers I argue that the 'principle self-preservation' of living organisms necessarily implies subjectivity and the emergence of sense. The comparison with a robot proves instructive. The mode of 'mere physical' being is transcended if, in the form of phenomenal (...) perception, sense appears on the stage of higher animals – a transition explained here as an emergence phenomenon based on the systemic co-operation of perception, valuation and action ('perc-val-act system'). Some fundamental considerations are added: Those consequences implied by the principle self-preservation reveal the natural-biological origin of the organism – primarily seeming a more insignificant circumstance – as a momentous fundamental difference (end-in-itself-character, subjectivity, constitution of sense) compared to technical artefacts (robot). And the emergentist approach indicates the – maybe paradoxical – possibility of a dualism of physical and psychical phenomena in an overall physical system, that is not dualistic at the same time. (shrink)

Gómez-Torrente’s papers have made important contributions to vindicate Tarski’s model-theoretic account of the logical properties in the face of Etchemendy’s criticisms. However, at some points his vindication depends on interpreting the Tarskian account as purportedly modally deflationary, i.e., as not intended to capture the intuitive modal element in the logical properties, that logical consequence is (epistemic or alethic) necessary truth-preservation. Here it is argued that the views expressed in Tarski’s seminal work do not support this modally deflationary interpretation, even (...) if Tarski himself was sceptical about modalities. (shrink)

Environmental public policies are suffering the harmful effects of a tacit agreement between political and economical elites. Heedless of philosophical-political references, an international politico-economical oligarchic caste is largely united around dealing with environmental issues based on the sustainable development model, which is an expression of a utilitarian, anthropocentric perspective. Moreover, for this model biodiversity is in the main merely a reservoir of natural resources for human use. A dual transition – both ethical and political – is thus urgently needed to (...) preserve the integrity of natural systems and support the development of truly human societies. (shrink)

RESUME-Les politiques publiques environnementales souffrent des effets néfastes d’une entente tacite entre élites politiques et élites économiques. Indépendamment des références philosophico-politiques, une caste oligarchique politico-économique internationale gère, de manière substantiellement unitaire et tendanciellement autocratique, les affaires environnementales selon le modèle du développement durable, matérialisation d’une perspective utilitariste, anthropocentrique et ressourciste qui, essentiellement, considère que la biodiversité n’est rien d’autre qu’une réserve de ressources naturelles à la disposition de l’humanité. Désormais, une double transition éthique et politique est nécessaire pour préserver l’intégrité (...) des systèmes naturels et pour soutenir le développement des sociétés humaines. -/- ABSTRACT-Environmental public policies are suffering the harmful effects of a tacit agreement between political and economical elites. Heedless of philosophical-political references, an international politico-economical oligarchic caste is largely united around dealing with environmental issues based on the sustainable development model, which is an expression of a utilitarian, anthropocentric perspective. Moreover, for this model biodiversity is in the main merely a reservoir of natural resources for human use. A dual transition – both ethical and political – is thus urgently needed to preserve the integrity of natural systems and support the development of truly human societies. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (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)

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. Traditional logic (...) implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of (...) them radical: they can either deny that epistemic modal claims have probability at all, or they can move to a nonstandard probability theory. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of (...) logical consequence according to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

Abstract In this paper I consider an easier-to-read and improved to a certain extent version of the causal chance-based analysis of counterfactuals that I proposed and argued for in my A Theory of Counterfactuals. Sections 2, 3 and 4 form Part I: In it, I survey the analysis of the core counterfactuals (in which, very roughly, the antecedent is compatible with history prior to it). In section 2 I go through the three main aspects of this analysis, which are the (...) following. First, it is a causal analysis, in that it requires that intermediate events to which the antecedent event is not a cause be preserved in the main truth-condition schema. Second, it highlights the central notion to the semantics of counterfactuals on the account presented here -- the notion of the counterfactual probability of a given counterfactual, which is the probability of the consequent given the following: the antecedent, the prior history, and the preserved intermediate events. Third, it considers the truth conditions for counterfactuals of this sort as consisting in this counterfactual probability being higher than a threshold. In section 3, I re-formulate the analysis of preservational counterfactuals in terms of the notion of being a cause, which ends up being quite compact. In section 4 I illustrate this analysis by showing how it handles two examples that have been considered puzzling – Morgenbesser's counterfactual and Edgington's counterfactual. Sections 5 and on constitute Part II: Its main initial thrust is provided in section 5, where I present the main lines of the extension of the theory from the core counterfactuals (analyzed in part I) to counterfactuals (roughly) whose antecedents are not compatible with their prior history. In this part II, I elaborate on counterfactuals that don't belong to the core, and more specifically on so-called reconstructional counterfactuals (as opposed to the preservational counterfactuals, which constitute the core counterfactual-type). The heart of the analysis is formulated in terms of processes leading to the antecedent (event/state), and more specifically in terms of processes likely to have led to the antecedent, a notion which is analyzed entirely in terms of chance. It covers so-called reconstructional counterfactuals as opposed to the core, so-called preservational counterfactuals, which are analyzed in sections 2 and 3 of part I. The counterfactual probability of such reconstructional counterfactuals is determined via the probability of possible processes leading to the antecedent weighed, primarily and roughly, by the conditional probability of the antecedent given such process: The counterfactual probability is thus, very roughly, a weighted sum for all processes most likely to have led to the antecedent, diverging at a fixed time. In section 6 I explain and elaborate further on the main points in section 5. In section 7 I illustrate the reconstructional analysis. I specify counterfactuals which are so-called process-pointers, since their consequent specifies stages in processes likely to have led to their antecedent. I argue that so-called backtracking counterfactuals are process-pointers counterfactuals, which fit into the reconstructional analysis, and do not call for a separate reading. I then illustrate cases where a speaker unwittingly employs a certain counterfactual while charitably construable as intending to assert (or ‘having in mind’) another. Here I also cover the issue of how to construe what one can take as back-tracking counterfactuals, or counterfactuals of the reconstructional sort, and more specifically, which divergence point they should be taken as alluding to (prior to which the history is held fixed). Some such cases also give rise to what one can take as a dual reading of a counterfactual between preservational and reconstructional readings. Such cases may yield an ambiguity, where in many cases one construal is dominant. In section 8 I illustrate the analysis by applying it to the famous Bizet-Verdi counterfactuals. This detailed analysis of counterfactuals (designed for the indeterministic case) has three main distinctive elements: its being chance-based, its causal aspect, and the use it makes of processes most likely to have led to the antecedent-event. This analysis is couched in a very different conceptual base from, and is an alternative account to, analyses in terms of the standard notion of closeness or distance of possible worlds, which is the main feature of the Stalnaker-Lewis-type analyses of counterfactuals. This notion of closeness or distance plays no role whatsoever in the analysis presented here. (This notion of closeness has been left open by Stalnaker, and to significant extent also by Lewis's second account.) . (shrink)

World food production is facing exorbitant challenges like climate change, use of resources, population growth, and dietary changes. These, in turn, raise major ethical and political questions, such as how to uphold the right to adequate nutrition, or the right to enact a gastronomic culture and to preserve the conditions to do so. Proposals for utopic solutions vary from vertical farming and lab meat to diets filled with the most fanciful insects and seaweeds. Common to all proposals is a polarized (...) understanding of food and diets, famously captured by Warren Belasco in the contraposition between technological fixes and anthropological fixes. According to the first, technology will deliver clean, just, pleasurable, affordable food; future generations will not need to adjust much of their dietary cultures. According to the second, future generations should dramatically change their dietary habits (what they eat and how they eat it) to achieve a sustainable diet. The two fixes found remarkably distinct perspectives over dietary politics and the ethics of food production and consumption. In this paper we argue that such polarized thinking rests on a misrepresentation of the ontological status of food, which in turn affects the underlying ethical and political issues. Food is a socially constructed object that draws in specific ways on habits, norms, traditions, geographical, and climatic conditions. Although this thesis seems somewhat obvious, its consequences on the ethical and political perspectives on the future of food have not been derived properly. After introducing the issue at stake (¤1), we point out the polarities that characterize food utopias (¤2) and their ontological faults (¤3). We hence suggest that a socio-ontological analysis of food can better deliver the principles for a foundation of food utopias (¤4). (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...) the other does not.). (shrink)

The present paper discusses different approaches to metaphysics and defends a specific, non-deflationary approach that nevertheless qualifies as scientifically-grounded and, consequently, as acceptable from the naturalistic viewpoint. By critically assessing some recent work on science and metaphysics, we argue that such a sophisticated form of naturalism, which preserves the autonomy of metaphysics as an a priori enterprise yet pays due attention to the indications coming from our best science, is not only workable but recommended.

The wishes of registered organ donors are regularly set aside when family members object to donation. This genuine overruling of the wishes of the deceased raises difficult ethical questions. A successful argument for providing the family with a veto must (a) provide reason to disregard the wishes of the dead, and (b) establish why the family should be allowed to decide. One branch of justification seeks to reconcile the family veto with important ideas about respecting property rights, preserving autonomy, (...) and preventing harm. These arguments are ultimately unsuccessful. Another branch of arguments is consequentialist, pointing out the negative consequences of removing the veto. Whether construed as concerning family distress or as a potential drop in the organs available, these arguments are unsuccessful; the first fails to recognize the tremendous distress associated with waiting for an organ, while the second has little supporting evidence. A final section considers and rejects whether combining some of the arguments just examined could justify the family veto. We should thus remove the family veto in organ donation. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations (...) form a bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic (...) are tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

*North American Society for Social Philosophy (NASSP) Book Award 2019.* -/- *International Studies Association (ISA) - International Ethics Section Book Award 2021.* -/- Although military mores have relied primarily on just war theory, the ethic of cooperation in warfare (ECW)—between enemies even as they are trying to kill each other—is as central to the practice of warfare and to conceptualization of its morality. Neither game theory nor unilateral moral duties (God-given or otherwise) can explain the explicit language of cooperation in (...) developing and enforcing principles of military ethics and the law of armed conflict. -/- The ethic of cooperation is borne of various motivations: reciprocity, self-preservation, and efficiency, to be sure, but also a sense of warrior honor and concern with human rights. This shared morality can persist despite making it more difficult for one side or the other to win and, unfortunately, its well-meaning motivations often lead to unintended tragic consequences. -/- This book explores three manifestations of this significant yet overlooked ethic of cooperation in warfare: (1) for a “fair fight,” (2) to protect classes of individuals (e.g., non-combatants or prisoners of war), and (3) to end the war quickly. Such cooperation can take unexpected forms, from ad hoc decisions on the battlefield to institutionalization in international law, and is the source of some critical tensions in one of the most significant developments in warfare in recent years: namely, how to handle terrorism or other forms of warfare that lie outside the purview of international law. -/- Each type of ECW raises questions internal to that ethic, such as inconsistencies in the concept of “parity” across different weapons bans, contradictions within the warrior ethic that heavily influence—and therefore confuse—notions of the “fair fight,” the disconnect between what protections a person receives and his responsibility for the war (e.g., political leaders), or the limited decisiveness of outcomes generated by very short wars. -/- Their simultaneous application also generates significant tensions and raises questions about the proper relationship of ECW to the immediate goal of war itself, which is to win, and thus yield either a political settlement or a justicial decision. For example, the ECWs for a “fair fight” and to protect classes of individuals can make it harder to win the war, but even more concerning is that they can also kill more people, which in the latter case contravenes its very purpose. -/- Human history is in some ways the story of trying to concurrently wage and tame war, and the architecture of warfare itself is informed by the ECW, in particular: (a) the political nature of war, (b) the abdication from jus ad bellum judgments in order to concentrate on justice within war (jus in bello), and (c) the ways in which modern nation-states collude to define “legitimacy” in war. -/- The combination of these three features leave questions of justicial right and responsibility for war disturbingly unresolved, it also generates new challenges in a geopolitical context in which cooperative and non-cooperative (e.g. contemporary terrorism) forms of warfare clash. (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...) by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

In a review of Frege's Puzzle1, Graeme Forbes makes the claim that Salmon's account of belief might be seen, under certain conditions, as a mere notational variant of a neo-Fregean theory; and thus that such an account might be reduced to a neo-Fregean one simply by rewriting it in terms of Fregean terminology. With a view to supporting his claim, Forbes offers an outline of an account of belief which, according to him, would satisfy the following conditions: (i) it could (...) be directly obtained from Salmon's own analysis by means of a certain set of substitutions, which presumably would not affect the essential features of Salmon's view; (ii) it could naturally be described as Fregean, in the sense that it would preserve, (at least) the spirit of Frege's doctrines, especially his fundamental intuitions about belief. Of course, the upshot of Forbes's argument is that Salmon's theory would not, at bottom, constitute a genuine alternative to a Fregean semantics for belief ascriptions. In this paper I argue to the effect that Forbes's claim is not in general sound. It seems to me that the sort of indirect argument used by Forbes - that of trying to undermine Salmon's theory by showing that it is just a version of a neo-Fregean account - does not provide someone working within a Fregean framework with an adequate strategy to counter Salmon's neo-Russellian views. It would perhaps be better to concentrate a Fregean attack on certain apparently dubious and highly controversial theses and results which are constitutive of Salmon's view, e.g. the counterintuitive character of a substantial set of consequences which follow from his theory of belief, as well as the associated revisionist stand he is forced to take towards our current patterns of speaking about belief. (shrink)

This paper seeks to propose a direction of research based upon the transformation of Merleau-Ponty's thinking with respect to animal life over the course of his writings. In his earlier works, Merleau-Ponty takes up the position that “life” does not mean the same thing when applied to an animal and a human being because of the manner in which the “human dialectic” alters the human being's relation to life. In his later works, particularly in his lectures on nature, this position (...) softens so that the relationship between animals and humans becomes non-hierarchical, but remains essentially the same: there may be no “rupture” between humans and animals, but they are still essentially distinct insofar as all non-humans can be grouped into a single class of “animality.” I attempt to show that Merleau-Ponty fails to follow through with his most radical insights with respect to the relationships between living beings by preserving this distinction and suggest some ways in which we might today confront this problem through the works of Merleau-Ponty in a way that he did not. The proposal, then, is to take seriously “dialectical” biology and develop a Merleau-Pontian conception of species based upon the interrelations of living beings and their environments rather than focusing solely on organisms as discrete units. The conclusion then considers what the consequences of this understanding might be for our understanding of Merleau-Ponty's ontology in general. (shrink)

I defend the view that a significant ethical distinction can be made between justified killing in self-defense and police use of lethal force. I start by opposing the belief that police use of lethal force is morally justified on the basis of self-defense. Then I demonstrate that the state’s monopoly on the use of force within a given jurisdiction invests police officers with responsibilities that go beyond what morality requires of the average person. I argue that the police should primarily (...) be concerned with preserving public safety. As a consequence, police have additional moral permissions to use lethal force. But this also means that the principle of restraint is inherent to the policing function and therefore police are obliged to go to greater lengths to avoid killing. I concede that the just use of police force can be made difficult in extreme situations such as a mass riot. In such cases, police should take proportionate actions necessary to protect the lives of inhabitants by restoring order, which might include calling on military support. I conclude with a cautionary note opposing militarization of the policing role. (shrink)

The COVID-19 crisis has not only ontological roots but also epistemic ones too; its cause lies in the main evolutionary trends in the development of science as a social institution. And only then the epistemic factors were transformed into existential-ontological ones, connected with the very existence of civilization and our biosocial nature. The way out of the crisis is the unalterable development of all sectors of technologies of controlled evolution. As a result, biopolitics extends the sphere of competence to interstate (...) and interethnic relations, becomes transbiopolitics, ie a global geopolitical factor responsible for the preservation of humanity and its self-identity. The coronavirus pandemic, like other manifestations of the civilization crisis, is politically generated by globalization. The same consequences of globalization contribute to the fragmentation of the geopolitical space and the inhibition of the actual globalization process. the pandemic scale of the crisis immediately brought biopolitics to the level of a systemic factor in interstate relations in both formal and substantive aspects. (shrink)

This article discusses Sven Ove Hansson’s corpus model for the influence of values (in particular, non-epistemic ones) in the hypothesis acceptance/rejection phase of scientific inquiry. This corpus model is based on Hansson’s concepts of scientific corpus and science ‘in the large sense’. I first present Hansson’s corpus model of value influence with some introductory comments about its origins, a detailed presentation of the model with a new terminology, an analysis of its limits, and an appreciation of its handling of controversial (...) non-epistemic values. I conclude that it is a very good candidate for managing value influence, because contrary to other models in the literature it is fairly simple, it provides a universal and systematic procedure for dealing with values, and it syste- matically preserves the epistemic integrity of science. I then study some difficulties associated with the model’s central feature of taking the maximum level of evidence required by the applications of a claim in order for the latter to enter the scientific corpus: the difficulty to identify this maximum requirement; the non-optimality of this requirement with respect to other less demanding requirements; the potentially detrimental consequences of the preference for false negatives over false positives on which it relies; and the issue of whether there can nevertheless be requirements higher than this maximum. I show that these issues may potentially challenge the corpus model. Finally, I call for empirical work (in particular, an investigation of scientists’ and engineers’ own normative views) in order to better assess these issues. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

According to an often repeated definition, economics is the science of individual choices and their consequences. The emphasis on choice is often used – implicitly or explicitly – to mark a contrast between markets and the state: While the price mechanism in well-functioning markets preserves freedom of choice and still efficiently coordinates individual actions, the state has to rely to some degree on coercion to coordinate individual actions. Since coercion should not be used arbitrarily, coordination by the state needs to (...) be legitimized by the consent of its citizens. The emphasis in economic theory on freedom of choice in the market sphere suggests that legitimization in the market sphere is “automatic” and that markets can thus avoid the typical legitimization problem of the state. In this paper, I shall question the alleged dichotomy between legitimization in the market and in the state. I shall argue that it is the result of a conflation of choice and consent in economics and show how an independent concept of consent makes the need for legitimization of market transactions visible. Footnotes1 For helpful comments and suggestions I am most grateful to Marc Fleurbaey, Alain Marciano, Herlinde Pauer-Studer, Thomas Pogge, Hans Bernhard Schmid, to seminar or conference participants in Aix-Marseille, Tutzing, Paris, and Amsterdam, and to two anonymous referees. (shrink)

A key objective of the law in the assessment of decision-making capacity in clinical settings is to allow clinicians and judges to avoid making value judgements about the reasons that patients use to refuse treatment. This paper advances two lines of argument in respect of this objective. The first is that authorities cannot rationally avoid significant evaluative judgements in the assessment of a patient’s own assessment of the facts of their case. Assessing reasoning is unavoidably value-laden. Yet the underlying motivation (...) behind clinicians’ and the law’s value-neutral aims, ie, the avoidance of undue paternalism, is worth preserving. That being so, the second line of argument will try to show that that underlying motivation is better served in a limited range of cases by embedding a ‘reversibility standard’ in the assessment process so that the patient can, if they wish, and in due course, bring about the consequences that they were prevented from realising as a result of a determination of incapacity. (shrink)

As a sort of intellectual provocation and as a lateral thinking strategy for creativity, this chapter seeks to determine what the study of the dynamics of biodiversity can offer linguists. In recent years, the analogical equation "language = biological species" has become more widespread as a metaphorical source for conceptual renovation, and, at the same time, as a justification for the defense of language diversity. Language diversity would be protected in a way similar to the mobilization that has taken place (...) to protect endangered species. Nevertheless, one must be careful when uncritically transferring conceptualizations and theoretical frameworks from one field to another, since obviously, these two phenomena are quite different in the real world. The dialogue with bioecologists starts by asking about the formation of diversity, i.e., about specialization. Here, one can observe the similarity between the processes of linguistic and genetic fragmentation, in the sense that both phenomena have a (socio)geographical basis for dispersion and consequently, for the loss of their original compact nature and their intercommunication. The self-organizing and creative properties of human beings favor the development of specific varieties for each subset, varieties that continue to evolve constantly, through the unceasing "languaging" of humanity. Regarding the continuity of species or languages, one can also observe the decisive role of intragroup relations. The staying power of linguistic varieties will increase in direct proportion to the intensity of the relationship among the components of the subset. On the other hand, if exotic elements are introduced, especially if these elements are aggressive in nature, the alteration of the ecological niche may turn out to be fatal for the continuity of the previously existing forms. This suggests to us the need to make an in-depth study of what the minimal contextual conditions would be so that a set linguistic group could be assured a sustainable continuity within a framework of linguistic contact. What type of minimum (socio-)ecological niche would a language have to have if we wished to ensure its habitual reproduction? A proposal is made here to explore the ideas of "exclusive functions" and "non-hierarchical functional distribution" for codes in situations where there is high contact and a danger of disuse. As regards change, this phenomenon is seen as an inherent element in the tendency of life to create new developments, which may or not be accompanied by an adaptation to changing environmental conditions. It is pointed out that, similar to what happens in biology, much of linguistic innovation stems from a systemically reorganized mixture of solutions from different codes. An important research question would be, however, to determine why some of these innovations disappear and others survive and extend throughout the community. The big question mark, as Mufwene points out, is, then how to manage to understand how "the evolution of language proceeds by naturally selecting from among the competing alternatives available through the idiolects of individual speakers". Extinction, whether it be of languages or of species, is caused in most cases "by a combination of demographic processes and environmental changes", as Brown points out. Thus, the environment plays a fundamental role in the direction of evolution, since the "the survival of the fittest is, in actuality, the survival of those who fit into the context (Allen and Hoekstra)". This allows us to see the great degree of importance of political-economic contexts in the case of languages. In the same way, migratory movements are also one of the major variables determining the extinction of biodiversity and language diversity. Species and habitat form the basic unit of existence, and this is the major point of departure for understanding the problem of the preservation and recovery of species or languages. Given the increase in the degree of linguistic contact, the continuity of language diversity depends on determining, as exactly as possible, as Prigogine, the physicist, would say, what precise conditions of imbalance may prove to be stable. The great challenge is not so much avoiding contact but managing it. And "restorative ecology" can also be of help to us here. Being able to reach sustainable solutions for language diversity implies a profound knowledge of the dynamics for determining the ways in which language is used in contact situations. The general conclusion is that linguistics is still terminologically and conceptually ill prepared to deal with the dynamic character of human languages. The world and our objects must be conceived of as elements in a state of flux, as changing systems in an unstable equilibrium. With respect to language policy, it would be necessary to make an effort to manage to establish some general principles regarding the linguistic organization of the human species that would make it possible for local linguistic diversity and communication on a planetary scale, which must necessarily take place, to be compatible with each other. To succeed, it will be necessary to continue promoting an autonomous socio-ecological perspective devoted to the comprehension of language phenomena. Such a perspective would be based on a paradigm of complexity, and would, at the same time, place human beings at the center of its theoretical underpinnings. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation (...) of the standard meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

In the recent debate between conceptualists and nonconceptualists about perceptual content, Kant’s notion of intuition has been invoked on both sides. Conceptualists claim Kant as a forerunner of their position, arguing that Kantian intuitions have the same kind of content as conceptual thought. On the other hand, nonconceptualists claim Kant as a forerunner of their own position, contending that Kantian intuitions have a distinctly nonconceptual kind of content. In this paper, I argue first, that both sides are wrong about Kant, (...) secondly, that neither side can properly account for the epistemic function of intuition, and thirdly, that Kant’s own notion of intuition contains the resources for a third alternative. The epistemic function of an intuition for Kant is to furnish the sensory representation of an object of cognition. Conceptualism cannot account for this function because it construes perception as a species of thought. As a proper appreciation of Kant’s reasons for insisting upon the heterogeneity of thought and perception puts one in a position to see, any view that does this will fail to do justice to the distinctly sensory nature of intuition. Nonconceptualism, on the other hand, cannot account for the epistemic function of intuition because it views intuition as self-standing, and thus as completely independent from thought. As a consequence, nonconceptualism is not entitled to claim that an intuition is itself a cognitive state. I show that Kant’s actual view avoids both these extremes because it involves a different way of conceiving how perception is informed by conceptual thought. Building on this conception, Kant is able to preserve the distinctly sensory nature of intuition, while also securing proper cognitive standing for it. As a result, Kant’s notion of intuition provides the resources for an alternative account of how thought relates to the senses – one that avoids the shortcomings of the positions staked out in the contemporary debate. (shrink)

Traditional inflationary approaches that specify the nature of truth are attractive in certain ways; yet, while many of these theories successfully explain why propositions in certain domains of discourse are true, they fail to adequately specify the nature of truth because they run up against counterexamples when attempting to generalize across all domains. One popular consequence is skepticism about the efficaciousness of inflationary approaches altogether. Yet, by recognizing that the failure to explain the truth of disparate propositions often stems (...) from inflationary approaches' allegiance to alethic monism, pluralist approaches are able to avoid this explanatory inadequacy and the resulting skepticism, though at the cost of inviting other conceptual difficulties. A novel approach, alethic functionalism, attempts to circumvent the problems faced by pluralist approaches while preserving their main insights. Unfortunately, it too generates additional problems---namely, with its suspect appropriation of the multiple realizability paradigm and its platitude-based strategy---that need to be dissolved before it can constitute an adequate inflationary approach to the nature of truth. (shrink)

The article develops a general theory of the goals of free moral commitment. The theoretical hook is the discussion of the strict efficiency striving as demanded by the movement and theory of effective altruism. A detailed example shows prima facie counterintuitive consequences of this efficiency striving, the analysis of which reveals various problems such as: merely point-like but not structural commitment; radical universalism; violation of established moral standards and institutions. The article takes these problems as an occasion to develop a (...) general theory of moral investment with moral guidelines and planning instruments of its implementation such as: efficiency; preservation of existing moral standards and obligations, especially also towards those close to one; rooted universalism with adequate consideration of all beneficiaries of one's moral concern through allocation of separate budgets; real efficiency also through inclusion of strategic and organic investments. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

During the 1630s Descartes recognized that he could not expect all legitimate claims in natural science to meet the standard of absolute certainty. The realization resulted from a change in his physics, which itself arose not through methodological reflections, but through developments in his substantive metaphysical doctrines. Descartes discovered the metaphysical foundations of his physics in 1629-30; as a consequence, the style of explanation employed in his physical writings changed. His early methodological conceptions, as preserved in the Rules and (...) sketched in Part Two of the Discourse, pertained primarily to his early work in optics. By the early 1630s, Descartes was concerned with new methodological problems pertaining to the postulation of micro-mechanisms. Recognition of the need to employ a method of hypothesis led him to lower the standard of certainty required of particular explanations in his mature physics. (shrink)

Straightening the current ‘value-laden turn’ (VLT) in the philosophical literature on values in science, and reviving the legacy of the value-free ideal of science (VFI), this paper argues that the influence of extra-scientific values should be minimised—not excluded—in the core phase of scientific inquiry where claims are accepted or rejected. Noting that the original arguments for the VFI (ensuring the truth of scientific knowledge, respecting the autonomy of science results users, preserving public trust in science) have not been satisfactorily (...) addressed by proponents of the VLT, it proposes four prerequisites which any model for values in the acceptance/rejection phase of scientific inquiry should respect, coming from the fundamental requirement to distinguish between facts and values: (1) the truth of scientific knowledge must be ensured; (2) the uncertainties associated with scientific claims must be stated clearly; (3) claims accepted into the scientific corpus must be distinguished from claims taken as a basis for action. An additional prerequisite of (4) simplicity and systematicity is desirable, if the model is to be applicable. Methodological documents from international institutions and regulation agencies are used to illustrate the prerequisites. A model combining Betz’s conception (stating uncertainties associated with scientific claims) and Hansson’s corpus model (ensuring the truth of the scientific corpus and distinguishing it from other claims taken as a basis for action) is proposed. Additional prerequisites are finally suggested for future research, stemming from the requirement for philosophy of science to self-reflect on its own values: (5) any model for values in science must be descriptively and normatively relevant; and (6) its consequences must be thoroughly assessed. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of (...) the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

According to Rosenthal’s Higher-Order Thought (HOT) theory of consciousness, first-order mental states become conscious only when they are targeted by HOTs that necessarily represent the states as belonging to self. On this view a state represented as belonging to someone distinct from self could not be a conscious state. Rosenthal develops this view in terms of what he calls the ‘thin immunity principle’ (TIP). According to TIP, when I experience a conscious state, I cannot be wrong about whether it is (...) I who I think is in that state. We first suggest that TIP is a direct consequence of the HOT theory. Next we argue that somatoparaphrenia—a pathology in which sensations are sometimes represented as belonging to other people—shows that TIP can be violated. This violation of TIP in turn shows that the HOT theory’s claim that conscious states are necessarily represented as belonging to self is in error. Rosenthal’s attempt to account for pathological cases is found to be inadequate when applied to somatoparaphrenia, and other possible defenses are also shown to be incapable of preserving TIP. We further conclude by suggesting that the HOT theory’s failing in this regard is not a failing that is peculiar to this theory of consciousness. (shrink)

This paper develops a new framework for combining propositional logics, called "juxtaposition". Several general metalogical theorems are proved concerning the combination of logics by juxtaposition. In particular, it is shown that under reasonable conditions, juxtaposition preserves strong soundness. Under reasonable conditions, the juxtaposition of two consequence relations is a conservative extension of each of them. A general strong completeness result is proved. The paper then examines the philosophically important case of the combination of classical and intuitionist logics. Particular attention (...) is paid to the phenomenon of collapse. It is shown that there are logics with two stocks of classical or intuitionist connectives that do not collapse. Finally, the paper briefy investigates the question of which rules, when added to these logics, lead to collapse. (shrink)

Agnieszka Jaworska and Julie Tannenbaum recently developed the ingenious and novel person‐rearing account of moral status, which preserves the commonsense judgment that humans have a higher moral status than nonhuman animals. It aims to vindicate speciesist judgments while avoiding the problems typically associated with speciesist views. We argue, however, that there is good reason to reject person‐rearing views. Person‐rearing views have to be coupled with an account of flourishing, which will (according to Jaworska and Tannenbaum) be either a species norm (...) or an intrinsic potential account of flourishing. As we show, however, person‐rearing accounts generate extremely implausible consequences when combined with the accounts of flourishing Jaworska and Tannenbaum need for the purposes of their view. (shrink)

McGee argued that modus ponens was invalid for the natural language conditional ‘If…then…’. Many subsequent responses have argued that, while McGee’s examples show that modus ponens fails to preserve truth, they do not show that modus ponens fails to preserve rational full acceptance, and thus modus ponens may still be valid in the latter informational sense. I show that when we turn our attention from indicative conditionals to subjunctive conditionals, we find that modus ponens does not preserve either truth or (...) rational full acceptance, and thus is not valid in either sense. In concluding I briefly consider how we can account for these facts. (shrink)

The following four assumptions plausibly describe the ideal rational agent. (1) She knows what her beliefs are. (2) She desires to believe only truths. (3) Whenever she desires that P → Q and knows that P, she desires that Q. (4) She does not both desire that P and desire that ~P, for any P. Although the assumptions are plausible, they have an implausible consequence. They imply that the ideal rational agent does not believe and desire contradictory propositions. She (...) neither desires the world to be any different than she thinks it is, nor thinks it is any different than she desires it to be. The problem of preserving our intuitions about desire, without embracing the implausible conclusion, is what I call “the Wishful Thinking Puzzle.” In this paper, I examine how this puzzle arises, and I argue that it is surprisingly difficult to solve. Even the decision theoretic conception of desire is not immune to the puzzle. One approach, the contrastive conception of desire, does avoid the puzzle without being ad hoc, but it remains too inchoate to win our full confidence. (shrink)

Climate change – and its most dangerous consequence, the rapid overheating of the planet – is not the offspring of a natural procedure; instead, it is human-induced. It is only the aftermath of a specific pattern of conomic development, one that focuses mainly on economic growth rather than on quality of life and sustainability. Since climate change is a major threat not only to millions of humans, but also to numerous non-human species and other forms of life, as well (...) as to the equilibrium and the viability of the very planet, addressing it is of dire importance. In this chapter it will be argued that addressing the threat of climate change is primarily a task and a challenge for ethics, since the stabilization and gradual amelioration of the situation requires abandoning an up to now dominant model of life, longestablished customs and a so far cogent system of moral values. It will be further maintained that this for ethics might – or, even, should – become a new categorical imperative, since preserving the viability of the planet is a fundamental moral duty not only towards the existing members of the moral community, but also towards future generations. (shrink)