The paradox of material implication has remained unresolved since antiquity because it was believed that the nature of implication was entailment. The article shows that this nature is opposition and therefore the name "implication" should be replaced with the name "competition". A solution to the paradox is provided along with appropriate changes in nomenclature, the addition of connectives and the postulate that the biconditional take over the role of the previous implication. In addition, changes to (...) the nomenclature of logic gates reflecting the competition in electronics are proposed. (shrink)

The paper discusses a prominent one of Kratzer's (1986, 1991, 2012) arguments against material implication analyses of the denotation of (indicative) conditional sentences. This is the argument based on the sentence _Most of the time, if a man buys a horse, he pays cash for it_. It is shown that material implication makes a prediction that does conform to speakers' intuitions, contrary to Kratzer's claim. The paper also argues that Lewis's (1975) attack on material (...) class='Hi'>implication analyses of conditional sentences based on examples where the conditional is embedded under the adverbials _sometimes_ and _never_ does not have much force given that the interpretation of such sentences is subject to inferential pragmatic operations in addition to the recovery of their denotation. (shrink)

The topic of this article is the closure of a priori knowability under a priori knowable material implication: if a material conditional is a priori knowable and if the antecedent is a priori knowable, then the consequent is a priori knowable as well. This principle is arguably correct under certain conditions, but there is at least one counterexample when completely unrestricted. To deal with this, Anderson proposes to restrict the closure principle to necessary truths and Horsten suggests (...) to restrict it to formulas that belong to less expressive languages. In this article it is argued that Horsten’s restriction strategy fails, because one can deduce that knowable ignorance entails necessary ignorance from the closure principle and some modest background assumptions, even if the expressive resources do not go beyond those needed to formulate the closure principle itself. It is also argued that it is hard to find a justification for Anderson’s restricted closure principle, because one cannot deduce it even if one assumes very strong modal and epistemic background principles. In addition, there is an independently plausible alternative closure principle that avoids all the problems without the need for restriction. (shrink)

The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that (...) seeks to explain the implicit concept of conditionality of conditionals assertions. In order to reinforce my aim I expound the twelve different meanings of ‘implication’ stated by Corcoran (1993) in order to hold that a proper understanding of these meanings allows us to avoid ambiguities and confusions. Finally, I expect to show that despite the possible alternatives, compositionalism is still the best explanation for the truth-functionality account of logical connectives. (shrink)

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of property in these terms may (...) have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which (...) knowledge of these relations are achieved. This paper is better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

In metaphysics, the view that material constitution is transitive is ubiquitous, an assumption expressed by both proponents and critics of constitution views. Likewise, it is typically assumed within the philosophy of mind that physical realization is a transitive relation. In both cases, this assumption of transitivity plays a role in discussion of the broader implications of a metaphysics that invokes either relation. Here I provide reasons for questioning this assumption and the uses to which this appeal to transitivity is (...) put. As my title suggests, I shall focus on the case of material constitution, using a brief discussion of realization at the outset to motivate the discussion of the transitivity of material constitution at the core of the paper. (shrink)

The prevailing viewpoint concerning conditionals asserts two claims: (1) conditionals featuring non-assertive acts in their consequents, such as commands and promises, cannot plausibly be construed as assertions of material implication; (2) the most promising hypothesis for such sentences is conditional-assertion theory, which defines a conditional as a conditional speech act, i.e., the performance of a speech act given the assumption of the antecedent. This hypothesis carries significant and far-reaching implications, as conditional speech acts are not synonymous with a (...) proposition possessing truth conditions. This paper opposes such a view in two steps. Firstly, it presents a battery of objections against conditional-assertion theory. Secondly, it advances the argument that such examples can indeed be convincingly construed as assertions of material implication. (shrink)

The idea of “material plenitude” has been gaining traction in recent discussions of the metaphysics of material objects. My main goal here is to show that this idea may have important dialectical implications for the metaphysics of properties – more specifically, that it provides nominalists with new resources in their attempt to reject an ontology of universals. I will recapitulate one of the main arguments against nominalism – due to David Armstrong – and show how plenitude helps the (...) nominalist overcome the argument. (shrink)

Against David Schenck's interpretation, I argue that it is not absolutely clear that Merleau-Ponty ever meant to replace what Schenck refers to as the "unity of meanings" interpretation of "structure" with a "material meanings" interpretation. A particular problem-setting -- for example, an attempt to understand the "truth in naturalism" or the "truth in dualism" -- may very well require a particular mode of expression. I argue that the mode of expression chosen by Merleau-Ponty for these purposes, while unfortunate in (...) some of its apparent implications, need not be interpreted as recommitting him to the doctrine he spent his life working to renounce. I have argued that this would have been clearer had he been able to avail himself of James J. Gibson's notion of affordances, which capture perfectly what he was reaching for. (shrink)

