Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover (...) the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The precautionary principle in public decision making concerns situations where following an assessment of the available scientific information, there are reasonable grounds for concern for the possibility of adverse effects on the environment or human health, but scientific uncertainty persists. In such cases provisional risk management measures may be adopted, without having to wait until the reality and seriousness of those adverse effects become fully apparent. This is the definition of the precautionary principle as operationalized under EU law. (...) The precautionary principle is a deliberative principle. Its application involves deliberation on a range of normative dimensions which need to be taken into account while making the principle operational in the public policy context. Under EU law, any risk management measures to be adopted while implementing the precautionary principle, have to be proportionate to ensure the chosen high level of protection in the European Community. This articlewill illustrate the established practice concerning the release of genetically modified organisms into the environment and how the principle is implemented under hard law. The article also provides an outlook on what this may imply for the relative new case of nanotechnology and the use of precautionary principle within the context of soft law (use of codes of conduct). (shrink)

Following an analysis of the state of investigations and clinical outcomes in the Alzheimer's research field, I argue that the widely-accepted 'amyloid cascade' mechanistic explanation of Alzheimer's disease appears to be fundamentally incomplete. In this context, I propose that a framework termed 'principled mechanism' (PM) can help with remedying this problem. First, using a series of five 'tests', PM systematically compares different components of a given mechanistic explanation against a paradigmatic set of criteria, and hints at various ways of making (...) the mechanistic explanation more 'complete'. These steps will be demonstrated using the amyloid explanation, and its missing or problematic mechanistic elements will be highlighted. Second, PM makes an appeal for the discovery and application of 'biological principles' (BPs), which approximate ceteris paribus laws and are operative at the level of a biological cell. As such, although thermodynamic, evolutionary, ecological and other laws or principles from chemistry and the broader life sciences could inform them, BPs should be considered ontologically unique. BPs could augment different facets of the mechanistic explanation but also allow further independent nomological explanation of the phenomenon. Whilst this overall strategy can be complementary to certain 'New Mechanist' approaches, an important distinction of the PM framework is its equal attention to the explanatory utility of biological principles. Lastly, I detail two hypothetical BPs, and show how they could each inform and improve the potentially incomplete mechanistic aspects of the amyloid explanation and also how they could provide independent explanations of the cellular features associated with Alzheimer's disease. (shrink)

In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity.

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, (...) where one can get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (shrink)

The study aimed to identify the creative environment of the technical colleges operating in Gaza Strip. The analytical descriptive method was used through a questionnaire which was randomly distributed to 289 employees of the technical colleges in Gaza Strip with a total number of (1168) employees and a response rate equal to (79.2%) of the sample study. The results confirmed the existence of a high degree of approval for the dimensions of the creative environment with a relative weight of (...) (75.19%) according to the perspective of the employees of the technical colleges in Gaza Strip. The results of the study showed a high level of creative environment (fluency, flexibility, originality, sensitivity to problems) in the technical colleges in Gaza Strip, where the field (fluency) ranked first and relative weight (76.86%), in the second place came the area (sense of problems) and relative weight (74.89%). The field of elasticity came in third place with a relative weight of (74.59%). Finally, the field of originality came in fourth and final rank with a relative weight of (74.41%). The results showed that there are differences between the technical colleges in the principles of the creative environment in all fields and the overall degree except for the field of flexibility. The most available colleges in these principles were the university college of applied sciences, and that was the least of the Faculty of Al-Aqsa Society. The results showed that there were differences according to the age variable in the areas of creative environment only in the sense of problems for age groups (less than 30 years) and (from 40 to 50 years). The researchers suggested a number of recommendations, the need to enhance the dimensions of the creative environment in technical colleges by working to improve the faculties of fluency, flexibility, originality and sensitivity to problems. The need to work on continuity and improve aspects of the creative environment of the colleges and the creation of new and innovative ways to support and develop and support these aspects combined. Necessity of technical colleges to continue to develop the creative environment (fluency, flexibility, originality, sensitivity to problems) for employees by engaging them in specialized training courses for creative thinking and problem solving. Developing work procedures with new innovative methods that will accomplish the various tasks quickly and accurately, and provide the effort, time and costs. The researchers urged more future studies that address the same variables of the current study in the field of creative environment and applied to other sectors. (shrink)

