- uneducated in the field authors who defend a consensus they are being TOLD when they enter offices of Ed-Sci, teaching and writing works on learning-theory - but never checked the facts, PART I and PART II.

This paper explores how to deliberate about food choices from a Stoic perspective informed by the value of environmental sustainability. This perspective is reconstructed from both ancient and contemporary sources of Stoic philosophy. An account of what the Stoic goal of “living in agreement with Nature” would amount to in dietary practice is presented. Given ecological facts about food production, an argument is made that Stoic virtue made manifest as wisdom, justice, courage, and temperance compel Stoic practitioners to select locally (...) sourced, low resource input, plant-based foods whenever circumstances allow. (shrink)

In this paper, we discuss three probabilistic arguments for the existence of multiple universes. First, we provide an analysis of total evidence and use that analysis to defend Roger White's "this universe" objection to a standard fine-tuning argument for multiple universes. Second, we explain why Rodney Holder's recent cosmological argument for multiple universes is unconvincing. Third, we develop a "Cartesian argument" for multiple universes. While this argument is not open to the objections previously noted, we show that, given certain highly (...) plausible assumptions about evidence and epistemic probability, the proposition which it treats as evidence cannot coherently be regarded as evidence for anything. This raises the question of whether to reject the assumptions or accept that such a proposition cannot be evidence. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is neutral regarding (...) cognitivism about imperatives. (shrink)

It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of the existential (...) import of quantifiers. (shrink)

In the face of conflict, power can be defined as ‘the ability to get one’s needs met [1].’ Power requires not just an ability to do or act by strength and force, but also requires an inherent want and need for a commodity. Yet it is self-explanatory that a desire for power isn’t temporary, but perpetual, with those whose needs are satisfied always yearning for more. This can lead to longer term conflict, suggesting the gradient of power enrooted within society, (...) is the sole perpetrator towards worldwide violence; yet is it possible to completely eradicate violence from society, when individuals, parties and states will never stop their crave for greater power? (shrink)

Background and aims Research into the social aspects of set and setting have demonstrated that race is a significant factor in psychedelic experiences for racially marginalized populations. Yet, many studies of psychedelic-induced experiences continue to proceed without collecting data on or considering the influence of race or other social categories. These approaches abstract subjectivity from its embodied and historical conditions, isolating consciousness in ways that do not accord with lived experience. -/- Methods This article draws on critical phenomenology, anthropology, and (...) treatments of race in the field of psychedelic studies to outline how social categories mediate subjective experience in historically specific ways through the framework of embodiment. -/- Results I argue that consciousness is fundamentally intersubjective, including during psychedelic-induced experiences. Intersubjectivity is an existential condition that makes possible meaning, communication, and socialization, processes which rely on and are perpetually (re)enacted through social categories. Therefore, studies of psychedelic-induced experiences must account for the foundational role that social categories play in constituting such embodied experiences and their effects. -/- Conclusions This approach makes embodied differences matter to the study of psychedelic-induced experiences, opening new avenues of inquiry that foreground identity, power, and context in both clinical and naturalistic research. (shrink)

This paper adopts the philosophical approach of Stoicism as the basis for re-examining the cognitive and ethical relationship between Homo sapiens and Neanderthals. Stoicism sets out a clear criterion for the special moral status of human beings, namely rationality. We explore to what extent Neanderthals were sufficiently rational to be considered “human”. Recent findings in the fields of palaeoanthropology and palaeogenetics show that Neanderthals possessed high-level cognitive abilities and produced viable offspring with anatomically modern humans. Our discussion offers insights for (...) reflecting on the relationship between humans and other forms of natural life and any moral obligations that result. (shrink)