The new …eld of judgment aggregation aims to …nd collective judgments on logically interconnected propositions. Recent impossibility results establish limitations on the possibility to vote independently on the propositions. I show that, fortunately, the impossibility results do not apply to a wide class of realistic agendas once propositions like “if a then b” are adequately modelled, namely as subjunctive implications rather than material implications. For these agendas, consistent and complete collective judgments can be reached through appropriate quota rules (which (...) decide propositions using acceptance thresholds). I characterise the class of these quota rules. I also prove an abstract result that characterises consistent aggregation for arbitrary agendas in a general logic. (shrink)

While there are numerous differences between the approaches taken by Maurice Merleau-Ponty and James J. Gibson, the basic motivation of the two thinkers, as well as the internal logic of their respective views, is extraordinarily close. Both were guided throughout their lives by an attempt to overcome the dualism of subject and object, and both devoted considerable attention to their "Gestaltist" predecessors. There can be no doubt but that it is largely because of this common cause that the subsequent development (...) of their ideas is so similar. It is not my objective in what follows merely to demonstrate a similarity between two lines of thought. Instead, I will try to show that each approach gains considerably from attention to the other. There are numerous ways to begin such a project, each about as arbitrary as the next. For present purposes, I shall take as of central importance the question of the character of the perceived world, both in relation to the traditionally opposed mental and material "substances", and in relation to its identification and individuation of things vis a vis one another and vis a vis ourselves. This will implicate especially Gibson's "affordances" and Merleau-Ponty's thesis concerning the "materiality of meaning.". (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many (...) philosophers will claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)

The persistent interpretation problem for quantum mechanics may indicate an unwillingness to consider unpalatable assumptions that could open the way toward progress. With this in mind, I focus on the work of David Bohm, whose earlier work has been more influential than that of his later. As I’ll discuss, I believe two assumptions play a strong role in explaining the disparity: 1) that theories in physics must be grounded in mathematical structure and 2) that consciousness must supervene on material (...) processes. I’ll argue that the first assumption appears to lead us toward Everett’s many worlds interpretation, which suggests a red flag. I’ll also argue that the second assumption is suspect due to the persistent explanatory gap for consciousness. Later, I explore ways that Bohm’s later work holds some promise in providing a better fit with our world, both phenomenologically and empirically. Also, I’ll address the possible problem of realism. (shrink)

Introduction. Higher education plays a particularly important role in the development of a country. The goal of the article is to describe the development of concepts about education in general and higher education in particular to explain the role of education in social life. Humboldt sees higher education as a process toward freedom and the search for true truth. Humboldt's philosophy of higher education is an indispensable requirement in the context of people struggling to escape the influence of the state (...) and church forces. The purpose is to find out the content and principles of higher education, especially meaningful suggestions for building an autonomous education in Vietnam today. Materials and Methods. The article uses materialist dialectic to analyze Humboldt's philosophy of higher education. In addition, the article also uses methods of analysis, synthesis, comparison and contrast to clarify views on education in the history of human thought from ancient, medieval, modern and modern times, from which to draw the basic contents and principles in the philosophy of higher education of Humboldt. Results and Discussion. Humboldt is the founder of the University of Berlin - known as the mother of modern universities. It is a new university model based on the philosophy of upholding freedom in learning and teaching, upholding the scientific spirit to seek and discover the truth, and at the same time, combining teaching with scientific research. His liberal education philosophy has contributed to affirming the strength and position of universities. He criticized state intervention in university institutions. Based on the anthropological foundation of emphasizing human diversity, Humboldt's higher education philosophy is truly liberating when it comes to bold views. Humboldt believes that a university is a pure place of science and research, so it is not influenced by any outside force, even from the state. A university is where academic freedom, scientific freedom and other autonomy are guaranteed so that the institution can run smoothly. Universities must have unity between research and teaching. However, Humboldt's philosophy of higher education still contains many issues that need to be considered thoroughly. Specifically, the promotion of internal self-determination requires financial autonomy while the state's investment capital in universities is still quite large; Calling for education to be privatized is still inadequate. The elitist spirit in the Humboldt model is no longer fully relevant in the context of a market economy that tends to lead to the pursuit of targets, which are often related to quality. Practical significance. Humboldt's liberal philosophy of higher education has a strong influence, dominates and becomes a reality in many countries with advanced education. For Vietnam, Humboldt's higher education philosophy is a meaningful suggestion to build an autonomous education under the country's socio-historical conditions. (shrink)

Mill’s Principle of Utility: Origins, Proof, and Implications (Leiden: Brill, 2022) is a scholarly monograph on John Stuart Mill’s utilitarianism with a particular emphasis on his proof of the principle of utility. Originally published as Mill’s Principle of Utility: A Defense of John Stuart Mill’s Notorious Proof (Amsterdam: Editions Rodopi, 1994), the present volume is a revised and enlarged edition with additional material, tighter arguments, crisper discussions, and updated references. The initiative is still principally an analysis, interpretation, and defense (...) of the controversial proof, which has yet to attract a scholarly consensus on how it works and whether it succeeds. Well over a century and a half after Mill’s contribution, the subject matter continues to figure prominently in classroom discussions, where the principle and its proof are presented and debated in connection with the critical baggage of logical problems and conceptual confusions wrongly attributed to Mill from the beginning. The overarching aim of the book, now supplemented by a comprehensive historical background and salient philosophical implications, remains the vindication of Mill’s reasoning in pursuit of what he promises as a proof of the principle of utility. (shrink)