This paper is the second of two papers which examine the versatility of the principle of subsidiarity. The first paper explored the nature of the principle in Catholic social teaching as a moral and social principle and its potential application in the political sphere. This paper further explores the political application of the principle of subsidiarity through a discussion of its operation in the European Union, where it is embodied in article 5(3) of the Treaty on (...) European Union. This paper discusses subsidiarity’s interpretation by the European Court of Justice as a political value judgement, rather than a legal principle. In its discussion of subsidiarity in the European Union, this paper draws some comparisons with the principle’s enunciation in Catholic social teaching. Together, these papers are intended to highlight the many facets of the principle of subsidiarity in order to promote its continued relevance and to promote further scholarship on subsidiarity. (shrink)

The paper provides an analysis of the relationship between the concepts of justice and solidarity. The point of departure of the analysis is Ruud ter Meulen’s claim that these concepts are different but mutually complementary, i.e. are two sides of the same coin. In the paper two alternative accounts of the relationship are proposed. According to the first one, solidarity can be defined in terms of justice, i.e. is a special variety of liberal justice, viz. social liberal justice, which, apart (...) from the value of liberty, also stresses the importance of the value of equality. An example of such a theory is Rawls’s theory of justice, within which the value of equality is ‘encoded’ in the principle of fair equality of opportunity and in the difference principle. According to the second account, solidarity is an expression of a special type of social relationships – the so-called ‘thick relationships’, which are non-superficial, positive, their paradigmatic examples being family and friendship; in other words, the rules of solidarity are rules that are built into ‘thick relationships’. On the first account, justice and solidarity are not different, while on the second account they are different but mutually exclusive rather than mutually complementary. In the last part of the paper some remarks on the social causes of solidarity are made. (shrink)

I make the observation that English sentences such as “You have reason to take the bus or to take the train” do not have the logical form that they superficially appear to have. I find in these sentences a conjunctive use of “or,” as found in sentences like “You can have milk or lemon in your tea,” which gives you a permission to have milk, and a permission to have lemon, though no permission to have both. I argue that a (...) confusion of genuine disjunctions with sentences of the above form has motivated the mistaken acceptance by some philosophers of principles like the one I call “Liberal Transmission.” This is the principle that if you have a reason to do something, then you have a reason to do it in each of the possible ways in which it can be done (though not more than one of them). I argue that Liberal Transmission and its close relatives are false. Wide-scope reasons are defined as reasons that have a conditional or other logical connective within the scope of the reason operator. For example, a wide-scope instrumental reason might be: reason(if you have an end, take the means). By refuting Liberal Transmission, I show that you could have wide-scope instrumental reasons like this while nevertheless lacking any narrow-scope reason to take the means, or narrow-scope reason to not have the end. This enables me to respond to two major objections to the wide-scope approach to the instrumental principle that have been developed by Joseph Raz and by Niko Kolodny. (shrink)

The ethical Principle of Proportionality requires combatants not to cause collateral harm excessive in comparison to the anticipated military advantage of an attack. This principle is considered a major (and perhaps insurmountable) obstacle to ethical use of autonomous weapon systems (AWS). This article reviews three possible solutions to the problem of achieving Proportionality compliance in AWS. In doing so, I describe and discuss the three components Proportionality judgments, namely collateral damage estimation, assessment of anticipated military advantage, and judgment (...) of “excessiveness”. Some possible approaches to Proportionality compliance are then presented, such as restricting AWS operations to environments lacking civilian presence, using AWS in targeted strikes in which proportionality judgments are pre-made by human commanders, and a ‘price tag’ approach of pre-assigning acceptable collateral damage values to military hardware in conventional attritional warfare. The article argues that application of these three compliance methods would result in AWS’ achieving acceptable Proportionality compliance levels in many combat environments and scenarios, allowing AWS to perform most key tasks in conventional warfare. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that all that stands between (...) knowing the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result (...) is in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

