This essay takes a critical look at aesthetics as the basis for nature preservation, presenting three reasons why we should not rely on aesthetic foundations to justify the environmentalist program. First, a comparison to other kinds of aesthetic value shows that the aesthetic value of nature can provide weak reasons foraction atbest. Second, not everything environmentalists want to protect has positive aesthetic qualities. Attempts have been made to get around this problem by developing a reformist attitude towards natural aesthetics. I (...) argue that these approaches fail. Third, development can be as aesthetically positive as nature. If it is simply beauty we are looking for, why can't the beauty of a wellconstructed dam or a magnificent skyscraper suffice? (shrink)

: The current difference in attitude toward germ-line enhancement in humans and nonhumans is unjustified. Society should be more cautious in modifying the genes of nonhumans and more bold in thinking about modifying our own genome. I identify four classes of arguments pertaining to germ-line enhancement: safety arguments, justice arguments, trust arguments, and naturalness arguments. The first three types are compelling, but do not distinguish between human and nonhuman cases. The final class of argument would justify a distinction between human (...) and nonhuman germ-line enhancement; however, this type of argument fails and, therefore, the discrepancy in attitude toward human and nonhuman germ-line enhancement is unjustified. (shrink)

I claim that differences in the importance attached to economic liberty are more important in debates over the use of genetically modified organisms (GMOs) in agriculture than disagreements about the precautionary principle. I will argue this point by considering a case study: the decision by the U.S. Animal and Plant Health Inspection Service (APHIS) to grant nonregulated status to Roundup Ready soy. I will show that the unregulated release of this herbicide-resistant crop would not be acceptable morally unless one places (...) a very high premium on economic liberty. This is true even if one takes a sound science attitude to unknown risks, rather than a precautionary attitude. I concede that it may not have been within APHIS’s legislative mandate to regulate Roundup Ready soy further, but for those of us who do not put a high premium on economic liberty, this only calls for extending regulatory oversight of GMOs. (shrink)

This is the annotated bibliography that accompanied Volume 2 of American Association of Philosophy Teachers Studies in Pedagogy, a special issue on teaching Plato. It includes sections covering teaching several specific dialogues: Republic, Meno, Euthyphro, Apology, Crito and Lysis, as well as sections on "Socrates as Teacher" and general articles on teaching Plato.

This is the introduction to a special issue of AAPT Studies in Pedagogy on Teaching Plato. I open by noting that the philosophy of education was of central concern to Plato in a way that you don't often see with philosophers. Only Confucius and John Dewey do as much to make education central to everything else they say. I also note that much subsequent philosophy of education merely rediscovers what Plato already knew. After that, I preview the contents of the (...) volume, emphasizing the ways in which contributors ask us to teach Plato platonically. (shrink)

Multiple-choice questions have an undeserved reputation for only being able to test student recall of basic facts. In fact, well-crafted mechanically gradable questions can measure very sophisticated cognitive skills, including those engaged at the highest level of Benjamin Bloom’s taxonomy of outcomes. In this article, I argue that multiple-choice questions should be a part of the diversified assessment portfolio for most philosophy courses. I present three arguments broadly related to fairness. First, multiple-choice questions allow one to consolidate subjective decision making (...) in a way that makes it easier to manage. Second, multiple-choice questions contribute to the diversity of an evaluation portfolio by balancing out problems with writing-based assessments. Third, by increasing the diversity of evaluations, multiple-choice questions increase the inclusiveness of the course. In the course of this argument I provide examples of multiple-choice questions that measure sophisticated learning and advice for how to write good multiple-choice questions. (shrink)

I argue for the Wittgensteinian thesis that mathematical statements are expressions of norms, rather than descriptions of the world. An expression of a norm is a statement like a promise or a New Year's resolution, which says that someone is committed or entitled to a certain line of action. A expression of a norm is not a mere description of a regularity of human behavior, nor is it merely a descriptive statement which happens to entail a norms. The view can (...) be thought of as a sort of logicism for the logical expressivist---a person who believes that the purpose of logical language is to make explicit commitments and entitlements that are implicit in ordinary practice. The thesis that mathematical statements are expression of norms is a kind of logicism, not because it says that mathematics can be reduced to logic, but because it says that mathematical statements play the same role as logical statements. ;I contrast my position with two sets of views, an empiricist view, which says that mathematical knowledge is acquired and justified through experience, and a cluster of nativist and apriorist views, which say that mathematical knowledge is either hardwired into the human brain, or justified a priori, or both. To develop the empiricist view, I look at the work of Kitcher and Mill, arguing that although their ideas can withstand the criticisms brought against empiricism by Frege and others, they cannot reply to a version of the critique brought by Wittgenstein in the Remarks on the Foundations of Mathematics. To develop the nativist and apriorist views, I look at the work of contemporary developmental psychologists, like Gelman and Gallistel and Karen Wynn, as well as the work of philosophers who advocate the existence of a mathematical intuition, such as Kant, Husserl, and Parsons. After clarifying the definitions of "innate" and "a priori," I argue that the mechanisms proposed by the nativists cannot bring knowledge, and the existence of the mechanisms proposed by the apriorists is not supported by the arguments they give. (shrink)

