Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures (...) where agents move simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...) field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

In this article, I argue that G. A. Cohen’s defense of the feminist slogan, “The personal is political”, his argument against Rawls’s restriction of principles of justice to the basic structure of society, depends for its intelligibility on the ability to distinguish—with reasonable but perhaps not perfect precision—between those situations in which what Nancy Rosenblum has called “the logic of congruence” is validly invoked and those in which it is not. More importantly, I suggest that the philosophical shape (...) of Cohen’s critique makes it difficult for him to supply the required criterion, and that the methodological “intuitionism” he claims to be committed to is at odds with his larger argument against Rawls concerning the subject of justice. (shrink)

This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is (...) classically equivalent to two genuinely valid inferences, which I call Past Success and Can't-Entails-Won't; but also that Success itself has counterexamples. I show how to invalidate Success while validating Past Success and Can't-Entails-Won't by connecting the meaning of ‘can’ to facts about what is settled or open. I define an operator W with features attributed to ‘will’ in the literature on future contingents. I then give a conditional analysis of ability ascriptions stated with W-conditionals, where "S can A" says, roughly, there’s some action available to S such that if S does it, then W(S A). I show this semantics invalidates Success while still explaining its appeal. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified (...) informal calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

This paper’s aim is to help winnow out some ideas about the role of formal logic in human doings at large. I start by discussing some metaphysical presuppositions of logical theory; specifically, I attempt to work towards a clearer understanding of the role of modalities, together with the notions of meaning and truth, in mainstream logical theory. I then appeal to a modal formal semantics (Brandom, 2007a) in order to outline the cognitive role of logical constants in general. From (...) these discussions I conclude that any view of formal logic, and its core concepts, which does not involve a grasp of what we do with them will be found to be distorted. (shrink)

The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can (...) share a common lexical semantics. The resulting framework combines tools and techniques from dynamic and inquisitive semantics with insights from the literature of the role of agency in deontic logic. It explains not only why the can of ability, while essentially being an existential modal operator, sometimes resists distribution over disjunction and interacts with its duals in particular and hitherto unnoticed ways, but also has a tendency to license free choice inferences. (shrink)

Some philosophers argue that a theory of logical validity should not interpret its own language, because a Russellian argument shows that self-applicability is inconsistent with the ability to capture all the interpretations of its own language. First, I set up a formal system to examine the Russellian argument. I then defend the need for self-applicability. I argue that self-applicability seems to be implied by generality, and that the Russellian argument rests on a test for meaning that is biased against (...) self-applicability. I propose an alternative test which is unproblematic for self-applicability. I conclude that self-applicability can be vindicated and the Russellian argument can be resisted. (shrink)

In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on models (...) of social reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as theory of mind. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, desire, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. (shrink)