Through modern driver assistant systems, algorithmic decisions already have a significant impact on the behavior of vehicles in everyday traffic. This will become even more prominent in the near future considering the development of autonomous driving functionality. The need to consider ethical principles in the design of such systems is generally acknowledged. However, scope, principles and strategies for their implementations are not yet clear. Most of the current discussions concentrate on situations of unavoidable crashes in which the life of human (...) beings is existentially affected. In this paper, we argue that ethical considerations should be mandatory for any algorithmic decision of autonomous vehicles, instead of a limitation to hazard situations. Such an ethically aligned behavior is relevant because autonomous vehicles, like any other traffic participants, operate in a shared public space, where every behavioral decision impacts the operational possibilities of others. These possibilities concern the fulfillment of a road-user’s safety, utility and comfort needs. We propose that, to operate ethically in such space, an autonomous vehicle will have to take its behavior decisions according to a just distribution of operational possibilities among all traffic participants. Using an application on a partially-autonomous prototype vehicle, we describe how to apply and implement concepts of distributive justice to the driving environment and demonstrate the impact on its behavior in comparison to an advanced but egoistic decision maker. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In (...) this paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

In October 2021, the Inclusive Framework of the Organisation for Economic Co-operation and Development (OECD) adopted a new international tax deal, which has been hailed as a major step towards a fair and effective global corporate tax system. In this article, we question this verdict. We analyse this deal on the basis of three complementary fairness principles: preventing free riding by multinational corporations (MNCs), respect for and promotion of the fiscal autonomy of countries, and the limitation of distributive and relational (...) inequalities. We argue that the tax deal is unlikely to lead to a substantial improvement in fairness. We do, however, welcome the deal’s recognition of the need to tax multinational corporations as unitary entities subject to a global minimum effective tax rate. We argue that this recognition creates opportunities for fairer reforms that should be pursued through a more inclusive global decision-making process. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

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

When examining the human being as a conscious being, we are still to arrive at an understanding of, firstly, the conditions required whereby physical processes give rise to consciousness and secondly, how consciousness is something fundamental to life as an intrinsic part of nature. Humans are complex organisms with myriad interacting systems whereby the convergence of the activities toward the support and development of the whole organism requires a high level of organisation. Though what accounts for the dynamic unity of (...) the human being? From an empirical perspective the question remains unanswered. The aim of this paper is to conceptually establish a fundamental biophysical organising principle to account for the unity and organisation of the human being. To this end I draw from David Bohm’s interpretation of quantum theory to provide an adapted and adjunct conceptual scheme in the form of a Triple-Aspect-Theory (TAT) of Being as a grounding ontology. David Bohm presented a holistic view of two interwoven orders of existence defined as the Explicate material world and the Implicate (quantum) enfolded world from which the former materialises. Consistent with David Bohm’s idea that matter at a fundamental level consists of a kind of protointelligence, the TAT facilitates a perspective based on aspect conditions of the human organism intended to furnish an explanation of the constitutive mechanism (TAT) inherent in the evolving human being. The TAT operates as an organising principle by which evolution inherently proceeds and maintains itself in an interactive relation between the Implicate and Explicate orders. The accumulated effect of natural selection is to produce adaptations, but without an organising principle: ‘Consciousness’, ‘Body-of-Experience’ and ‘Intellect-Reflective’ (the terms for the engaged coexistent aspects of being) it is argued could not occur. (shrink)

