Nudging works through dispositions to decide with specific heuristics, and has three component parts. A nudge is a feature of an environment that enables such a disposition; a person is nudged when such a disposition is triggered; and a person performs a nudged action when such a disposition manifests in action. This analysis clarifies an autonomy-based worry about nudging as used in public policy or for private profit: that a person’s ability to reason well is undermined when she is nudged. (...) Reasoning well is a component of self-guidance, which is an aspect of autonomy and so something there is reason to promote, preserve, or respect. However, a person can reason well when she is nudged: Many of these heuristics are good rules to reason with, and she can be flexible with respect to them when she takes there to be a better way to reason. Along the way, this paper uncovers several design specifications for responsible nudging, and discusses open empirical questions. However, nudging’s being compatible with reasoning well crystallizes a distinct worry about manipulation: that nudge designers can rely on nudged people guiding themselves toward the designers’ own ends. Manipulation of this sort exploits one aspect of autonomy (namely, self-guidance) to undermine autonomy in other respects. (shrink)

Some cognitive processes appear to have “phenomenal” properties that are directly revealed to the subject and not determined by physical properties. I suggest that the source of this appearance is the method by which our brain processes sensory information. The appearance is an illusion. Nonetheless, we are not mistaken when we judge that people sometimes fee lpain.

Ausgangspunkt ist die Frage, was Masse ist, wodurch sie insbesondere befähigt ist, Dauer zu konstituieren und deshalb - im Sinn des kinematischen Relativitätsprinzips - ebenso als bewegt wie als ruhend betrachtet werden kann. In einem Gedankenexperiment wird diese Frage, in Umkehrung der Perspektive, hier nicht von der Masse selbst, sondern von einer stehenden Lichtwelle her angegangen. In diesem Modell lassen sich masse-analoge Strukturen rekonstruieren, die in relativer Bewegung sein können. Die (empirisch bekannte) Unabhängigkeit der Lichtgeschwindigkeit vom Bezugssystem ist dabei nicht (...) vorausgesetzt. Doch kann gezeigt werden, dass die Lichtgeschwindigkeit Grenzgeschwindigkeit solcher relativer Bewegungen ist, dass dies für alle durch masse-analoge Strukturen konstituierte, relativ zueinander gleichförmig bewegten Bezugssysteme gilt und dass die Lichtgeschwindigkeit selbst in allen diesen Systemen gleich ist. Die Absolutheit der Lichtgeschwindigkeit und die Relativität der Massebewegungen erweisen sich so als zwar differente, aber intrinsisch zusammengehörende Momente des kinematischen Relativitätsprinzips: ein Beitrag zu einer Philosophie der Relativitätstheorie. - Die mathematischen Zusammenhänge werden im Anhang ausführlicher dargelegt. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 1026-1038, December 2021.

ArgumentIn the United States, scientific knowledge is brought before the courts by way of testimony – the testimony of scientific experts. We argue that this expertise is best understoodfirstas related to the quality of the underlying scienceand thenin terms of who delivers it. Bloodstain pattern analysis (BPA), a contemporary forensic science, serves as the vaulting point for our exploration of objectivity as a metric for the quality of a science in judicial contexts. We argue that BPA fails to meet the (...) minimal standard set by Helen Longino’s social-procedural account of objectivity (1990, 2002). In light of some pressing issues for social-procedural accounts, we offer an infrastructural account of objectivity. This account offers what amounts to a friendly amendment to Longino’s account and adds to the ways in which we might analyze social-procedural objectivity. Finally, we address an issue that is pressing in the legal context: given that scientific knowledge is delivered by individuals, not communities, at least in U.S. courts, we (may) need a way to evaluate individual scientific and epistemic agents. We suggest a means for making this evaluation that is derived from our infrastructural account of objectivity. (shrink)

Pekakak selama ini tinggal di gua galiannya sendiri di tepi kolam, tapi sekarang dia memutuskan bahwa dia membutuhkan rumah baru. Dia melakukan tur keliling desa untuk melihat bagaimana burung-burung lain membangun rumah mereka. Dia mengunjungi Tuan Pipit, yang tinggal di pohon pinus yang bersiul. Bagian depan bangunannya tampak indah, dan lokasinya yang tinggi memberikan ventilasi yang baik. Tapi, semakin lama dia menginap, dia jadi semakin pusing. Hembusan angin apa pun yang menerpa membuat seluruh struktur bangunan bergetar seolah-olah akan hancur berantakan.