The characters Ozymandias and Rorschach from Watchmen seem to represent opposite sides in the debate in philosophical ethics between consequentialists, who believe that the ends sometimes justify the means, and deontologists, who want us not to think in terms of ends and means at all. Closer examination, however, reveals that neither character is really true to their stated philosophies. Instead Moore and Gibbons intend these characters and their philosophies as critiques of authoritarians and the ideologies authoritarians use to rationalize their (...) power. (shrink)

This is a very positive review of Carlson, Allen, and Arnold Berleant, ed. 2004. The Aesthetics of Natural Environments. Broadview Press. -/- .

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

이 책자는 형식 논리의 일종인 양상논리에 입문하고 싶으신 분들을 위한 짧은 교재입니다. “양상논리 맛보기” 라는 말마따나, 이 책자는 양상논리에 관심은 있지만 아직 본격적으로 공부를 시작하진 않은 분들께서 ‘맛보기’를 하기에 적합한 안내 책자입니다. 아무쪼록 이 책자가 양상논리를 공부해나가시는데 유용한 첫 발판이 될 수 있기를 바랍니다. / This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert (...) Trueman's A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, and also includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)

intro to Part 1 - -/- Most people disliked mathematics when they were at school and they were absolutely correct to do so. This is because maths as we know it is severely incomplete. No matter how elaborated and complicated mathematical equations become, in today's world they're based on 1+1=2. This certainly conforms to the world our physical senses perceive and to the world scientific instruments detect. It has been of immeasurable value to all knowledge throughout history and has elevated (...) science to the lofty status it enjoys. Science is now striving towards Unification - where the subatomic realm, all matter, energy, forces, space and time will be seen as entangled parts of one universe. While 1+1=2 has been vital in getting humanity to this point, it's time to suppress our attachments to the past and realize that whereas 1+1 will always equal 2, it's also capable of equalling the 1 which represents unification. -/- intro to Part 2 -/- b) Division by zero is accepted, in Newtonian maths, to be impossible. But we can regard division by zero as division by nothing i.e. division that has no effect. In this case, 1 divided by 0 is 1. However, to a physicist there is no such thing as nothing (even empty space contains energy). What could the something called 0 actually be? It could be a binary digit. If we use the base of ten (for simplicity) and attach one and zero to it as exponents, we get 10^1 divided by 10^0 = 10^1. If we then cancel 10 from each factor in the expression, we get 1 divided by 0 = 1. At the start of the paragraph, this was referred to as division by nothing. Then 0 was called a binary digit and division by nothing became division by something. The 1 that the division equals is the unified field of space-time. Division by 0 is impossible in Newtonian maths because the result can be infinity. But the word “infinity” can, as the last section of this book shows, apply to the unified field of spacetime. So division by zero is not impossible because it results in the universe, which is obviously possible … a possibility that has always been, and always will be, realized. -/- intro to Part 3 -/- If quantum entanglement has existed in the entire universe forever, everything would be everywhere and everywhen. Space, time and 5th-dimensional hyperspace would not be restricted to certain parts of the Mobius Universe but would exist in every particle. Past, present and future would not exist as the distinct periods which everyday life assumes. All instants of all periods would exist eternally, permitting time travel to any point in the past and to any point in the future. Entanglement may be created by simply zipping along at close to the speed of light - “Quantum entanglement of moving bodies” by Robert M. Gingrich and Christoph Adami in Physical Review Letters 89, 270402 (issue of 30 December 2002) – which might be achieved, according to this book, by warping space so it’s either a fraction of the 90 degrees allowing instantaneous travel or almost at 270 degrees to space as we know it. (shrink)

