(2012). The Non-Derivability of Kantian Right from the Categorical Imperative: A Response to Nance. International Journal of Philosophical Studies: Vol. 20, No. 4, pp. 557-564.

In ‘‘The Myth of Original Intentionality,’’ Daniel Dennett appears to want to argue for four claims involving the familiar distinction between original (or underived) and derived intentionality.

In ‘‘The Myth of Original Intentionality,’’ Daniel Dennett appears to want to argue for four claims involving the familiar distinction between original (or underived) and derived intentionality. 1. Humans lack original intentionality. 2. Humans have derived intentionality only. 3. There is no distinction between original and derived intentionality. 4. There is no such thing as original intentionality. We argue that Dennett’s discussion fails to secure any of these conclusions for the contents of thoughts.

Imagine a sculptor who molds a lump of clay to create a statue. Hylomorphism claims that the statue and the lump of clay are two different colocated objects that have different forms, even though they share the same matter. Recently, there has been some discussion on the requirements of consistency for hylomorphist theories. In this paper, we focus on an argument presented by Maegan Fairchild, according to which a minimal version of hylomorphism is inconsistent. We argue that the argument is (...) unsound or, at best, it just points to a well-known problem for hylmorphist theories. Additionally, we explore some general consequences of this fact. (shrink)

This paper offers a sketch of welfarist pluralism, a view that is intended to resolve a difficulty for non-derivative pluralists about normative reasons for belief. Welfarist pluralism is the view that all reasons for belief are rooted in wellbeing, and that wellbeing has as one of its components being in a positive epistemic state. The paper explores how this view can explain various pluralist intuitions and why it offers a plausible basis for combinatorial pluralists who believe that alethic and pragmatic (...) reasons for belief combine to determine what one ought to believe. The paper also considers the relationship between theoretical rationality and wellbeing, and provides a partial argument for the derivative normativity of at least some requirements of theoretical rationality. (shrink)

One way to approach the question of whether there are non-derivative partial reasons of any kind is to give an account of what partial reasons are, and then to consider whether there are such reasons. If there are, then it is at least possible that there are partial reasons of friendship. It is this approach that will be taken here, and it produces several interesting results. The first is a point about the structure of partial reasons. It is at least (...) a necessary condition of a reason’s being partial that it has an explicit relational component. This component, technically, is a rela- tum in the reason relation that itself is a relation between the person to whom the reason applies and the person whom the action for which there is a reason concerns. The second conclusion of the paper is that this relational component is also required for a number of types of putatively impartial reasons. In order to avoid trivialising the distinction between partial and impartial rea- sons, some further sufficient condition must be applied. Finally, there is some prospect for a way of distinguishing between impartial reasons that contain a relational component and partial rea- sons, but that this approach suggests that the question of whether ethics is partial or impartial will be settled at the level of normative ethical discourse, or at least not at the level of discourse about the nature of reasons for action. (shrink)

Vehicle externalism maintains that the vehicles of our mental representations can be located outside of the head, that is, they need not be instantiated by neurons located inside the brain of the cogniser. But some disagree, insisting that ‘non-derived’, or ‘original’, content is the mark of the cognitive and that only biologically instantiated representational vehicles can have non-derived content, while the contents of all extra-neural representational vehicles are derived and thus lie outside the scope of the cognitive. In this paper (...) we develop one aspect of Menary’s vehicle externalist theory of cognitive integration—the process of enculturation—to respond to this longstanding objection. We offer examples of how expert mathematicians introduce new symbols to represent new mathematical possibilities that are not yet understood, and we argue that these new symbols have genuine non-derived content, that is, content that is not dependent on an act of interpretation by a cognitive agent and that does not derive from conventional associations, as many linguistic representations do. (shrink)

We consider Hilbert-style non–well-founded derivations in the Gödel-Löb provability logic GL and establish that GL with the obtained derivability relation is globally complete for algebraic and neighbourhood semantics.

This document collects natural derivation systems for logics described in Priest, An Introduction to Non-Classical Logic [4]. It provides an alternative or supplement to the semantic tableaux of his text. Except that some chapters are collapsed, there are sections for each chapter in Priest, with an additional, final section on quantified modal logic. In each case, (i) the language is briefly described and key semantic definitions stated, (ii) the derivation system is presented with a few examples given, and (iii) soundness (...) and completeness are proved. There should be enough detail to make the parts accessible to students would work through parallel sections of Priest. (shrink)