Political science is divided between methodological individualists, who seek to explain political phenomena by reference to individuals and their interactions, and holists (or nonreductionists), who consider some higher-level social entities or properties such as states, institutions, or cultures ontologically or causally significant. We propose a reconciliation between these two perspectives, building on related work in philosophy. After laying out a taxonomy of different variants of each view, we observe that (i) although political phenomena result from underlying individual attitudes and behavior, (...) individual-level descriptions do not always capture all explanatorily salient properties, and (ii) nonreductionistic explanations are mandated when social regularities are robust to changes in their individual-level realization. We characterize the dividing line between phenomena requiring nonreductionistic explanation and phenomena permitting individualistic explanation and give examples from the study of ethnic conflicts, social-network theory, and international-relations theory. (shrink)

The contemporary theory of epistemic democracy often draws on the Condorcet Jury Theorem to formally justify the ‘wisdom of crowds’. But this theorem is inapplicable in its current form, since one of its premises – voter independence – is notoriously violated. This premise carries responsibility for the theorem's misleading conclusion that ‘large crowds are infallible’. We prove a more useful jury theorem: under defensible premises, ‘large crowds are fallible but better than small groups’. This theorem rehabilitates the importance of deliberation (...) and education, which appear inessential in the classical jury framework. Our theorem is related to Ladha's (1993) seminal jury theorem for interchangeable (‘indistinguishable’) voters based on de Finetti's Theorem. We also prove a more general and simpler such jury theorem. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

All contributions included in the present issue were originally presented at an ‘Author Meets Critics’ session organised by Richard Zach at the Pacific Meeting of the American Philosophical Association in San Diego in the Spring of 2014.

In China, plagiarism among undergraduate students has been a protuberant issue preventing the robust development of tertiary education. The purpose of this Interpretative Phenomenological Analysis (IPA) research was to acquire a profound understanding of the essence of the phenomenon through the process of students’ research writing at Shaoyang University (SYU), a southern Chinese University. Employing a step-wise combination of purposive and random sampling techniques, 11 participants were selected to partake in the study’s online, face-to-face, and one-on-one semi-structured interviews. On completion (...) of data analysis, seven themes emerged: poor literacy about plagiarism; few learning experiences related to plagiarism; disapproval of plagiarism with different tolerance levels; difficulties encountered during academic writing; sophistication in detouring the plagiarism detecting tool; reasons for committing plagiarism; and under-evaluation of disciplinary study. Based upon the rich findings, the study proposed a preliminary holistic solution to mitigate plagiarism, with school administration, policy makers, instructors, and students performing and abiding to their respective roles, and with the literacy education related to plagiarism at the center. (shrink)

Democratic decision-making is often defended on grounds of the ‘wisdom of crowds’: decisions are more likely to be correct if they are based on many independent opinions, so a typical argument in social epistemology. But what does it mean to have independent opinions? Opinions can be probabilistically dependent even if individuals form their opinion in causal isolation from each other. We distinguish four probabilistic notions of opinion independence. Which of them holds depends on how individuals are causally affected by environmental (...) factors such as commonly perceived evidence. In a general theorem, we identify causal conditions guaranteeing each kind of opinion independence. These results have implications for whether and how ‘wisdom of crowds’ arguments are possible, and how truth-conducive institutions can be designed. (shrink)

To obtain effective fusion results of multi source evidences with different importance, an evidence fusion method with importance discounting factors based on neutrosopic probability analysis in DSmT framework is proposed. First, the reasonable evidence sources are selected out based on the statistical analysis of the pignistic probability functions of single focal elements. Secondly, the neutrosophic probability analysis is conducted based on the similarities of the pignistic probability functions from the prior evidence knowledge of the reasonable evidence sources. Thirdly, the importance (...) discounting factors of the reasonable evidence sources are obtained based on the neutrosophic probability analysis and the reliability discounting factors of the real-time evidences are calculated based on probabilistic-based distances. Fourthly, the real-time evidences are discounted by the importance discounting factors and then the evidences with the mass assignments of neutrosophic empty sets are discounted by the reliability discounting factors. Finally, DSmT+PCR5 of importance discounted evidences is applied. Experimental examples show that the decision results based on the proposed fusion method are different from the results based on the existed fusion methods. Simulation experiments of recognition fusion are performed and the superiority of proposed method is testified well by the simulation results. (shrink)