Critique of Sarcastic Reason is a philosophical dissertation that combines several different fields in order to pave the way for those studying sarcasm at the neurobiological, communicative and socio-political levels of analysis where sarcasm appears, respectively, through associated brain activity, between two or more individuals with higher level metabeliefs, and as a method by which political, religious and other social ideologies are attacked (i.e., one form of "biting sarcasm"). The academic disciplines involved in Critique of Sarcastic Reason include social cognitive (...) and developmental psychology, neuroscience, critical theory, modern and contemporary philosophy of mind, evolutionary biology, logic, metaphysics and epistemology. Sarcasm is argued to only function at the highest levels of metacognition, and sarcasm occurs within social situations during which there are tendencies for two or more people to form desires and disgusts directly related to beliefs about beliefs. Sarcasm is compared to deception and is argued to be best analyzed as either spontaneous or rehearsed. (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, (...) requires that thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears (...) in the treatment of the calculative abilities of logical forms, the ontological-referential status of conceptual content and the inferential-categorical status of logical forms. The basic markers or basic ideas that separate ontologically oriented logic from categorically oriented logic are the (1) concept of truth, the (2) concept of meaning, the (3) concept of identity, and the (4) concept of predication. Here, this differences are explicitly demonstrated by the introduction of differential terminology. From this differential methodology follows a new set of characterizations of logic. (shrink)

Physicalistic theories of psychology are a classic case of scientific imperialism: the explanatory capacity of physics, both with respect to its methods and to its domain, is taken to extend beyond the traditional realm of physics, and into that of psychology. I argue in this paper that this particular imperialistic venture has failed. Contemporary psychology uses methods not modelled on those of physics, embracing first-personal methodology where physics is strictly impersonal. I make the case that whether or not scientific imperialism (...) is in general harmful, in this instance naturalists who reject first philosophy should give up physicalist imperialism. Using only general principles from the philosophy of logic plus accepted physicalist criteria of identity, I show that first-personal psychology embodies a minor but fruitful increase in expressive strength compared to impersonal psychology: the ability to distinguish descriptively indiscriminable posits. (shrink)

The purpose of this article is to present an evidence-supported curriculum covering the fundamentals of logic, reasoning, and argumentation skills to address the emphasized basic knowledge, skills, and abilities required to be scientifically literate, which will prepare the public to understand and engage with science meaningfully. An analytic-synthetic approach toward understanding the notion of public is taken using a theoretical biomimetics framework that identifies naturally occurring objects or phenomena that descriptively captures the essence of a construct to facilitate creative (...) problem-solving. In the present case, the problem being solved is how to reconcile what is meant by public, how it ought to be interpreted, determining the diverse levels of confidence in science that exist, and various understandings of science all with one another. The results demonstrate there is an inherent denotative-connotative inconsistency in the traditional notion of public that can be explicated through the concept of a fractal allowing for comprehension of the relationship between public confidence in, and understanding of, science. (shrink)

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze (...) his argument on why this version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

In a world filled with information overload and complex problems, the ability to think logically is a superpower. "A Little More Logical" is your guide to mastering this essential skill. This engaging and accessible open educational resource is perfect for students, teachers, and lifelong learners who want to improve their critical thinking abilities and make better decisions in all aspects of life. -/- Through a series of fun and interactive chapters, "A Little More Logical" covers a wide range of (...) topics, from the basics of constructing sound arguments to the application of logic in fields like ethics, science, and computing. You'll learn how to spot and avoid common fallacies, analyze real-world arguments, and use logical reasoning to solve problems and make informed choices. -/- But this book isn't just about abstract concepts – it's about the human story behind logic. You'll discover the fascinating lives and ideas of diverse thinkers, from ancient philosophers to modern-day pioneers, who have shaped the development of logical reasoning throughout history. With thought-provoking examples, engaging exercises, and plenty of humor along the way, "A Little More Logical" makes the study of logic both rigorous and entertaining. -/- Whether you're a student looking to ace your philosophy class, a teacher searching for high-quality educational resources, or a curious reader who wants to sharpen your mind, "A Little More Logical" is the perfect companion on your journey to becoming a more effective thinker. Unlock the power of logical thinking today with this one-of-a-kind open educational resource! (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...) stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

Logic is loosely regarded as a key factor that drives our decisions. However, logic is actually separated into different systems, such as intuitionistic logic and classical logic. These systems can be explained by different theories, such as logical monism and logical pluralism. This paper aims to challenge logical monism, which posits that only a single logical system adheres to the principles of validity. It explains this on the basis of different systems held as equally strong under (...) their ability to establish definitive conclusions, and adhere to systems of validity relative to each system. (shrink)

Contemporary psychologism has been amended for most of the objections by its opponents over a century ago. However, some authors still raise doubts about its ability to account for some peculiar properties of logic. In particular, it is argued that the psychological universality of patterns of inferential behavior is not sufficient to account for the normativity of logic. In this paper, I deal with the issue and offer three alternative solutions that do not rely on mere empirical (...) universality. I will use the works of Laurence Jonathan Cohen, Diego Marconi and Marcello D'Agostino, adapting them for the purpose of defending logical psychologism. I will therefore argue that, although more refined work on the subject is needed, contemporary psychologism has the key resources to retain its place in the philosophical debate on the foundations of logic. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also (...) rationality constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

Giving justice to Maximus any philosophy wich does not include mysticism will be false as philosophy. Our metaphysics must be mystical in order to be rational. In Maximus’ doctrine, then, Christ comes not to destroy but to fulfill the metaphysics of mystery elaborated by the philosophers. For him there can be no separation between philosophy and theology, or between natural and revealed theology. Thereby, Christology and liturgical mysticism are not additional to a neoplatonic, aristotelian, and other methaphysics. Maximus concern was (...) to continue, not the philosophical tradition of the Aristotelian commentators, but the theological one of the Fathers. He was not an Aristotelian commentator himself. The union and distinction are basic logical concepts in Maximus’ thinking, but the Chalcedonian logic is the application of these concepts. Only in this way one can talk about Christianization of aristotelian logic. St. Maximus the Confessor synthesized Aristotelianism influences with those of Platonism in order to exceed the daring speculations of cosmology origeniene. He had an extraordinary ability to combine metaphysical requirements with the effort of defining the faith dogma, and the monastic experiences with the depth thinking, succeeding to propose a new conception in which converge all cultural and religious influences. This study is analyzing the relationship between logoi and energeia (the intentional or “logical” energeia and the ontology of divine energy as ontological “logic”) within the maximian cosmology, by referring to the palamite theology. The concept of logoi for St. Maximus play a role similar in many respects to that of energy (energeiai) in Cappadocian Fathers, but the functional similarity it should not lead to the identification rationales with the energies. (shrink)

This article accomplishes two goals. First, the paper clarifies Edmund Husserl’s investigation of the historical inception of the number system from his early works, Philosophy of Arithmetic and, “On the Logic of Signs (Semiotic)”. The article explores Husserl’s analysis of five historical developmental stages, which culminated in our ancestor’s ability to employ and enumerate with number signs. Second, the article reveals how Husserl’s conclusions about the history of the number system from his early works opens up a fusion (...) point with his investigations from his mature texts, The Crisis of the European Sciences and “The Origin of Geometry”. On the one hand, the essay shows that Husserl’s methodology was similar, as he sought in both his early and late writings to uncover the essence of the history of the formal sciences and was not executing mere intellectual history. On the other hand, the article discloses that Husserl’s insights from both time periods are strikingly analogous. Already in his early texts, Husserl saw that the sciences emerged from pre-theoretical experiences of the world and that the sciences are the result of a historical process, which involves the psychic activities of past individuals and the maintaining of discoveries over time by intersubjective communities. I conclude by showing how, in light of the analysis of this paper, we can rethink the evolution of Husserl’s philosophy. (shrink)

Many philosophers believe that agents are self-ruled only when ruled by their (authentic) selves. Though this view is rarely argued for explicitly, one tempting line of thought suggests that self-rule is just obviously equivalent to rule by the self . However, the plausibility of this thought evaporates upon close examination of the logic of ‘self-rule’ and similar reflexives. Moreover, attempts to rescue the account by recasting it in negative terms are unpromising. In light of these problems, this paper instead (...) proposes that agents are self-ruled only when not ruled by others. One reason for favouring this negative social view is its ability to yield plausible conclusions concerning various manipulation cases that are notoriously problematic for nonsocial accounts of self-rule. A second reason is that the account conforms with ordinary usage. It is concluded that self-rule may be best thought of as an essentially social concept. (shrink)

It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views (...) about knowledge and the semantics for ‘actually’. I also consider many possible responses to the argument. (shrink)

This work explores the increasing militarization of borders throughout the world, particularly the United States border with Mexico. Rather than further rhetoric of "border security," this work views increases in guards, technology and the building of walls as militarized action. The goal of this essay is to place the onus upon states to justify their actions at borders in ways that do not appeal to tropes of terrorism. This work then explores how a logic of security infiltrates philosophical discussions (...) of "the right to exclude," thereby curtailing the ability to see borders in any other way than as a locale that must be militarized. Specifically, I analyze the work of Michael Blake and his juridical theory of immigration restrictions. I argue that his work necessitates the walling of borders and removal of those who create new obligations for current members of existing political institutions. (shrink)

This book is an anthology with the following themes. Non-European Tradition: Bussanich interprets main themes of Hindu ethics, including its roots in ritual sacrifice, its relationship to religious duty, society, individual human well-being, and psychic liberation. To best assess the truth of Hindu ethics, he argues for dialogue with premodern Western thought. Pfister takes up the question of human nature as a case study in Chinese ethics. Is our nature inherently good (as Mengzi argued) or bad (Xunzi’s view)? Pfister ob- (...) serves their underlying agreement, that human beings are capable of becoming good, and makes precise the disagreement: whether we achieve goodness by cultivating autonomous feelings or by accepting external precepts. There are political consequences: whether government should aim to respect and em- power individual choices or to be a controlling authority. Early Greek Thinking: Collobert examines the bases of Homeric ethics in fame, prudence, and shame, and how these guide the deliberations of heroes. She observes how, by depending upon the poet’s words, the hero gains a quasi- immortality, although in truth there is no consolation for each person’s inevi- table death. Plato: Santas examines Socratic Method and ethics in Republic 1. There Socrates examines definitions of justice and tests them by comparison to the arts and sciences. Santas shows the similarities of Socrates’ method to John Rawls’ method of considered judgments in reflective equilibrium. McPherran interprets Plato’s religious dimension as like that of his teacher Socrates. McPherran shows how Plato appropriates, reshapes, and extends the religious conventions of his own time in the service of establishing the new enterprise of philosophy. Ac- cording to Taylor, Socrates believes that humans in general have the task of helping the gods by making their own souls as good as possible, and Socrates’ unique ability to cross-examine imposes on him the special task of helping others to become as good as possible. This conception of Socrates’ mission is Plato’s own, consisting in an extension of the traditional conception of piety as helping the gods. Brickhouse and Smith propose a new understanding of Socratic moral psychology—one that retains the standard view of Socrates as an intellectualist, but also recognizes roles in human agency for appetites and passions. They compare and contrast the Socratic view to the picture of moral psychology we get in other dialogues of Plato. Hardy also proposes a new, non-reductive understanding of Socratic eudaimonism—he argues that Socrates invokes a very rich and complex notion of the “Knowledge of the Good and Bad”, which is associated with the motivating forces of the virtues. Rudebusch defends Socrates’ argument that knowledge can never be impotent in the face of psychic passions. He considers the standard objections: that knowledge cannot weigh incom- mensurable human values, and that brute desire, all by itself, is capable of moving the soul to action. Aristotle: Anagnostopoulos interprets Aristotle on the nature and acquisition of virtue. Though virtue of character, aiming at human happiness, requires a complex awareness of multiple dimensions of one’s experience, it is not properly a cognitive capacity. Thus it requires habituation, not education, according to Aristotle, in order to align the unruly elements of the soul with reason’s knowledge of what promotes happiness. Shields explains Aristotle’s doctrine that goodness is meant in many ways as the doctrine that there are different analyses of goodness for different types of circumstance, just as for being. He finds Aristotle to argue for this conclusion, against Plato’s doctrine of the unity of the Good, by applying the tests for homonymy and as an immediate cons- equence of the doctrine of categories. Shields evaluates the issue as unresolved at present. Russell discusses Aristotle’s account of practical deliberation and its virtue, intelligence (phronesis). He relates the account to contemporary philo- sophical controversies surrounding Aristotle’s view that intelligence is neces- sary for moral virtue, including the objections that in some cases it is unnecessary or even impedes human goodness. Frede examines the advantages and disadvantages of Aristotle’s virtue ethics. She explains the general Greek con- ceptions of happiness and virtue, Aristotle’s conception of phronesis and compares the Aristotle’s ethics with modern accounts. Liske discusses the question of whether the Aristotelian account of virtue entails an ethical-psy- chological determinism. He argues that Aristotle’s understanding of hexis allows for free action and ethical responsibility : By making decisions for good actions we are able to stabilize our character (hexis). Hellenistic and Roman: Annas defends an account of stoic ethics, according to which the three parts of Stoicism—logic, physics, and ethics—are integrated as the parts of an egg, not as the parts of a building. Since by this analogy no one part is a foundation for the rest, pedagogical decisions may govern the choice of numerous, equally valid, presentations of Stoic ethics. Piering interprets the Cynic way of life as a distinctive philosophy. In their ethics, Cynics value neither pleasure nor tradition but personal liberty, which they achieve by self-suffi- ciency and display in speech that is frank to the point of insult. Plotinus and Neoplatonism: Gerson outlines the place of ordinary civic virtue as well as philosophically contemplative excellence in Neoplatonism. In doing so he attempts to show how one and the same good can be both action-guiding in human life and be the absolute simple One that grounds the explanation of everything in the universe. Delcomminette follows Plotinus’s path to the Good as the foundation of free will, first in the freedom of Intellect and then in the “more than freedom” of the One. Plotinus postulates these divinities as not outside but within each self, saving him from the contradiction of an external foundation for a truly free will. General Topics: Halbig discusses the thesis on the unity of virtues. He dis- tinguishes the thesis of the identity of virtues and the thesis of a reciprocity of virtues and argues that the various virtues form a unity (in terms of reciprocity) since virtues cannot bring about any bad action. Detel examines Plato’s and Aristotle’s conceptions of normativity : Plato and Aristotle (i) entertained hybrid theories of normativity by distinguishing functional, semantic and ethical normativity, (ii) located the ultimate source of normativity in standards of a good life, and thus (iii) took semantic normativity to be a derived form of normativity. Detel argues that hybrid theories of normativity are—from a mo- dern point of view—still promising. Ho ̈ffe defends the Ancient conception of an art of living against Modern objections. Whereas many Modern philosophers think that we have to replace Ancient eudaimonism by the idea of moral obligation (Pflicht), Ho ̈ffe argues that Eudaimonism and autonomy-based ethics can be reconciled and integrated into a comprehensive and promising theory of a good life, if we enrich the idea of autonomy by the central elements of Ancient eudaimonism. Some common themes: The topics in Chinese and Hindu ethics are perhaps more familiar to modern western sensibilities than Homeric and even Socratic. Anagnostopoulos, Brickhouse and Smith, Frede, Liske, Rudebusch, and Russell all consider in contrasting ways the role of moral character, apart from intellect, in ethics. Brickhouse / Smith, Hardy, and Rudebusch discuss the Socratic con- ception of moral knowledge. Brickhouse / Smith and Hardy retain the standard view of the so called Socratic Intellectualism. Shields and Gerson both consider the question whether there is a single genus of goodness, or if the term is a homonym. Bussanich, McPherran, Taylor, and Delcomminette all consider the relation between religion and ethics. Pfister, Piering, Delcomminette, and Liske all consider what sort of freedom is appropriate to human well-being. Halbig, Detel, and Ho ̈ffe propose interpretations of main themes of Ancient ethics. (shrink)

Susanne Langer is mainly known as the American philosopher who, starting from her famous Philosophy in a New Key, worked in aesthetics and famously saw art as the product of the human mind’s most important, distinctive and remarkable ability, i.e., the ability to symbolise. But Langer’s later consideration of the connection between art and symbol is propagated by an early interest in the logic of symbols themselves. This rather neglected early part of Langer’s thought and her early (...) interests and lines of reasoning, which she somehow abandoned later on to dedicate herself exclusively to the study of art, are the topic of this paper. (shrink)

Rutherford and Ray think that human beings have mental mechanisms that help them to detect individuals that, deliberately, do not follow a rule. In the same way, they hold that autism is not a disorder in which these mechanisms are damaged. This idea seems contrary to the thesis, supported by some researchers, that autistic people have a theory of mind deficit. This is because of, if Rutherford and Ray are right, autistic people can detect other people’s intentions. In this paper, (...) Rutherford and Ray’s experiment is analyzed and it is concluded that they do not prove that people with autism can understand intentions. Such an experiment only shows that autistic people and general population share common logical-linguistic abilities. (shrink)

This paper introduces a novel interpretation of Wittgenstein’s Tractatus, a work widely held to be one of the most intricate in the philosophical canon. We understand the Tractatus not as the development of a theory but as the advancement of a new logical symbolism (a new instrument) that enables one to “recognize the formal properties [the logic] of propositions by mere inspection of propositions themselves” (6.122). Moreover, the Tractarian conceptual notation stands to instruct us in a better way to (...) follow the logic of language, and by that token, enhances our ability to think. Upon acquiring the thinking skills that one can develop by working with this symbolism, one can “throw away [this] ladder” (6.54), as it were, and move on. (shrink)

Probably the leading exponent of Wittgenstein’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc.) the prolific Daniel Hutto’s (DH) approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of W’s 2nd and 3rd period writings (though Hutto seems (...) only intermittently aware of this). -/- The basic idea of the Embodied Mind or Enactivism is that much of behavior is automated and does not involve representations (basically S2 dispositions-see Hutto’s lovely dissection of the ‘representation rats nest’ in his online papers ). To me this is just another way of stating the fact that System 1 precedes the operation of System 2 which is a standard feature of contemporary psychology, which I have explained above and in further detail in my reviews of Wittgenstein (who was the first to see this and explored it in great detail) and Searle (who called it The Phenomenological Illusion in his superb essay of this name in his book Philosophy in a New Century which I have also reviewed). Since these are basic incontrovertible facts of animal behavior and I have already discussed them I won’t dwell on it here. -/- This book is a sustained argument against other similar ways of describing behavior which he calls CEC and CIC in favor of REC (Radical Embodied Cognition), which he characterizes as “the strongest reading of the embodiment thesis—one that uncompromisingly maintains that basic cognition is literally constituted by, and to be understood in terms of concrete patterns of environmental situated organismic activity, nothing more or less” (p11). This is clear as a bell if you understand the two systems view explained above but likely opaque if you don’t. Much clearer is Fodor’s characterization which he quotes as “abilities are prior to theories”, that “competence is prior to content” and that “knowing how is the paradigm cognitive state and it is prior to knowing that” (p10). That is, the unconscious automatisms of S1 are evolutionarily and behaviorally prior to the slow conscious dispositions of S2. -/- This is classic Hutto high level philosophical dialog, which is quite elegant, but somewhat too dense and a tad pretentious for the rest of us. I have not before encountered his coauthor Myin so can’t say how much of this text is really due to him. It is clear from this and the rest of Hutto’s work that (like everyone else) he has not quite kept up with the latest work in psychology nor really grasped the full power of W or S, even though he is one of the top Wittgensteinians alive and as bright as anyone in the field. His discussions of the language games of “information” and “representation” in his other papers and books (and much else including his deconstructions of Dennett and Fodor) should be required reading for anyone interested in behavior. So, I have the greatest respect for him, but one hopes that he will mellow with time and write descriptions of behavior (i.e., all we can really do as philosophers according to W) in more mundane prose such as this lovely summation on p15. “Hence, REC is nothing less than a fundamental rethinking of the very foundations of standard approaches to cognitive science and philosophy of mind.” Yes and what a pity that this great Wittgensteinian (and everyone else) does not realize that W laid it all out with great (and unmatched) clarity in his third period works over 60 years ago. -/- I have much less sympathy for the extended and scaffolded minds of Chap 7. I don’t see how one can lay the burden of explaining how the mind works at Searle’s door, nor how the convoluted prose about “decoupled contentful activities” etc., helps at all. Why not just say that automated unconscious prelinguistic S1 feeds deliberate, conscious linguistic S2, which is axiomatically extended by public language into the myriad wonders of culture? Beginning and end of story. -/- Their last chapter is about “regaining consciousness,” but I would say that if one has understood Wittgenstein and Searle, one has never lost it. And, though this is an excellent book by two of the brightest and the best, I suggest mulling over my thoughts in this and other reviews and reading Johnston and the latest from Searle, along of course with as much of 3rd period W as feasible, is an even better filter for folly. In sum an excellent book with various faults which I try to correct. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in (...) \acro{atl} are \emph{revocable} in the sense that in the evaluation of the goal $\phi$ the agent $i$ is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. -/- Here we discuss some alternatives leading to amendments of that semantics. In particular, we consider variants of \acro{atl}$^*$ where strategies, on the contrary, are \emph{irrevocable}. Unlike in the standard semantics of \acro{atl}, memory plays an essential role in the semantics based on irrevocable strategies. -/- Further, we propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL$^*$, leading to more expressive and semantically refined versions of that logic. (shrink)