Aristotle’s treatment of tactility is at odds with the hierarchical order of psyche’s faculties. Touching is the commonest and lowest power; it is possessed by all sentient beings; thinking is, on the contrary, the highest faculty that distinguishes human beings. Yet, while Aristotle maintains against some of his predecessors that to think is not to sense, he nevertheless posits a causal link between practical intelligence and tactility and even describes noetic activity as a certain kind of touch. This essay elucidates (...) Aristotle’s analysis of the sense of touch in De anima and argues that tactility provides a paradigm for sensitivity in general and in particular for the reflexivity of sensation whereby the senses disclose not only what they are sensing but also that they are sensing. This feature, it is argued, has epistemological and ontological consequences. The sense of touch testifies to the physical presence of material beings and provides an empirical verification of substance’s essential feature, namely, self-reference. (shrink)

A systematic analysis of land use/cover change is so decisive to exactly understand the extent of change and take essential measures to curb down the rate of changes and protect the land cover resources sustainably. This land use/land cover change study was conducted in Agarfa district of Bale zone, Oromia Regional State, Southeastern Ethiopia. The objectives of this study were to evaluate the trends, drivers and its socio-economic and environmental implication in study area. A descriptive research method was employed (...) to achieve the intended objectives of the study. In the three years (1976, 1995, and 2014) Landsat Satellite images and socio-economic survey were the main data sources for this study. ERDAS Imagine and Arch-GIS tools were used to classify and generate land use/land cover maps of the study area. Survey questionnaires, key informant interviews, and field observation were employed to obtain information on drivers and its socio-economic and environmental implication in the district. The results show that the land use/land cover of the study area had changed dramatically during the period of 38 years. A rapid loss of forest land and shrub land cover in the landscape took place between 1976 and 2014. Conversely, agriculture and grazing lands were increased by 30% and 42% respectively at the expense of the lost land use/land cover types. Forest land is the most converted cover type during the entire study period. In the 38 years, forest lands diminished by over 65% of the original forest cover that was existed at the base year (1976). Local climate change, declining agricultural productivity and livestock quantity and quality and scarcity of fuel wood and constructional materials were some of the socio-economic and livelihood impacts of land use and land cover change of the study area. Thus, this finding affords information to land users and policy makers on extent of the change and social forces leading to this changes and its subsequent implication on local socio-economic and environmental conditions of the study area. (shrink)

This study investigated Boko Haram and terrorist activities in Nigeria while looking at the ethical implications and responses of the Christians. The study was guided by two objectives which are to; analyse whether the acts of terror carried out by Boko Haram are ethical and examine the responses of the Christians with respect to Boko Haram acts of terror. However, the methods of exposition and critical analysis was used and content analysis was used to analyse data collected. Data was collected (...) from secondary sources like textbooks, journal articles, interviews, institutional materials and internet sources. The study also looked at concept of terrorism and a brief history of Boko Haram. The findings of the study showed that since Boko Haram acts of terrorism is simply a display of violence to terrify the populace and the government, it can be said that their actions and activities which include violence is unacceptable and could be termed wrong taking cognizance of the consequentialist view which opines that the morality of an action depends on its results. The ethics of care which is seen as a context-based approach to preserve relationship, negates Boko Haram acts of terror which apparently has a considerable effect on a number of relationships. The findings further showed that the Christians responded by rejecting to integrate with Muslims and also encouraged Christians to move to areas where there are major Christian settlements while others had to fall back to the natural tendency of self-preservation. (shrink)

The extended dual-aspect monism framework of consciousness, based on neuroscience, consists of five components: (1) dual-aspect primal entities; (2) neural-Darwinism: co-evolution and co-development of subjective experiences (SEs) and associated neural-nets from the mental aspect (that carries the SEs/proto-experiences (PEs) in superposed and unexpressed form) and the material aspect (mass, charge, spin and space-time) of fundamental entities (elementary particles), respectively and co-tuning via sensorimotor interaction; (3) matching and selection processes: interaction of two modes, namely, (a) the non-tilde mode that is (...) the material and mental aspect of cognition (memory and attention) related feedback signals in a neural-network, which is the cognitive nearest past approaching towards present; and (b) the tilde mode that is the material and mental aspect of the feed forward signals due to external environmental input and internal endogenous input, which is the nearest future approaching towards present and is a entropy-reversed representation of non-tilde mode; (4) the segregation and integration of information, and (5) the necessary ingredients of SEs (such as wakefulness, attention, re-entry, working memory, stimulus at or above threshold level, and neural-net PEs). This framework leads to structural and functional coherence between the mind and the brain, bridges the explanatory gap (the gap between SEs and their neural-correlates), and leads to our mundane subjective experiences. This extended dual-aspect monism (eDAM) framework (Vimal, 2008, 2010, 2013, 2015a, 2015b) could be the fundamental basis of various religions and philosophies. This is a Western perspective. On the other hand, Eastern perspectives emphasize the practical methods for achieving altered experience at samadhi state. An important corollary of these methods (such as yogic method) is the sublimation of negative aspects of seven groups of self-protective energy system (desire, anger, ego, greed, attachment, jealousy, and selfish-love) into their positive aspects. Their negative aspects create war and suffering, whereas their positive aspects advance science and technology, family values, peace, and happiness. Here, the Western perspective framework is extended to include the concepts of the sublimation process to encompass Eastern perspectives. The four elements (war, suffering, peace, and happiness) are ubiquitous in both space and time because they are essential contributors to the variations for natural selection in our evolutionary system. The sublimation process optimizes the system: minimizes war and suffering, maximizes peace and happiness, and enhances family values and individual progress. This is consistent with both Eastern and Western perspectives. (shrink)

