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)

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)

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)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (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)

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)

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)

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)

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 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)

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)

It has come to be widely accepted that jus post bellum includes responsibilities to rebuild. Consequently, duties to establish a sustainable peace are increasingly defined in terms of duties to protect and promote international human rights, including duties to effectively investigate human rights violations, to ensure access to effective remedy, and to transform institutional and legal contexts that have facilitated or sustained human abuse. But what are investigations by transitional bodies seeking when they take on these tasks? Often, investigators present (...) themselves as seeking the truth and claim value for their findings based on having produced a better description or explanation than was antecedently available. But is truth worth pursuing for its own sake in transitions from conflict or must it contribute to some other goal to be valuable? In what follows I argue that the value of truth in transitions from conflict lies in the role of truth in ascribing knowledge. The connection between truth and knowledge makes it important to preserve distinctively epistemological grounds for accepting and rejecting claims and narratives. These distinctively epistemological grounds explain how, if it is conceived of as adequate responsiveness to experience, truth is a legitimate and important goal in transitions from violence that is worth pursuing for its own sake. In particular, I argue that there is value in insisting that adequate responsiveness to experience serve as an arbiter in the reception of claims and narratives because when responsiveness to experience plays an arbitral role it becomes possible for bodies such as truth commissions to serve as vehicles by which groups may attain or ascribe knowledge. (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 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)

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)

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)

Practical reason is the general human capacity for resolving, through reflection, the question of what one is to do. Deliberation of this kind is practical in at least two senses. First, it is practical in its subject matter, insofar as it is concerned with action. But it is also practical in its consequences or its issue, insofar as reflection about action itself directly moves people to act. Our capacity for deliberative self-determination raises two sets of philosophical problems. For one thing, (...) there are questions about how deliberation can succeed in being practical in its issue. What do we need to assume—both about agents and about the processes of reasoning they engage in—to make sense of the fact that deliberative reflection can directly give rise to action? Can we do justice to this dimension of practical reason while preserving the idea that practical deliberation is genuinely a form of reasoning? For another, there are large issues concerning the content of the standards that are brought to bear in practical reasoning. Which norms for the assessment of action are binding on us as deliberating agents? Do these norms provide resources for critical reflection about our ends, or are they exclusively instrumental? Under what conditions do moral norms yield valid standards for reasoning about action? The first set of issues is addressed in sections §§1–3 of the present article, while sections §§4–6 cover the second set of issues. (shrink)

The spatial-ecological modeling is relating sustainable dispersions with social development. Sustainability with spatial-ecological model gives attention to urban environments in the design review management to comply with Earth’s system. Naturally exchanged patterns of ecosystems have consistent and periodic cycles to preserve energy flows and materials in Earth’s system. The Probabilistic Risk Assessment (PRA) technique is utilized to assess the safety of an industrial complex. The other analytical approach is the Failure-Safe Mode and Effect Analysis (FMEA) for critical components. The plant (...) safety parameters are identified for engineering topology as employed in assessment safety of industrial ecology. In particular, the most severe accidental release of hazardous gaseous is postulated, analyzed and assessment in industrial region. The IAEA-safety assessment procedure is used to account the duration and rate of discharge of liquid chlorine. The ecological model of plume dispersion width and concentration of chlorine gas in the downwind direction is determined using Gaussian Plume Model in urban and rural areas and presented with SURFER®. The prediction of accident consequences is traced in risk contour concentration lines. The local greenhouse effect is predicted with relevant conclusions. The spatial-ecological model is predicted for multiple factors distribution schemes of multi-criteria analysis. The input–output analysis is explored from the spillover effect, and we conducted Monte Carlo simulations for sensitivity analysis. Their unique structure is balanced within “equilibrium patterns”, such as the composite index for biosphere with collective structure of many distributed feedback flows. These dynamic structures are related to have their physical and chemical properties and enable a gradual and prolonged incremental pattern. While this spatial model structure argues from ecology, resource savings, static load design, financial and other pragmatic reasons, the outcomes are not decisive in an artistic/architectural perspective. The hypothesis is deployed to unify analytic and analogical spatial structure in development urban environments using optimization loads as an example of integrated industrial structure where the process is based on engineering topology of systems ecology. (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)

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)

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)