One of the gravest charges that has been brought against Hume’s essay “Of the Standard of Taste” is that of circularity. Hume is accused of defining good art in terms of “true judges,” and of defining true judges in terms of their ability to judge good art. First, I argue that Hume avoids circularity since he offers a way of identifying good art that is logically independent of the verdict of true judges. Second, I argue that this clarifies an (...) enduring puzzle in the scholarship on Hume’s essay: why he appears to offer not one but two standards of taste. Hume’s standard does not consist of general rules; however, Hume needs general rules to establish that some individuals’ tastes are more “delicate” than others’. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...) knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

The Top-Down Argument for the ability to do otherwise aims at establishing that humans can do otherwise in the sense that is relevant for debates about free will. It consists of two premises: first, we always need to answer the question of whether some phenomenon (such as the ability to do otherwise) exists by consulting our best scientific theories of the domain at issue. Second, our best scientific theories of human action presuppose that humans can do otherwise. This (...) paper argues that this is not enough to establish the conclusion. The Top-Down Argument supports that humans can do otherwise _in some sense_. But it does not show that humans can do otherwise _in the sense that is relevant for debates about free will_. The paper then shows that the apparently best way to make the argument valid does not work. (shrink)

In this article, I shall argue that AI’s likely developments and possible challenges are best understood if we interpret AI not as a marriage between some biological-like intelligence and engineered artefacts, but as a divorce between agency and intelligence, that is, the ability to solve problems successfully and the necessity of being intelligent in doing so. I shall then look at five developments: (1) the growing shift from logic to statistics, (2) the progressive adaptation of the environment to (...) AI rather than of AI to the environment, (3) the increasing translation of difficult problems into complex problems, (4) the tension between regulative and constitutive rules underpinning areas of AI application, and (5) the push for synthetic data. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