In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of god and other philosophical issues. I point at rst some paradoxes coming om improper usage of propositional calculus as an instrument for analysis of a natural language. this language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have to deal with (...) so called paradox of material implication. the second paragraph provides formal and metatheoretical critics of Charles Sanders Peirce’s theory of deduction, induction and abduction. I argue that what Peirce and his followers call abduction is actually deduction or some reasoning unable to describe in terms of the logic used by them. Both syllogistic and inferential theory of abduction generate some paradoxes and contradictions. In the last paragraph also some paradoxes and contradictions resulting om the theory of causation by Jan Łukasiewicz are presented. the central issue of the article is erroneous usage of the implication: in logical paraphrases of a natural language, in description of the scienti c reasoning, and in description of causality. However, my objective is not to solve all problems mentioned above but rather to open a discussion over them. (shrink)

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being (...) mentioned as the premise and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same kind of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are (...) not connectives, but arguments; (2) the traditional examples of valid argumentative forms are metalogical principles that express the properties of logical consequence; (3) formal logic is not a useful guide to detect valid arguments in the real world; (4) it is incoherent to propose alternatives to the material implication while accepting the classical properties of formal implication; (5) some of the counter-examples to classical argumentative forms and known conditional puzzles are unsound. (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)

The truth-functional hypothesis states that indicative conditional sentences and the material implication have the same truth conditions. Haze (2011) has rejected this hypothesis. He claims that a self-referential conditional, coupled with a plausible assumption about its truth-values and the assumption that the truth-functional hypothesis is true, lead to a liar’s paradox. Given that neither the self-referential conditional nor the assumption about its truth-values are problematic, the culprit of the paradox must be the truth-functional hypothesis. Therefore, we should reject (...) it. In this paper I argue that, contrary to what Haze thinks, the truth-functional hypothesis is not to blame. In fact, no liar’s paradox emerges when the truth-functional hypothesis is true; it emerges only if it is false. (shrink)

The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) (...) is focused on rather than in inferencing (reasoning). It is shown that some ‘paradoxes of material implication’ are due to inconsistent premises of deductions introduced by semantic relations between clauses constituting the premises, a fact which does not invalidate the approach. Other ‘paradoxes’ are shown to arise because they are based on uninformative deductions, violating a basic pragmatic principle. In addition, the paper introduces the distinction between the set of possible states of a mental model of the actual world and of alternative worlds. It is argued that material implication determines the denotation of an indicative conditional as a subset of the former set and the denotation of a subjunctive conditional as a subset of the latter set, thus unifying these two types of conditionals. (shrink)

The premise-fact confusion in Aristotle’s PRIOR ANALYTICS. -/- The premise-fact fallacy is talking about premises when the facts are what matters or talking about facts when the premises are what matters. It is not useful to put too fine a point on this pencil. -/- In one form it is thinking that the truth-values of premises are relevant to what their consequences in fact are, or relevant to determining what their consequences are. Thus, e.g., someone commits the premise-fact fallacy if (...) they think that a proposition has different consequences were it true than it would have if false. C. I. Lewis said that confusing logical consequence with material consequence leads to this fallacy. See Corcoran’s 1973 “Meanings of implication” [available on Academia. edu]. -/- The premise-fact confusion occurs in a written passage that implies the premise-fact fallacy or that suggests that the writer isn’t clear about the issues involved in the premise-fact fallacy. Here are some examples. -/- E1: If Abe is Ben and Ben swims, then it would follow that Abe swims. -/- Comment: The truth is that from “Abe is Ben and Ben swims”, the proposition “Abe swims” follows. Whether in fact Abe is Ben and Ben swims is irrelevant to whether “Abe swims” follows from “Abe is Ben and Ben swims”. -/- E1 suggests that maybe “Abe swims” wouldn’t follow from “Abe is Ben and Ben swims” if the latter were false. -/- E2: The truth of “Abe is Ben and Ben swims” implies that Abe swims. -/- E3: Indirect deduction requires assuming something false. -/- Comment: If the premises of an indirect deduction are true the conclusion is true and thus the “reductio” assumption is false. But deduction, whether direct or indirect, does not require true premises. In fact, indirect deduction is often used to determine that the premises are not all true. -/- Anyway, the one-page paper accompanying this abstract reports one of dozens of premise-fact errors in PRIOR ANALYTICS. In the session, people can add their own examples and comment on them. For example, is the one at 25b32 the first? What is the next premise-fact error after 25b32? Which translators or commentators discuss this? -/- . (shrink)