This paper addresses five questions: First, what is trajectory of Western liberal ethics and politics in defining life, rights and citizenship? Second, how will neuro-remediation and other technologies change the definition of death for the brain injured and the cryonically suspended? Third, will people always have to be dead to be cryonically suspended? Fourth, how will changing technologies and definitions of identity affect the status of people revived from brain injury and cryonic suspension? I propose that Western liberal thought is (...) working towards a natural end, a “telos.” In response to a variety of biotechnologies, law and public opinion in liberal democracies will be forced to make explicit that the rights of a living thing are determined by its level of consciousness. I discuss the way that technology will force three clarifications about the value of consciousness, at the beginning, the end and boundaries of human life. Sentience and personhood will become the basis of moral concern, regardless of its media. Just as human rights have become independent of race, gender and property, rights will become independent of being a breathing human being. But even as we make this transition, the cryonically preserved are still likely to be considered dead for pragmatic reasons, albeit with gradually increasing rights as technology makes their reanimation increasingly probable. I suggest that it could be acceptable to cryonicists that the frozen continue to be defined as dead if assisted suicide can be legalized. Under a liberal assisted suicide policy cryonicists might be allowed to carry out suspension before a declaration of death, preserving the maximum amount of neural information. The gradual redefinition of life and personal identity in terms of psychological continuity will also have consequences for the legal status of the reanimated. If, due to information loss, the reanimated do not meet a threshold of psychological continuity, they may be considered new persons. Cryonicists may therefore wish to specify ahead of time whether they are still interested in being reanimated if pre-animation assessment suggests that the result will not meet the necessary threshold of continuity. Finally, I touch on the way that neural technology will fundamentally problematize the separate, autonomous self on which liberal democratic values are based, leading to a legal and political Singularity. It is this looming neural Singularity that makes the proposed liberal democratic telos a final stage in humanistic thought, before it is superceded by something radically different. (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)

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)

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)

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)

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)

*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)

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)

One way in which bioethicists can benefit the medical community is by clarifying the concept of disorder. Since insurance companies refer to the DSM for whether a patient should receive assistance, one must consider the consequences of one’s concept of disorder for who should be provided with care. I offer a refinement of Jerome Wakefield’s hybrid concept of disorder, the harmful dysfunction analysis. I criticize both the factual component and the value component of Wakefield’s account and suggest how they might (...) be improved. I propose that the factual component should be statistical variation analyzed in multilevel and chronological compilations of physiological data. I propose that the value component should prioritize the individual’s authority regarding the experience of suffering from a physiological condition. My account preserves the insight of using a factual and a value component while avoiding the problems that Wakefield’s original account faces. (shrink)

Beauvoir’s Ethics of Ambiguity appears to defend a distinctly existentialist, deontologically-constrained version of consequentialism. On that interpretation, her belief that freedom consists in the real possibilities provided by our concrete situation leads her to reject Kantian autonomy to allow for some consequentialist decisions, while her belief that our situation derives its meaning from freely-chosen projects leads her to limit such choices to their consequences for situated freedom rather than general happiness. However, I will argue that Beauvoir’s view is better understood (...) as a non-deontological, internal critique of consequentialism, rooted in Marx’s historical materialism rather than her existentialist commitments. Beauvoir challenges consequentialism’s tendency to evaluate decision-making over actions, and intended or predicted consequences over actual ones, considering consequences during a limited time-frame despite their variable, contingent future value. In other words, consequentialism is insufficiently consequentialist, a view rooted in historical materialism in two ways. First, her materialist understanding of freedom as situated possibility requires an ethics that prioritizes real rather than projected consequences. Materialist consequentialism acknowledges outcomes are never final and so refuses to assign unambiguous moral value. A decision’s ethical value is preserved only to the degree that the value of its real consequences for existing individuals’ projects is maintained into the indefinite future. Second, her view that value is historical, a human creation based in our actual situation’s contingent utility to our individually chosen projects, denies that any consequence has a fixed value independent of the historical development of humanity as realized through individual choices. Historical-materialist consequentialism demands moral agents retroactively reassess the moral status of every action in order to repair consequences that have, because of changing human purposes, become obstacles to freedom. Together, these historical materialist constraints ground Beauvoir’s demand for an ethics that is ambiguous in principle as well as practice: no decision, action, or consequence has a fixed moral value because consequences are always incomplete and, even when they do not change, the projects that give them value change. While compatible with existentialist conceptions of freedom, responsibility, and authenticity, her ethics does not require such commitments, making it more Marxist than existentialist in character. (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)

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)

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)