Rutherford and Ray think that human beings have mental mechanisms that help them to detect individuals that, deliberately, do not follow a rule. In the same way, they hold that autism is not a disorder in which these mechanisms are damaged. This idea seems contrary to the thesis, supported by some researchers, that autistic people have a theory of mind deficit. This is because of, if Rutherford and Ray are right, autistic people can detect other people's intentions. In this paper, (...) Rutherford and Ray's experiment is analyzed and it is concluded that they do not prove that people with autism can understand intentions. Such an experiment only shows that autistic people and general population share common logical-linguistic abilities. (shrink)

Item analysis is a general term that refers to the specific methods used in education to evaluate test items, typically for the purpose of test construction and revision. Construction and analysis of science examinations in high school curricula needs the integration of integrated process and skill type which help students develop their rational and logical thinking. This exploratory study aimed to investigate the comparative results of item analyses using Rasch Model Analysis and SPSS. It examined the reliability, mean difficulty, mean (...) ability, discrimination index, mean trend scores, infit and misfit, and item-person and fit maps using the results of the Basic & Integrated Science Process and Skill Test (BISPST) administered to secondary science high school teachers in the Division of Nueva Vizcaya. The Rasch Model Analysis and SPSS revealed the same unsatisfactory value of internal consistency or the reliability coefficient Cronbach’s alpha (0.66 and 0.67), mean score (19.52) and standard deviation (4.53) of the BISPST. The mean item difficulty was set at 0 by definition (SD = 2.02) and the mean examinee ability was 1.56 (SD = 0.98), which means that the examinees were able to correctly answer 61% of items on average. 33 items with difficulty lower than the least able examinee. The mean ability using Rasch Model Analysis per item showed that high performers in the test got the correct answers compared to the low performing group. This is the same and consistent with the results of the mean trend scores of the upper, middle and lower groups as generated by the SPSS. Choices in the BISPST were found to be effective distracters. Although most items needs revision as revealed by the values generated by both softwares, no items were found to be misfit in the distribution. (shrink)