Many epistemologists hold that an agent can come to justifiably believe that p is true by seeing that it appears that p is true, without having any antecedent reason to believe that visual impressions are generally reliable. Certain reliabilists think this, at least if the agent’s vision is generally reliable. And it is a central tenet of dogmatism (as described by Pryor (2000) and Pryor (2004)) that this is possible. Against these positions it has been argued (e.g. by Cohen (2005) (...) and White (2006)) that this violates some principles from probabilistic learning theory. To see the problem, let’s note what the dogmatist thinks we can learn by paying attention to how things appear. (The reliabilist says the same things, but we’ll focus on the dogmatist.) Suppose an agent receives an appearance that p, and comes to believe that p. Letting Ap be the proposition that it appears to the agent that p, and → be the material implication, we can say that the agent learns that p, and hence is in a position to infer Ap → p, once they receive the evidence Ap.1 This is surprising, because we can prove the following. (shrink)

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic problem. (...) Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based (...) on affirmations and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that (...) mathematics reduces to logic. (shrink)

Resolving the Ross and Prior paradoxes proved to be a difficult task. Its first two stages, involving the identification of the true natures of the implication and truth values, are described in the articles "Solving the Paradox of Material Implication – 2024" and "Solving Jörgensen's Dilemma – 2024". This article describes the third stage, which involves the discovery of missing modal operators and the Classical Modal Calculus. Finally, procedures for solving both paradoxes are provided.

It is generally agreed that constructions of the form “if P, Q” are capable of conveying a number of different relations between antecedent and consequent, with pragmatics playing a central role in determining these relations. Controversy concerns what the conventional contribution of the if-clause is, how it constrains the pragmatic processes, and what those processes are. In this essay, I begin to argue that the conventional contribution of if-clauses to semantics is exhausted by the fact that these clauses introduce a (...) proposition without presenting it as true so that the consequent can be understood in relation to it. Given our cognitive interests in such non-truth-presentational introductions, conditionals will make salient the wide but nevertheless disciplined variety of contents that we naturally attribute to them; no further substantial constraints of the sorts proposed by standard theories of conditionals are needed to explain the phenomena. If this is correct, it provides prima facie evidence for a radically contextualist account of conditionals according to which conditionals have no truth-evaluable or intuitively complete content absent some contextually provided, sufficiently salient relation between antecedent and consequent. (shrink)

I will introduce and motivate eliminativist super-relationism. This is the conjunction of relationism about spacetime and eliminativism about material objects. According to the view, the universe is a big collection of spatio-temporal relations and natural properties, and no substance (material or spatio-temporal) exists in it. The view is original since eliminativism about material objects, when understood as including not only ordinary objects like tables or chairs but also physical particles, is generally taken to imply substantivalism about spacetime: (...) if properties are directly instantiated by spacetime without the mediation of material objects, then, surely, spacetime has to be a substance. After introducing briefly the two debates about spacetime (§1) and material objects (§2), I will present Schaffer's super-substantivalism (§3), the conjunction of substantivalism about spacetime and eliminativism about material objects at the fundamental level. I shall then expose and discuss the assumption from which the implication from eliminativism to substantivalism is drawn, and discuss the compatibility of eliminativism with relationism: if spacetime is not a substance, and if material objects are not real, how are we to understand the instantiation of properties (§4)? And what are the relata of spatio-temporal relations (§5)? I then show that each argument in favor of super-substantivalism offered by Schaffer also holds for super-relationism (§6) and examine several metaphysical consequences of the view (§7). I conclude that both super-substantivalism and super-relationism are compatible with Schaffer's priority monism (§8). (shrink)

Many of our most important goals require months or even years of effort to achieve, and some never get achieved at all. As social psychologists have lately emphasized, success in pursuing such goals requires the capacity for perseverance, or "grit." Philosophers have had little to say about grit, however, insofar as it differs from more familiar notions of willpower or continence. This leaves us ill-equipped to assess the social and moral implications of promoting grit. We propose that grit has an (...) important epistemic component, in that failures of perseverance are often caused by a significant loss of confidence that one will succeed if one continues to try. Correspondingly, successful exercises of grit often involve a kind of epistemic resilience in the face of failure, injury, rejection, and other setbacks that constitute genuine evidence that success is not forthcoming. Given this, we discuss whether and to what extent displays of grit can be epistemically as well as practically rational. We conclude that they can be (although many are not), and that the rationality of grit will depend partly on features of the context the agent normally finds herself in. In particular, grit-friendly norms of deliberation might be irrational to use in contexts of severe material scarcity or oppression. (shrink)