The electronic and muonic hydrogen energy levels are calculated very accurately [1] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector (c ,mc2) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation (IR). The c -Non Exclusion Principle(c -NEP) states that, if one accepts c as the electron/muon velocity operator because of the very accurate hydrogen energy levels calculated, the one must also accept the resulting electron/muon internal spatial and time coordinate operators (...) (ISaTCO) derived directly from c without any assumptions. This paper does not change any of the accurate QED calculations of hydrogen’s energy levels, given the simplistic model of the proton used in these calculations [1]. The Proton Radius Puzzle [2, 3] may indicate that new physics is necessary beyond the Standard Model (SM), and this paper describes the bizarre, and very different, situation when the electron and muon are located “inside” the spatially extended proton with their Centers of Charge (CoCs) orbiting the proton at the speed of light in S energy states. The electron/muon center of charge (CoC) is a structureless point that vibrates rapidly in its inseparable, non-random vacuum whose geometry and time structure are defined by the electron/muon ISaTCO discrete geometry. The electron/muon self mass becomes finite in a natural way due to the ISaTCOs cutting off high virtual photon energies in the photon propagator. The Dirac-Maxwell-Wilson (DMW) Equations are derived from the ISaTCO for the EM fields of an electron/muon, and the electron/muon “look” like point particles in far field scattering experiments in the same way the electric field from a sphere with evenly distributed charge “e” “looks” like a point with the same charge in the far field (Gauss Law). The electron’s/muon’s three fluctuating CoC internal spatial coordinate operators have eight possible eigenvalues [4, 5, 6] that fall on a spherical shell centered on the electron’s CoM with radius in the rest frame. The electron/muon internal time operator is discrete, describes the rapid virtual electron/positron pair production and annihilation. The ISaTCO together create a current that produce spin and magnetic moment operators, and the electron and muon no longer have “intrinsic” properties since the ISaTCO kinematics define spin and magnetic moment properties. (shrink)

The operational perspective here defended permits a reflexive-transcendental point of view that sharply distinguishes the two concepts, while, at the same time, maintaining the connection between them. On the one hand, simply imagining that the experimental apparatus, counterfactually anticipated in a thought experiment, has really been constructed is sufficient to erase any difference between thought and real experiments. On the other hand, this very ‘imagining’, this capacity of the mind to assume every real entity as a possible entity, underpins the (...) difference in principle – a properly transcendental difference – between thought and real experiments. This difference, however, implies the intimate association between experiment and thought experiment: All thought experiments must be thought of as translatable into real ones, and all real experiments as realisations of thought ones. What thought experiments have over and above real experiments is the mere fact that they exist in a purely hypothetical sphere; what real have over and above thought experiments is the mere fact that they overstep the sphere of the possible, in the experiment’s real execution. (shrink)

Perioperative staff are frequently exposed to surgical smoke or plume created by using heat-generating devices like diathermy and lasers. This is a concern due to mounting evidence that this exposure can be harmful with no safe level of exposure yet identified. First, I briefly summarise the problem posed by surgical smoke exposure and highlight that many healthcare organisations are not sufficiently satisfying their legal and ethical responsibilities to protect their staff from potential harm. Second, I explore the ethical case for (...) compulsory smoke evacuation systems using the principlist framework and its four ethical principles – autonomy, beneficence, nonmaleficence, and justice. I then consider some objections and argue that surgical smoke evacuation systems – when indicated – should be made compulsory. (shrink)