In the world of philosophy of science, the dominant theory of confirmation is Bayesian. In the wider philosophical world, the idea of inference to the best explanation exerts a considerable influence. Here we place the two worlds in collision, using Bayesian confirmation theory to argue that explanatoriness is evidentially irrelevant.

In this book, authors, for the first time, introduce the new notion of special subset linguistic topological spaces using linguistic square matrices. This book is organized into three chapters. Chapter One supplies the reader with the concept of ling set, ling variable, ling continuum, etc. Specific basic linguistic algebraic structures, like linguistic semigroup linguistic monoid, are introduced. Also, algebraic structures to linguistic square matrices are defined and described with examples. For the first time, non-commutative linguistic topological spaces are introduced. The (...) notion of a linguistic special subset of doubly non-commutative topological spaces of linguistic topological spaces is introduced in this book. (shrink)

There has been a recent explosion of undergraduate philosophy conferences across the United States. In this paper, we explore undergraduate conferences along three lines. First, we argue that, as a well-designed learning activity, undergraduate conferences can serve to increase gender parity in philosophical spaces—a widely accepted and important goal for our discipline. Second, we argue that this increase in parity is due, at least in part, to the proper design of undergraduate conferences as High-Impact Practices. Our empirical work on our (...) own undergraduate conference demonstrates that properly designing the conference as a High-Impact learning activity does, as expected, benefit underserved student populations, including women. Additionally, the study also revealed unexpected opportunities to intervene on student learning. Third, we argue, also in line with our data, that undergraduate conferences occupy a previously taxonomically unrecognized grouping among recognized High-Impact Practices. (shrink)

The altered nuclear transfer-oocyte assisted reprogramming (ANT-OAR) proposal has serious scientific and philosophical flaws, and it is not a morally acceptable means of obtaining embryonic stem cells. Note that this is the final preprint of an article that was published in the newspaper Science and Theology News in June 2006.

As automating technologies are increasingly integrated into workplaces, one concern is that many of the human workers who remain will be relegated to more dull and less positively impactful work. This paper considers two rival theories of meaningful work that might be used to evaluate particular implementations of automation. The first is achievementism, which says that work that culminates in achievements to workers’ credit is especially meaningful; the other is the practice view, which says that work that takes the form (...) of an open-ended practice is especially meaningful. Of the two, the practice view is the better tool for assessing the future of meaningful work, because achievementism is explanatorily inadequate in two ways. Moreover, the practice view can explain why the most meaningful forms of work cannot be automated. A procedure can only be automated as long as the steps are defined, whereas, in such work, which steps to take is indefinitely open to redefinition. This reveals the real threat to meaningful work to be a political-economic one. The relevant ethical questions there have to do with how much creative control workers retain in crafting their own jobs, when those jobs involve meaningful work in collaboration with machines; and how to liberate workers from jobs that do not involve meaningful work, which should be left to machines anyway. (shrink)

This is an encyclopedia entry on consequentializing. It explains what consequentializing is, what makes it possible, why someone might be motivated to consequentialize, and how to consequentialize a non-consequentialist theory.

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard (2010) contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the one hand, (...) all mechanisms are more or less general (or abstract), and on the other, many (if not all) design principles are causal systems. (shrink)

The current study is a pilot trial to examine the effects of a nonelective, classroom-based, teacher-implemented, mindfulness meditation intervention on standard clinical measures of mental health and affect in middle school children. A total of 101 healthy sixth-grade students (55 boys, 46 girls) were randomized to either an Asian history course with daily mindfulness meditation practice (intervention group) or an African history course with a matched experiential activity (active control group). Self-reported measures included the Youth Self Report (YSR), a modified (...) Spielberger State-Trait Anxiety Inventory, and the Cognitive and Affective Mindfulness Measure –Revised. Both groups decreased significantly on clinical syndrome subscales and affect but did not differ in the extent of their improvements. Meditators were significantly less likely to develop suicidal ideation or thoughts of self-harm than controls. These results suggest that mindfulness training may yield both unique and non-specific benefits that are shared by other novel activities. (shrink)