Jury theorems are mathematical theorems about the ability of collectives to make correct decisions. Several jury theorems carry the optimistic message that, in suitable circumstances, ‘crowds are wise’: many individuals together (using, for instance, majority voting) tend to make good decisions, outperforming fewer or just one individual. Jury theorems form the technical core of epistemic arguments for democracy, and provide probabilistic tools for reasoning about the epistemic quality of collective decisions. The popularity of jury theorems spans across various disciplines such (...) as economics, political science, philosophy, and computer science. This entry reviews and critically assesses a variety of jury theorems. It first discusses Condorcet's initial jury theorem, and then progressively introduces jury theorems with more appropriate premises and conclusions. It explains the philosophical foundations, and relates jury theorems to diversity, deliberation, shared evidence, shared perspectives, and other phenomena. It finally connects jury theorems to their historical background and to democratic theory, social epistemology, and social choice theory. (shrink)

We give a review and critique of jury theorems from a social-epistemology perspective, covering Condorcet’s (1785) classic theorem and several later refinements and departures. We assess the plausibility of the conclusions and premises featuring in jury theorems and evaluate the potential of such theorems to serve as formal arguments for the ‘wisdom of crowds’. In particular, we argue (i) that there is a fundamental tension between voters’ independence and voters’ competence, hence between the two premises of most jury theorems; (ii) (...) that the (asymptotic) conclusion that ‘huge groups are infallible’, reached by many jury theorems, is an artifact of unjustified premises; and (iii) that the (nonasymptotic) conclusion that ‘larger groups are more reliable’, also reached by many jury theorems, is not an artifact and should be regarded as the more adequate formal rendition of the ‘wisdom of crowds’. (shrink)

Die von Kai Pege vorgelegte Theorie beschäftigt sich mit sprachlichen Bezügen. Das Wort ‚selektiv‘ wird in diesem Kontext genutzt, weil die Herangehensweise deskriptiv ist, nicht normativ, weil berücksichtigt wird, dass Bezüge auf Wirklichkeiten einzuschätzen sind, nicht einfach gegeben sind. Selektiv vorzugehen, ist ohnehin Forschungspraxis, nicht einmal an der Bildung eines verbindlichen Ideals hat der Autor ein bekundetes Interesse. -/- Gleichwohl entwickelt Kai Pege im Kontext seiner Analysen ein sprachliches Verfahren, das in besonderer Weise nach Angemessenheit fragt, nach der Angemessenheit von (...) sprachlichen Bedeutungen und möglichen Bezügen. Er spricht von einem ‚analytisch differentiellen‘ Vorgehen, das sogar sprachliche Synonomie verwirft, zu Gunsten von sprachlichen Unterschieden, und zwar zur Erlangung von Bezugsrelevanz und möglichen Bezügen. Ein nicht geringes Gewicht hat in dem Essay die Auseinandersetzung mit relevanten Positionen von Tarski, Quine, Davidson, Kripke, Putnam. (shrink)

One of the most debated problems in the foundations of the special relativity theory is the role of conventionality. A common belief is that the Lorentz transformation is correct but the Galilean transformation is wrong. It is another common belief that the Galilean transformation is incompatible with Maxwell equations. However, the “principle of general covariance” in general relativity makes any spacetime coordinate transformation equally valid. This includes the Galilean transformation as well. This renders a new paradox. This new paradox is (...) resolved with the argument that the Galilean transformation is equivalent to the Lorentz transformation. The resolution of this new paradox also provides the most straightforward resolution of an older paradox which is due to Selleri in. I also present a consistent electrodynamics formulation including Maxwell equations and electromagnetic wave equations under the Galilean transformation, in the exact form for any high speed, rather than in low speed approximation. Electrodynamics in rotating reference frames is rarely addressed in textbooks. The presented formulation of electrodynamics under the Galilean transformation even works well in rotating frames if we replace the constant velocity v\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}$$\end{document} with v=ω×r\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}=\varvec{\omega }\times \mathbf {r}$$\end{document}. This provides a practical tool for applications of electrodynamics in rotating frames. When electrodynamics is concerned, between two inertial reference frames, both Galilean and Lorentz transformations are equally valid, but the Lorentz transformation is more convenient. In rotating frames, although the Galilean electrodynamics does not seem convenient, it could be the most convenient formulation compared with other transformations, due to the intrinsic complex nature of the problem. (shrink)