In this article, responding to assertions that the principle of double effect has no place in legal analysis, I explore the overlap between double effect and negligence analysis. In both, questions of culpability arise in situations where a person acts with no intent to cause harm but where reasonable foreseeability of unintended harm exists. Under both analyses, the determination of whether such conduct is permissible involves a reasonability test that balances that foreseeable harm against the good intended by the (...) actor's conduct. In both, absent a finding that the foreseeable harm is unreasonable in light of that intended good, no liability will be imposed upon the actor. Even conceding, however, such general similarity between double effect and negligence analysis - disagreement over the proper interpretation of the reasonability criterion at play in negligence poses an additional challenge for the attempt to correlate negligence with double effect. Economic efficiency interpretations of negligence, for example, purportedly based on the Learned Hand Formula and the RESTATEMENT (SECOND) OF THE LAW OF TORTS, propose that culpability depends upon a utilitarian balancing of good effects of conduct (utility) versus its harmful foreseeable consequences (magnitude of risk of injury). Based on such an interpretation of negligence, however, contrasts between actors' states of mind, and normative differences between kinds of goods and harms, ultimately fade into the background and become irrelevant as essential conditions for properly assessing liability. This article elaborates and defends the view that double effect analysis lies at the heart of negligence theory. Part I elucidates in more detail the principle of double effect and describes its prima facie operation in negligence analysis. Part II considers and rejects the economic efficiency interpretation that has been offered as a theory of negligence, overcoming the challenge that such an interpretation presents for the effort to locate double effect analysis in the law. Part III illustrates and confirms the overlap between double effect and negligence by consideration of a series of case applications. The Article proposes that the weighing of conflicting values in double effect analysis and negligence is not achieved - as proposed by law and economics theory with respect to negligence - by imposing a consequentialist-utilitarian reduction of all value to a single concept of good and eliminating the relevance of traditional state of mind distinctions between intention and foreseeability. Instead, each mode of analysis recognizes that distinct culpability determinations flow naturally and plausibly from an appreciation of the traditional legal distinctions made between various types of goods and harms, and upon whether such goods and harms come about as result of an actor's intention or mere foreseeability. Keywords: Double effect, negligence, intention, foreseeability, choice, law and economics, utilitarianism, consequentialism, weighing of values. (shrink)

This essay explores various problematical aspects of Descartes' conservation principle for the quantity of motion (size times speed), particularly its largely neglected "dual role" as a measure of both durational motion and instantaneous "tendencies towards motion". Overall, an underlying non-local, or "holistic", element of quantity of motion (largely derived from his statics) will be revealed as central to a full understanding of the conservation principle's conceptual development and intended operation; and this insight can be of use in responding (...) to some of the recent and traditional criticisms of Descartes' physics. (shrink)

Quantum theory brought an irreducible lawlessness in physics. This is accompanied by lack of specification of state of a system. We can not measure states even though they ever existed. We can measure only transition from one state into another. We deduce this lack of determination of state mathematically, and thus provide formalism for maximum precision of determination of mixed states. However, the results thus obtained show consistency with Heisenberg's uncertainty relations.

We recently presented our Efimov K-theory of Diamonds, proposing a pro-diamond, a large stable (∞,1)-category of diamonds (D^{diamond}), and a localization sequence for diamond spectra. Commensurate with the localization sequence, we now detail four potential applications of the Efimov K-theory of D^{diamond}: emergent time as a pro-emergence (v-stack time) in a diamond holographic principle using Scholze’s six operations in the ’etale cohomology of diamonds; a pro-Generative Adversarial Network and v-stack perceptron; D^{diamond}cryptography; and diamond nonlocality in perfectoid quantum physics.

A simple operating principle (similar to a combination of a pottery wheel and a catapult or, simply, the weapon used by David to slay Goliath) coupled with the success of some moderate engineering challenges may allow for the transmission of a carrier wave from Earth to Mars in less than one second! This paper also directly addresses the controversy of light speed variance/invariance (which has arisen from the “wave/particle nature of light” debate) by referencing Joseph A. Rybczyk’s 2012 (...) paper, “Lunar Laser Evidence of Light Speed Variance”. (shrink)

To what extent does the black hole information paradox lead to violations of quantum mechanics? I explain how black hole complementarity provides a framework to articulate how quantum characterizations of black holes can remain consistent despite the information paradox. I point out that there are two ways to cash out the notion of consistency in play here: an operational notion and a descriptive notion. These two ways of thinking about consistency lead to (at least) two principles of black hole complementarity: (...) an operational principle and a descriptive principle. Our background philosophy of science regarding realism/instrumentalism might initially lead us to prefer one principle over the other. However, the recent physics literature, which applies tools from quantum information theory and quantum computational complexity theory to various thought experiments involving quantum systems in or around black holes, implies that the operational principle is successful where the descriptive principle is not. This then lets us see that for operationalists the black hole information paradox might no longer be pressing. (shrink)

