Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

A type of argument occasionally made in metaethics, epistemology and philosophy of science notes that most ordinary uses of some expression fail to satisfy the strictest interpretation of the expression, and concludes that the ordinary assertions are false. This requires there to be a presumption in favour of a strict interpretation of expressions that admit of interpretations at different levels of strictness. We argue that this presumption is unmotivated, and thus the arguments fail.

Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the (...) view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the small amount of (...) subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (shrink)

This paper shows that strict evidentialism about normative reasons for belief is inconsistent with taking truth to be the source of normative reasons for belief. It does so by showing that there are circumstances in which one can know what truth requires one to believe, yet still lack evidence for the contents of that belief.

Strict finitism is the position that only those natural numbers exist that we can represent in practice. Michael Dummett, in a paper called Wang’s Paradox, famously tried to show that strict finitism is an incoherent position. By using the Sorites paradox, he claimed that certain predicates the strict finitist is committed to are incoherent. More recently, Ofra Magidor objected to Dummett’s claims, arguing that Dummett fails to show the incoherence of strict finitism. In this paper, I shall investigate whether Magidor (...) is successful in preventing Dummett from proving the incoherence of strict finitism. Though not all the counterarguments Magidor presents are successful, she does in the end manages to corner Dummett. There remains a small opportunity for Dummett to insist on the incoherence of strict finitism, but this is a very small opening. The final conclusion of this paper is that Dummett cannot logically prove the incoherence of strict finitism, even though not all hope is lost. (shrink)

It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.

This paper is intended to show that, at least in a considerably wide class of cases, indicative conditionals are adequately formalized as strict conditionals. The first part of the paper outlines three arguments that support the strict conditional view, that is, three reasons for thinking that an indicative conditional is true just in case it is impossible that its antecedent is true and its consequent is false. The second part of the paper develops the strict conditional view and defends it (...) from some foreseeable objections. (shrink)

As a philosophy of mathematics, strict finitism has been traditionally concerned with the notion of feasibility, defended mostly by appealing to the physicality of mathematical practice. This has led the strict finitists to influence and be influenced by the field of computational complexity theory, under the widely held belief that this branch of mathematics is concerned with the study of what is “feasible in practice”. In this paper, I survey these ideas and contend that, contrary to popular belief, complexity theory (...) is not what the ultrafinitists think it is, and that it does not provide a theoretical framework in which to formalize their ideas —at least not while defending the material grounds for feasibility. I conclude that the subject matter of complexity theory is not proving physical resource bounds in computation, but rather proving the absence of exploitable properties in a search space. (shrink)

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no clear (...) philosophical significance of meta-inferences above the first level. (shrink)