In the light of Philipp Sarasin's work in Darwin und Foucault: Genealogie und Geschichte im Zeitalter der Biologie, the article delineates a genealogically articulated naturally produced culture and a cultured nature and discusses the genealogical implications of a carnal, becoming self in a world that could rightly be justified "as an aesthetical phenomenon." The article demonstrates the historicity and processual materiality as a conceptual platform for a combination of the notions of experienced carnality and a socially constructed body, demonstrating such (...) a historically embedded carnal body as a binding agent for the "social constructivist" and "biologist" approaches in sciences. Thus, the article builds a framework for the articulation of senseful, processual materiality on the backdrop of a nature-culture continuum via genealogy, suggesting the necessity for change of tone in the communication of human and life sciences via the understanding of a culturally endowed biology. (shrink)

We here propose a solution to the problem we have raised. Basically, the mathematical notion of entailment seems to be connected to the inferential rules from Classical Logic, so that if we have P: x belongs to the reals, and Q: x+2=5 => x=3, P |= Q. Notwithstanding, we would also have that if P: x belongs to the interval (7,10), and Q: x+2=5 => x=3, P |= Q. The second instance of entailment does not seem to be justifiable if (...) our intuition is consulted: Even though we could say that absurdity implies anything in Classical Logic, entailment should be a concept that belongs to the metalogic, not to the logic of the system, so that we should not be inside of the Classical Logic World by the time we assess things in what regards entailment. As another point, our discussions in Entailment led us to choose the sense has as a consequence for entailment, so that it is not really acceptable that we have, as a consequence, using normal language, of x being inside of the real interval (7,10) that if x+2=5, then x=3. If x is in that interval, x+2 should not be 5, unless we are talking about moduli of vectors. However, when we transfer to Classical Logic, in having the antecedent false, and the consequent false as well, we have that the implication, which some call material, is true. We here discuss this sort of matter in detail, and hope to get to the bottom of the issue, and perhaps to a universal solution. (shrink)

Electronic text can be defined on two different, though interconnected, levels. On the one hand, electronic text can be defined by taking the notion of “text” or “printed text” as the point of departure. On the other hand, electronic text can be defined by taking the digital format as the point of departure, where everything is represented in the binary alphabet. While the notion of text in most cases lends itself to being independent of medium and embodiment, it is also (...) often tacitly assumed that it is in fact modeled on the print medium, instead of, for instance, on hand-written text or speech. In late 20th century, the notion of “text” was subjected to increasing criticism, as can be seen in the question that has been raised in literary text theory about whether “there is a text in this class.” At the same time, the notion was expanded by including extralinguistic sign modalities (images, videos). A basic question, therefore, is whether electronic text should be included in the enlarged notion that text is a new digital sign modality added to the repertoire of modalities or whether it should be included as a sign modality that is both an independent modality and a container that can hold other modalities. In the first case, the notion of electronic text would be paradigmatically formed around the e-book, which was conceived as a digital copy of a printed book but is now a deliberately closed work. Even closed works in digital form will need some sort of interface and hypertextual navigation that together constitute a particular kind of paratext needed for accessing any sort of digital material. In the second case, the electronic text is defined by the representation of content and (some parts of the) processing rules as binary sequences manifested in the binary alphabet. This wider notion would include, for instance, all sorts of scanning results, whether of the outer cosmos or the interior of our bodies and of digital traces of other processes in-between (machine readings included). Since other alphabets, such as the genetic alphabet and all sorts of images may also be represented in the binary alphabet, such materials will also belong to the textual universe within this definition. A more intriguing implication is that born-digital materials may also include scripts and interactive features as intrinsic parts of the text. The two notions define the text on different levels: one is centered on the Latin, the other on the binary alphabet, and both definitions include hypertext, interactivity, and multimodality as constituent parameters. In the first case, hypertext is included as a navigational, paratextual device; whereas in the second case, hypertext is also incorporated in the narrative within an otherwise closed work or as a constituent element on the textual universe of the web, where it serves the ongoing production of (possibly scripted) connections and disconnections between blocks of textual content. Since the early decades of early 21st century still represent only the very early stages of the globally distributed universe of web texts, this is also a history of the gradual unfolding of the dimensions of these three constituencies—hypertext, interactivity, and multimodality. The result is a still-expanding repertoire of genres, including some that are emerging via path dependency; some via remediation; and some as new genres that are unique for networked digital media, including “social media texts” and a growing variety of narrative and discursive multiple-source systems. (shrink)