The study examines, in the context of Crawford's (1970) study items, the influence of non-anonymity deriving from feedback of research results on marketing professionals' research ethics judgements, particularly that of response patterns (social desirability of responses) and item omissions. The results indicate that such non-anonymity does not significantly influence the social desirability of responses or item omissions — thus suggesting the appropriateness of its use to stimulate research ethics responses.

This review investigates the potential of non-orientable topology as a fundamental framework for understanding the Poincaré conjecture and its implications across various scientific disciplines. Integrating insights from Dokuchaev (2020), Rapoport, Christianto, Chandra, Smarandache (under review), and other pioneering works, this article explores the theoretical foundations linking non-orientable spaces to resolving the Poincaré conjecture and its broader implications in theoretical physics, geology, cosmology, and biology.

Let${\mathbb K}$be an algebraically bounded structure, and letTbe its theory. IfTis model complete, then the theory of${\mathbb K}$endowed with a derivation, denoted by$T^{\delta }$, has a model completion. Additionally, we prove that if the theoryTis stable/NIP then the model completion of$T^{\delta }$is also stable/NIP. Similar results hold for the theory with several derivations, either commuting or non-commuting.

One important trend in political philosophy is to hold that non-human animals don't directly place demands of justice on us. Another important trend is to give considerations of justice normative priority in our general normative theorising about social/political institutions. This situation is problematic, given the actual ethical standing of non-human animals. Either we need a theory of justice that gives facts about non-human animals a non-derivative explanatory role in the determination of facts about what justice involves, or else we should (...) be wary of the default normative priority that considerations of justice have in much of contemporary political philosophy. This discussion brings out important general methodological points tied to the role of concept and word choice in normative theorising about our social/political institutions. These methodological points, I argue, matter for a range of discussions in contemporary political philosophy, including those about global justice. (shrink)

This paper contributes to the debate on the role of financial derivatives for capitalism. It responds to Bryan and Rafferty’s defence of their analysis and their critique of my own. The paper argues that their analysis confuses what a financial derivative does, and mixes together different kinds of derivative – and non-derivative – that play very different roles. After detailing these points, the paper discusses the relationship between gold, money and derivatives, rejecting their notion that derivatives are some kind of (...) new ‘commodity money’. An important theme absent from Bryan and Rafferty’s analysis is the relationship of financial trading and derivatives markets to parasitism in the imperialist world economy. To illustrate this, the paper notes advantages enjoyed by the major financial powers – the US and the UK – that are the main centres for the origination of derivatives and for derivatives trading. (shrink)

Orthodoxy has it that only metaphysically elite properties can be invoked in scientifically elite laws. We argue that this claim does not fit scientific practice. An examination of candidate scientifically elite laws like Newton’s F = ma reveals properties invoked that are irreversibly defined and thus metaphysically non-elite by the lights of the surrounding theory: Newtonian acceleration is irreversibly defined as the second derivative of position, and Newtonian resultant force is irreversibly defined as the sum of the component forces. We (...) think that scientists are happy to invoke metaphysically non-elite properties in scientifically elite laws for reasons of convenience, such as to simplify the equations and to make them more modular. On this basis, we draw a deflationary moral about laws themselves, as being merely convenient summaries. 1 Introduction2 Orthodoxy2.1 Orthodoxy stated2.2 Orthodoxy explained2.3 A worrisome commitment: Term objectivism3 The Loose View3.1 The argument from practice3.2 Finding the scientifically elite equations3.3 Diagnosing the metaphysically non-elite properties3.4 Situating our challenge4 Newtonian Mechanics4.1 Newtonian acceleration4.2 Newtonian resultant force4.3 A metaphysical discovery?5 Objections5.1 Metaphysically elite after all?5.2 Scientifically non-elite after all?5.3 But our world is not Newtonian!6 Consequences6.1 Consequences for the motivations for link6.2 Consequences for metaphysically elite properties6.3 Consequences for lawhood. (shrink)

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...) as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