This article reports the findings of AI4People, an Atomium—EISMD initiative designed to lay the foundations for a “Good AI Society”. We introduce the core opportunities and risks of AI for society; present a synthesis of five ethical principles that should undergird its development and adoption; and offer 20 concrete recommendations—to assess, to develop, to incentivise, and to support good AI—which in some cases may be undertaken directly by national or supranational policy makers, while in others may be led by other (...) stakeholders. If adopted, these recommendations would serve as a firm foundation for the establishment of a Good AI Society. (shrink)

The idea that qualities can be had partly or to an intermediate degree is controversial among contemporary metaphysicians, but also has a considerable pedigree among philosophers and scientists. In this paper, we first aim to show that metaphysical sense can be made of this idea by proposing a partial taxonomy of metaphysical accounts of graded qualities, focusing on three particular approaches: one which explicates having a quality to a degree in terms of having a property with an in-built degree, another (...) based on the idea that instantiation admits of degrees, and a third which derives the degree to which a quality is had from the aspects of multi-dimensional properties. Our second aim is to demonstrate that the choice between these accounts can make a substantial metaphysical difference. To make this point, we rely on two case studies (involving quantum observables and values) in which we apply the accounts in order to model apparent cases of metaphysical gradedness. (shrink)

In this paper, we consider recent attempts to metaphysically explain agentive modality in terms of conditionals. We suggest that the best recent accounts face counterexamples, and more worryingly, they take some agentive modality for granted. In particular, the ability to perform basic actions features as a primitive in these theories. While it is perfectly acceptable for a semantics of agentive modal claims to take some modality for granted in getting the extension of action claims correct, a metaphysical explanation of agentive (...) modality cannot, at least not in the way that conditional approaches to agentive modality do. We argue that this problem was present even in the classical conditional analysis. By a pessimistic induction, we suggest that, probably, no conditional approach to agentive modality will succeed. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Knowledge implies the presence of a positive relation between a person and a fact. Factual ignorance, on the other hand, implies the absence of some positive relation between a person and a fact. The two most influential views of ignorance hold that what is lacking in cases of factual ignorance is knowledge or true belief, but these accounts fail to explain a number of basic facts about ignorance. In their place, we propose a novel and systematic defense of the view (...) that factual ignorance is the absence of awareness, an account that both comes apart from the dominant views and overcomes their deficiencies. Given the important role that ignorance plays in moral and legal theory and our understanding of various epistemic injustices, a precise and theoretically unproblematic account of the nature of ignorance is important not only for normative epistemology, but also for law, ethics, and applied epistemology. (shrink)

I defend the widely-held view that morally worthy action need not be motivated by a desire to promote rightness as such. Some have recently come to reject this view, arguing that desires for rightness as such are necessary for avoiding a certain kind of luck thought incompatible with morally worthy action. I show that those who defend desires for rightness as such on the basis of this argument misunderstand the relationship between moral worth and the kind of luck that their (...) argument employs. Consequently, the argument provides no reason to doubt the popular view that a desire for rightness as such is no part of virtue. I conclude by suggesting that a family of worries about merely accidentally right action presuppose one side of the recent debate about objectivism and perspectivism about moral rightness. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Artificial intelligence (AI) systems have demonstrated impressive performance across a variety of clinical tasks. However, notoriously, sometimes these systems are 'black boxes'. The initial response in the literature was a demand for 'explainable AI'. However, recently, several authors have suggested that making AI more explainable or 'interpretable' is likely to be at the cost of the accuracy of these systems and that prioritising interpretability in medical AI may constitute a 'lethal prejudice'. In this paper, we defend the value of interpretability (...) in the context of the use of AI in medicine. Clinicians may prefer interpretable systems over more accurate black boxes, which in turn is sufficient to give designers of AI reason to prefer more interpretable systems in order to ensure that AI is adopted and its benefits realised. Moreover, clinicians may be justified in this preference. Achieving the downstream benefits from AI is critically dependent on how the outputs of these systems are interpreted by physicians and patients. A preference for the use of highly accurate black box AI systems, over less accurate but more interpretable systems , may itself constitute a form of lethal prejudice that may diminish the benefits of AI to - and perhaps even harm - patients. (shrink)