This article presents an ontological proof that God is impossible.I define an ‘impossibility’ as a condition which is inconceivable due to its a priori characteristics (e.g. a ‘square circle’). Accordingly, said conditions will not ever become conceivable, as they could in instances of a posteriori inconceivability (e.g. the notion that someone could touch a star without being burned). As the basis of this argument, I refer to an a priori observation (Primus, 2019) regarding our inability to imagine inconsistency (difference) within (...) any point of space. This observation renders the notion of absolute power to be inconceivable, a priori.I briefly discuss the moral implications of religious faith in the context of Purism: a moral rationalist paradigm. I conclude that whilst belief in God can be aesthetically expressed it should not be possessed as a material purpose, due to the illogicality of the latter category of belief and/or expression. With this article I provide conceptual delineation between harmless religious belief and expression—which, I argue, should be protected from persecution, as per any other artistic expression— and religious belief and expression which is materially harmful to society. Whilst I aim to protect religious freedom of expression on one hand, I duly aim to reduce instances of material faith in God(s) on the other. Finally, I aim to bring hope in the possibility for human salvation via technology—such that they should exist indefinitely as ‘demigods,’ defined by conditional, relative power over their environment. (shrink)

This essay explores how contemporary works of critical theory and deconstruction can challenge preconceptions of the body and embodiments and interrogate their limits, particularly in relation to intertwined foldings of desire, gender, race and sexuality. It aims to suggest that Jacques Derrida’s acute concern for the question of translation might help challenge and re-configure the conventional dichotomy between understandings of the body either as physical/material or as socio-culturally constructed. The authors then analyse the questions of translation and untranslatability in (...) relation to interculturality, and explore their implications for thinking the corporeal and the material. (shrink)

The reading abilities of Filipino students have been a challenge for educators and policymakers alike. Despite government efforts to improve literacy rates in the Philippines, recent studies have shown that many students need help with reading comprehension, vocabulary development, and critical thinking skills. This research note examines the current state of reading abilities among Filipino students and potential areas for improvement. The poor reading abilities can be attributed to several factors, including a lack of resources and socioeconomic factors. However, there (...) are identified potential areas for improvement, such as promoting early literacy programs, investing in teacher training, and developing reading materials that are culturally relevant and engaging for Filipino students. These findings have important implications for education policies and practices in the Philippines and for educators and researchers seeking to improve reading abilities among Filipino students. (shrink)

The present chapter discusses the implications of virtual reality for the theory and practice of embodied cognitive science. The chapter discusses how recent technological innovations are poised to reshape our understanding of the materially-embodied and environmentally-situated mind, providing us with a new means of studying the mechanisms responsible for intelligent behavior. The chapter also discusses how a synthetically-oriented shift in our approach to embodied intelligence alters our view of familiar problems, most notably the distinction between embedded and extended cognition. The (...) chapter concludes by challenging the idea that virtual worlds ought to be seen as nothing more than a scientific ‘sandpit’ for the study of the embodied mind. Some forms of embodied intelligence can, I suggest, exist solely in virtual reality. In this sense, the ‘Matrix’ is not just a means of testing ideas about the forms of embodied intelligence that inhabit our own physical reality; it is also a means of creating entirely new forms of embodied intelligence. It is by building virtual worlds that we open the door to a new reality—one that is home to a potentially infinite variety of embodied, embedded, and perhaps even extended beings. (shrink)

A cognitive ethnography of how bioengineering scientists create innovative modeling methods. In this first full-scale, long-term cognitive ethnography by a philosopher of science, Nancy J. Nersessian offers an account of how scientists at the interdisciplinary frontiers of bioengineering create novel problem-solving methods. Bioengineering scientists model complex dynamical biological systems using concepts, methods, materials, and other resources drawn primarily from engineering. They aim to understand these systems sufficiently to control or intervene in them. What Nersessian examines here is how cutting-edge bioengineering (...) scientists integrate the cognitive, social, material, and cultural dimensions of practice. Her findings and conclusions have broad implications for researchers in philosophy, science studies, cognitive science, and interdisciplinary studies, as well as scientists, educators, policy makers, and funding agencies. In studying the epistemic practices of scientists, Nersessian pushes the boundaries of the philosophy of science and cognitive science into areas not ventured before. She recounts a decades-long, wide-ranging, and richly detailed investigation of the innovative interdisciplinary modeling practices of bioengineering researchers in four university laboratories. She argues and demonstrates that the methods of cognitive ethnography and qualitative data analysis, placed in the framework of distributed cognition, provide the tools for a philosophical analysis of how scientific discoveries arise from complex systems in which the cognitive, social, material, and cultural dimensions of problem-solving are integrated into the epistemic practices of scientists. Specifically, she looks at how interdisciplinary environments shape problem-solving. Although Nersessian’s case material is drawn from the bioengineering sciences, her analytic framework and methodological approach are directly applicable to scientific research in a broader, more general sense, as well. (shrink)