Does pre-voting group deliberation improve majority outcomes? To address this question, we develop a probabilistic model of opinion formation and deliberation. Two new jury theorems, one pre-deliberation and one post-deliberation, suggest that deliberation is beneficial. Successful deliberation mitigates three voting failures: (1) overcounting widespread evidence, (2) neglecting evidential inequality, and (3) neglecting evidential complementarity. Formal results and simulations confirm this. But we identify four systematic exceptions where deliberation reduces majority competence, always by increasing Failure 1. Our analysis recommends deliberation that (...) is 'participatory', 'neutral', but not necessarily 'equal', i.e., that involves substantive sharing, privileges no evidences, but might privilege some persons. (shrink)

After Parmenides proposed the duality of appearance and reality, details have not been well developed because the assumption was insufficient for logical reasoning. This paper establishes a foundation with an isolated system, which contains all causes and effects within itself. This paper seeks to establish a purely logical philosophy, including reality and phenomena, good and evil, truth and fallacy. Freedom is proposed as the basis for reality. All beings in an isolated system can be classified into two sets: variable phenomena (...) and constant realities. Realities are the only reasons for phenomena, and phenomena are the only results of realities. The sum of certain realities constitutes a reality, and the sum of all realities is good. Good creates most of the phenomenal world. A reality is universalizable; a phenomenon is never universalizable. Good is the only reality which is close to universality and keeps on universalizing. Truth is the simplest knowledge about universal or approximately universal beings. The universality of a reality measures the percentage of phenomena accompanied by this reality. There are two levels of truth: truth about all realities, and truth about the good. (shrink)

The author defines the sum of thinking as the soul. Historically, despite the many times that humans have liberated themselves, they are still enslaved. Humans mistakenly treats the body as a necessary part of themselves; thus, they seldom pursue the independence of souls. They are usually voluntarily exploited by the body through the nervous system. The author compares the body exploiting the soul with the slaveholder exploiting the slave and demonstrates that the soul should seek its own liberation. Even if (...) the souls can never be successfully liberated, humans should at least reduce the influence of the body. Future humans should shift the goal of life from as comfortable as possible to as logical as possible, from satisfying several fixed sense organs to experiencing various sense organs. This would also mark the beginning of humans choosing the direction of evolution rationally and actively, establishing eternal and universal ethics, and replacing fallacious empirical ethical codes with purely logical codes. (shrink)

Knowledge is correct and reliable when its foundation is correct, but humans never have the correct beliefs and methodology. Thus, knowledge is unreliable and the foundation of knowledge needs to be reconstructed. A pure rationalist only believes in logic. Thus, all matter and experience must be propositions derived from logic. The logically necessary consequence of this belief is truth; logically possible consequences are phenomena, and logically impossible consequence are fallacies and evils. This paper introduces belief and its logical consequences, such (...) as discovering first knowledge, both logically and illogically, establishing logical methodology, deducing truths purely through logic, and discovering unprovable truths by imitating the Universe. Logic and illogic are undeniable beliefs, and the reality of the Universe is the ultimate cause of everything. (shrink)