This paper looks at the need for a better understanding of the impediments to critical thinking in relation to graduate student work. The paper argues that a distinction is needed between two vectors that influence student writing: (1) the word-level–sentence-level vector; and (2) the grammar–inferencing vector. It is suggested that much of the work being done to assist students is only done on the first vector. This paper suggests a combination of explicit use of deductive syllogistic inferences and computer-aided argument (...) mapping is needed. A methodology is suggested for tackling assignments that require students to ‘make an argument’. It is argued that what lecturers understand tacitly, now needs to be made a focus of deliberate educational practices. (shrink)

I offer a line of argument that aims at the conclusion that the notion of radically different and incommensurable systems of value is incoherent, which would mean that the presumption of some significant common ground of valuation is rationally required in value inquiry.

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied.

In this book, the authors introduce the linguistic set associated with a linguistic variable and the structure of matrices, which they define as linguistic matrices. The authors build linguistic matrices only for those linguistic variables which yield a linguistic continuum or an ordered linguistic set. This book is organised into three chapters. The first chapter is introductory, in which we introduce all the basic concepts of linguistic variables and the associated linguistic set to make this book self-contained. Chapter two introduces (...) linguistic matrices and develops basic properties associated with them, like types of matrices, transpose of matrices and diagonal matrices. Most of the properties enjoyed by real or complex matrices are satisfied by these linguistic matrices. Chapter three deals with operations on the linguistic matrices. (shrink)

This book extends the concept of linguistic coordinate geometry using linguistic planes or semi-linguistic planes. In the case of coordinate planes, we are always guaranteed of the distance between any two points in that plane. However, in the case of linguistic and semi-linguistic planes, we can not always determine the linguistic distance between any two points. This is the first limitation of linguistic planes and semi-linguistic planes.

The new notions of super column FRM model, super row FRM model and mixed super FRM model are introduced in this book. These three models are introduced specially to analyze the biased role of the print media on 27 percent reservation for the Other Backward Classes (OBCs) in educational institutions run by the Indian Central Government.

The systematic study of supermatrices and super linear algebra has been carried out in 2008. These new algebraic structures find their applications in fuzzy models, Leontief economic models and data-storage in computers.

In this paper, I contest increasingly common "realist" interpretations of Hegel's theory of "the concept" (der Begriff), offering instead a "isomorphic" conception of the relation of concepts and the world. The isomorphism recommended, however, is metaphysically deflationary, for I show how Hegel's conception of conceptual form creates a conceptually internal standard for the adequacy of concepts. No "sideways-on" theory of the concept-world relationship is envisioned. This standard of conceptual adequacy is also "graduated" in that it allows for a lack of (...) fit between concept and world. The possibility for a "maximally isomorphic" fit between concept and world obtains through the teleological realization of concepts, which marks especially the "artificial" world of human culture (law, art, religion, etc.). Some of the most seemingly exaggerated claims Hegel makes about the concept, I contend, can be understood when we consider the significance Hegel ascribes to human making, which is provided for in his conceptual theory. But my framework provides an interpretive key for the way Hegel sees concepts imperfectly realized in the natural world as well. (shrink)

It is commonly assumed that the expression “an sich selbst” (“in itself”) in Kant combines with terms to form complex nouns such as “thing in itself” and “end in itself.” I argue that the basic use of “an sich selbst” in Kant’s German is as a sentence adverb, which has the role of modifying subject-predicate combinations, rather than either subject or predicate on their own. Expressions of the form “S is P an sich selbst” mean roughly that S is P (...) ‘in its own right’ or without some further ‘condition’. Accordingly, “an sich selbst” should not be treated as forming complex nouns. This analysis has significant consequences for the interpretation of “thing in itself” in particular, for it implies that the latter is not a complete nominal expression. Instead, one must treat ‘an sich selbst’ as expressing how some S is a ‘thing’, looking to the wider sentential context. I conclude with a brief account of the new significance granted to the concept of a ‘thing’ (Ding) according to the present interpretation. (shrink)