While it is tempting to suppose that an act has moral worth just when and because it is motivated by sufficient moral reasons, philosophers have, largely, come to doubt this analysis. Doubt is rooted in two claims. The first is that some facts can motivate a given act in multiple ways, not all of which are consistent with moral worth. The second is the orthodox view that normative reasons are facts. I defend the tempting analysis by proposing and defending a (...) heterodox account of both normative and motivating reasons that is inspired by Donald Davidson’s primary reasons. We should adopt the heterodox view, I argue, because it addresses an overlooked but fatal defect in the orthodox conception of reasons, of which challenges to the tempting analysis are a special case. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

Do factive mental states come in degrees? If so, what is their underlying structure, and what is their theoretical significance? Many have observed that ‘knows that’ is not a gradable verb and have taken this to be strong evidence that propositional knowledge does not come in degrees. This paper demonstrates that the adjective ‘aware that’ passes all the standard tests of gradability, and thus strongly motivates the idea that it refers to a factive mental state that comes in degrees. We (...) will explore a range of structural questions that have been overlooked in regard to our awareness of facts, showing that the degreed structure of awareness has significant implications for our understanding of knowledge. (shrink)

While intimately familiar, gender eludes theorizing. We argue that well-known challenges to gender’s analysis originate in a subtle ambiguity: questions about gender sometimes express questions about gender categories themselves (e.g., womanhood, manhood, and so on), while at other times expressing questions about what makes someone a member of these categories. Distinguishing these questions accentuates gender’s connections to morality, making a novel “antirealist” view of gender, or as we call it, “unrealist” view, especially natural. Gender’s relations to identity, sex, and social (...) position are illuminated along the way. Taking cues from both historical and contemporary debates in metaethics about the roles that attitudes can play in metaphysical and semantic analysis, we introduce and begin developing a comprehensive non-ameliorative framework for explicating gender’s nature and our thought and talk about it. In a slogan, on the view we defend, you belong to the gender category to which you intrinsically desire to belong. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

There is an intuitive difference in how we think about pluralism and attitudinal diversity in epistemological contexts versus political contexts. In an epistemological context, it seems problematically arbitrary to hold a particular belief on some issue, while also thinking it perfectly reasonable to hold a totally different belief on the same issue given the same evidence. By contrast, though, it doesn’t seem problematically arbitrary to have a particular set of political commitments, while at the same time thinking it perfectly reasonable (...) for someone in a similar position have a totally different set of political commitments. This chapter examines three explanatory theses that might be used to make sense of this difference: (1) that practical commitments are desire dependent in a way that beliefs are not; (2) that there are reasons to be resolute in practical commitments, but not in beliefs; and (3) that compromise in the face of practical political disagreement doesn’t mitigate controversy, whereas compromise in the face of disagreement about mere beliefs does mitigate controversy. (shrink)

This book presents a philosophical conception of logic -- "logical expressivism"-- according to which the role of logic is to make explicit reason relations, which are often neither monotonic nor transitive. It reveals new perspectives on inferential roles, sequent calculi, representation, truthmakers, and many extant logical theories.

Philosophers have recently come to focus on explaining the phenomenon of ​bad beliefs,​ beliefs that are apparently true and well-evidenced but nevertheless objectionable. Despite this recent focus, a consensus is already forming around a particular explanation of these beliefs’ badness called ​moral encroachment​, according to which, roughly, the moral stakes engendered by bad beliefs make them particularly difficult to justify. This paper advances an alternative account not just of bad beliefs but of bad attitudes more generally according to which bad (...) beliefs’ badness originates not in a failure of sufficient evidence but in a failure to respond adequately to reasons. I motivate this alternative account through an analogy to recent discussions of moral worth centered on the well-known grocer case from Kant’s ​Groundwork​, and by showing that this analogy permits the proposed account to generalize to bad attitudes beyond belief. The paper concludes by contrasting the implications of moral encroachment and of the proposed account for bad attitudes’ blameworthiness. (shrink)

Artificial intelligence (AI) systems have demonstrated impressive performance across a variety of clinical tasks. However, notoriously, sometimes these systems are “black boxes.” The initial response in the literature was a demand for “explainable AI.” However, recently, several authors have suggested that making AI more explainable or “interpretable” is likely to be at the cost of the accuracy of these systems and that prioritizing interpretability in medical AI may constitute a “lethal prejudice.” In this paper, we defend the value of interpretability (...) in the context of the use of AI in medicine. Clinicians may prefer interpretable systems over more accurate black boxes, which in turn is sufficient to give designers of AI reason to prefer more interpretable systems in order to ensure that AI is adopted and its benefits realized. Moreover, clinicians may be justified in this preference. Achieving the downstream benefits from AI is critically dependent on how the outputs of these systems are interpreted by physicians and patients. A preference for the use of highly accurate black box AI systems, over less accurate but more interpretable systems, may itself constitute a form of lethal prejudice that may diminish the benefits of AI to—and perhaps even harm—patients. (shrink)