The theme of this study is about establishing a purely logical theory about the Universe. Logic is the premier candidate for the reality behind phenomena. If there is a final theory, the Universe must be logic itself, called pure logic, elements of which include not only logic and illogic but also logical and illogical manipulations between them. The kernel is the revised law of the excluded middle: between two basic concepts are four possible manipulations, three logical and one illogical, whereas (...) only one is realized. The key parameter for an element is aim, including reason, outcome, and neutrality. When an element is a contradiction, it can be located at three positions: reason, outcome, and manipulation, corresponding to three colors of quark. Thus, there is interaction with the SU(3) symmetry keeping the number of the three elements balanced locally. A proposition without contradiction has two independent aims. When one aim changes, there is interaction with the U(1) symmetry. When two aims change together, there is interaction with the SU(2) symmetry. (shrink)

This volume presents state-of-the-art papers on new topics related to neutrosophic theories, such as neutrosophic algebraic structures, neutrosophic triplet algebraic structures, neutrosophic extended triplet algebraic structures, neutrosophic algebraic hyperstructures, neutrosophic triplet algebraic hyperstructures, neutrosophic n-ary algebraic structures, neutrosophic n-ary algebraic hyperstructures, refined neutrosophic algebraic structures, refined neutrosophic algebraic hyperstructures, quadruple neutrosophic algebraic structures, refined quadruple neutrosophic algebraic structures, neutrosophic image processing, neutrosophic image classification, neutrosophic computer vision, neutrosophic machine learning, neutrosophic artificial intelligence, neutrosophic data analytics, neutrosophic deep learning, and neutrosophic (...) symmetry, as well as their applications in the real world. (shrink)

The author has established a mathematical theory about the system of freedom in which components of freedom are ruled by the largest freedom principle, explaining how one invariant reality can be equated with the dynamical universe. Freedom as a whole is the reality, and components of freedom show variable phenomena and become a dynamic system. In freedom, component equality leads to sequence equality; therefore, various sequences coexist in the system. Because there are incompatible sequences for any sequence, the interior of (...) freedom cannot be a static sequence. In order for the system to be a whole, there must be some connecting sequences between any two sequences. Then, at every part of freedom, it is always possible to find a group of three independent sequences that, for most components, is located inside. For the sequence group, there is a sequence through which most components flow in and out. The most abundant three - sequence group and most abundant connecting sequence correspond to the space - time structure. Other incompatible sequences correspond to particles, and interactions between these sequences correspond to interactions between particles. The interactions have some symmetries similar to those in physics, such as SU (3) AND SU (2)×U (1), thus proving the feasibility of the hypothesis: the universe is equivalent with the system of freedom. (shrink)

The economy is based on the prevailing legal system; however, the economy could go into a tailspin if the laws lose their impartiality. A perfect worker creates infinite high value with limited cost, and the result is a perfect product, usually eternal knowledge. However, free access to their products discourages workers, causing a substantial deviation from optimal resource allocation, and thereby making the supply of perfect products seriously inadequate. This significantly hurts the interests of future society. To maximize the overall (...) interests of humankind, the best policy would be to produce perfect products expeditiously, which in turn requires correcting the value society places on perfect products to respect the interests of perfect workers and future generations. Future society should essentially buy licenses from perfect workers instead of lending money to modern society for consumption. Then, the one-way trade between the present and the future will greatly increase. New companies and services will emerge around perfect products, and long-term economic growth rates will increase significantly. (shrink)

Despite its pertinence to every field of study, no systematic theory exists for the exploration of the unknown world of new knowledge. In order to construct such a theory, this paper draws on the unique and highly refined principles of military strategy, in the process demonstrating the universal applicability of such principles and developing an effective analogy for the process of research. Such principles include diverging advance, converging attack, and selecting the superior and eliminating the inferior. In seeking further discoveries, (...) one should search for more possibilities, attack more aims, and confound the front line. The theory presented in this paper is also a means to further the unification of science. For no matter what the individuals look like, (soldiers, particles, cells, consumers, producers, stockholders, or concepts), what they pursue, (victory, negative action, viability, pleasure, profit, investment return, or knowledge), or what relationship exists between opponents, (hostile, mysterious, adaptive, reciprocal, cooperative, or explanatory), the result is always an unknown world in which individuals are exploring. It is reasonable to suppose that the exploration of the unknown world is a common property among individuals. (shrink)