The article focuses on representing different forms of non-adjunctive inference as sub-Kripkean systems of classical modal logic, where the inference from □A and □B to □A ∧ B fails. In particular we prove a completeness result showing that the modal system that Schotch and Jennings derive from a form of non-adjunctive inference in (Schotch and Jennings, 1980) is a classical system strictly stronger than EMN and weaker than K (following the notation for classical modalities presented in Chellas, 1980). The unified (...) semantical characterization in terms of neighborhoods permits comparisons between different forms of non-adjunctive inference. For example, we show that the non-adjunctive logic proposed in (Schotch and Jennings, 1980) is not adequate in general for representing the logic of high probability operators. An alternative interpretation of the forcing relation of Schotch and Jennings is derived from the proposed unified semantics and utilized in order to propose a more fine-grained measure of epistemic coherence than the one presented in (Schotch and Jennings, 1980). Finally we propose a syntactic translation of the purely implicative part of Jaśkowski's system D₂ into a classical system preserving all the theorems (and non-theorems) explicilty mentioned in (Jaśkowski, 1969). The translation method can be used in order to develop epistemic semantics for a larger class of non-adjunctive (discursive) logics than the ones historically investigated by Jaśkowski. (shrink)

Derivative moral responsibility is not moral responsibility at all. Much of the confusion found in the literature concerning moral responsibility and the free will problem can be traced back to a penchant to reconcile our philosophical theories of moral responsibility with our folk commonsense linguistic accounts of moral responsibility, a tradition that is notable for its utter lack of making two important distinctions - the distinction between derivative moral responsibility and non-derivative moral responsibility and the distinction between the scope and (...) degree of one’s moral responsibility.1 The failure to make such distinctions, ultimately, leads to confusion in interpreting the content of folk intuitions about moral responsibility, and as a result leads many philosophers to adopt watered down, or overly complex theories of moral responsibility. In “The Epistemic Requirements for Moral Responsibility,” Carl Ginet fails to make such distinctions, and as a result the requirement he arrives at is unwieldy at best. By making such distinctions, I will provide a much more straightforward account of what moral responsibility requires. (shrink)

Mysticism, theurgy, non-philosophy: this text will experiment with the three in an attempt to perform a non-philosophical hijacking of so-called theurgy. I will experiment with a comparison between Iamblichus' theurgy, Laruelle's non-philosophy, and the notion of the Vision-in-One. I claim their point of convergence is their allegiances to the theory of the One, derived from Plato's Unwritten Doctrines. The ancient notion of the One is subject to a similar procedural gesture in both Iamblichus and Laruelle, namely, the procession of the (...) One from the noematic to the aesthetic realm. What connects them is their rejection of the theory that the soul's descension from the One to the visible realm represents a degeneration of the Nous. In a concept akin to the very idea of theurgy, Laruelle proposes his Vision-in-One, which is to think from the One rather than the One. The Vision-in-One is an attempt to materialize the disembodied fate of the noema against realistic skepticism. (shrink)

We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a restricted subfamily of the (...) operators defined by our construction.We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family.Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts. (shrink)

Derivatives and the real economy The paper describes the development of the derivatives market and compares it with the development of the real economy. Based on official data the paper describes how the derivatives market has significantly increased its volume of trading, mainly after the abolishment of the Glass-Steagal Act. The growing volume of the derivatives market also significantly contributed to the global financial crisis. This paper also compares the growth of the global nominal and real gross domestic product with (...) the pace of growth of the overall derivatives market, but mainly the over-the-counter market. Based on preliminary findings, the paper came to the conclusion that it is critical to implement all the requisite measures in order to eliminate non-transparent transactions with certain derivatives products in order to put the global economy on a sustainable, solid and balanced economic growth path. (shrink)

This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.

Causal theories of reference for natural kind terms are widely agreed to play a central role in arguments for the claim that theoretical identity statements such as “Water is H2O” are necessary, if true. However, there is also fairly wide-spread agreement, due to the arguments of Nathan Salmon, that causal theories of reference do not alone establish such essentialism about natural kinds: an independent, non-trivial essentialist premise is also needed. In this paper I will question this latter agreement. I will (...) argue that there is an independently attractive explanation of why such identity statements are metaphysically necessary, if true: an explanation which relies on assumptions about the semantics of natural kind terms, general philosophical assumptions about reference, and straightforward empirical assumptions, but presupposes no non-trivial essentialist premises. (shrink)