Smarandache in 2019 has generalized the algebraic structures to NeutroAlgebraic structures and AntiAlgebraic structures. In this paper, authors, for the first time, define the NeutroAlgebra of neutrosophic triplets group under usual+ and x, built using {Zn, x}, n a composite number, 5 < n < oo, which are not partial algebras. As idempotents in Zn alone are neutrals that contribute to neutrosophic triplets groups, we analyze them and build NeutroAlgebra of idempotents under usual + and x, which are not partial (...) algebras. We prove in this paper the existence theorem for NeutroAlgebra of neutrosophic triplet groups. This proves the neutrals assocaited with neutrosophic triplet groups in { Zn, X} under product is a NeutroAlgebra of triplets. We also prove the non-existence theorem of NeutroAlgebra for neutrosophic triplets in case of Zn when n = 2p, 3p and 4p (for some primes p). Several open problems are proposed. Further, the NeutroAlgebras of extended neutrosophic triplet groups have been obtained. (shrink)

Stephen Yablo’s notion of proportionality, despite controversies surrounding it, has played a significant role in philosophical discussions of mental causation and of high-level causation more generally. In particular, it is invoked in James Woodward’s interventionist account of high-level causation and explanation, and is implicit in a novel approach to constructing variables for causal modeling in the machine learning literature, known as causal feature learning (CFL). In this article, we articulate an account of proportionality inspired by both Yablo’s account of proportionality (...) and the CFL account of variable construction. The resulting account has at least three merits. First, it illuminates an important feature of the notion of proportionality, when it is adapted to a probabilistic and interventionist framework. The feature is that at the center of the notion of proportionality lies the concept of “determinate intervention effects.” Second, it makes manifest a virtue of (common types of) high-level causal/explanatory statements over low-level ones, when relevant intervention effects are determinate. Third, it overcomes a limitation of the CFL framework and thereby also addresses a challenge to interventionist accounts of high-level causation. (shrink)

The Swiss psychologist Jean Piaget contends that children below the age of 12 see no necessity for the logical law of non-contradiction. I argue this view is problematic. First of all, Piaget's dialogues with children which are considered supportive of this position are not clearly so. Secondly, Piaget underestimates the necessary nature of following the logical law of non-contradiction in everyday discourse. The mere possibility of saying something significant and informative at all presupposes that the law of non-contradiction is enforced.

In this essay I suggest that we view design principles in systems biology as minimal models, for a design principle usually exhibits universal behaviors that are common to a whole range of heterogeneous (living and nonliving) systems with different underlying mechanisms. A well-known design principle in systems biology, integral feedback control, is discussed, showing that it satisfies all the conditions for a model to be a minimal model. This approach has significant philosophical implications: it not only accounts for how design (...) principles explain, but also helps clarify one dispute over design principles, e.g., whether design principles provide mechanistic explanations or a distinct kind of explanations called design explanations. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Tractatus Politico-Philosophicus (Political-Philosophical Treatise) of W. Julian Korab-Karpowicz proposes a new idea-system. Ideas concerning different topics related to politics are introduced. The work aims to establish the principles of good governance and of a happy society, and to open up new directions for the future development of humankind. It is also in part a critique of the epistemology of early Wittgenstein as presented in his Tractatus Logico-Philosophicus. It argues that one can speak about politics and ethics with sense, and that (...) political philosophy is still a viable enterprise for us. This explanation is provided in response to the review of Tractatus Politico-Philosophicus by Katarzyna Heremska and a critical note of Pawel Kloczowski that were both published in Argument 6(1), 2016. (shrink)

In this book, for the first time, authors try to introduce the concept of linguistic variables as a continuum of linguistic terms/elements/words in par or similar to a real continuum. For instance, we have the linguistic variable, say the heights of people, then we place the heights in the linguistic continuum [shortest, tallest] unlike the real continuum (–∞, ∞) where both –∞ or +∞ is only a non-included symbols of the real continuum, but in case of the linguistic continuum we (...) generally include the ends or to be more mathematical say it is a closed interval, where shortest denotes the shortest height of a person, maybe the born infant who is very short from usual and the tallest will denote the tallest one usually very tall; however this linguistic continuum [shortest, tallest] in the real continuum will be the closed interval say [1 foot, 8 feet] or [1, 8] the measurement in terms of feet. So, the real interval is a subinterval with which we have associated the real continuum in terms of qualifying unit feet and inches in this case. (shrink)