Surányi (2006) observed that Hungarian has a hybrid (strict + non-strict) negative concord system. This paper proposes a uniform analysis of that system within the general framework of Zeijlstra (2004, 2008) and, especially, Chierchia (2013), with the following new ingredients. Sentential negation NEM is the same full negation in the presence of both strict and non-strict concord items. Preverbal SENKI `n-one’ type negative concord items occupy the specifier position of either NEM `not' or SEM `nor'. The latter, SEM spells out (...) IS `too, even’ in the immediate scope of negation; it is a focus-sensitive head on the clausal spine. SEM can be seen as an overt counterpart of the phonetically null head that Chierchia dubs NEG; it is capable of invoking an abstract (disembodied) negation at the edge of its projection. (shrink)

The paper argues that grounding is neither irreflexive, nor asymmetric, nor transitive. In arguing for that conclusion the paper also arguesthat truthmaking is neither irreflexive, nor asymmetric, nor transitive.

The rich connections between metaphysics and natural philosophy in the early modern period have been widely acknowledged and productively mined, thanks in no small part to the work of Margaret Wilson, whose book, Descartes, served as an inspirational example for a generation of scholars. The task of this paper is to investigate one particular such connection, namely, the relation between occasionalist metaphysics and strict mechanism. My focus will be on the work of Nicholas Malebranche, the most influential Cartesian philosopher after (...) Descartes himself. I begin with two crucial facts about Malebranche’s philosophy: (1) Malebranche was an occasionalist, that is, he held that God was the only true cause, that all modifications of bodies and of minds can be produced by God alone. (2) Malebranche adhered firmly to strict mechanism. By strict mechanism, I mean the view, found most prominently in Descartes and in Boyle’s more ideological writings, that the qualities of bodies are exhausted by a very short list (size, shape, motion, and perhaps solidity) and that, most importantly, bodies interact only at contact by impact. Another way of describing this “contact action” requirement is as the thesis that the only fundamental laws of physics are laws of inertial motion and laws of the communication of motion at impact. In.. (shrink)

I argue that physicians can save women from life-threatening pregnancies by performing a craniotomy, placentectomy, or salpingotomy without intending death or harm. To support this conclusion, I defend the relevance thesis about intentions (a person intends X only if X explains the action). I then criticize the identity thesis (if a person intends X and knows that X is identical to Y then the person intends Y) and three mistakenly strict moral principles: (1) one may not intend something that is (...) a serious harm for an innocent person, (2) one may not intend to terminate pregnancy before viability, and (3) one may not act on a person’s body in a harmful way in order to benefit another person. (1) would prohibit procuring organs from living donors, (2) would prohibit treating hepatic pregnancies and other ectopic pregnancies, and (3) would prohibit procuring organs from living donors and performing many prenatal surgeries. (shrink)

For Francisco Suárez, beings of reason are non-existent objects that we can think about, objects like goat-stags and round squares. The first section of the fifty-fourth of Suárez’s Metaphysical Disputations is about the ontological status of beings of reason. Suárez’s view has been the subject of disagreement in the literature because he sometimes says that there are beings of reason, and he sometimes says there are not. In this paper, I argue for and explain an ontological pluralist reading of Suárez. (...) Ontological pluralism is the claim that there is more than one way of being. I distinguish between two varieties of ontological pluralism, strict and non-strict, and argue that Suárez endorsed the latter. In the contemporary literature, it is sometimes alleged that ontological pluralism is an idle hypothesis, unintelligible or philosophically vacuous. I argue that Suárez has a response to this objection in his argument against ontological monism. (shrink)

Efforts to ban Autonomous Weapon Systems were both unsuccessful and controversial. Simultaneously the need to address the detrimental aspects of AWS development and proliferation continues to grow in scope and urgency. The article presents several regulatory solutions capable of addressing the issue while simultaneously respecting the requirements of military necessity and so attracting a broad consensus. Two much stricter solutions – regional AWS bans and adoption of a no first use policy – are also presented as fallback strategies in case (...) achieving AWS’ compliance with the Laws of Armed Conflict proved elusive. Together, the solutions presented form an outline of a flexible regulatory strategy able to adjust to different technological outcomes and providing a sensible compromise to solve the current deadlock on the AWS issue. (shrink)

A new method of adult and children mental development is investigated – the trilogy of mind, which basic operation is the logic operation of comparison. This method was created considering Aristotle's understanding of philosophy as “the science about the first reasons and origins” of cognition, the beginning of presocratic cognition of the surrounding world. This new method is an effective mean of mental thinking development that is oriented at the understanding of natural and social processes with the help of general (...) scientific comparative notions – kinds of opposition, worked out in ancient times. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

The literature on counterfactuals is dominated by strict accounts and variably strict accounts. Counterexamples to the principle of Antecedent Strengthening were thought to be fatal to SA; but it has been shown that by adding dynamic resources to the view, such examples can be accounted for. We broaden the debate between VSA and SA by focusing on a new strengthening principle, Strengthening with a Possibility. We show dynamic SA classically validates this principle. We give a counterexample to it and show (...) that extra dynamic resources cannot help SA. We then show VSA accounts for the counterexample if it allows for orderings on worlds that are not almost-connected, and that such an ordering naturally falls out of a Kratzerian ordering source semantics. We conclude that the failure of Strengthening with a Possibility tells strongly against Dynamic SA and in favor of an ordering source-based version of VSA. (shrink)

ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings true. This (...) is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

The first part of this paper surveys five perspectives in Kant’s philosophy on the quantity of retribution to be inflicted on wrongdoers, ordered by two dimensions of difference – whether they are theoretical or practical perspectives, and the quantity of retribution they prescribe: (1) theoretical zero, the perspective of theoretical philosophy; (2) practical infinity, the perspective of God and conscience; (3) practical equality, the perspective of punishment in public law; (4) practical degrees, the perspective we adopt in private relations to (...) others and (5) practical zero, a perspective I argue is entailed by Kant’s doctrine of strict right, which is his justification of coercing compliance with public law. Kant acknowledges 1–4 but not 5. The second part draws on Kant’s account of the burden of proof in criminal law to argue that Kant is wrong to adopt 3 in responding to criminals, and that we ought to adopt 5 instead. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative conditional (...) as a context-sensitive strict conditional: true if and only if its consequent is true in each of a contextually determined set of situations in which its antecedent is true. Pragmatically, the theory claims that context changes in response to new assertions, including new conditional premises. Thus, the conclusion of a modus ponens argument may no longer be accepted in the changed context. Psychologically, the theory describes people as capable of reasoning about broad classes of possible situations, ordered by typicality, without having to reason about individual possible worlds. The theory accounts for the main suppression phenomena, and it generates some novel predictions that new experiments confirm. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And putative counterexamples (...) to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

We argue against claims that the classical ℏ → 0 limit is “singular” in a way that frustrates an eliminative reduction of classical to quantum physics. We show one precise sense in which quantum mechanics and scaling behavior can be used to recover classical mechanics exactly, without making prior reference to the classical theory. To do so, we use the tools of strict deformation quantization, which provides a rigorous way to capture the ℏ → 0 limit. We then use the (...) tools of category theory to demonstrate one way that this reduction is explanatory: it illustrates a sense in which the structure of quantum mechanics determines that of classical mechanics. (shrink)

Bundles of C*-algebras can be used to represent limits of physical theories whose algebraic structure depends on the value of a parameter. The primary example is the ℏ→0 limit of the C*-algebras of physical quantities in quantum theories, represented in the framework of strict deformation quantization. In this paper, we understand such limiting procedures in terms of the extension of a bundle of C*-algebras to some limiting value of a parameter. We prove existence and uniqueness results for such extensions. Moreover, (...) we show that such extensions are functorial for the C*-product, dynamical automorphisms, and the Lie bracket (in the ℏ→0 case) on the fiber C*-algebras. (shrink)

Type-identity of mental and physical events is compatible with psychological anomalism. (1) Both in action and perceiving singular causal relations, two temporally distant physical events C and E (caused by C) instantiate a COMMON mental property securing "inter-event" continuity of mental content: the mental content when the room is illuminated shows a trace of familiarity with the mental content just before flipping the switch. (2) "Inter-event" continuity is possible if there is "intra-event" continuity in individual mental content: subsets of C (...) and E capable of functioning as both causal antecedent and consequent included. (3) Intra-event continuity means not just seamless adaptation to physical by role-depriving the double-role events but also enables physical shortcuts by being already equipped with pre-causal epistemic link to future (some causally efficacious knowledge of future mental property). --- Whatever causal effect mental may ever have in the physical domain can be reproduced by purely physical events (for example causally deviant chain set off by rare quantum or cosmological events) so it must be covered by strict laws. Mental brings the cause and the effect of such strict laws temporally closer. Illuminating the room takes remarkably shorter time if there is a relevant (temporally extended) mental content involved than if it is left to rare physical phenomena. -/- . (shrink)

In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always augment one’s language (...) with more than one conditional, and it may be that no single conditional will satisfy all of our intuitions about how a conditional should behave. Finally, I suspect the strong conditional will be of more use for logic rather than the philosophy of language, and I will make no claim that the strong conditional is a good model for any particular use of the indicative conditional in English or other natural languages. Still, it would certainly be a nice bonus if some modified version of the strong conditional could serve as one. -/- I begin by exploring some of the disadvantages of the material conditional, the strict conditional, and some relevant conditionals. I proceed to define a strong conditional for classical sentential logic. I go on to adapt this account to Graham Priest’s Logic of Paradox, to S. C. Kleene’s logic K3, and then to J. Łukasiewicz’s logic Ł, a standard version of fuzzy logic. (shrink)

There is no strict alignment between induction and fallibility, nor between deduction and certainty. Fallibility in deductive inferences, such as failed mathematical theorems, demonstrates that deduction does not guarantee certainty. Similarly, inductive reasoning, typically seen as weaker and more prone to uncertainty, is not inherently tied to fallibility. In fact, inductive generalizations can sometimes lead to certainty, especially in mathematical contexts. By decoupling induction from fallibility and deduction from certainty, we preserve the distinct nature of each form of reasoning, allowing (...) them to be properly understood without unnecessary constraints. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

Is an epistemological reduction strictly possible? Scientific methodology claims that a boundary separating the system from the “extra-system” can be defi ned. However, no system defi nes its own limits: rather, every system needs extra-systemic presuppositions that are defi ned from outside the system. In this article, we show how various areas of knowledge presuppose the presence of an extra-systemic reality that provides meaning: to know any system, knowledge of the “extra-system” is also necessary.

This article is a response to Martin Orensanz’s argument that object-oriented ontology ought to accept the existence of matter as both a sensual and a real object. That matter can exist as a sensual object is a point immediately granted, since “sensual object” is such a broad term that nothing could be excluded from this designation. Yet I argue that this is not the case with respect to real objects, which must exist independently of any other entity that might encounter (...) them. This leads to a related debate on whether parthood is transitive, in which Orensanz takes up a recent argument of Daniel Korman while I defend the modified Aristotelian position that only the proximate parts of an object can be said to belong to it in the strict sense. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...) models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

One of the major challenges in the philosophy of religion is theological fatalism—roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be skeptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument can be generalized (...) so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle—specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

I present a challenge to epistemological pragmatic encroachment theories from epistemic injustice. The challenge invokes the idea that a knowing subject may be wronged by being regarded as lacking knowledge due to social identity prejudices. However, in an important class of such cases, pragmatic encroachers appear to be committed to the view that the subject does not know. Hence, pragmatic encroachment theories appear to be incapable of accounting for an important type of injustice – namely, discriminatory epistemic injustice. Consequently, pragmatic (...) encroachment theories run the risk of obscuring or even sanctioning epistemically unjust judgments that arise due to problematic social stereotypes or unjust folk epistemological biases. In contrast, the epistemological view that rejects pragmatic encroachment – namely, strict purist invariantism – is capable of straightforwardly diagnosing the cases of discriminatory epistemic injustice as such. While the challenge is not a conclusive one, it calls for a response. Moreover, it illuminates very different conceptions of epistemology’s role in mitigating epistemic injustice. (shrink)

Inculturation is a Roman Catholic concept. In this article it is advocated that Hindus accept some of the key concepts of Vatican II which was such a revolutionary step within the Roman Church in the last century. For instance, the article mentions the works of Fr. Adrian van Kaam within psychology. The value of this article can be seen by the fact that it has been republished by Indian Catholic Matters and also by ESamskriti. The latter shows the acceptance of (...) the author's position by devout Hindus. The article is preceded by a letter to the editor by the same author on the R.G. Kar rape and murder case. Indian Catholic Matters adds the letter after the article. ESamskriti does not refer to the letter. This document is, strictly speaking, non-philosophical in nature and is being put up here for the interested scholar and for archival purposes. Go to page 4 of The Herald for the letter and the article. (shrink)

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

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

Idiosyncratic responses as more strictly personal responses to fiction film that vary across individual spectators. In philosophy of film, idiosyncratic responses are often deemed inappropriate, unwarranted and unintended by the film. One type of idiosyncratic response is when empathy with a character triggers the spectator to reflect on his own real life issues. Self-reflection can be triggered by egoistic drift, where the spectator starts imagining himself in the character’s shoes, by re-experiencing memories, or by unfamiliar experiences that draw the spectator’s (...) attention. Film may facilitate self-reflection by slowing down narrative development and making the narrative indeterminate. Such scenes make idiosyncratic responses, such as self-reflection, appropriate and intended. Fiction film is a safe context for the spectator to reflect on personal issues, as it also affords him with distancing techniques if the reflection becomes too painful or unwanted. The fictional context further encourages self-reflection in response to empathy, as the spectator is relieved from real life moral obligations to help the other. (shrink)

Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. So the (...) SIM can be used as Popper's information criterion for falsification or test. The SIM also allows us to optimize the true-value of counterexamples or degrees of disbelief in a hypothesis to get the optimized degree of belief, i. e. Degree of Confirmation (DOC). To explain confirmation, this paper 1) provides the calculation method of the DOC of universal hypotheses; 2) discusses how to resolve Raven Paradox with new DOC and its increment; 3) derives the DOC of rapid HIV tests: DOC of “+” =1-(1-specificity)/sensitivity, which is similar to Likelihood Ratio (=sensitivity/(1-specificity)) but has the upper limit 1; 4) discusses negative DOC for excessive affirmations, wrong hypotheses, or lies; and 5) discusses the DOC of general hypotheses with GPS as example. (shrink)

One of the crucial problems of argumentation schemes as illustrated in (Walton, Reed & Macagno 2008) is their practical use for the purpose of analyzing texts and producing arguments. The high number and the lack of a classification criterion make this instrument extremely difficult to apply practically. The purpose of this paper is to analyze the structure of argumentation schemes and outline a possible criterion of classification based on alternative and mutually-exclusive possibilities. Such a criterion is based not on what (...) an argument is, but how it can be understood and interpreted. The schemes are grouped according to an end-means principle, which is strictly bound to the ontological structure of the conclusion and the premises. On this view, a scheme can be selected according to the intended or reconstructed purpose of an argument and the possible strategies that can be used to achieve it. (shrink)

We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one’s evidence. The guiding idea is that, if a possibility is sufficiently less normal than one’s actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...) the future, knowledge of lawful regularities, knowledge about parameters measured using imperfect instruments, the connection between knowledge, belief, and probability, and the dynamics of knowledge and belief in response to new evidence. (shrink)

Deep brain stimulation (DBS), a surgical procedure involving the implantation of electrodes in the brain, has rekindled the medical community’s interest in psychosurgery. Whereas many researchers argue DBS is substantially different from psychosurgery, we argue psychiatric DBS—though a much more precise and refined treatment than its predecessors—is nevertheless a form of psychosurgery, which raises both old and new ethical and legal concerns that have not been given proper attention. Learning from the ethical and regulatory failures of older forms of psychosurgery (...) can help shed light on how to address the regulatory gaps that exist currently in DBS research. To show why it is important to address the current regulatory gaps within psychiatric DBS, we draw on the motivations underlying the regulation of earlier forms of psychosurgery in the US. We begin by providing a brief history of psychosurgery and electrical brain stimulation in the US. Against this backdrop, we introduce psychiatric DBS, exploring current research and ongoing clinical trials. We then draw out the ethical and regulatory similarities between earlier forms of psychosurgery and psychiatric DBS. As we will show, the factors that motivated strict regulation of earlier psychosurgical procedures mirror concerns with psychiatric DBS today. We offer three recommendations for psychiatric DBS regulation, which echo earlier motivations for regulating psychosurgery, along with new considerations that reflect the novel technologies used in DBS. (shrink)

The aim of this article is to identify the strongest evolutionary debunking argument against moral realism and to assess on which empirical assumptions it relies. In the recent metaethical literature, several authors have de-emphasized the evolutionary component of EDAs against moral realism: presumably, the success or failure of these arguments is largely orthogonal to empirical issues. I argue that this claim is mistaken. First, I point out that Sharon Street’s and Michael Ruse’s EDAs both involve substantive claims about the evolution (...) of our moral judgments. Next, I argue that combining their respective evolutionary claims can help debunkers to make the best empirical case against moral realism. Some realists have argued that the very attempt to explain the contents of our endorsed moral judgments in evolutionary terms is misguided, and have sought to escape EDAs by denying their evolutionary premise. But realists who pursue this reply can still be challenged on empirical grounds: debunkers may argue that the best, scientifically informed historical explanations of our moral endorsements do not involve an appeal to mind-independent truths. I conclude, therefore, that the empirical considerations relevant for the strongest empirically driven argument against moral realism go beyond the strictly evolutionary realm; debunkers are best advised to draw upon other sources of genealogical knowledge as well. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is misguided. Russell-Myhill is not a problem specifically for Alternative (0). Rather (...) it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions, as classes of possible worlds, is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)