Arthur Danto’s recent book, Andy Warhol, leads the reader through the story of the iconic American’s artistic life highlighted by a philosophical commentary, a commentary that merges Danto’s aesthetic theory with the artist himself. Inspired by Warhol’s Brillo Box installation, art that in Danto’s eyes was indiscernible from the everyday boxes it represented, Danto developed a theory that is able to differentiate art from non-art by employing the body of conceptual art theory manifest in what he termed the ‘artworld’. The (...) strength of Danto’s theory is found in its ability to explain the art of the post-modern era. His body of work weaves philosophy, art history and art criticism together, merging his aesthetic philosophy with his extensive knowledge of the world of art. Danto’s essentialist theory of embodied meaning provides him with a critical tool that succeeds in explaining the currents of contemporary art, a task that many great thinkers of art history were unable to do. If Warhol inspired Danto to create a philosophy of art, it is appropriate that Danto write a tribute to Warhol that traces how Warhol brought philosophy into art. Danto’s account of ‘Warhol as philosopher’ positions him as a pivotal figure in the history of twentieth-century art, effecting a sea change in how art was made and viewed. Warhol achieved this by conceiving of works that embodied the answers to a series of philosophical puzzles surrounding the nature of art. Warhol, as Danto describes him, manifests himself in his art because he had transformed himself, in a way, into an icon of the times. This pragmatist notion that art should undermine the dichotomies that exist between art and life would, by some accounts, position Warhol to be the philosopher that Danto claims him to be, for he dissolved the philosophical questions posted by late modern aesthetic thinkers by creating art that imploded the accepted notions of art at the time. One of Danto’s greatest contributions to aesthetics is his theory’s ability to distinguish art from non-art, recognizing that it is the artist’s intention that levels the sublimity of art into the commonplace, thereby transfiguring the everyday. However, acknowledging this achievement, I argue that Warhol’s philosophical contribution actually manifests itself in a manner different from that proposed by Danto. Danto maintains that the internal drive of art leads to the unfolding of art theoretical concepts that ineluctably shift the terrain of world of art. I would agree with Danto that Warhol, almost as Hegel viewed Napoleon as Geist on a horse, pushed forward the boundaries of art through the actualization of art’s internal drive. But I would disagree that the conceptual nature of art is one that unfolds merely as a relation of concepts that artists trace through a connection to the meaning of history they forge using their unmediated grasp of style. Rather, I would argue that the artist’s style is not bound so narrowly to the meanings they express. Through their aesthetic articulations, artists initiate a process of social interaction. This process employs the philosophical logic which Danto attributes to Warhol indirectly, and through it, it is able to transfigure the vocabulary of art—the concepts of the artworld—by superseding the language of modernism. Warhol’s philosophical contribution is seen in his mastery of both the medium of art and the underlying logic of the medium’s expression and reception. (shrink)

