Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive (...) operations arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological (...) concept of boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account of (...) each story and points to a possible connection between the community’s reaction and the changes each mathematician had proposed. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.

The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema. Drawing on the work of Arend Heyting and Michael Dummett, I present two objections to classical mathematical semantics, with the aim of creating an opening for an alternative interpretation. With this accomplished, I (...) then make the case for intuitionism as a suitable candidate to fill this void. (shrink)

This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized.

Modern philosophy can often appear to be mere cryptomnesia, redressed and resuited to fit the particular mouth from which it is espoused. This notion is but a sorrowful chimera binding the 21st-century mind to the confines of an eternal shadow, an eternal prison of doubt in the face of limitless potential. As a species, we are rapidly approaching the precipice of Yahweh's original position as instantiators of consciousness, as the I AM in relation to our artificial progeny. Could one fabricate (...) a candidate more fitting for a contra-analysis of our current situation than Hegel? One could not. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

Open theists argue that God's relationship to time, as conceived in classical theism, is erroneous. They explain that it is contradictory for an atemporal being to act in a temporal universe, including experiencing its temporal successions. Contrary to the atemporalists, redemptive history has shown that God interacts with humans in time. This relational nature of God nullifies the classical notion of God as timelessly eternal. Therefore, it lacks a philosophical and theological basis. Because God is in time, He does not (...) know all future contingencies and, therefore, changes. This study examines open theism's appropriation of the A and B theories of time to the divine-human relationship. The study argues that divine temporality does not solve the tension of divine-human relationships, especially in relation to the future. Further, historical divine temporality does not negate the fact of divine atemporality. It mainly stems from God's choice to create temporal creatures and His relationship with them. Furthermore, if it is not logically and metaphysically contradictory for an omnipresent being to act in space, then it follows that an atemporal being can act in time. Whether time is understood from the metric or psychological point of view, it does not transcend God, and therefore, the limitation it places on human creatures with respect to the future does not apply to God. Lastly, although a few philosophers reject the notion of eternity as timelessly eternal, the doctrine has a philosophical and theological basis in the Scripture. (shrink)

Internet, a revolutionary invention, is always transforming into some new kind of hardware and software making it unpreventable for anyone. The type of communication that we see today is either human-to-human or human-to-device, but the Internet of Things (IoT) promises a great future for the internet where the type of communication is machine-to-machine (M2M). The Internet of Things (IoT) is defined as a paradigm in which objects provide with sensors, actuators, and processors communicate with each other to serve a meaningful (...) purpose. In this paper we discussed IoT and its architecture. Further we explained different applications of IoT for users, IoT advantages and disadvantages. (shrink)

What is the primary function of consciousness in the nervous system? The answer to this question remains enigmatic, not so much because of a lack of relevant data, but because of the lack of a conceptual framework with which to interpret the data. To this end, we have developed Passive Frame Theory, an internally coherent framework that, from an action-based perspective, synthesizes empirically supported hypotheses from diverse fields of investigation. The theory proposes that the primary function of consciousness is well-circumscribed, (...) serving the 'somatic nervous system[. For this system, consciousness serves as a frame that constrains and directs skeletal muscle output, thereby yielding adaptive behavior. The mechanism by which consciousness achieves this is more counterintuitive, passive, and “low level” than the kinds of functions that theorists have previously attributed to consciousness. Passive frame theory begins to illuminate (a) what consciousness contributes to nervous function, (b) how consciousness achieves this function, and (c) the neuroanatomical substrates of conscious processes. Our untraditional, action-based perspective focuses on olfaction instead of on vision and is 'descriptive' (describing the products of nature as they evolved to be) rather than 'normative' (construing processes in terms of how they should function). Passive frame theory begins to isolate the neuroanatomical, cognitive-mechanistic, and representational (e.g., conscious contents) processes associated with consciousness. (shrink)

I have read the article "Retract or be damned: a dangerous moment for science and the public" by Kamran Abbasi. The article discusses the growing problem of retractions in scientific literature, and argues that this is a threat to the integrity of science and the public's trust in science.

This paper explores the relationship between eugenics, disability, and dehumanization, with a focus on forms of eugenics beyond Nazi eugenics.

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