In this book, the authors systematically define the new notion of linguistic graphs associated with a linguistic set of a linguistic variable. We can also define the notion of directed linguistic graphs and linguistic-weighted graphs. Chapter two discusses all types of linguistic graphs, linguistic dyads, linguistic triads, linguistic wheels, complete linguistic graphs, linguistic connected graphs, disconnected linguistic graphs, linguistic components of the graphs and so on. Further, we define the notion of linguistic subgraphs of a linguistic graph. However, like usual (...) graphs, we will not be able to arbitrarily connect any two linguistic words of a linguistic set associated with a linguistic variable. They can be related or adjacent depending on the linguistic variable associated with the linguistic set. This is an exceptional feature of a linguistic graph. (shrink)

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

A supplemental document for "Metalinguistic Gradability".

In 1794, Michael Wenzel Voigt, a professor of rhetoric in present-day Czechia, published the first German translation of Aristotle’s De anima. Voigt’s translation was explicitly intended to rescue Aristotle's views on the soul, and the bold strategy he adopts towards this end is to assert a direct connection between Aristotle’s doctrines and Kant’s Critical philosophy. Thus, he contends that Aristotle’s books on the soul can be read as an “appendix” or even as a “propadeutic” to Kant’s Critical works. Despite Voigt’s (...) rather hamfisted attempt to establish this connection, the conjecture at the core of his project—that a number of key Kantian claims about the mind or soul have a largely overlooked Aristotelian provenance—turns out to be correct, or so I argue in this chapter. Even so, we will see that this connection is not direct but is instead mediated by the reception of Aristotle in the late 17th and early 18th century. Moreover, it is not limited to the views Aristotle expresses in his texts on the soul but extends beyond his psychological and even metaphysical works to include views expressed in his logical and ethical thought. (shrink)

This book is a translation of W.V. Quine's Kant Lectures, given as a series at Stanford University in 1980. It provide a short and useful summary of Quine's philosophy. There are four lectures altogether: I. Prolegomena: Mind and its Place in Nature; II. Endolegomena: From Ostension to Quantification; III. Endolegomena loipa: The forked animal; and IV. Epilegomena: What's It all About? The Kant Lectures have been published to date only in Italian and German translation. The present book is filled out (...) with the translator's critical Introduction, "The esoteric Quine?" a bibliography based on Quine's sources, and an Index for the volume. (shrink)

Here, I explore a modernist aesthetics of death metal. First, I briefly describe a few themes that characterize some modern art, without any claim that they are necessary, sufficient, or exhaustive. The goal is to obtain a set of themes that might be set against similar themes characteristic of death metal. This is the task in the second half of the paper. In particular, I argue that (some) modernist art and death metal share themes centered on transgressively breaking with the (...) past, pursue their conception of the truth, eliminate elements in their art form to purity them, and attack the art/non-art or music/non-music distinction. I contend that centering on death metal vocals reflects these themes. Death metal growls, like some modernist art, transgresses on past vocal traditions, tells us important truths, eliminates traditional concepts/techniques of signing, and undermines the singing/noise distinction. (shrink)

While the idea of philosophy as conceptual analysis has attracted many adherents and undergone a number of variations, in general it suffers from an authority problem with two dimensions. First, it is unclear why the analysis of a concept should have objective authority: why explicating what we mean should express how things are. Second, conceptual analysis seems to lack intersubjective authority: why philosophical analysis should apply to more than a parochial group of individuals. I argue that Hegel’s conception of social (...) ontology, focused on his concept of “ethical life” (Sittlichkeit), helps to explain how concepts (and their explication) have both objective and intersubjective authority in the social domain. Hegel claims that modern institutions are the product of self-conscious purposes, so that they are conceptually constituted. Concepts do not just represent these objects and so depend on a contingent relation to them. As many contemporary social ontologists agree, this means that our concepts of these institutions are uniquely epistemically “transparent.” They have objective authority. Concepts have intersubjective authority in the modern world as well, according to Hegel. However, I show that this feature of Hegel’s account does not rely on the solution to a philosophical problem. Rather, since the concepts of modern ethical life are “essentially contested,” their content depends on the practical and political agreement of modern subjects. This means that concepts can only have objective authority if some prior intersubjective agreement has been reached. The role of philosophy as conceptual analysis is thus importantly dependent on political developments. (shrink)