The wrong kind of reason (WKR) problem is a problem for attempts to analyze normative properties using only facts about the balance of normative reasons, a style of analysis on which the ‘Reasons First’ programme depends. I argue that this problem cannot be solved if the orthodox view of reasons is true --- that is, if each normative reason is numerically identical with some fact, proposition, or state-of-affairs. That’s because solving the WKR problem requires completely distinguishing between the right- and (...) wrong-kind reasons for an attitude. I argue that some facts give both right- and wrong-kind reasons for an attitude. Consequently, no such distinction between the two types of reasons is complete if reasons are facts or the like. I conclude by suggesting that reasons and facts are related by constitution, not identity. (shrink)

Fear is a preventer, sometimes robustly so. When fear robustly prevents, it changes or diminishes what an agent is able to do. Various popular conceptions of fear focus on its negative role: fear sometimes prevents us from acting as we should, as in certain cases of akrasia. But by the same token, fear sometimes prevents us from acting as we shouldn’t, as in certain other cases of inverse akrasia. We end with a plea on behalf of fear, both in light (...) of its preventing role and its broader connection to other ways we express concern, in particular, to hope. (shrink)

In this paper we provide a philosophical analysis of the Hard Problem of consciousness and the implications of conceivability scenarios for current neuroscientific research. In particular, we focus on one of the most prominent neuroscientific theories of consciousness, integrated information theory (IIT). After a brief introduction on IIT, we present Chalmers’ original formulation and propose our own layered view of the hard problem, showing how 2 separate issues can be distinguished. More specifically, we argue that it’s possible to disentangle a (...) core problem of consciousness from a layered hard problem, the latter being essentially connected to Chalmers’ conceivability argument. We then assess the relation between the Hard Problem and IIT, showing how the theory resists conceivability scenarios, and how it is equipped to face up to the hard problem in its broadest acceptation. (shrink)

Competitive negotiators frequently use tactics which others view as "unethical", in that these tactics either violate standards of truth telling or violate the perceived rules of negotiation. This paper sought to determine how business students viewed a number of marginally ethical negotiating tactics, and to determine the underlying factor structure of these tactics. The factor analysis of these tactics revealed five clear factors which were highly similar across the two samples, and which parallel (to a moderate degree) categories of tactics (...) proposed by earlier theory. Data from one sample also permitted comparisons of the appropriateness of certain tactics across gender, nationality, ethnic origin and perception of one's negotiating style. (shrink)

A growing body of work in free speech theory is interested in the nature of counterspeech, i.e. speech that aims to counteract the effects of harmful speech. Counterspeech is usually defined in opposition to legal responses to harmful speech, which try to prevent such speech from occurring in the first place. In this paper we challenge this way of carving up the conceptual terrain. Instead, we argue that our main classificatory division, in theorising responses to harmful speech, should be between (...) pro-discursive and anti-discursive responses. Some legal responses to harmful speech, so we argue, make a positive discursive contribution in their own right. That is, legal restrictions on harmful speech can have a function that is importantly similar to speech that aims at countering the effects of harmful speech. (shrink)

Objectives: Machine learning (ML) has the potential to facilitate “continual learning” in medicine, in which an ML system continues to evolve in response to exposure to new data over time, even after being deployed in a clinical setting. In this article, we provide a tutorial on the range of ethical issues raised by the use of such “adaptive” ML systems in medicine that have, thus far, been neglected in the literature. -/- Target audience: The target audiences for this tutorial are (...) the developers of ML AI systems, healthcare regulators, the broader medical informatics community, and practicing clinicians. -/- Scope: Discussions of adaptive ML systems to date have overlooked the distinction between 2 sorts of variance that such systems may exhibit—diachronic evolution (change over time) and synchronic variation (difference between cotemporaneous instantiations of the algorithm at different sites)—and underestimated the significance of the latter. We highlight the challenges that diachronic evolution and synchronic variation present for the quality of patient care, informed consent, and equity, and discuss the complex ethical trade-offs involved in the design of such systems. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals and (...) conditionals. (shrink)