The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly (...) algebraizable in terms of a specific class of Boolean algebras with a binary operator representing the counterfactual implication; in contrast, we show that the local consequence relation is generally not algebraizable, although it can be characterized as the degree-preserving logic over the same algebraic models. Further, we delve into the algebraic semantics of Lewis's logics, developing two dual equivalences with respect to particular topological spaces. In more details, we show a duality with respect to the topological version of Lewis's sphere models, and also with respect to Stone spaces with a selection function; using the latter, we demonstrate the strong completeness of Lewis's logics with respect to sphere models. Finally, we draw some considerations concerning the limit assumption over sphere models. (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)

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)

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)

Generative artificial intelligence has given us synthetic media that are increasingly easy to create and increasingly hard to distinguish from photographs and videos. Whereas an existing literature has been concerned with how these new media might make a difference for would-be knowers—the viewers of photographs and videos—I advance a thesis about how they will make a difference for would-be communicators—those who embed photos and videos in their speech acts. I claim that the presence of these media in our information environment (...) reduces our ability to show one another things, even as it may increase our resources for telling. And I argue that this has consequences beyond the disruption of knowledge acquisition; showing is a way that we preserve relational equality through superficial asymmetries in political communication, and thereby express respect for our audiences. If synthetic media reduce our options for showing, they then interfere in the way that we manage our relationships in the context of collective political action. (shrink)