If a conclusion was reached that creatures without a language capability exhibit some form of a capability for logic, this would shed a new light on the relationship between logic, language, and thought. Recent experimental attempts to test whether some animals, as well as pre-linguistic human infants, are capable of exclusionary reasoning are taken to support exactly that conclusion. The paper discusses the analyses and conclusions of two such studies: Call’s (2004) two cups task, and Mody and Carey’s (...) (2016) four cups task. My paper exposes hidden assumptions within these analyses, which enable the authors to settle on the explanation which assigns logical capabilities to the participants of the studies, as opposed to the explanations which do not. The paper then demonstrates that the competing explanations of the experimental results are theoretically underdeveloped, rendering them unclear in their predictions concerning the behavior of cognitive subjects, and thus difficult to distinguish by use of experiments. Additionally, it is questioned whether the explanations are rivals at all, i.e. whether they compete to explain the cognitive processes of the same level. The contribution of the paper is conceptual. Its aim is to clear up the concepts involved in these analyses, in order to avoid oversimplified or premature conclusions about the cognitive abilities of pre- and non-linguistic creatures. It is also meant to show that the theoretical space surrounding the issues involved might be much more diverse and unknown than many of these studies imply. (shrink)

In philosophy of action, we typically aim to explain action by appealing to conative attitudes whose contents are either logically consistent propositions or can be rendered as such. Call this “the logical criterion.” This is especially difficult to do with clear-minded, intentional incontinence since we have to explain how two judgments can have non-contradicting contents yet still aim at contradictory outcomes. Davidson devises an innovative way of doing this but compromises his ability to explain how our better judgments can (...) cause our continent behaviors. In this essay, I preserve Davidson’s approach to the logical criterion but deviate from his broader theory of action by developing a default-interventionist dual systems theory of action. To do this, I focus on the dynamical relationship between System 1 and System 2: the logical construction of value judgments in System 2 from System 1 and the imaginative construction of non-propositional conative attitudes in System 1 from System 2. I draw on Street’s Humean constructivism and Peacocke’s theory of imagination for logical and imaginative construction, respectively. Within this framework, I provide a new definition of continence and incontinence that satisfies the logical criterion and explains how our better judgments can cause our continent behaviors. (shrink)