Some philosophers have maintained that even if John R. Searle’s attempted derivation of an evaluative proposition from purely descriptive premises is successful, moral ought would not have been derived. Searle agrees. I will argue that if Searle has successfully derived “ought,” then, based on various approaches taken towards the content of “morality,” this is moral ought. I will also trace out some of the benefits of a successful derivation of moral ought in relation to natural law ethics. I sketch a (...) possible derivation of moral obligations based on one of the basic goods in natural law ethics (i.e., friendship) that resembles Searle’s attempted derivation of an individual’s obligation to keep her promise to someone else. I also sketch a possible derivation of moral obligations based on another of the basic goods in natural law ethics – knowledge. This derivation may not parallel Searle’s attempted derivation as closely as the derivations based on friendship, but it seems to at least involve the derivation of moral obligations from all non-moral premises. (shrink)

Non-business e-commerce adoption refers to the use of e-commerce by not-for profit organizations such as religious organizations, government agencies and academic institutions to reduce their expenses or to improve their operations and customer service. Being a new research niche in the field of e-commerce, non-business e-commerce has received very little or no research attention. This has resulted in a very poor understanding of this niche, especially with regards to its adoption facilitators and inhibitors. Based on this impetus, a field survey (...) of Malaysian Universities was conducted to determine the key factors that facilitate non-business EC adoption as well as the role of gender differential. A comprehensive list of potential facilitators for the strategic use of information technology was derived from extant research reports and used to collect data from five public universities in Malaysia. The data were factor-analysed to determine the key underlying dimensions of facilitators. On the basis of the resulting five dimensions namely, relative advantage orientation, network orientation, information efficiency orientation, innovativeness orientation and competitiveness orientation, regression analysis was done to determine the impact of the five dimensions on adoption. Dummy variable was created for gender and applied in the regression analysis in order to estimate the moderation effect of sex typing on the relationship between the resulting dimensions and adoption. Implications of the findings are discussed. (shrink)

ABSTRACTIt has been objected to moral non-cognitivism that it cannot account for fundamental moral uncertainty. A person is derivatively uncertain about whether an act is, say, morally wrong, when her certainty is at bottom due to uncertainty about whether the act has certain non-moral, descriptive, properties, which she takes to be wrong-making. She is fundamentally morally uncertain when her uncertainty directly concerns whether the properties of the act are wrong-making. In this paper we advance a new reply to the objection (...) to non-cognitivism, immune to the problems afflicting earlier replies. First, we argue that fundamental moral uncertainty is best understood as classificatory uncertainty, since the psychological factors behind fundamental moral uncertainty are analogous to the factors behind fundamental uncertainty regarding descriptive, non-moral, matters, and fundamental descriptive uncertainty is naturally understood as classificatory uncertainty. We call this the classification account... (shrink)

Bioethics has developed approaches to address ethical issues in health care, similar to how technology ethics provides guidelines for ethical research on artificial intelligence, big data, and robotic applications. As these digital technologies are increasingly used in medicine, health care and public health, thus, it is plausible that the approaches of technology ethics have influenced bioethical research. Similar to the “empirical turn” in bioethics, which led to intense debates about appropriate moral theories, ethical frameworks and meta-ethics due to the increased (...) use of empirical methodologies from social sciences, the proliferation of health-related subtypes of technology ethics might have a comparable impact on current bioethical research. This systematic journal review analyses the reporting of ethical frameworks and non-empirical methods in argument-based research articles on digital technologies in medicine, health care and public health that have been published in high-impact bioethics journals. We focus on articles reporting non-empirical research in original contributions. Our aim is to describe currently used methods for the ethical analysis of ethical issues regarding the application of digital technologies in medicine, health care and public health. We confine our analysis to non-empirical methods because empirical methods have been well-researched elsewhere. Finally, we discuss our findings against the background of established methods for health technology assessment, the lack of a typology for non-empirical methods as well as conceptual and methodical change in bioethics. Our descriptive results may serve as a starting point for reflecting on whether current ethical frameworks and non-empirical methods are appropriate to research ethical issues deriving from the application of digital technologies in medicine, health care and public health. (shrink)

I defend a causal reductionist account of the nature of rates of change like velocity and acceleration. This account identifies velocity with the past derivative of position and acceleration with the future derivative of velocity. Unlike most reductionist accounts, it can preserve the role of velocity as a cause of future positions and acceleration as the effect of current forces. I show that this is possible only if all the fundamental laws are expressed by differential equations of the same order. (...) Consideration of the continuity of time explains why the differential equations are all second order. This explanation is not available on non-causal or non-reductionist accounts of rates of change. Finally, I argue that alleged counterexamples to the reductionist account involving physically impossible worlds are irrelevant to an analysis of the properties that play a causal role in the actual world. 1 Background2 Grounding3 Causation4 The Proposal5 Why No Third Derivatives?6 Why Any Derivatives?7 Counterexamples? (shrink)