Francis Bacon’s theory of matter is a controversial topic among historians. I agree with the viewpoint, which suggests that although Bacon changed his views on atomism repeatedly, he never rejected it completely (Partington, Urbach, Gemelli). I will substantiate this interpretation by paying more attention to the usually neglected allegorical works and by investigating why Bacon changed his mind on atomism in his Novum organum. I shall reconstruct Bacon’s various opinions in chronological order to establish his final evaluation of atomism and (...) his reasons for it. Given that Bacon never embraced a matter theory identical with Greek atomism, I shall here define atomism in the broadest sense, as a corpuscular matter theory that posits final and indivisible particles. Following this semantic delimitation, two successive Baconian opinions will be distinguished: the first took the atom to constitute an ontological and causative-operational principle; the second deprived the atom of this causative-operational ability, but did not touch its ontological priority. At the same time, I will investigate the question concerning the coexistence of atomism and pneumatism in Bacon’s theory, a point that has been discussed in the influential interpretations by Kargon and Rees. I shall argue that Bacon did not regard these two doctrines as incompatible. (shrink)

The study of Chinese philosophy in the English-speaking world has largely focused on ethical and political theories. In comparison, Chinese metaphysics—here understood primarily as theories regarding the nature, components, and operating principles of reality—has been far less researched and recognized. In this essay, we examine various meanings of “metaphysics” as it has been used in denoting a branch of philosophy and make the case that metaphysics is an important part of Chinese philosophy. We argue for the need to study (...) Chinese metaphysics as a serious field of scholarship. We also present some most recent studies of Chinese metaphysics by leading scholars of Chinese philosophy who publish in the English-speaking world. This essay aims to show that not only that Chinese metaphysics is an appropriate and legitimate subject of scholarly research but it can also be a fruitful subfield of in the study in Chinese philosophy. (shrink)

Literary studies are living a nomadic existence on the margins of the neoliberal university, forced to adapt to the needs of more profitable disciplines and the insidious marketization of higher education to find an intellectual home. By drawing on Rosi Braidotti’s nomadic theory, this article situates the current state of literary studies in the wider networks of power relations that differentially distribute nomadic experiences in the contemporary world. The article begins with an examination of the contradictions of nomadic mobility in (...) the era of globalized capitalism and how these contradictions interrelate with the study of world literature. The second half of the article focuses on the transformation of labor under neoliberalism, charting the rise of cognitive capitalism and its relationship to the university. While the future of literary studies might look precarious in the era of cognitive capitalism, the increasing casualization of intellectual labor creates the conditions for unstructured, unrestrained, and deterritorialized flows of thought that escape the constraints placed on those in the institution. By harnessing literature’s subversive potential, literary studies can use these nomadic flows of thought to resist the operating principles of the neoliberal university and help combat the conditions that create precarious nomadic experiences across the globe. (shrink)