As a member of the so-demarcated 'Generation Z,' I have been blessed/damned with a front-row seat to the technological evolution kicked off by the COVID-19 Pandemic of 2020, and have succeeded to varying degrees in recognizing its effects and responding to them with the efficiency and care that my neurological soul deserves. Jean-Paul Sartre's conception of bad faith provides an excellent scalpel for the dissection of such a quasi-biological progression, and in this paper, I analyze the third dimension of bad (...) faith that has become possible in the 21st century, that of the digital realm. I wish whoever has read this far immense luck in their personal voyage across the 70,000 fathoms of the internet, an electrical space organized for the mechanized transfusion of suffering into profit. Delete Instagram if you are not using it to proliferate wealth yourself. Go outside and lay in the grass. -/- "Remember being happy in our silence." -Warning, Bridges. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary notion (...) of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)

The past few years have seen a resurgence of interest in the scientific study of magic. Despite being only a few years old, this “new wave” has already resulted in a host of interesting studies, often using methods that are both powerful and original. These developments have largely borne out our earlier hopes (Kuhn et al., 2008) that new opportunities were available for scientific studies based on the use of magic. And it would seem that much more can still be (...) done along these lines. -/- But in addition to this, we also suggested that it might be time to consider developing an outright science of magic—a distinct area of study concerned with the experience of wonder that results from encountering an apparently impossible event1. To this end, we proposed a framework as to how this might be achieved (Rensink and Kuhn, 2015). A science can be viewed as a systematic method of investigation involving three sets of issues: (i) the entities considered relevant, (ii) the kinds of questions that can be asked about them, and (iii) the kinds of answers that are legitimate (Kuhn, 1970). In the case of magic, we suggested that this could be done at three different levels, each focusing on a distinct set of issues concerned with the nature of magic itself: (i) the nature of magical experience, (ii) how individual magic tricks create this experience, and (iii) organizing knowledge of the set of known tricks in a more comprehensive way (Rensink and Kuhn, 2015). Our framework also included a base level focused on how the methods of magic could be used as tools to investigate issues in existing fields of study. -/- Lamont (2010) and Lamont et al. (2010) raised a number of concerns about the possibility of such a science, which we have addressed (Rensink and Kuhn, 2015). More recently, Lamont (2015) raised a new objection, arguing that although base-level work (i.e., applications of magic methods) might be useful, there is too little structure in magic tricks for them to be studied in a systematic way at the other levels, ruling out a science of magic. We argue here, however, that although this concern raises some interesting challenges for this science, it does not negate the possibility that it could exist, and could contribute to the study of the mind. (shrink)

Jesse Prinz (2004) argues that emotional feelings (“state emotions”) can by themselves perceptually represent significant organism-environment relations. I object to this view mainly on the grounds that (1) it does not rule out the at least equally plausible view that emotional feelings are non-representational sensory registrations rather than perceptions, as Tyler Burge (2010) draws the distinction, and (2) perception of a relation requires perception of at least one of the relation’s relata, but an emotional feeling by itself perceives neither the (...) subject’s environment, nor in many cases the relevant subject itself. I then explore two ways in which emotional feelings as non-perceptual sensory registrations might still contribute to significant relation representation when associated with representations of the subject and/or its environment. After briefly discussing some difficulties presented by a multimodal, sensory-perceptual view of such representation, I argue in favor of a “cognitive recognition theory” that holds that significant relation instances are represented during emotion occurrences via applications of emotion-type concepts to "incoming" emotional feelings and their associated mental states. (shrink)

This chapter critically examines the dominant tradition in formal education as an indirect driver of biocultural homogenization while revealing that there is an alternative tradition that fosters biocultural conservation. The dominant tradition, originating in the Seventeenth Century scientific revolution effected by René Descartes, Thomas Hobbes, Isaac Newton, John Locke and allied thinkers, privileges science, seen as facilitating the technological domination of the world in the service of economic growth, as the only genuine knowledge. This is at the foundation of a (...) globalized, homogenizing culture that reduces everything and everyone to instruments of the globalized economy. The alternative, now recognized as the Radical Enlightenment, has its roots in the Renaissance. Represented by thinkers such as Giordano Bruno, Giambattista Vico, Gottfried Herder and Friedrich Wilhelm Schelling, it challenges such dogmatic scientism and upholds the value of diverse cultures, past and present. It offers an alternative tradition and model of education fostering imagination, understanding and appreciation of diversity in the quest for wisdom. It is a model of education which engenders respect for and appreciation of the value of different cultures, including indigenous wisdom with very different attitudes to nature, thereby developing the capacity to reflect on, question, criticize and overcome the homogenizing imperialism of mainstream modernist culture. (shrink)