Using the time-dependent wave function we have studied the properties of the atomic transverse motion in an interferometer, and the cause of the non-classical behavior of atoms reported by Kurtsiefer, Pfau, and Mlynek [Nature 386, 150 (1997)]. The transverse wave function is derived from the solution of the two-dimensional Schrödinger's equation, written in the form of the Fresnel–Kirchhoff diffraction integral. It is assumed that the longitudinal motion is classical. Comparing data of the space distribution and of the transverse momentum distribution (...) in interferometers with one and two open slits, it follows that the atomic motion is influenced by the atomic matter wave and violates the laws of classical mechanics. However, the negative values of Wigner's function should not be taken as evidence that the atoms in an interferometer violate the classical statistical law of the addition of positive probabilities. This inference follows from the comparison of properties of Wigner's function and of the de Broglian probability density in phase space. (shrink)

The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics _S__T_ and _T__S_. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that (...) in these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn’t lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present _S__T_ and _T__S_. (shrink)

We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by derivability conditions. First, we classify already known versions of the second incompleteness theorem, and exhibit some new sets of conditions which are sufficient for unprovability of Hilbert–Bernays’ consistency statement. Secondly, we improve Buchholz’s schematic proof of provable$\Sigma_1$-completeness. Then among other things, we show that Hilbert–Bernays’ conditions and Löb’s conditions are (...) mutually incomparable. We also show that neither Hilbert–Bernays’ conditions nor Löb’s conditions accomplish Gödel’s original statement of the second incompleteness theorem. (shrink)

We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then Λ+ is (...) strongly sound and complete with respect to the class of frames determined by the axioms and the rules. (shrink)

Veritists hold that only truth has fundamental epistemic value. They are committed to explaining all other instances of epistemic goodness as somehow deriving their value through a relation to truth, and in order to do so they arguably need a non-instrumental relation of epistemic value derivation. As is currently common in epistemology, many veritists assume that the epistemic is an insulated evaluative domain: claims about what has epistemic value are independent of claims about what has value simpliciter. This paper argues (...) that the insulation approach to epistemic value is incompatible with non-instrumental epistemic value derivation. Veritsts who want to avail themselves of this important explanatory resource should therefore abandon the insulation approach. (shrink)

Serious games are an effective method of reproducing aspects of the complex interplay between environments and stakeholders in business situations. In the game we describe here, The Sustainable Port, players experience what it is like to make decisions in such a complex environment. Their aim in the game is to grow the Port of Rotterdam while keeping economic growth in balance with sustainability goals. In this study, we assessed whether experienced Port of Rotterdam employees (PoR employees) show different psychophysiological patterns, (...) and more specifically EAR-derived features, compared to students. We did this on the assumption that physiological patterns will tell us something about how people who are familiar with the environment of the Port of Rotterdam, more specifically Port of Rotterdam employees, make decisions compared to those lacking such familiarity.Our sample consisted of 28 PoR employees and 65 students, all of whom played The Sustainable Port game and had their faces recorded with a camera. The Eye Aspect Ratio was extracted from these recordings and then from those we extracted EAR-derived features. Our results show that Port of Rotterdam employees perform better than students and that the two groups are characterized by different physiological variations in their EAR-derived features. A logistic regression model used to identify PoR employees and students obtained an F1 score of 0.62, a PR AUC score of 0.64, and a ROC AUC score of 0.70. performing significantly above baseline suggesting the effectiveness of using EAR-derived features for this task. Our interpretation was further confirmed by a pseudo-R2 score used to evaluate the goodness of fit of a logistic regression model on the entire dataset. We found that Port of Rotterdam employees had a lower variation in blink rate per minute (blinks/m) and higher variation in the root mean square difference of successive difference in blinks (RMSSD), the consecutive difference between two continuous blinks. Moreover, this study shows that our methods were robust enough to negate the effects of confounders, such as biological sex and age that affect some other studies that analyze blinks. (shrink)

Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. We derive existence results for M-types in locally cartesian closed pretoposes with a natural numbers object, using their internal logic. These are then used to prove stability of such categories with M-types under various topos-theoretic constructions; namely, slicing, formation of coalgebras , and sheaves for an (...) internal site. (shrink)