Conceptual engineers endeavor to improve our concepts. But their endeavors face serious practical difficulties. One such difficulty – rational conceptual conflict - concerns the degree to which agents are incentivized to impede the efforts of conceptual engineers, especially in many of the contexts within which conceptual engineering is viewed as a worthwhile pursuit. Under such conditions, the already difficult task of conceptual engineering becomes even more difficult. Consequently, if they want to increase their chances of success, conceptual engineers should pay (...) closer attention to – and devise strategies to mitigate – rational conceptual conflict. After outlining the phenomenon at greater length and mapping its connections to other similar practical problems (Section 1), I explore the dynamics of such conflict by way of several detailed case studies (Section 2). In particular, I focus on cases driven by material, social, and moral incentives. I then consider some important methodological implications of rational conceptual conflict (Section 3). Among other things, I argue that conceptual engineers should focus more heavily on cultivating settings that modify the payoffs and penalties associated with conceptual conflict. By such indirect means, they can incentivize conceptual cooperation rather than conflict, thus making it easier to achieve success in conceptual engineering. Section 4 concludes. (shrink)

A new puzzle about material constitution is presented and its implications are discussed. The moral of the story is that familiar intuitions supporting a neo-Aristotelian view of the material world are contradictory. To accommodate these intuitions is to embrace inconsistency. Therefore, neo-Aristotelianism is worse off for its intuitive appeal. Furthermore, the puzzle is used to argue for an account of ordinary modal thought and language that’s reconstructive, or ameliorative.

To approach the many challenges involved in the notion of engineering concepts, it is important to have a clear idea of the starting point – the concepts that people use in their everyday lives, in conversations and in expressing beliefs, desires, intentions and so forth. The first Section of this chapter introduces evidence that I have accumulated over the last many years concerning the flexibility, context-dependence, and vagueness of such common concepts. The concept engineer needs to understand the structure of (...) the “raw material” with which she is working. In Section 2, I summarise some results concerning the amount of individual variation that exists within a single relatively homogenous population of individuals, both in what examples are considered most typical of a category, and in what properties are considered most central to a category (Hampton & Passanisi, 2016). The demonstration of a significant degree of reliable variation in responses to these questions, that is stable over time, illustrates the potential for conceptual engineering interventions to affect individuals’ concepts. Concepts are rarely fixed or uniformly understood in the same way. I then discuss the different ways in which concepts track the world, and I speculate about how different conceptual domains are governed by different criteria of validity or acceptability. This reflection will lead to Section 3 in which I summarise some results from recent research (Thorne, Quilty-Dunn, Smortchova, Shea, & Hampton, 2021), investigating for the first time how people view the value of different familiar concepts. Knowing how people appraise concepts will be a key to developing ideas for improving the reliability and validity of the concepts that they commonly use. A final section contains some (largely speculative) discussion about the implications of work in psychology of concepts for the project of conceptual engineering. (shrink)

According to the second law of thermodynamics, irreversible processes in an isolated system move towards the goal of reaching maximum entropy. In this state, mechanical work is converted to thermal energy and thermodynamic equilibrium occurs; which is determined by the equilibrium in temperature, pressure, etc. Assuming that the universe is an isolated system, the second law of thermodynamics states that the fate of the universe is a state of thermodynamic equilibrium in which all mechanical energies are converted to thermal energy (...) and the heat is dispersed all throughout the universe. In this state, there will be no movement and the universe will expire; an event called the “heat death”. This theory has certain theological implications that can serve as a proof for the perishability of the material world. And since decay implies creation, the heat death theory can be considered an argument in favor of the temporal originatedness of the material world. (shrink)

Self-disorders in depression and schizophrenia have been the focus of much recent work in phenomenological psychopathology. But little has been said about the role the material environment plays in shaping the affective character of these disorders. In this paper, we argue that enjoying reliable (i.e., trustworthy) access to the things and spaces around us — the constituents of our material environment — is crucial for our ability to stabilize and regulate our affective life on a day-today basis. These (...) things and spaces often play an ineliminable role in shaping what we feel and how we feel it; when we interact with them, they contribute ongoing feedback that " scaffolds " the character and temporal development of our affective experiences. However, in some psychopathological conditions, the ability to access to these things and spaces becomes disturbed. Individuals not only lose certain forms of access to the practical significance of the built environment but also to its ​ regulative​ significance, too — and the stability and organization of their affective life is compromised. In developing this view, we discuss core concepts like " affordance spaces " , " scaffolding " , and " incorporation ". We apply these concepts to two case studies, severe depression and schizophrenia, and we show why these cases support our main claim. We conclude by briefly considering implications of this view for developing intervention and treatment strategies. (shrink)

According to the Value-Neutrality Thesis, technology is morally and politically neutral, neither good nor bad. A knife may be put to bad use to murder an innocent person or to good use to peel an apple for a starving person, but the knife itself is a mere instrument, not a proper subject for moral or political evaluation. While contemporary philosophers of technology widely reject the VNT, it remains unclear whether claims about values in technology are just a figure of speech (...) or nontrivial empirical claims with genuine factual content and real-world implications. This paper provides the missing argument. I argue that by virtue of their material properties, technological artifacts are part of the normative order rather than external to it. I illustrate how values can be empirically identified in technology. The reason why value-talk is not trivial or metaphorical is that due to the endurance and longevity of technological artifacts, values embedded in them have long-term implications that surpass their designers and builders. I further argue that taking sides in this debate has real-world implications in the form of moral constraints on the development of technology. (shrink)