A hypergroup, as a generalization of the notion of a group, was introduced by F. Marty in 1934. The first book in hypergroup theory was published by Corsini. Nowadays, hypergroups have found applications to many subjects of pure and applied mathematics, for example, in geometry, topology, cryptography and coding theory, graphs and hypergraphs, probability theory, binary relations, theory of fuzzy and rough sets and automata theory, physics, and also in biological inheritance.

Sample chapter from H. Asgeirsson, The Nature and Value of Vagueness in the Law (Hart Publishing, 2020), in which I present and partially defend a version of what has come to be called the communicative-content theory of law. Book abstract: Lawmaking is – paradigmatically – a type of speech act: people make law by saying things. It is natural to think, therefore, that the content of the law is determined by what lawmakers communicate. However, what they communicate is sometimes vague (...) and, even when it is clear, the content itself is sometimes vague. The monograph examines the nature and consequences of these two linguistic sources of indeterminacy in the law with the aim of providing plausible answers to three related questions: In virtue of what is the law vague? What might be good about vague law? How should courts resolve cases of vagueness? (shrink)

This chapter considers the ways in which whiteness as a skin color and ideology becomes a dominant level that sets the background against which all things, people and relations appear. Drawing on Merleau-Ponty's phenomenology, it takes up a series of films by Bruce Nauman and Marlon Riggs to consider ways in which this level is phenomenally challenged providing insights into the embodiment of racialization.

Excellence in sport performance is normally taken to be a matter of superior performance of physical movements or quantitative outcomes of movements. This paper considers whether a wider conception can be afforded by certain kinds of nature based sport. The interplay between technical skill and aesthetic experience in nature based sports is explored, and the extent to which it contributes to a distinction between different sport-based approaches to natural environments. The potential for aesthetic appreciation of environmental engagement is found to (...) be strongly dependent on whether or not environmental engagement is exploited for the end of producing a quantifiable result or enhancing technical skill. It is also argued that an existential rather than spectatorial attitude to aesthetic experience is offered by specifically nature oriented sport. Aesthetic experience achieved in this way is therefore neither passive nor detached, but extends Berleant's concept of participatory environmental aesthetics and underpins both an alternate (wide) conception of excellence in sport activity and a richer experience of aesthetic engagement than more objectivised standpoints. (shrink)

A new formulation of the Fine-Tuning Argument (FTA) for the existence of God is offered, which avoids a number of commonly raised objections. I argue that we can and should focus on the fundamental constants and initial conditions of the universe, and show how physics itself provides the probabilities that are needed by the argument. I explain how this formulation avoids a number of common objections, specifically the possibility of deeper physical laws, the multiverse, normalisability, whether God would fine-tune at (...) all, whether the universe is too fine-tuned, and whether the likelihood of God creating a life-permitting universe is inscrutable. (shrink)

Nếu như năm 2022, Truyện ngụ ngôn Bói Cá bản tiếng Anh hoàn tất và đến được quầy hàng, thì năm 2023, bài viết có nguồn gốc suy nghĩ từ ngụ ngôn, kèm theo chương trình nghiên cứu về môi trường, biến đổi khí hậu với bóng dáng Bói Cá hiện diện rõ nét, cũng ra đời.

In this paper we apply the popular Best System Account of laws to typical eternal worlds – both classical eternal worlds and eternal worlds of the kind posited by popular contemporary cosmological theories. We show that, according to the Best System Account, such worlds will have no laws that meaningfully constrain boundary conditions. It’s generally thought that lawful constraints on boundary conditions are required to avoid skeptical arguments. Thus the lack of such laws given the Best System Account may seem (...) like a severe problem for the view. We show, however, that at eternal worlds, lawful constraints on boundary conditions do little to help fend off skeptical worries. So with respect to handling these skeptical worries, the proponent of the Best System Account is no worse off than their competitors. (shrink)