In this paper we develop what we can describe as a “dual two-sided” cut-free sequent calculus system for the non-classical logics of truth lp, k3, stt and a non-reflexive logic ts which is, arguably, more elegant than the three-sided sequent calculus developed by Ripley for the same logics. Its elegance stems from how it employs more or less the standard sequent calculus rules for the various connectives and truth, and the fact that it offers a rather neat connection between derivable (...) sequents and validity in comparison to the calculus developed by Ripley. (shrink)

This paper outlines a non-reductive counterfactual account of grounding along interventionist lines, and uses the account to argue that taking grounding seriously requires ascribing non-trivial truth-conditions to a range of counterpossible counterfactuals. This result allows for a diagnosis of a route to scepticism about grounding, as deriving at least in part from scepticism about non-trivial counterpossible truth and falsity.

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic ‘of nonsense’ introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic $$\textbf{K}_{\textbf{3}}^{\textbf{w}}$$ by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (iii) (...) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

The Korean particle -nun combined with an accent indicates contrast :269–320, 1972; Heycock, in: Merce Proceedings of NELS, vol 24, pp 159–187, 1993; in: Miyagawa, Saito Handbook of Japanese linguistics, Oxford University Press, Cambridge, 2007; Hara, in: Dekker, Franke Fifteenth Amsterdam colloquium, Universiteit van Amsterdam, pp 101–106, 2006; Lee, in: Lee, Gordon, Büring Topic and focus: meaning and intonation from a crosslinguistic perspective. Springer, Berlin, 2003; Tomioka, in: Zimmermann, Fery Information structure, Oxford University Press, Cambridge, pp 115–138, 2009, among many (...) others). While this is not controversial, what it means to be contrastive remains unclear. In this paper, instead of analyzing contrastive -nun as a discourse device in the sense of information structure, as has been done in previous studies, I explore how the contrastive meaning is derived compositionally. I treat contrastive -nun as a focus sensitive particle that associates with prosodic accents in two places, generating a non-at-issue meaning. The non-at-issue meaning contains a polyadic quantifier that establishes a contrastive relationship between two elements in a given set. This analysis explains how focus following contrastive -nun is associated with -nun. It also provides an explanation for the uncertainty implicature that contrastive -nun gives rise to. Finally, it clarifies the logical relationship among different focus particles in Korean. (shrink)

Hume seems to claim that there does not exist a valid argument that has all non-ethical sentences as premises and an ethical sentence as its conclusion. Starting with Prior, a number of counterexamples to this claim have been proposed. Unfortunately, all of these proposals are controversial. Even the most plausible have a premise that seems like it might be an ethical sentence or a conclusion that seems like it might be non-ethical. Since it is difficult to tell whether any of (...) these counterexamples are genuine, we need a taxonomy that sorts out ethical sentences from non-ethical ones. We need to know the difference between an ‘Is’ and an ‘Ought’. In the first part of the paper, I establish the need for a taxonomy. I consider some of the most influential ‘Is’–‘Ought’ derivations. These include proposals by Prior and Searle. I argue that each proposal has a premise whose status as ethical or non-ethical is difficult to determine. In the second part of the paper, I consider taxonomies proposed by Karmo and Maitzen. I argue against both taxonomies. I end with the claim that we need a taxonomy of ethical sentences and that none of the current proposals are adequate. (shrink)

Standard derivations of the Bell inequalities assume a common-commoncause-system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper Graßhoff et al., "The British Journal for the Philosophy of Science", 56, 663–680 ) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect (...) correlations can be reduced to the assumptions of a common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabo's ) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a δ-neighborhood of perfect EPR correlations. (shrink)

The equation of motion in the standard formulation of non-relativistic quantum mechanics, the Schrödinger equation, is based on the Hamiltonian. In contrast, in Feynman's path-integral formulation of quantum mechanics, the equation of motion is the propagation equation, which is based on the Lagrangian. That these two different equations of motion are equivalent was shown by Feynman, who provided a derivation of the Schrödinger equation from the propagation equation. Surprisingly, however, while in classical mechanics there exists a simple relationship between the (...) Hamiltonian and the Lagrangian, there is nothing in Feynman's derivation that gives any indication of this relationship. Here I show that the equations of motion in the Hamiltonian and Lagrangian formulations of quantum mechanics are, in fact, simply related to each other. (shrink)