Positions taken in the current debate over free will can be seen as responses to the following conditional: -/- If every action is caused solely by another event and a cause necessitates its effect, then there is no action to which there is an alternative (C). -/- The Libertarian, who believes that alternatives are a requirement of free will, responds by denying the right conjunct of C’s antecedent, maintaining that some actions are caused, either mediately or immediately, by events whose (...) effects could be different, even if they were to recur under identical circumstances. We have here a denial of Laplacian Determinism (LD), according to which the condition of the world at any instant makes only one state possible at any other instant. One prominent defender of this view, Robert Kane, holds that unless an agent’s neural mechanisms operated indeterministicly in forming her character she is not responsible for its manifestations. This requirement is entailed by the principle of “ultimate responsibility” (UR) according to which an act is freely willed only if (a) its agent is personally responsible for its performance in the sense of having caused it to occur by voluntarily doing something that was avoidable and (b) there is no sufficient condition for its performance for which its agent is not personally responsible. The orthodox Compatibilist, adducing counterexamples to UR, argues that even if C and its antecedent are true, free will is possible. Ned Markosian has provided the Compatibilist with yet another response to UR-based objections to her view, wedding it to the notion of agent causation: here the deterministic causing of an act by its agent is necessary and sufficient for its being “morally free.” I criticize this view as inconsistent with the agent causalist's belief that moral responsibility precludes causation of a choice by any power other than the maker thereof: he being its efficient cause. (shrink)

This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps h and s (...) that define a Galois connection on the power set PW of W. These maps can be used to define two distinct boundary operators bd and BD on W. The main theorem of the paper states that higher-order vagueness with respect to bd collapses to second-order vagueness. This does not hold for BD, the iterations of which behave in quite an erratic way. In contrast, the operator bd defines a variety of tolerance principles that do not fall prey to the sorites paradox and, moreover, do not always satisfy the principles of positive and negative introspection. (shrink)

When laws or legal principles mention mental states such as intentions to form a contract, knowledge of risk, or purposely causing a death, what parts of the brain are they speaking about? We argue here that these principles are tacitly directed at our prefrontal executive processes. Our current best theories of consciousness portray it as a workspace in which executive processes operate, but what is important to the law is what is done with the workspace content rather than the content (...) itself. This makes executive processes more important to the law than consciousness, since they are responsible for channeling conscious decision-making into intentions and actions, or inhibiting action.We provide a summary of the current state of our knowledge about executive processes, which consists primarily of information about which portions of the prefrontal lobes perform which executive processes. Then we describe several examples in which legal principles can be understood as tacitly singling out executive processes, including principles regarding defendants’ intentions or plans to commit crimes and their awareness that certain facts are the case, as well as excusatory principles which result in lesser responsibility for those who are juveniles, mentally ill, sleepwalking, hypnotized, or who suffer from psychopathy. (shrink)

Developing research groups within universities and science-technology institutions is one topic that gained a special interest in recent times. In this article, we will present our experience of building a research team in the field of Social Science at EdLab Asia Educational Research and Development Centre (EdLab Asia), a young research institute which achieved several initial results after one year of establishment: 14 published works in the journals from Clarivate WOS and Scopus list, between the time from Sept 2019 to (...) Sept 2020. This article will present the goals, strategies, structure, and operating principles of EdLab Asia. Policy implications for universities and science-technology institutions in educational science in particular, and social science in general will be mentioned at the end of this article. (shrink)

Linguistics of Saying is to be analyzed in the speech act conceived as an act of knowing. The speaking, saying and knowing subject, based on contexts and the principles of congruency and trust in the speech of other speakers, will create meanings and interpret the sense of utterances supplying the deficiencies of language by means of the intellective operations mentally executed in the act of speech. In the intellective operations you can see three steps or processes: first the starting point, (...) intuition or aísthesis; second, the process of abstraction; and third, the inverse: the process of determination or fixing the construct created. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In his Posterior Analytics Aristotle confronted a problem that threatened his vision of scientific knowledge as an axiomatic system: if scientific knowledge is demonstrative in character, and if the axioms of a science cannot themselves be demonstrated, then the most basic of all scientific principles will remain unknown. In the famous concluding chapter of this work (II 19), he claimed to solve this problem by distinguishing two kinds of knowledge: we cannot have epistêmê of the first principles, but we can (...) have nous of them. This ‘solution’ has struck many students of his thought as hopelessly ad hoc and unpersuasive. And nowhere is Aristotle less persuasive than when he appeals to a faculty of intuition or a priori insight which arrives on the scene precisely when it is most needed. I defend Aristotle’s account by showing how nous is not properly characterized as a faculty of intuition which operates independently of sense experience. Rather, nous is a kind of knowledge that is available to us whenever our mind advances from the perception of particular individuals to grasp the relevant universal concept or general principle. (shrink)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation of contentrecarving and I show (...) that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (shrink)