From The Cone of Perception, volume one of my collected works, you will remember that one of the main topics in that work was V-Curvature, also called, "phenomenological velocity." In that work, although a solution to the v - curvature variable was provided as well as many graphs that yielded numerous jewels of spiral formulations in exquisite 3D color formations, that method by which the solution was found was not iterated. This chapter begins by showing how it is possible to (...) solve for something that ideally ought cancel out with itself and how, although commutation between square roots is valid, there may be room here for an alternate route of accessing a hidden dimension - that dimension we call V-Curvature, or, "Phenomenological Velocity." Herein is provided the pathway for solving for V-Curvature in terms of Csc, which can be translated into Sin and Cos functionality. Furthermore, the processing these equations through WolframAlpha yielded other insights into limits, roots, and series that logically follow. How did the solutions to the, "velocity," v - variable curvature in the Lorentz coefficient, "manifest," when the Lorentz coefficient ought cancel out with itself? The step - by - step solution below illustrates the algebraic process by which a specific solution for something that ought cancel out with itself can be found. The Sphere of Realization is a groundbreaking work of philosophical and mathematical theory. The first volume of this epic collection examines the concept of V-Curvature, or Phenomenological Velocity, using algebraic equations to explain how this phenomenon can be solved. This book goes on to explore the implications of these equations, such as limits, roots, series, and introspection into infinity, providing an alternate route for accessing a 'hidden dimension' that connects physical laws with abstract philosophical ideas. By utilizing this understanding, the author creates a platform for introspection into life and nature, and considers the philosophical implications of this perception, from the exploration of the infinity of angles to theions of time, velocity, the emergence of real numbers, and the meanings of eternity, forever, infinity, and never ending. This landmark work of mathematical exploration and philosophical discovery will challenge and expand our understanding of the universe, and invite us into a journey of introspection and understanding. An exploration of the esoteric terms therein, and the pathways they provide to access new modes of thought, will give the reader the ability to gain a greater insight into the intricacies of reality. The Sphere of Realization provides a unique and comprehensive approach to a difficult concept. Through a blend of philosophical and mathematical exploration, the author delves into the concept of V-Curvature, or Phenomenological Velocity to unlock the mysteries of "hidden dimensions" within our reality. These equations and theories allow the reader to explore angles, time, velocity, roots, series, and other related concepts. In so doing, the book offers an exciting journey into the esoteric. The author also provides insights into the emergence of real numbers from infinity, introducing concepts such as eternity, forever, and never ending in the process. A comprehensive discussion of the applicable equations and transformations, immune to the construct of time, serves as a powerful tool for unlocking a meaningful understanding of the universe. The Sphere of Realization is an opportunity to gain a deeper appreciation of the reality of our world. (shrink)

I critically evaluate the influential new wave account of theory reduction in science developed by Paul Churchland and Clifford Hooker. First, I cast doubt on claims that the new wave account enjoys a number of theoretical virtues over its competitors, such as the ability to represent how false theories are reduced by true theories. Second, I argue that the genuinely novel claim that a corrected theory must be specified entirely by terms from the basic reducing theory is in fact (...) too restrictive for scientific practice and should be rejected. Basic theories co-evolve with nonbasic theories in a mutually interactive way, and thus the basic theories incorporate the concepts and concerns of nonbasic theories. Third, I show that once its ontological consequences are duly noted, the reductive part the new wave account collapses into the classical theory developed within the logical empiricist tradition. As such, it still falls prey to standard anti-reductionist argument based upon multiple realizability and the cross-classification of special science and physical science terms. (shrink)

“Philosophers constantly see the method of science before their eyes and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness.”(BBB p18). -/- “Many words then in this sense then don’t have a strict meaning. But this is not a defect. To think it is would be like saying that the light of my reading lamp is no real light at all because (...) it has no sharp boundary.” BBB p27 -/- "Now if it is not the causal connections which we are concerned with, then the activities of the mind lie open before us." BBB p6 -/- “Every sign is capable of interpretation but the meaning mustn’t be capable of interpretation. It is the last interpretation” BBB p34 -/- “Our method is purely descriptive, the descriptions we give are not hints of explanations.” BBB p125 -/- These quotes are not chosen at random but (along with the others in my reviews) are an outline of behavior (human nature) from our greatest descriptive psychologist. In considering these matters we must keep in mind that philosophy is the descriptive psychology of higher order thought (HOT), which is another of the obvious facts that are totally overlooked –i.e., I have never seen it clearly stated anywhere. Sadly Wittgenstein's brilliant exposition of behavior is still understood well by only a handful. -/- Much of the work is aimed at undermining the idea of introspection and private language via clever examples and of course there is a mountain of literature on this topic since but neither W nor anyone else ever makes it clear that the basic argument is trivial—if you don’t have a test that distinguishes between two words they cannot have a role in language and there cannot be any such test for private mental phenomena. In between he is describing how System 1 (the automatic functions of the brain) is described by intransitive uses of verbs such as seeing, remembering (i.e., they are Causally Self Reflexive) and differs from and blends into System 2- the deliberative linguistic system (e.g. p101, 161, 166 etc). He spends much time showing that disposition words (S2) such as thinking, meaning, judging, interpreting, knowing, understanding, believing, intending, reading, calculating, recognizing, comparing, deciding, counting, imaging etc. are not mental states with a precise duration but that their use depends on their having a clear public outcome-i.e., being transitive verbs (i.e., having Conditions of Satisfaction, which is the phrase Searle invented decades later). They are abilities to act. -/- Finally, let me suggest that with this perspective, W is not obscure, difficult or irrelevant but scintillating, profound and crystal clear and that to miss him is to miss one of the greatest intellectual adventures possible. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) Amazon ASIN B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) Amazon ASIN B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) Amazon ASIN B0711R5LGX . (shrink)