Today, the Internet is a rich source of study materials, and Google Scholar offers free access to a large number of scientific articles. There are excellent research publications available in many more databases. Students have the option of easily copying the material. Reusing, paraphrasing, patchwriting, and ghostwriting without citing the original documents are plagiarism. Plagiarism is increasing in academics, particularly in research. This study aims to study the awareness of plagiarism and to analyze the reasons for plagiarism. The study samples (...) are the student teachers in India. For this study, we used a survey method, and the author prepared a questionnaire to collect data from the student teachers. Study respondents are the student teachers of the Regional Institute of Education Mysore; Purposive sampling was used to select samples. The total number of study respondents is 207. The findings of the study revealed that over 70 per cent of respondents mentioned reasons for plagiarism as lack of relevant literature studying, lack of preparation and time, difficulty checking every piece of work, do not know the manual citation style, lack of knowledge about bibliographic management software and also they stated that getting easily available materials on the internet is also a reason for plagiarism. The study recommends that teachers teach or conduct awareness programs on plagiarism, avoiding plagiarism, citation style, and software. (shrink)

I explore the view that the imago Dei is essential to us as humans but accidental to us as persons. To image God is to resemble God, and resemblance comes in degrees. This has the straightforward—and perhaps disturbing—implication that we can be more or less human, and possibly cease to be human entirely. Hence, I call it the spectrum view. I argue that the spectrum view is complementary to the Biblical data, helps explain the empirical reality of horrendous evil, and (...) offers an elegant rapprochement between the traditional view of hell and its rivals. (shrink)

Earthbodies describes how our bodies are open circuits to a sensual magic and planetary care that when closed off leads to disastrous detours, such as illness, ...

When members of a group doxastically disagree with each other, decisions in the group are often hard to make. The members are supposed to find an epistemic compromise. How do members of a group reach a rational epistemic compromise on a proposition when they have different (rational) credences in the proposition? I answer the question by suggesting the Fine-Grained Method of Aggregation, which is introduced in Brössel and Eder 2014 and is further developed here. I show how this method faces (...) challenges of the standard method of aggregation, Weighted Straight Averaging, in a successful way. One of the challenges concerns the fact that Weighted Straight Averaging does not respect the evidential states of agents. Another challenge arises because Weighted Straight Averaging does not account for synergetic effects. (shrink)

The usage of Quantum Similarity through the equation Z = {∀Θ∈Z→∃s ∈ S ʌ ∃t ∈ T: Θ= (s,t)}., represents a way to analyze the way communication works in our DNA. Being able to create the object set reference for z being (s,t) in our DNA strands, we are able to set logical tags and representations of our DNA in a completely computational form. This will allow us to have a better understanding of the sequences that happen in our DNA. (...) With this approach, we can also utilize mathematical formulas such as the Euler–Mascheroni constant, regressional analysis, and computational proofs to answer important questions on Quantum biology, Quantum similarity, and Theoretical Physics. (shrink)

There are many things—call them ‘experts’—that you should defer to in forming your opinions. The trouble is, many experts are modest: they’re less than certain that they are worthy of deference. When this happens, the standard theories of deference break down: the most popular (“Reflection”-style) principles collapse to inconsistency, while their most popular (“New-Reflection”-style) variants allow you to defer to someone while regarding them as an anti-expert. We propose a middle way: deferring to someone involves preferring to make any decision (...) using their opinions instead of your own. In a slogan, deferring opinions is deferring decisions. Generalizing the proposal of Dorst (2020a), we first formulate a new principle that shows exactly how your opinions must relate to an expert’s for this to be so. We then build off the results of Levinstein (2019) and Campbell-Moore (2020) to show that this principle is also equivalent to the constraint that you must always expect the expert’s estimates to be more accurate than your own. Finally, we characterize the conditions an expert’s opinions must meet to be worthy of deference in this sense, showing how they sit naturally between the too-strong constraints of Reflection and the too-weak constraints of New Reflection. (shrink)

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a detailed (...) theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

People’s health is hugely affected by where they live, their occupational status and their socio-economic position. It has been widely argued that the presence of such social determinants in health provides good reasons to reject luck egalitarianism as a theory of distributive justice in health. The literature provides different reasons why this responsibility-sensitive theory of distributive justice should not be applied to health. The critiques submit that the social circumstances undermine or remove people’s responsibility for their health; responsibility sensitive health (...) policies would adversely affect those who are worst off and; the luck egalitarian approach to health distracts from the important task of rectifying socio-economic influences on people's health and provides individualistic solutions to collective problems. But for each of these variants of the critique luck egalitarianism provides suitable answers. The literature on social determinants is no detriment to the project of applying luck egalitarianism to health. (shrink)