Why should musical compositions and artistic images be included among the types of expression covered by free speech principles? One way to answer this question is to show how expression in nonverbal media can be functionally similar to other types of verbal expression. But this leaves us with an intuitively unsatisfying explanation of why free speech principles cover nonverbal creative expression that does not functionally emulate literal speech. In this article, as an alternative justification, we develop and defend the idea (...) that musical and pictorial expression‚ much like literal speech, can be media through which people think aloud, as opposed to mere tools for the transmission of thought. We use this proposal to provide a more robust justification for including nonverbal creative expression in the scope of free speech coverage, and we outline some of the practical policy implications that come with adopting this justificatory strategy. (shrink)

This is a survey of theories of scientific method which opens the book "After Popper, Kuhn and Feyerabend: Recent Issues in Theories of Scientific Method".

A common objection to Sosa’s epistemology is that it countenances, in an objectionable way, unsafe knowledge. This objection, under closer inspection, turns out to be in far worse shape than Sosa’s critics have realised. Sosa and his defenders have offered two central response types to the idea that allowing unsafe knowledge is problematic: one response type adverts to the animal/reflective knowledge distinction that is characteristic of bi-level virtue epistemology. The other less-discussed response type appeals to the threat of dream scepticism, (...) and in particular, to the idea that many of our everyday perceptual beliefs are unsafe through the nearness of the dream possibility. The latter dreaming response to the safety objection to Sosa’s virtue epistemology has largely flown under the radar in contemporary discussions of safety and knowledge. We think that, suitably articulated in view of research in the philosophy and science of dreaming, it has much more going for it than has been appreciated. This paper further develops, beyond what Sosa does himself, the dreaming argument in response to those who think safety (as traditionally understood) is a condition on knowledge and who object to Sosa’s account on the grounds that it fails this condition. The payoffs of further developing this argument will be not only a better understanding of the importance of insights about dreaming against safety as a condition on knowledge, but also some reason to think a weaker safety condition, one that is relativised to SSS (i.e., skill/shape/situation) conditions for competence exercise, gets better results all things considered as an anti-luck codicil on knowledge. (shrink)

Matteo Ricci (1552-1610) was an Italian Jesuit and one of the first Christian missionaries to China in the modern era. He was a genuine polymath—a translator, cartographer, mathematician, astronomer, and musician. Above all, Ricci was a missionary for the gospel. As we briefly examine his 1603 seminal work, The True Meaning of the Lord of Heaven, our hope is that we, as evangelical educators, will perceive some of the deeper principles necessary for our own missionary work among unreached people.

Claims about what justice “requires” and the “requirements” of justice are pervasive in political philosophy. However, there is a highly significant ambiguity in such claims that appears to have gone unnoticed. Such claims may pick out either one of two categorically distinct and noncoextensive kinds of requirement that we call 1) requirements-as-necessary-conditions for justice and 2) requirements-as-demands of justice. This is an especially compelling instance of an ambiguity that John Broome has famously observed in the context of claims about other (...) requirements (notably the requirements of rationality and morality). But it appears to have been overlooked by political philosophers in the case of claims about the requirements of justice. The ambiguity is highly significant inasmuch as failing to notice it is liable to distort our normative thinking about politics and make us vulnerable to certain kinds of normatively consequential errors: both mistakenly drawing inferences about what justice demands of us from claims that certain states or societies are not just; and mistakenly drawing inferences about what states or societies are or would be just from claims that justice does not demand of states or societies that they do certain things. Paying greater attention to the distinction between these two different kinds of requirements and the ways in which they come apart is helpful, not merely in avoiding these distortions and errors, but also in resolving, or at least clarifying, a number of other notoriously murky meta-normative debates, especially various important debates about realism and idealism in political philosophy. (shrink)

Is simulation some new kind of science? We argue that instead simulation fits smoothly into existing scientific practice, but does so in several importantly different ways. Simulations in general, and computer simulations in particular, ought to be understood as techniques which, like many scientific techniques, can be employed in the service of various and diverse epistemic goals. We focus our attentions on the way in which simulations can function as (i) explanatory and (ii) predictive tools. We argue that a wide (...) variety of simulations, both computational and physical, are best conceived in terms of a set of common features: initial or input conditions, a mechanism or set of rules, and a set of results or output conditions. Studying simulations in these terms yields a new understanding of their character as well as a body of normative recommendations for the care and feeding of scientific simulations. (shrink)