The excessive population growth leading to urbanization and, subsequent to it, urban sprawl, increases the size and number of urban settlements. Consequently, to fulfill the land needed for this expansion, humans encroach the public open areas, including highly crucial urban green spaces. Generally, any kind of greenness within the city, known as urban green spaces, benefits the ecosystem and the inhabitants. Hence, the green infrastructure, universally, should be preserved. Urban parks, specifically urban forest parks, serving as recreational green public spaces, (...) are beneficial for environmental issues and human’s mental and physical health, in other words, well-being, by enabling them to interact with nature. To appropriately preserve the urban forest parks, being aware of the motivational factors for the visitors have a key role. While the willingness factors vary amongst people, it is important to know whether different people can experience the same park diversely, which is almost attractive in terms of general park features. Hence, the study refers to the concept of sense of place, capable of turning spaces into the desired places, framing the users’ behavior and transmitting cultural meaning. Augmentation occurs using Information and Communication Technologies (ICTs) in urban environments. It can be as simple as telecommunication technologies or very complicated ones. With their everyday use in peoples’ lifestyles, they have penetrated humans’ real lives, fading away the border detaching the real world from the world of computer-mediated services. Nowadays, a holistic technological perspective dominates the urban areas rather than individual ICT projects, which can reshape people’s interaction with their surroundings. Hence, the ICT-enriched spaces result in augmented spaces that convey a sense of place, supporting meaning-making and behavior framing. With its recent definition, gamification, which is the process of making activities more game-like, is a sample of augmentation. While triggering motivation in the users, it can support inducing new behaviors or reshaping the existing ones. Currently, gamification is spread out to various domains, both in academia and amongst practitioners. However, while gamification may involve any type of content, it is called a serious game in the case of transmitting serious educational content besides being entertaining. They are able to engage the player with the education of a certain topic or enhancement of a specific skill. The recent covid-19 outbreak and consequent confinement periods affected people's everyday lifestyles. While suddenly, people lost the freedom of being outdoor, experiencing new places, and interacting with each other, the technology rescued them from such a phenomenon. Virtual environment served them as a mediator to be in the same place, interact, and experience their daily activities in a novel form. Additionally, gamification changed even the sense of their virtual places. This thesis aims to enrich the park visitors’ experience via entertainingly introducing the Atatürk urban forest park to them, accompanied with educational content, by means of a locative serious game. The game benefits from the public awareness reinforcement to serve urban green space preservation. It generates a sense of placeness in its in situ mobile version and desktop version, played remotely, to frame the players’ behavior for the sake of its aim. The thesis is divided into six chapters to achieve its intended aim: The first chapter, the introduction, describes the excessive population growth leading to urbanization and its subsequent, urban sprawl, which increases the size and number of urban settlements and decreases the area of highly crucial urban green spaces. Discussing the green infrastructure benefits, this part emphasizes the importance of its preservation. After a brief debate around the possible ways of this conservation, this chapter continues with the thesis's purpose, method, and content. The literature review part, located in the second and the third chapter, introduces the types, definitions, and the benefits of the urban green spaces, instanced as parks and urban forest parks. This chapter continues with a description of the park experience, followed by the concept of the sense of place. Augmentation and the use of ICTs for behavior framing are described, followed by the idea of gamification, serious games, related case studies, and software. Next, in the fourth chapter, the thesis continues with the research part. Firstly, it introduces the selected area, Atatürk Urban Forest Park, with its detailed fauna and flora information. Then, it proceeds with the game development part, introducing the operated 360° panoramic field photography with a smartphone and using 3dvista Virtual Tour PRO software as the game development tool to provide a locative serious game. For the evaluation of the developed game’s success, in the fifth chapter, the thesis conducts an online survey, including a Google form questionnaire, requested to be filled after the gameplay, focused on the remote version, inspired by the pandemic situation. Finally, in the last chapter, the thesis results are concluded, and the discussions around the future possibilities of the provided method and its capabilities are made to enlighten the field for further studies. (shrink)

Social media has transformed how individuals handle their illnesses. While many patients increasingly use these online platforms to understand embodied information surrounding their conditions, healthcare professionals often frame these practices as negative and do not consider the expertise that patients generate through social media. Through a combination of insights from social epistemology and ignorance studies, this paper problematizes the distinctive understandings of social media between patients and healthcare professionals from a different perspective. A total of four ideas are introduced: (1) (...) healthcare professionals see embodied knowledge that arises from patients’ social media practices as uncomfortable knowledge; (2) healthcare professionals engage in several behaviours to preserve their authority and power in front of embodied knowledge created through these online platforms; (3) failing to consider embodied knowledge can have consequences not only in terms of trust between patients and healthcare professionals but also in connection with epistemological populism and the transition towards patient-centred care; and (4) media and digital health literacy could help healthcare professionals enhance the uses of social media in healthcare. Adopting this framework allows not only to offer valuable insights into how healthcare professionals manage patients’ social media practices, but also opens new avenues to improve healthcare digitisation. (shrink)

The adaptive reuse of industrial heritage, a critical component in addressing radical climate change-related urban transitions, is increasingly pertinent. This paper distinguishes ‘urban transitions’ from ‘urban transformation,’ emphasizing a more gradual, adaptive approach to urban development under the pressures of climate change. It explores the repurposing of industrial buildings and spaces, maintaining their cultural and historical value while meeting current urban needs. Through a mixed-methods approach, the paper analyses how adaptive reuse contributes to sustainable urban development, examines the scale and (...) impact of such projects from local quarters to city-wide implications, and discusses the potential negative consequences, including gentrif ication. The study spans various global regions, including Europe, the United States, Latin America, Canada, and Australia, using case studies to illustrate the effectiveness of adaptive reuse in promoting sustainability, revitalizing urban areas, and preserving cultural heritage. The paper questions the viability of traditional long-term sustainable urban development strategies in the face of rapid environmental and societal changes, suggesting a potential need for paradigm shifts in urban planning. (shrink)