The ultimate cause of much historical, social and cultural change is the gradual accumulation of human knowledge of the environment. Human beings use the materials in their environment to meet their needs and increased human knowledge of the environment enables human needs to be met in a more efficient manner. The human environment includes the human being itself and the human ability to communicate by means of language and to make symbolic representations of the sounds produced by language, allowed (...) the development of writing. Writing developed over time in a necessary and inevitable manner from logographic, to syllabic, to alphabetical systems. This development from simpler word based writing to more complex syllable based systems and then even more complex sound based writing systems was a logical progression from, simple less useful systems, to more complex, but more useful systems. This is an example of how the simplest knowledge is acquired first and more complex knowledge is acquired later. The order of discovery determines the course of human social and cultural history as knowledge of new and more efficient means of meeting human needs, results in new technology, which results in the development of new social and ideological systems. This means human social and cultural history, has to follow a particular course, a course that is determined by the structure of the human environment. (shrink)

Probably the leading exponent of W’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc. ) the prolific Daniel Hutto’s (DH) approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of W’s 2nd and 3rd period writings (though Hutto (...) seems only intermittently aware of this). -/- The basic idea of the Embodied Mind or Enactivism is that much of behavior is automated and does not involve representations (basically S2 dispositions-see Hutto’s lovely dissection of the ‘representation rats nest’ in his online papers ). To me this is just another way of stating the fact that System 1 precedes the operation of System 2 which is a standard feature of contemporary psychology, which I have explained above and in further detail in my reviews of Wittgenstein (who was the first to see this and explored it in great detail) and Searle (who called it The Phenomenological Illusion in his superb essay of this name in his book Philosophy in a New Century which I have also reviewed). Since these are basic incontrovertible facts of animal behavior and I have already discussed them I won’t dwell on it here. -/- This book is a sustained argument against other similar ways of describing behavior which he calls CEC and CIC in favor of REC (Radical Embodied Cognition), which he characterizes as “the strongest reading of the embodiment thesis—one that uncompromisingly maintains that basic cognition is literally constituted by, and to be understood in terms of concrete patterns of environmental situated organismic activity, nothing more or less” (p11). This is clear as a bell if you understand the two systems view explained above but likely opaque if you don’t. Much clearer is Fodor’s characterization which he quotes as “abilities are prior to theories”, that “competence is prior to content” and that “knowing how is the paradigm cognitive state and it is prior to knowing that” (p10). That is, the unconscious automatisms of S1 are evolutionarily and behaviorally prior to the slow conscious dispositions of S2. -/- This is classic Hutto high level philosophical dialog, which is quite elegant, but somewhat too dense and a tad pretentious for the rest of us. I have not before encountered his coauthor Myin so can’t say how much of this text is really due to him. It is clear from this and the rest of Hutto’s work that (like everyone else) he has not quite kept up with the latest work in psychology nor really grasped the full power of W or S, even though he is one of the top Wittgensteinians alive and as bright as anyone in the field. His discussions of the language games of “information” and “representation” in his other papers and books (and much else including his deconstructions of Dennett and Fodor) should be required reading for anyone interested in behavior. So, I have the greatest respect for him, but one hopes that he will mellow with time and write descriptions of behavior (i.e., all we can really do as philosophers according to W) in more mundane prose such as this lovely summation on p15. “Hence, REC is nothing less than a fundamental rethinking of the very foundations of standard approaches to cognitive science and philosophy of mind.” Yes and what a pity that this great Wittgensteinian (and everyone else) does not realize that W laid it all out with great (and unmatched) clarity in his third period works over 60 years ago. -/- I have much less sympathy for the extended and scaffolded minds of Chap 7. I don’t see how one can lay the burden of explaining how the mind works at Searle’s door, nor how the convoluted prose about “decoupled contentful activities” etc helps at all. Why not just say that automated unconscious prelinguistic S1 feeds deliberate, conscious linguistic S2, which is axiomatically extended by public language into the myriad wonders of S3 culture? Beginning and end of story. -/- Their last chapter is about “regaining consciousness,” but I would say that if one has understood Wittgenstein and Searle, one has never lost it. And, though this is an excellent book by two of the brightest and the best, I suggest mulling over my thoughts in this and other reviews and reading Johnston and the latest from Searle, along of course with as much of 3rd period W as feasible, is an even better filter for folly. In sum an excellent book with various faults which I try to correct. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on rule-following skepticism. We argue, with the help of C. S. Peirce's distinction between corollarial and theorematic proofs, that his intuitions are better explained by resistance to what we call conceptual omniscience, treating meaning as fixed content specified in advance. We interpret the distinction in the context of modern epistemic (...) class='Hi'>logic and semantic information theory, and show how removing conceptual omniscience helps resolve Wittgenstein's paradoxes and explain the puzzle of deduction, its ability to generate new knowledge and meaning. (shrink)

In the Critique of the Power of Judgment, Kant introduces the notion of the reflective judgment and the a priori principle of purposiveness or systematicity of nature. He claims that the ability to judge objects by means of this principle underlies empirical concept acquisition and it is therefore necessary for cognition in general. In addition, he suggests that there is a connection between this principle and judgments of taste. Kant’s account of this connection has been criticized by several commentators (...) for the reason that it leads to the ‘everythingisbeautiful’ problem. In this paper I argue, contrary to these objections, that both finding an object beautiful and acquiring the concept represent the satisfaction of the same principle of nature’s purposiveness, which refers to the same cognitive need we have, that is, to systematize experience. I avoid the ‘everything is beautiful’ problem by arguing that aesthetic reflection refers to the synthesis of object’s individual and distinctive properties, while logical reflection refers to the synthesis of object’s general properties that it shares with other objects of its kind. Because aesthetic purposiveness is different from logical purposiveness, this allows for the possibility that we can have an object of cognition, without finding this object beautiful. (shrink)