In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...) on the relation of determination between properties. The main advantage of the proposal is its generality, for it is applicable not just to the case of abstraction principles. (shrink)

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

Introduction to the Scientific Proof of the Natural Moral Law This paper proves that Aquinas has a means of demonstrating and deriving both moral goodness and the natural moral law from human nature alone. Aquinas scientifically proves the existence of the natural moral law as the natural rule of human operations from human nature alone. The distinction between moral goodness and transcendental goodness is affirmed. This provides the intellectual tools to refute the G.E. Moore (Principles of Ethics) attack against the (...) natural law as committing a "naturalistic fallacy". This article proves that instead Moore commits the fallacy of equivocation between moral goodness and transcendental goodness in his very assertion of a "naturalistic fallacy" by the proponents of the natural moral law. In the process the new deontological/kantian theory of natural law as articulated by John Finnis, Robert George, and Germain Grisez is false historically and philosophically. Ethical naturalism is affirmed as a result. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in (...) play (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...) objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...) and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a modal predicative response (...) to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

The general topic of this paper is the ontological commitment to so-called "fictitious objects", that is, things and characters of fictional stories, like Sherlock Holmes and Pegasus. Discourse about fiction seems to entail an ontological commitment to fictitious entities, a commitment that is often deemed inconsistent with empirical facts. For instance, "Pegasus is a flying horse" seems to entail "There are flying horses" as well as "Pegasus exists" (according to some widely accepted logical principles). I discuss two solutions that have (...) been proposed in the literature. The first one amounts to rejecting sentences like "Pegasus is a flying horse" as false, at least if they are taken at face value. This solution is called the "story operator strategy". It consists in paraphrasing sentences like "Pegasus is a flying horse" by means of the expression "according to a story" such that they are interpreted as an elliptic formulation of, e.g., "According to a story, Pegasus is a flying horse". I spell out the difficulties of the story operator strategy and opt for a realist ontology of fiction. A novel interpretation of the story operator "according to a story" is given, which is not only consistent with but even sheds new light on such a realist ontology. In particular, it is shown how the story operator can be used as a tool to introduce the so-called "modes of predication distinction" (which is an essential ingredient of many realist ontologies of fiction) in a commonsensical way. (shrink)

There are 1,000 of us and one victim. We each increase the level at which a "discomfort machine" operates on the victim---leading to great discomfort. Suppose that consecutive levels of the machine are so similar that the victim cannot distinguish them. Have we acted permissibly? According to the "no-difference argument" the answer is "yes" because each of our actions was guaranteed to make the victim no worse off. This argument is of interest because if it is sound, similar arguments threaten (...) intuitive moral verdicts about many cases in which a large number of individual choices cumulatively make a great difference, while each choice seems to make no difference on its own. But the argument is not sound, as is shown by a simple objection based on a plausible dominance principle---an objection that avoids challenges that have been brought against previous criticisms of the no difference argument. (shrink)

This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus. I start by sketching a natural reading of that relation – which I call the “bipartite reading” – holding that the Tractatus gives an account of elementary propositions, based on the so-called picture theory, and a different account of molecular ones, based on the principle of truth- functionality. I then show that such a reading cannot (...) be attributed to Wittgenstein, because he holds the view that an explanation of logical complexity is already given by a correct account of the (pictorial) nature of elementary propositions; this is implied in his claim that “an elementary proposition contains all logical constants/operations in itself”. After clarifying Wittgenstein’s notion of an operation from the Notes on Logic to the Tractatus, I finally explain why Wittgenstein claims that an elementary proposition contains all logical operations in itself, and hence why he can be said to provide a unified (and thus not bipartite) account of language and logic. (shrink)