This chapter summarizes Augustine’s often-neglected aesthetic theodicy that balances his metaphysical definitions of evil and human agency against the ultimately beautiful story Augustine sees God, as the author of all Creation, writing. First, Augustine’s neo-Platonic conception of evil as the “privation of goodness” is explained which effectively eliminates much of the apparent evil in the world under the guise of a preeminent God’s loving care of the Creation which He fashions as good, but is later corrupted. Secondly, Augustine’s conception of (...) the nature of this corruption at the hands of free agents is laid out with a particular sensitivity to the apparent shifts in Augustine’s thought as he aged. Finally, Augustine’s foundational aesthetic themes of contrast and universal harmony (in Greek, pankalia) are explained to demonstrate precisely why, in Augustine’s words, God might “judge it better to bring good out of evil than to allow nothing evil to exist.”. (shrink)

What role does the wild duck play in Ibsen's famous drama? I argue that, besides mirroring the fate of the human cast members, the duck is acting as animal subject in a quasi-experiment, conducted in a private setting. Analysed from this perspective, the play allows us to discern the epistemological and ethical dimensions of the new scientific animal practice (systematic observation of animal behaviour under artificial conditions) emerging precesely at that time. Ibsen's play stages the clash between a scientific and (...) a romantic understanding of animals that still constitutes the backdrop of most contemporary debates over animals in research. Whereas the scientific understanding reduces the animal's behaviour, as well as its environment, to discrete and modifiable elements, the romantic view regards animals as being at one with (or violently disconnected from) their natural surroundings. (shrink)

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

Can one’s belief that one romantically loves another be false? If so, under what conditions may one come to reasonably doubt, or at least suspend belief, that one does so? To begin to answer these questions, I first outline an affective/volitional view of love similar to psychologist R. J. Sternberg’s “triangular theory”, which analyzes types of love in terms of the degrees to which they include states of passion, emotion, and commitment. I then outline two sources of potential bias that (...) may cause one to believe that one romantically loves another when one does not. Partly on the basis of those potential sources of bias and partly on the basis of more specific issues, I then argue that at least to the extent that one is aware of these issues, one may reasonably doubt that one is experiencing romantic love’s emotional feelings, and one may reasonably doubt that one is making romantic love’s commitments. Finally, I order by relative dubitability the propositions that must be true about one’s passions, emotions, and commitments toward another in order for one to romantically love them. (shrink)

This chapter uncovers a less investigated aspect of the relationship between the two most important scholastic schools of the Renaissance, Thomism and Scotism: the influence of Scotist literature on distinctions as seen in some sixteenth-century Thomists. The chapter has a primary focus on Chrysostomus Javelli’s engagement in his discussion of divine attributes with the Scotist doctrine of distinctions, but also considers other Thomist sources. First, the beginnings of the highly specialised Scotist literature on distinctions are traced back to the start (...) of the fourteenth century; I show how some early followers of Duns Scotus, in particular Francis of Meyronnes and Petrus Thomae, systematised Scotus’ ontology of the various grades of being by compiling lists of subtle distinctions to be applied to various levels of reality. I give some indications as to the later reception of these models of distinctions in the Scotist school. Special attention is paid to Étienne Brulefer, since his summary of Petrus Thomae’s model of seven distinctions was Javelli’s source for the Scotist doctrine. I then investigate how Javelli worked with Brulefer’s summary, and how he sought to integrate the Scotist doctrine into his own discussion of divine attributes. Thomists traditionally allowed only a rational or mental kind of distinction among divine attributes, and between them and the divine essence. Javelli, however, endeavours to show how the Thomist position may be reconciled with the Scotist doctrine of a formal or ex natura rei distinction. He did not always endorse this conciliatory approach; I hypothesise that he changed his mind on the subject over time. Finally, I show how other Renaissance Thomists reacted to the Scotist system of distinctions; in particular, I draw attention to the Thomists Andreas Bodenstein von Karlstadt, Bartolomeo Manzoli, and Mattia Gibboni da Aquario, who all wrote treatises on Thomist distinction theory modelled on the Scotist system of distinctions. In some of this literature, lists of distinctions based on Thomist metaphysics were compiled in order to replace the Scotist system. I argue that Javelli’s approach is more conciliatory and, in fact, has some overlap with the concordist thought of Giovanni Pico della Mirandola, who himself considered Scotus and Aquinas to be in fundamental agreement as regards the distinction between divine attributes. (shrink)

In this paper I argue that interest in light was, and is, an ongoing area of interest in the philosophy of visual perception. I then argue that 'light' is not a real entity, and that light rays are opaque. It should follow that the philosophy of direct perception of real objects is not sound.