This article explores the potential utility of the theory of Holism as developed by South African philosopher, British Commonwealth statesman and military leader, Jan Smuts, for philosophical counselling or practice. Central to the philosophical counseling process is philosophical counsellors or practitioners applying the work of philosophers to inspire, educate and guide their counselees in dealing with life problems. For example, Logic-Based Therapy, a method of philosophical counselling developed by Elliot Cohen, provides a rational framework for confronting problems of living, where (...) the counselor helps the counselee find an uplifting philosophy that promotes a guiding virtue that acts as an antidote to unrealistic and often self-defeating conclusions derived from irrational premises. We present the argument that Holism is one such uplifting philosophy which can be of utility to philosophical counselors or practitioners to help their counselees with confronting problems of living. Furthermore, we argue that Smuts’ articulation of freedom can act as a guiding virtue within this uplifting philosophy of Holism in accordance with the methodology of LBT. Smuts’ contribution to philosophy and psychology is arguably inadequately credited, and for this reason, and to the best of our knowledge, Smuts’ theory of Holism has yet to be discussed in the context of philosophical counseling or practice. Given these omissions, we begin this article with a discussion of his influence on 20th Century Anglo-American psychology. We then provide a brief historical context, and an introduction to the central argument of Smuts’ Holism, as well as a brief overview of the origins of Smut’s Holism and an introduction to his book Holism and Evolution. In the remainder of the article, we discuss several foundational concepts that underlie Smuts’ theory of Holism, as articulated and developed in his book Holism and Evolution, to substantiate our arguments. We conclude by highlighting the limitations of our article, limitations to Smuts’ model, and the challenges inherent in the use of a now largely antiquated theory, even by Smuts’ own admission nineteen years after its publication, for the purposes of contextualizing and substantiating the arguments and recommendations presented herein. (shrink)

In a recent paper, we describe how a model of quantum communication based on combining consciousness experiment and entanglement can serve as impetus to stop 5G-caused diseases. Therefore, in this paper we will discuss how entanglement can be explained in terms of quantum theory. This short review may be considered as an effort to bring QM into real problem solving, i.e. telecommunication.

In the same spirit with the theme of last issue of this SGJ journal (“Ongoing creation”), this paper shortly reviews a plausible mechanism from Aether to become ordinary matter from the perspective of Neutrosophic Logic. We also discuss two other possible applications of Neutrosophic Logic, including a resolution of conflicting paradigms in medicine. We hope that some ideas as outlined herein will be proved useful in the near future.

Smarandache Hypothesis states that there is no speed limit of anything, including light and particles. While the idea is quite simple and based on known hypothesis of quantum mechanics, called Einstein-Podolski-Rosen paradox, in reality such a superluminal physics seems still hard to accept by majority of physicists. Here we review some experiments to support superluminal physics and also findings to explain Smarandache Quantum Paradoxes and Quantum Sorites Paradox. We also touch briefly on new experiment on magneton, supporting SubQuantum Kinetic Model (...) of Electron. (shrink)

Does consciousness survive bodily death? This question remains a profound, perennial mystery. Although scientific studies have focused on out-of-body experiences (OBEs) and near-death experiences (NDEs), there is scant evidence to support the claim that consciousness survives death. Many speculative theories state that consciousness moves through various afterlife realities. Tantalizing clues are found in world religion, esoteric philosophy, extrasensory perception, hypnotic regression, and scientific experimentation. At the present time, there is an abundance of theoretical scholarly discourse on the topic of “survival.” (...) After 60 years of NDE research, common ground has been established from NDEers’ anecdotal evidence and perceptual experiences. (shrink)

This paper investigates whether search engines and other new modes of online communication should be covered by free speech principles. It criticizes the analogical reason-ing that contemporary American courts and scholars have used to liken search engines to newspapers, and to extend free speech coverage to them based on that likeness. There are dissimilarities between search engines and newspapers that undermine the key analogy, and also rival analogies that can be drawn which don’t recommend free speech protection for search engines. (...) Partly on these bases, we argue that an analogical approach to questions of free speech coverage is of limited use in this context. Credible verdicts about how free speech principles should apply to new modes of online com-munication require us to re-excavate the normative foundations of free speech. This method for deciding free speech coverage suggests that only a subset of search engine outputs and similar online communication should receive special protection against government regulation. (shrink)