Hegel often says that his "logic" is meant to replace metaphysics. Since Hegel's Science of Logic is so different from a standard logic, most commentators have not treated the portion of that work devoted to logical forms as relevant to this claim. This paper argues that Hegel's discussion of logical forms of judgment and syllogism is meant to be the foundation of his reformation of metaphysics. Implicit in Hegel's discussion of the logical forms is the view that the metaphysical concepts (...) discussed in Books I and II of the Science of Logic supervene on the role of subject and predicate terms in the logical forms discussed in Book III. Hegel thus has an explanation for the nature and significance of metaphysical concepts that resembles Kant's "metaphysical deduction," according to which the categories can be derived from the table of judgments. Though Hegel's metaphysics is often supposed to be influenced by Kant, prevailing interpretations do not show how Hegel's fine-grained treatment of logical forms is relevant to his critical view of metaphysics. The present interpretation provides a model for Hegel's explanation of metaphysical concepts, as well as a new picture of the structure of his Science of Logic that emphasizes the priority of its Doctrine of the Concept. (shrink)

The concept of supermatrix for social scientists was first introduced by Paul Horst. The main purpose of his book was to introduce this concept to social scientists, students, teachers and research workers who lacked mathematical training. This book introduces the concept of fuzzy super matrices and operations on them. The author has provided only those operations on fuzzy supermatrices that are essential for developing super fuzzy multi expert models. This book will be highly useful to social scientists who wish to (...) work with multi expert models. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

In the Transcendental Aesthetic (TA), Kant is typically held to make negative assertations about “things in themselves,” namely that they are not spatial or temporal. These negative assertions stand behind the “neglected alternative” problem for Kant’s transcendental idealism. According to this problem, Kant may be entitled to assert that spatio-temporality is a subjective element of our cognition, but he cannot rule out that it may also be a feature of the objective world. In this paper, I show in a new (...) way how Kant’s view (focusing on his conclusions about space) is not subject to this objection, by showing that he does not make the denial about mind-independent reality that he is typically held to make. The argument develops consequences of a new reading of Kant’s expression “an sich selbst” (‘in itself’; ‘in themselves’). I argue that “an sich selbst” or “per se” has a special, judgment-level role, so that this expression does not form new noun-terms adjectivally. It follows that the conceptual unit of Kant’s “Conclusions” in the TA is simply “things” (Dinge), since “things in themselves” is not a nominal expression; Kant adopts the Wolffian ontological use of “thing” as the basic kind-term for any existent. The arguments that things per se are not in space are arguments that space cannot be a necessary property or relations of things as a kind. I show that this does not involve the positive claim about mind-independent reality that inspires the neglected alternative objection. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...) results, and outline further research perspectives. (shrink)

In this paper, we reconstruct Kant’s notion of the practically conditioned, introduced in the Dialectic of Pure Practical Reason, by drawing on Kant’s general account of the faculty of reason presented in the Transcendental Dialectic of the Critique of Pure Reason. We argue that practical reason’s activity of seeking the practically unconditioned for a given condition generates two different conceptions of the practically unconditioned and identify these as virtue and (the ideal of) happiness. We then account for how and why (...) reason proceeds to combine these two distinct ideas into the composite idea of the highest good. Last, we draw on our discussion to determine more precisely what Kant intends by the ‘supremacy’ of virtue within reason’s idea of the highest good. (shrink)

This study investigates all available literature related to critical thinking in business education in a survey of publications in the field produced from 1990-2019. It conducts a thematic analysis of 787 articles found in Web of Science and Google Scholar, including a specific focus on 55 highly-cited articles. The aim is to investigate the importance of critical thinking in business education, how it is conceptualised in business education research, the business contexts in which critical thinking is situated, and the key (...) and more marginal themes related to critical thinking outlined in the business and business education literature. The paper outlines six key areas and topics associated with those areas. It suggests future directions for further scholarly work in the area of critical thinking in business education. (shrink)