One of the most plausible and widely discussed examples of strong emergence is molecular structure. The only detailed account of it, which has been very influential, is due to Robin Hendry and is formulated in terms of downward causation. This paper explains Hendry’s account of the strong emergence of molecular structure and argues that it is coherent only if one assumes a diachronic reflexive notion of downward causation. However, in the context of this notion of downward causation, the strong emergence (...) of molecular structure faces three challenges that have not been met and which have so far remained unnoticed. First, the putative empirical evidence presented for the strong emergence of molecular structure equally undermines supervenience, which is one of the main tenets of strong emergence. Secondly, it is ambiguous how the assumption of determinate nuclear positions is invoked for the support of strong emergence, as the role of this assumption in Hendry’s argument can be interpreted in more than one way. Lastly, there are understandings of causation which render the postulation of a downward causal relation between a molecule’s structure and its quantum mechanical entities, untenable. (shrink)

We approach the notion of general (global) human intelligence as a prominently multifaceted concept which can be tested in at least seventy specific scenarios. We say that an agent has Artificial Global Intelligence (AGLI), if it is able to perform in an intelligent manner for at least the collection of tasks defining the former scenarios. In particular, based on Gartner's multiple intelligences theory, we describe the design of a concrete test for AGLI made in such a way that an ‘average’ (...) young human being should, per diffinitionem, pass it. We compare our holistic test with several highly representative human and artificial intelligence tests for deducing that our AGLI test is the one with the broader scope of the whole range of intelligence. However, we claim as a plausible hypothesis and based on the wide thematic spectrum of the test that the most outstanding inventions of AI currently available are far from getting a high score on it. Finally, we open a discussion about the fact that, although there are artificial agents being able to simulate intelligent behaviour at a perfect level for several local tasks, this seems not to be the case for AGLI. This would imply, in particular, a kind of practical implausibility of the notion of intelligence explosion coming from philosophy of AI. (shrink)

There are important similarities between moral thought and talk and thought and talk about gender: disagreements about gender, like disagreements about morality, seem to be intractable and to outstrip descriptive agreement; and it seems coherent to reject any definition of what it is to be a woman in terms of particular social, biological, or other descriptive features, just as it seems coherent to reject any definition of what it is to be good or right in terms of any set of (...) descriptive properties. These similarities give us reason to investigate the idea that, like moral thought and talk, gender thought and talk is inherently normative. This paper proposes a normative account of gender thought and talk in terms of fitting treatment. On this fitting treatment account, to judge that A is gender G is just to judge that it is fitting to treat A as a G. This account is a descriptive or hermeneutical account of our gender thought and talk rather than an ameliorative account of our gender concepts or a metaphysical account of gender properties in social metaphysics. This paper argues that other descriptive accounts of gender thought and talk face problems that the fitting treatment account overcomes. (shrink)

In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.

How are we able to perceive the world veridically? If we ask this question as a part of the scientific investigation of perception, then we are not asking for a transcendental guarantee that our perceptions are by and large veridical; we presuppose that they are. Unless we assumed that we perceived the world for the most part veridically, we would not be in a position to investigate our perceptual abilities empirically. We are interested, then, not in how it is possible (...) in general for us to perceive the world veridically, but instead in what the relation is between our environment and its properties, of which we have knowledge, on the one hand, and our perceptual mechanisms, on the other, that results in very many, even most of our perceptions being veridical in everyday life. (shrink)

The W-defense is among the most prominent arguments for the principle of alternative possibilities (PAP). Here I offer some considerations in support of the W-defense and respond to what I see as the most forceful objections to it to date. My response to these objections invokes the well-known flicker of freedom response to Frankfurt cases. I argue that the W-defense and the flicker response are mutually reinforcing and together yield a compelling defense of PAP.

Decision theory has had a long-standing history in the behavioural and social sciences as a tool for constructing good approximations of human behaviour. Yet as artificially intelligent systems (AIs) grow in intellectual capacity and eventually outpace humans, decision theory becomes evermore important as a model of AI behaviour. What sort of decision procedure might an AI employ? In this work, I propose that policy-based causal decision theory (PCDT), which places a primacy on the decision-relevance of predictors and simulations of agent (...) behaviour, may be such a procedure. I compare this account to the recently-developed functional decision theory (FDT), which is motivated by similar concerns. I also address potentially counterintuitive features of PCDT, such as its refusal to condition on observations made at certain times. (shrink)