We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes (...) their nature and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

The aim of this doctoral thesis is to bridge the gap between theoretical ideals of authenticity and practical authenticity-related problems in healthcare. In this context, authenticity means being "genuine," "real," "true to oneself," or similar, and is assumed to be closely connected to the autonomy of persons. The thesis includes an introduction and four articles related to authenticity. The first article collects various theories intended to explain the distinction between authenticity and inauthenticity in a taxonomy that enables oversight (...) and analysis. It is argued that (in-)authenticity is difficult to observe in others. The second article offers a solution to this difficulty in one theory of authenticity. It is proposed that under certain circumstances, it is morally justified to judge that the desires underlying a person's decisions are inauthentic. The third article incorporates this proposition into an already established theory of personal autonomy. It is argued that the resulting conceptualization of autonomy is fruitful for action-guidance in authenticity-related problems in healthcare. The fourth article collects nine cases of possible authenticity-related problems in healthcare. The theory developed in the third article is applied to the problems, when this is allowed by the case-description, to provide guidance with regard to them. It is argued that there is not one universal authenticity-related problem but many different problems, and that there is thus likely not one universal solution to such problems but various particular solutions. (shrink)

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarianexplanation. I discuss the relationship of necessitarian explanation to ground.

Chapter 3 of an e-book 'Handbook for Logotherapists' 2024 (Niiles-Mäki Anne). Institute for Purpose-centered Philosophy Finland.

Compared with Western Philosophy, Chinese Philosophy seldom talks about "the other world". This difference can be further proved in language categories. What exists in language text is different from what exists in language structure or language categories. Language categories reflect the styles of deep thinking. The lacking of subjunctive in Chinese language reflects the indifference between facts and ultra-facts in Chinese minds. There is a pan-fact attention in Chinese culture, while an ultra-fact attention in Western culture. This (...) class='Hi'>difference also embodies in the activities of religion, logic, mathematics and science. (shrink)

There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same kind of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are not connectives, but arguments; (2) the (...) traditional examples of valid argumentative forms are metalogical principles that express the properties of logical consequence; (3) formal logic is not a useful guide to detect valid arguments in the real world; (4) it is incoherent to propose alternatives to the material implication while accepting the classical properties of formal implication; (5) some of the counter-examples to classical argumentative forms and known conditional puzzles are unsound. (shrink)

In the aftermath of Gettier’s examples, knowledge came to be thought of as what you would have if in addition to a true belief and your favorite epistemic goody, such as justifiedness, you also were ungettiered, and the theory of knowledge was frequently equated, especially by its detractors, with the project of pinning down that extra bit. It would follow that knowledge contributes something distinctive that makes it indispensable in our pantheon of epistemic concepts only if avoiding gettierization has (...) a value that can be explained without presupposing the value of knowledge. Tracking-type knowledge has a value that no other logically possible conditions on true belief does. As an Evolutionarily Stable Strategy it preserves appropriate belief states through time and changing circumstances. If we characterize gettierization through the concept of relevance matching, then we see that avoiding gettierization has a value independent of that of knowledge, namely, understanding, and that it is unnecessary to add a clause to the tracking conditions to make them suppress gettierization directly, though fallibly. The bright line of value is between gettierization avoidance and understanding on the one hand and knowledge on the other, and so should be the bright line defining concepts. The concept of relevance matching is key to a definition of what it is to understand why p is true, as opposed merely to knowing that p is true. Perfect tracking implies perfect relevance matching, so knowledge and understanding are intimately connected but understanding also requires that one own states that accomplish the relevance matching rather than achieving it vicariously. The theory of understanding based on relevance matching implies that understanding requires appreciation of not only p but its connections to other matters, and explains how it is possible to know that p is true without understanding why. The view implies that understanding is literally simulation, and is suggestive about understanding other minds. (shrink)

Two lines of evidence indicate that there exists a reciprocal inhibitory relationship between opposed brain networks. First, most attention-demanding cognitive tasks activate a stereotypical set of brain areas, known as the task-positive network and simultaneously deactivate a different set of brain regions, commonly referred to as the task negative or defaultmode network. Second, functional connectivity analyses show that these same opposed networks are anti-correlated in the resting state. Wehypothesize that these reciprocally inhibitory effects reflect two incompatible cognitive modes, each (...) of which may be directed towards understanding the external world. Thus, engaging onemode activates one set of regions and suppresses activity in the other.Wetest this hypothesis by identifying two types of problem-solving task which, on the basis of prior work, have been consistently associated with the task positive and task negative regions: tasks requiring social cognition, i.e., reasoning about the mental states of other persons, and tasks requiring physical cognition, i.e., reasoning about the causal/mechanical properties of inanimate objects. Social and mechanical reasoning tasks were presented to neurologically normal participants during fMRI. Each task type was presented using both text and video clips. Regardless of presentation modality, we observed clear evidence of reciprocal suppression: social tasks deactivated regions associated with mechanical reasoning and mechanical tasks deactivated regions associated with social reasoning. These findings are not explained by self-referential processes, task engagement, mental simulation,mental time travel or external vs. internal attention, all factors previously hypothesized to explain default mode network activity. Analyses of resting state data revealed a close match between the regions our tasks identified as reciprocally inhibitory and regions of maximal anti-correlation in the resting state. These results indicate the reciprocal inhibition is not attributable to constraints inherent in the tasks, but is neural in origin. Hence, there is a physiological constraint on our ability to simultaneously engage two distinct cognitive modes. Furtherwork is needed tomore precisely characterize these opposing cognitive domains. (shrink)

I argue for the view that envy and jealousy are distinct emotions, whose crucial difference is that envy involves a perception of lack while jealousy involves a perception of loss. I start by noting the common practice of using ‘envy’ and ‘jealousy’ almost interchangeably, and I contrast it with the empirical evidence that shows that envy and jealousy are distinct, albeit similar and often co-occurring, emotions. I then argue in favor of a specific way of understanding their distinction: the (...) view that envy is a response to a perceived lack of a valuable object, while jealousy is a response to a perceived loss of a valuable object. I compare such a view with the most compelling alternative theories, and show that it accounts better for paradigmatic cases. I conclude by showing how the lack vs. loss model can handle complications: ambiguous cases, that is, when it is epistemically unclear whether one experiences lack or loss; hybrid cases, that is, when one seems to experience both lack and loss; and borderline cases, that is, when it is metaphysically unclear whether one experiences lack or loss. (shrink)

In a recent paper I proposed a novel relativity theory termed Information Relativity (IR). Unlike Einstein's relativity which dictates as force majeure that relativity is a true state of nature, Information Relativity assumes that relativity results from difference in information about nature between observers who are in motion relative to each other. The theory is based on two axioms: 1. the laws of physics are the same in all inertial frames of reference (Special relativity's first axiom); (...) 2. All translations of information from one frame of reference to another are carried by light or by another carrier with equal velocity (information-carrier axiom). For the case of constant relative velocities, I showed in the aforementioned paper that IR accounts successfully for the results of a class of relativistic time results, including the Michelson-Morley's "null" result, the Sagnac effect, and the neutrino velocities reported by OPERA and other collaborations. Here I apply the theory, with no alteration, to cosmology. I show that the theory is successful in accounting for several cosmological findings, including the pattern of recession velocity predicted by inflationary theories, the GZK energy suppression phenomenon at redshift z ̴ 1.6, and the amounts of matter and dark energy reported in recent ΛCDM cosmologies. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

In his political treatise, Mabadi ara ahl al-madina al-fadhila, Abu Nasr Alfarabi, the medieval Muslim philosopher, proposes a theory of virtuous city which, according to prominent scholars, is modeled on Plato’s utopia of the Republic. No doubt that Alfarabi was well-versed in the philosophy of Plato and the basic framework of his theory of city is platonic. However, his theory of city is not an exact reproduction of the Republic’s theory and, despite glaring similarities, the two (...) theories do differ in many aspects. In both, Alfarabi’s Mabadi ara ahl al-madina al-fadhila and Plato’s Republic, the theory of virtuous city is accompanied by a theory of the soul. Since the theory of soul plays a foundational role in both theories of the virtuous city, the present article intends to provide an explanation for the differences between the two theories of the city in terms of the differences between the two theories of the soul. (shrink)

This book argues that there is a joint in nature between seeing and thinking, perception, and cognition. Perception is constitutively iconic, nonconceptual, and nonpropositional, whereas cognition does not have these properties constitutively. The book does not appeal to “intuitions,” as is common in philosophy, but to empirical evidence, including experiments in neuroscience and psychology. The book argues that cognition affects perception, i.e., that perception is cognitively penetrable, but that this does not impugn the joint in nature. A key part (...) of the argument is that we perceive not only low-level properties like colors, shapes, and textures but also high-level properties such as faces and causation. Along the way, the book explains the difference between perception and perceptual memory, the differences between format and content, and whether perception is probabilistic despite our lack of awareness of probabilistic properties. The book argues for perceptual categories that are not concepts, that perception need not be singular, that perceptual attribution and perceptual discrimination are equally fundamental, and that basic features of the mind known as “core cognition” are not a third category in between perception and cognition. The chapter on consciousness leverages these results to argue against some of the most widely accepted theories of consciousness. Although only one chapter is about consciousness, much of the rest of the book repurposes work on consciousness to isolate the scientific basis of perception. (shrink)

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) (...) by different mathematical languages (the instruments of investigation). Together with traditional mathematical languages using such concepts as ‘enumerable sets’ and ‘continuum’ a new computational methodology allowing one to measure the number of elements of different infinite sets is used in this paper. It is shown how mathematical languages used to describe the machines limit our possibilities to observe them. In particular, notions of observable deterministic and non-deterministic Turing machines are introduced and conditions ensuring that the latter can be simulated by the former are established. (shrink)

One important but infrequently discussed difficulty with expressivism is the attitude type individuation problem.1 Expressivist theories purport to provide a unified account of normative states. Judgments of moral goodness, beauty, humor, prudence, and the like, are all explicated in the same way: as expressions of attitudes, what Allan Gibbard calls “states of norm-acceptance”. However, expressivism also needs to explain the difference between these different sorts of attitude. It is possible to judge that a thing is both aesthetically good (...) and morally bad. While the realist can explain the difference by suggesting that each judgment makes reference to a different property (or set of properties), the expressivist cannot. She must show that what is expressed by the speaker is different in each case. This has proven to be difficult to do. (shrink)

Orthodoxy holds that the difference between weakness of will and compulsion is a matter of the resistibility of an agent's effective motivation, which makes control-based views of agency especially well equipped to distinguish blameworthy weak-willed acts from non-blameworthy compulsive acts. I defend an alternative view that the difference between weakness and compulsion instead lies in the fact that agents would upon reflection give some conative weight to acting on their weak-willed desires for some aim other than (...) to extinguish them, but not to their compulsive desires. This view allows identificationist theorists of moral responsibility to explain why weak-willed actions, but not compulsive actions, are attributable to agents such that they can, in theory, be praised or blamed for them. After motivating and presenting the view in detail, I show how it has unique resources for explaining the ethics of managing one's compulsions. (shrink)

In this paper we will try to show the differences between Quine’s and Gibson’s interpretation of the naturalized epistemology project. Namely, although Gibson points out that the genetic approach advocated by Quine is the best strategy there is to investigate the relations between evidence and theory, and that externalizing of empiricism that it requires is one of Quine’s major philosophical contributions, we argue that the assumptions on which Gibson’s project is based, apart from the fact that they (...) are in conflict with some strongly held intuitions, would have to be essentially different from Quine’s. In other words, contrary to Quine’s position within which we have the possibility of staying on more moderate, and in our opinion, more plausible behavioristic line of approach, we will try to show that one of the consequences of Gibson’s interpretation is that this possibility is ruled out in Gibson’s case. On the other hand, this should enable us to draw some more radical conclusions about the nature of Quine’s epistemological project. (shrink)

Physicists Brian Greene and Max Tegmark both make variants of the claim that if the universe is infinite and matter is roughly uniformly distributed, then there are infinitely many “people with the same appearance, name and memories as you, who play out every possible permutation of your life choices.” In this paper I argue that--while our current best theories in astrophysics may allow one to conclude that we have infinitely many duplicates whose lives are identical to our own from start (...) to finish--without either further advances in physics or advances in fields like biology, psychology, neuroscience, and philosophy, Greene’s and Tegmark’s claims about the ways in which our duplicates lives will differ from our own are not a consequence of our best current scientific theories. Rather, I argue that Greene and Tegmark’s conclusions rely on philosophically imprecise usages of the language of “possibility.”. (shrink)

Moral response-dependent metaethical theories characterize moral properties in terms of the reactions of certain classes of individuals. Nick Zangwill has argued that such theories are flawed: they are unable to accommodate the motive of duty. That is, they are unable to provide a suitable reason for anyone to perform morally right actions simply because they are morally right. I argue that Zangwill ignores significant differences between various approvals, and various individuals, and that moral response-dependent theories can accommodate the motive (...) of duty. (shrink)

An argument, different from the Newman objection, against the view that the cognitive content of a theory is exhausted by its Ramsey sentence is reviewed. The crux of the argument is that Ramsification may ruin inductive systematization between theory and observation. The argument also has some implications concerning the issue of underdetermination.

This chapter briefly reviews the present state of judgment aggregation theory and tentatively suggests a future direction for that theory. In the review, we start by emphasizing the difference between the doctrinal paradox and the discursive dilemma, two idealized examples which classically serve to motivate the theory, and then proceed to reconstruct it as a brand of logical theory, unlike in some other interpretations, using a single impossibility theorem as a key to its technical (...) development. In the prospective part, having mentioned existing applications to social choice theory and computer science, which we do not discuss here, we consider a potential application to law and economics. This would be based on a deeper exploration of the doctrinal paradox and its relevance to the functioning of collegiate courts. On this topic, legal theorists have provided empirical observations and theoretical hints that judgment aggregation theorists would be in a position to clarify and further elaborate. As a general message, the chapter means to suggest that the future of judgment aggregation theory lies with its applications rather than its internal theoretical development. (shrink)

Abstract In a context of human demographic, technological and economic pressure on natural systems, we face some demanding challenges. We must decide 1) whether to “preserve” nature for its own sake or to “conserve” nature because nature is essentially a reservoir of goods that are functional to humanity’s wellbeing; 2) to choose ways of life that respect the biodiversity and evolutionary potential of the planet; and, to allow all this to come to fruition, 3) to clearly define the role of (...) scientific expertise in a democratic society, recognizing the importance of biospheric equilibrium. In fact, in socio-scientific controversies, which are characterized by complex linkages between some life and environmental sciences objects and economic, political and ethical issues, a posture of transparent, impartial commitment is appearing, more and more, as a deontological necessity. (shrink)

Scientists use visualisations of different kinds in a variety of ways in their scientific work. In the following article, we will take a closer look at the use of photographic pictures as scientific evidence. In accordance with Patrick Maynard’s thesis, photography will be regarded as a family of technologies serving different purposes in divergent contexts. One of these is its ability to detect certain phenomena. Nonetheless, with regard to the philosophical thesis of theory-ladenness of observation, we encounter certain (...) reservations concerning the status of photography and that of photographic pictures in the process of measurement in science. Accordingly, the aim of this paper is twofold: We will discuss suggested solutions both for the technological and for the psychological part of the problem of theory-ladenness appearing in the context of the use of photography in scientific observations. The essential proposal will be to follow Christian Suhm in his advice to make a distinction between theory-relativity and theory-ladenness. (shrink)

In a study drawing from both evolutionary biology and the social sciences, evidence and argument is assembled in support of the comprehensive appli- cation of selfish gene theory to the human population. With a focus on genes giving rise to characteristically-human cooperation (“cooperative genes”) in- volving language and theory of mind, one may situate a whole range of pat- terned behaviour—including celibacy and even slavery—otherwise seeming to present insuperable difficulties. Crucially, the behaviour which tends to propa- gate the (...) cooperative genes may be “at cost” to the genes of some who may be party to the cooperation itself. Explanatory insights are provided by Trivers’ parent-offspring conflict theory, Lack’s principle, and Hamilton’s kin selec- tion mechanism. A primary observation is that cooperation using language and theory of mind is itself interdependent with full human conceptualization of a world of objects and of themselves as embodied beings. Human capaci- ties inhering in, or arising out of, the ability to cooperate are also responsible for a vitally important long-term process, the domestication of animals and p- lants. The approach illuminates the difference between animal and human sexual behaviour, and the emergence of kinship systems. Again, recent pat- terns of population growth become much more explicable. It is argued that the gene is the single controlling replicator; the notion of the meme as a sec- ond independent replicator is flawed. (shrink)

Both for Kant and for Nietzsche, aesthetics must not be considered as a systematic science based merely on logical premises but rather as a set of intuitively attained artistic ideas that constitute or reconstitute the sensible perceptions and supersensible representations into a new whole. Kantian and Nietzschean aesthetics are both aiming to see beyond the forms of objects to provide explanations for the nobility and sublimity of human art and life. We can safely say that Kant and Nietzsche used the (...) dualities of the beautiful/sublime and Apollonian/Dionysian to advocate their general philosophical worldview, and that the initial formation (in Observations and The Birth of Tragedy) and final dissolution (in the Critique of Judgment and Zarathustra and other later works) of these dualities are determined by the gradually established telos of their philosophical endeavor. Therefore, by observing the evolution of these so-called dualities, Kaplama gathers important clues as to how Kant’s and Nietzsche’s aesthetics transformed into different ways to affirm human art and life. On the one hand, Kaplama argues, the Dionysian came to be the heart and soul of Nietzschean aesthetics and ethics, and the Apollonian (or the formal drive of individuation) was reduced into a mere aesthetic criterion. On the other, Kant treats the sublime (which is originally an idea-producing feeling and/or judgment) as a mere appendix to his Critique of Judgment and aesthetic theory teleologically reducing it into its possible moral consequences. This is why Schopenhauer calls the sublime “by far the most excellent thing in the Critique of Judgment” which touches on the real problem of aesthetics very closely but does not provide a real solution for it. Kant’s forced teleological move is to make his theory of aesthetic judgment stand as a ‘reaffirmation’ of the earlier ethical justification he believed to have accomplished in the first two Critiques and the Groundwork where he defends an affirmation of human life through a teleological morality centered on the principle of free-will. In contrast, Nietzsche’s aesthetics (particularly the Dionysian) guides his ethics and metaphysics again through defining an ideal human nature without which ethos would be static and meaningless, lacking the ability to move and change and represent the tragic pathos of human life. (shrink)

In this paper I examine how ethics can help us solve the morally relevant problems that arise in crisis situations by distinguishing theoretical from extra-theoretical approach to moral phenomena. I begin by asking how a crisis can be the topic of philosophical examination, subsequently narrowing down the question to ethics. From the perspective of this philosophical discipline, a crisis could be approached in two ways: by applying general theories, such as Kant’s deontology or utilitarianism, to different crisis situations, or by (...) constructing thought experiments. I illustrate both approaches and then, by contrasting heuristic significance of ethical thought experiments with their argumentative function, I introduce the thesis that these experiments reveal truth about morality independently of any particular theory or viewpoint. I also defend the oft-disputed view that fictional scenarios, seen as developed thought experiments, can expand our ‘moral knowledge’, and illustrate that thesis by examining a fictional narrative that deals with a crisis – the explosion of a reactor in the ‘Chernobyl’ nuclear power plant. (shrink)

Paul Feyerabend once made a remark to the effect that his pragmatic theory of observation can be traced back to proposals put forward by leading Logical Empiricists during the height of the protocol sentence debate. In this paper I want to vindicate the systematic side of Feyerabend’s remark and show that a pragmatic theory of observation can in fact be found in Rudolf Carnap’s writings of 1932. I first proceed to dispel a misunderstanding concerning the term (...) “pragmatic” raised by Thomas Oberdan. Following Morris’ and Carnap’s documented usage, I show that the intended meaning of “pragmatic” refers to a specific semiotic relation between users of a language and their environment describable by empirical means. I reconstruct such a pragmatic theory in terms of a detector model that interprets observation sentences as bodily dispositions indicating physical events in the surroundings of the detector. I then proceed to show how Feyerabend’s later theory of observation picks up central features of Carnap’s account and also shares some of the motivations. I conclude by noting how an empirical theory of observation sentences offers a bootstrapping solution to the “basis problem”. (shrink)

The article aims at contrasting the autopoietic understanding of an individual and her or his actions as described by Niklas Luhmann with Paul Ricoeur’s notion of narrative identity, focusing on people as legal subjects. The article assumes that when legal subjects necessitate ethical engagement and evaluation, the law could cease to deal with problems in a mere legalistic fashion but is allowed the freedom to appeal to norms of justice external to itself as in other natural law theories. Through narrative (...) identity the deeds of role players are to be understood in greater complexity than what a self-referential legal system is comfortable in dealing with. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This article aims to make progress towards an account of social cohesion and participation in terms of which we can better understand how groups of people come to constitute stable social orders. It argues for a conceptual distinction between "inclusion" and "integration" and sheds new light on their theoretical relationship. While "integration" refers to group members' willingness to act in accordance with the given norms of a social structure, "inclusion" is linked to their participation opportunities. Although inclusion also plays (...) an essential role in integrating a normative order, levels of inclusiveness necessary for social cohesion may vary across different contexts. (shrink)

This essay aims to provide an account of the differences between what I call the “Classical Marxist” conception of science which was adhered to by Marx and Engels and further developed by Boris Hessen and others on the one hand, and the conception of science which characterizes “Western Marxism” as it developed through the work of the theorists of the Frankfurt School on the other hand. I argue that Western Marxists such as Herbert Marcuse and Max Horkheimer did not (...) in fact successfully criticize the logical positivist account of the modern natural sciences. Instead I argue that they implicitly accepted the positivists’ characterization of the modern natural sciences (as they interpreted it) and then proceeded to devalue the modern natural sciences on this basis. I also show that Marcuse and Horkheimer, even though they presented themselves as revolting against the alleged “economism” of Classical Marxism, ended up endorsing a view of science which is functionally equivalent to a reductive economistic conception of science. I argue that the Classical Marxists’ conception of science is far richer and far more interesting than either a stereotyped “economistic” conception of science or the Western Marxist conception of modern science as merely an element in a historical process centered on the oppressive universalization of instrumental reasoning. (shrink)

The paper discusses a few tensions “crucifying” the works and even personality of the great Georgian philosopher Merab Mamardashvili: East and West; human being and thought, symbol and consciousness, infinity and finiteness, similarity and differences. The observer can be involved as the correlative counterpart of the totality: An observer opposed to the totality externalizes an internal part outside. Thus the phenomena of an observer and the totality turn out to converge to each other or to be one and the same. (...) In other words, the phenomenon of an observer includes the singularity of the solipsistic Self, which (or “who”) is the same as that of the totality. Furthermore, observation can be thought as that primary and initial action underlain by the phenomenon of an observer. That action of observation consists in the externalization of the solipsistic Self outside as some external reality. It is both a zero action and the singularity of the phenomenon of action. The main conclusions are: Mamardashvili’s philosophy can be thought both as the suffering effort to be a human being again and again as well as the philosophical reflection on the genesis of thought from itself by the same effort. Thus it can be recognized as a powerful tension between signs and symbol, between conscious structures and consciousness, between the syncretism of the East and the discursiveness of the West crucifying spiritually Georgia. (shrink)

The sensorimotor theory of perceptual consciousness offers a form of enactivism in that it stresses patterns of interaction instead of any alleged internal representations of the environment. But how does it relate to forms of enactivism stressing the continuity between life and mind? We shall distinguish sensorimotor enactivism, which stresses perceptual capacities themselves, from autopoietic enactivism, which claims an essential connection between experience and autopoietic processes or associated background capacities. We show how autopoiesis, autonomous agency, and affective (...) dimensions of experience may fit into sensorimotor enactivism, and we identify differences between this interpretation and autopoietic enactivism. By taking artificial consciousness as a case in point, we further sharpen the distinction between sensorimotor enactivism and autopoietic enactivism. We argue that sensorimotor enactivism forms a strong default position for an enactive account of perceptual consciousness. (shrink)

The statement everyone wants to live a fulfilled and happy life may seem simple, self-evident, and even trivial at first glance. However, upon closer philosophical analysis, can we unequivocally assert that people are truly focused on well-being? Assuming they are, the question becomes: what guidelines should be followed and how should one behave in order to achieve true well-being and attain their goals? One popular viewpoint is that cultivating moral virtues and personal qualities is essential for a life of "true" (...) well-being, rather than mere pleasure. This perspective is not particularly original, as it was advocated quite clearly by Aristotle. However, we must ask: what guarantees that virtue will lead to well-being? Can we really ignore the common-sense doubt that virtue (and moral life), as Kant points out, may not be rewarded with any form of well-being or "happiness" in the broadest sense during our earthly existence? How might we address this doubt? If questions about the relationship between happiness and virtue have been asked since ancient times, why don't we have definitive answers yet? Perhaps there is something wrong with the questions themselves, as is often the case in philosophy. Views on this relationship have influenced the modification of theories that philosophers have put forth in order to provide satisfactory answers. One such theory is the renewed and modernized ethics of virtue, which places the greatest emphasis on building an individual's moral character, assuming that Aristotelian character virtues such as courage, honesty, generosity, prudence, self-control, and compassion will enable us to lead a happy and fulfilling life. "Virtues" refer to a wide range of "excellences" or activities that individuals can use to perfect themselves. For example, an ordinary person might accept that courage can make their life more fulfilling, but it's important to recognize that virtues cannot be acquired overnight. Furthermore, many people believe that virtues are innate qualities that one either possesses or lacks. In contrast, ethics of virtue provides guidance and instructions for developing virtues over extended periods of time, as well as for continuously "practicing" the development of moral characteristics that will make us better individuals. The central and most significant concept in ethics of virtue is the golden mean, which can be interpreted in various ways. Essentially, ethics of virtue offers a path to a life filled with pleasure, harmony, and virtuous action. However, this collection of essays, Virtues and Vices: Between Ethics and Epistemology, is not exclusively concerned with virtues or ethics. Knowledge, as well as the processes of belief formation and justification of those beliefs, are also essential to ethics of virtue. Going back to the systematic Greek philosopher and his teacher, we can emphasize that virtues and knowledge are inseparable. Without the epistemology of virtues, even a thematic collection like this one would be incomplete. The Epistemology of Virtue is a relatively new branch of philosophy that has emerged as a response to questions about the value-neutrality of science. For a long time, the separation of values and scientific inquiry has been viewed as the correct methodological approach. However, it is clear that every scientist is also a human being with their own virtues and flaws. It is naive to assume that a scientist can leave their values and moral qualities outside the laboratory and treat their colleagues in the team differently than they would treat other people in their everyday life. Taking this into account, we can notice that Epistemology of Virtue is a theory that examines the influence of virtues on the processes of acquiring knowledge. Epistemic virtues refer to qualities that enable individuals to acquire knowledge and make reliable judgments. These virtues include traits such as openness to diverse testimonies and arguments, critical thinking, a tendency to question one's own assumptions, and the ability to identify errors in one's own thought processes. Just like in virtue ethics, the Epistemology of Virtue raises the question of how we can cultivate the necessary virtues and how these virtues can have a positive impact on both individuals and society. The field also explores how epistemic virtues can be put into practice, such as in educational settings, scientific research, and various social activities. Finally, we turn to a topic that is often overlooked in philosophy - human flaws. While ethics typically views flaws as the opposite of virtues, requiring correction both individually and socially, the Epistemology of Virtue questions what happens when flaws occur in knowledge-related qualities. Do these flaws also need to be eliminated, or are they an inherent part of the process of acquiring knowledge and making judgments? At first glance, prejudices, stereotypes, dogmatism, conformism, closed-mindedness towards arguments and evidence, as well as uncritical acceptance of authority, can all hinder our ability to acquire knowledge. Epistemologists view these qualities as vices, rather than flaws like ethicists do. The Epistemology of Vices is the newest of the three branches of philosophy covered in this thematic collection, and it examines the ways in which false and untrue beliefs develop and persist in society. This area of study seeks to answer questions about how people form delusions and whether it is possible to overcome them. On the other hand, the Epistemology of Virtue is like the "older brother" that supervises these vices. It contributes to the investigation and overcoming of vices by developing virtues that enable individuals to more accurately assess the truthfulness of their beliefs. However, even though vices can have a destructive impact on knowledge acquisition, the question remains: are vices always detrimental in every context? Conversely, can virtues be detrimental? For example, does a virtue like solidarity sometimes hinder the efficient formation of true beliefs in time-sensitive situations such as finding a vaccine to combat a virus pandemic? Can vices be useful? Can stubbornness and uncooperativeness sometimes help a research team by allowing two sides to reach the same goal through different paths? Within this collection, some of these questions will receive answers, some of which may confirm existing impressions, while others may surprise readers. The thematic collection, Virtues and Vices: Between Ethics and Epistemology, consists of four interesting chapters and 21 papers that cover the selected topic through the prism of philosophical disciplines such as ethics, epistemology, the history of philosophy, philosophy of mind, political philosophy, and philosophy of science. In this introduction, we will not discuss the contents of the articles so as not to disrupt the intended integral approach to reading the collection. A significant feature of this collection is the continuity that extends from one paper to another, from topic to topic, and from problem to problem. Lastly, we would like to express our gratitude to the Faculty of Philosophy at the University of Belgrade for their support in realizing this collection, as well as to our colleagues from the Department and Institute of Philosophy who have made this collection a relevant and significant achievement with their contributions. We are also thankful to the reviewers of the collection as a whole, as well as to the referees of individual articles, who have provided us with detailed comments and remarks that have made this collection clearer and more comprehensive. We owe a special thanks to our colleagues from Zagreb, Rijeka, and Maribor, whose exceptional papers have contributed to making this collection an unabashed international contribution to debates about the ethics and epistemology of virtues and vices. (shrink)

Aristotle classifies opposition (ἀντικεῖσθαι) into four groups: relatives (τὰ πρός τι), contraries (τὰ ἐναντία), privation and possession (στρέσις καὶ ἓξις) and affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) His example of relatives are the double and the half. Aristotle’s description of relatives as a kind of opposition is as such: ‘Things opposed as relatives are called just what they are, of their opposites (αὐτὰ ἃπερ ἐστι τῶν ἀντικειμένων λέγεται) or in some other way in relation to them. (...) For example, the double is called just what it is double of the other (οἷον τὸ διπλάσιον, αὐτὸ ὃπερ ἐστίν, ἑτέρου διπλάσιον λέγεται). Again, knowledge and the knowable are opposed as relatives, and knowledge is called just what it is, of the knowable, and the knowable too is called just what it is, in relation to its opposite, knowledge; for the knowable is called knowable by something-by knowledge.’ (Cat., 10, 11b24-30) 2) Senses of relatives In Met., Δ, 1020b26-32 Aristotle distinguishes three senses of relatives: i) That which contains something else many times to that which is contained many times in something else, and that which exceeds to that which is exceeded. E.g. double to half ii) The active to the passive; e.g. that which can heat to that which can be heated iii) The measurable to the measure, e.g. the knowable to knowledge and the perceptible to perception. 3) Relatives and contraries Aristotle’s discussion of relatives is unbelievably ambiguous. While he enumerates relatives besides contraries, privation-possession and affirmation-negation as four types of opposition (Cat., 10, 11b15-23), not only does not he restrict relatives to oppositions but he also does not totally differentiate it from contraries. Aristotle distinguishes between two senses of relatives one of which is contraries: ‘We have distinguished elsewhere the two senses in which relatives are so called-some as contraries (ὡς ἐναντία), others as knowledge to things known, a term being called relative because what is said one to the other is said by the other to itself (τῷ λέγεσθαί τι ἄλλο πρὸς αὐτό). (Met., I, 1056b34-1057a1) It seems that this differentiation is the same as, and maybe the one he himself refers to, the differentiation between the second and the third senses of relatives in Met., Δ, 1021a27-32: ‘Relative terms which imply number or capacity, therefore, are all relative because their very essence includes in its nature a reference to something else, not because something else is related to it (πρός τι πὰντα ἐστὶ πρός τι τῷ ὃπερ ἐστὶν ἄλλου λέγεσθαι αὐτὸ ὃ ἐστιν, ἀλλὰ μὴ τῷ ἄλλο πρὸς ἐκεινο); but that which is measurable or knowable or thinkable is called relative because something else is related to it. For the thinkable implies that there is thought of it, but the thought is not relative to that of which it is the thought; for we should then have said the same thing twice.’ Although Aristotle confirms contrariety in relatives (e.g. virtue to vice and knowledge to ignorance), he denies that there is a contrary ‘to every relative’ as there can be no contrary to what is double or treble. (Cat., 7, 6b15-19) The fact that Aristotle dedicates one sense of relatives to contraries means that the fourfold division of oppositions is not such a strict division without any kind of community between them. In his example of the first sense, however, Aristotle says: ‘One and number are in a sense opposed, not as contrary, but as we have said some relative terms are opposed; for inasmuch as one is measure and the other measurable, they are opposed.’ (Met., I, 1057a4-6) Now, the question is: Is Aristotle’s first sense of relative a contrary or not? Aristotle tells us that the opposition in this sense of relatives is the opposition of measure and measurable. The second sense has two differences with the first one: i) it is not a contrary and ii) what is said by one of the relatives to the other is also said by the latter to the former. To differentiate it from the first sense, when the one is the measure of the other, the latter will be the measure of the former as well: ‘But though knowledge is similarly spoken of as related to the knowable, the relation does not work out similarly for while knowledge might be thought to be the measure, and the knowable the thing measured, the fact is that all knowledge is knowable, but not all that is knowable is knowledge, because in a sense knowledge is measured by the knowable.’ (Met., I, 1057a7-12) Aristotle’s assertion at Met., I, 1057a36-37 that ‘of relative terms, those which are not contrary have no intermediate’ ensures us that we must take the first sense as contraries. Here he mentions a criterion of differentiation between two senses: while the first sense accepts intermediates (as, for example, great and small do), the second one does not. (Met., I, 1057a37-b1) It seems, however, that it is only the second sense that is the essential sense of relatives because the first sense, Aristotle says, is an accidental sense: ‘The one is opposed then to the many in numbers as measure to things measureable; and these are opposed as relatives which are not from their very nature relatives.’ (Met., I, 1056b32-34) 4) Definition of relative Aristotle’s first definition of the category of relative (πρός τι) is as such: ‘We call relative all such things as are said to be just what they are, of or than other things, or in some other way in relation to something else (Πρός τι δὲ τὰ τοιαῦτα λέγεται, ὃσα αὐτὰ ἃπερ ἐστὶν ἓτερων εἶναι λέγεται, ἢ ὁπωσοῦν ἄλλως πρὸς ἓτερον). (Cat., 7, 6a36-37; repeated almost without any change in: Cat., 7, 6b6-8) Aristotle’s examples are larger (because it is what it is than something else (τοῦθ᾿ ὃπερ ἐστὶν ἑτέρου λέγεται) that means it is called larger than something) and double. (Cat., 7, 6a37-b1) Aristotle’s aporia regarding relative is about their relation with substances: whether no substance is spoken of as a relative, or whether this is possible with regard to some secondary substances. (Cat., 7, 8a13-15) In the case of primary substances, it seems that he is confident, at least at first, that neither themselves nor their parts are spoken of in relation to anything: neither an individual man is called someone’s individual man nor an individual hand is called someone’s individual hand (but someone’s hand). (Cat., 7, 8a15-21) Although it is obvious that most of secondary substances are not spoken of as relatives (a man is not called someone’s man) (Cat., 7, 8a21-25), there are some with them there is room for dispute: a head is someone’s head and a hand is called someone’s hand, which seem to be relatives. (Cat., 7, 8a25-28) Aristotle thinks this must be due to the previous definition’s being problematic: with that definition ‘it is either exceedingly difficult or impossible to reach the solution that no substance is spoken of as a relative.’ (Cat., 7, 8a28-32) Thus, Aristotle changes his previous definition to a new one: ‘Those things are relatives for which being is the same as being somehow related to something’ (ἔστι τὰ πρός τι οἷς τὸ εἶναι ταὐτόν ἐστι τῷ πρός τί). (Cat., 7, 8a32-34) Although the first definition does indeed apply to all relations, its problem is that it does not take ‘their own being relative’ (τῷ πρός τι αὐτοῖς εἶναι) the same as ‘their being what they are of other things’ (ἃπερ ἐστὶν ἑτέρων λέγεσθαι). (Cat., 7, 8a34-37) Although this change of definition is to exclude all substances from being relative, what Aristotle says in Topics (To., Z, 8, 146a39- ), seems to ignore this: ‘For of everything relative the substance is relative to something else, seeing that the being of every relative term is identical with being in a certain relation to something.’ 5) Necessary knowledge of the related Knowledge of that in relation to which a relative is spoken of is necessary when one knows the relative: it is impossible to know a relative and at the same time not to know that in relation to which it is spoken of. (Cat., 7, 8a37-b3) To prove this, Aristotle adheres to the definition of relatives: ‘If someone knows of a certain ‘this’ that it is a relative, and being for relatives is the same as being somehow related to something, he knows that also to which this is somehow related.’ (Cat., 7, 8a37-b3; cf. 7, 8b3-15 for Aristotle’s examples) This necessary knowledge of the related, if we call it so, dedicates Aristotle an epistemological reason, besides the ontological one mentioned in his definition, for the exclusion of substances. As we noted in our discussion of Aristotle’s definition of relatives, he changed his first definition to exclude all substances from being relatives. Therefore, it is evident that for him relatives must not include substances, either primary or secondary. Aristotle does have no problem with primary substances simply because it is evident for him that they cannot be relatives. The same can be said about most of the secondary substances as well. The problem for which he changed the definition of substances was about some secondary substances like ‘head’ or ‘hand’: the fact that it is possible to know a hand or head without necessarily knowing definitely that in relation to which it is spoken of proves that they are not relatives. (Cat., 7, 8b15-21) 6) Reciprocation Aristotle regards reciprocation (ἀντιστρέφειν) necessary in all relations: ‘All relatives are spoken of in relation to correlatives that reciprocate.’ (Cat., 7, 6b28-29; cf. Cat., 10, 12b21-24) The sense of reciprocation is clear by his own examples: ‘The slave is called slave of a master and the master is called master of a slave; the double double of a half, and the half half of a double.’ (Cat., 7, 6b29-31) Reciprocation of relatives is so necessary that if there seems that we do not have reciprocation, it must necessarily be due to a mistake and that in relation to which something is spoken of must have not been given properly. (Cat., 7, 6b36-7a1) Aristotle’s example is this: If a wing is given as of a bird, ‘bird of a wing’ does not reciprocate because it has not been given properly: a wing is of a winged and not of a bird; a wing is wing of a winged and a winged is winged with a wing. (Cat., 7, 7a1-5) Even if we do not have a proper name to have a proper reciprocation, Aristotle points, we must invent names. (Cat., 7, 7a5-15 and 7b10-14) Thus, having proper names is the condition of necessary reciprocation: ‘All relatives are spoken of in relation to correlatives that reciprocate, provided they are properly given.’ (Cat., 7, 7a22-23) This condition is also said in another way: there is no reciprocation if a relation is given as related to some chance thing or to something that is accidentally the related thing like when, for example, a slave is given as of a man or a biped instead of being given as of a master. (Cat., 7, 7a25-31) 7) Simultaneity of relatives Aristotle believes that in most cases relatives are simultaneous: double and half or master and slave must exist at the same time: when there is a half, there is a double and when there is a slave, there is a master. (Cat., 7, 7b10-14) However, this receives some exceptions like knowable, which is prior and can, thus, exist before and without knowledge. (Cat., 7, 7b22-27) What approves this non-simultaneousness for Aristotle is that the destruction of knowledge does not carry the knowable to destruction. (Cat., 7, 7b27-31) The same is said about perception and perceptible. (Cat., 7, 7b35-8a9) Aristotle attaches simultaneity to reciprocation. This reciprocation, however, is not a simple reciprocation but ‘reciprocation as to implication of existence’ (ἀντιστρέφει μὲν κατὰ τὴν τοῦ εἶναι) with the condition that neither be in any way the cause of the other’s existence. (Cat., 13, 14b27-29; the same is said also at: Cat., 13, 15a4-11) Aristotle’s examples are the double and the half because when there is a double there is a half and when there is a half there is a double but neither is the cause of the other’s existence. (Cat., 13, 14b29-32) (We have ‘reciprocation as to implication of existence’ also in relation between genus and species but it seems that this has a totally different sense there. 8) Having no independent reality That a relative cannot be a substance, either a primary or a secondary substance, is discussed in our review of both the definition of relatives and their reciprocation. The differentiation of relatives and substances are so deep for Aristotle that after questioning the possibility of any common element or principle for substances and relatives (Met., Λ, 1070a33-36), he asserts that no substance, on the one hand, is the element of relatives and none of the relatives, on the other hand, is the element of substances. (Met., Λ, 1070b3-4) Aristotle does not, however, suffice to this. For him, relatives have the least substantiality, which is, for him, almost the same as reality: ‘The relative is least of all categories a real thing (φύσις τις) or substance, and less than quality and quantity; and the relative is an affection of quantity.’ (Met., M, 1088a22-25) Aristotle believes that an evidence of this least reality (ὄν) and substantiality is that relatives have no proper generation, destruction or movement while each of substance, quality and quantity have them. (Met., M, 1088a29-35) Moreover, neither motion (Phy., E, 1) nor any kind of change is applicable to relatives so that relatives are neither themselves alterations nor the subject of alterations (Phy., Z, 3) and the process of losing and acquiring states cannot be considered as alterations because these are the result of the alterations of non-relative things of which they are states. (Phy., Z, 3) Relative is not even matter but is something different. (Met., M, 1088a24-25) The reason is that the matter is potentially of a nature but relative is neither potentially nor actually of a nature. (Met., M, 1088b1-2) To understand the status of relatives in Aristotle’s world, we have to make a tripartite classification; a classification that though Aristotle himself did not make, his assertions approve it. Based on this division, there are three kinds of being in the world: i) Independent beings: This class includes only substances. ii) Dependent beings: This class includes qualities and quantities. Although they are real, they are ‘in’ substances and cannot exist without them. iii) Super dependent beings: This class includes at least relatives. The fact that relatives must be considered in a third class different from substances, on the one hand, and qualities and quantities, on the other hand, is obvious not only from the previously mentioned texts (Met., M, 1088a22-25, 29-35 and b1-2) in which relatives’ reality is considered less than all substances, qualities and quantities and different from matters but from this text: ‘For there is nothing either great or small, many or few, or, in general, relative which is not something (τι ὄν) different (ἓτερον) [that is also] many or few or great or small’. (Met, N, 1088a27-30) Therefore, super dependent beings are those beings that must necessarily be also something else, i.e. an independent or dependent being. Ackrill (1963, 99) points that some of the words used by Aristotle to exemplify relational entities, e.g. slave, are endowed with a complete sense and do not need to be supplemented by a correlate. (Thus, the linguist criterion of incompleteness would be deficient. Some other instances of relative entities like ‘state,’ ‘knowledge’ and perception are not necessarily followed by the genitive case. 9) Extent of relatives What is the extent of relatives? What are or are not included in relatives either among categories or among other concepts? Which concepts or things Aristotle regard as relative? i) Aristotle includes state (ἓξις) and position (θέσις) among relatives. (Cat., 7, 6b2-6; Cat., 7, 6b11-14; Cat., 8, 11a20-24) ii) Although relative is not matter but is something different (Met., M, 1088a24-25), matter is ‘non-being’ only in virtue of an attribute (Phy., A, 9) and is, thus, a relative term. (Phy., B, 2, 194b9) 10) Property and relativity Aristotle draws a contrast between two types of giving a property, absolute and relative: ‘A property is given either in its own right and for always or relative to something else and for a time.’ (To., E, 1, ^128b15-18) Being a civilized man, for example, is an absolute property for man while to command is a relative property for the soul. The absolute property, however, is considered not only potential to be discussed or observed in relation to many things or periods of time, it in fact ‘belongs to its subject relatively to every single thing that there is, so that if the subject is not distinguished relatively to everything else, the property will not have been given correctly.’ (To., E, 1, 129a18-20) Therefore, an absolute property is a property that ‘is ascribed to a thing in comparison with everything else and distinguishes it from everything else.’ (To., E, 1, 128b33- ) An absolute property is, then, absolutely relative and not conditionally relative, i.e. relative to a specific thing. This is what differentiates it from a relative property, which is relative to a certain thing: ‘A property relative to something else is one which separates its subject off not from everything else but from a particular definite thing.’ (To., E, 1, 128b33- ) One important difference between absolute and relative properties is that while an accident can be a relative property, it can never be an absolute property. (To., I, 5, ^102b20-36) For example, sitting, which is an accident, is also a property relatively to those who are not sitting. (To., I, 5, ^102b20-36) 11) Platonic theories as relatives At least three of Platonic theories Aristotle attaches to relatives: i) Forms ‘It seems that a Form is always spoken of in relation to a Form-this desire itself is for the pleasure itself, and wishing itself is for the good itself.’ (To., Z, 8, 147a^10) Moreover, the theory of Forms takes the relative prior to the absolute as, for example, it takes not the dyad but the number as first. (Met., A, 990b15-17) Aristotle believes that this is against not only the necessities of the case but only the Platonists’ opinion because Forms must be substances only, if they can be shared. (Met., A, 990b27-29) There are, however, things like ‘equal’ which are only relative: they are only in relation to something else. Now the theory that ideas are supposed to be substances only should entail the substantiality of merely relatives. The reason being that Forms are not shared incidentally but each thing shares in that which is not predicated of a subject. (Met., A, 990b29-31) ii) Unequal The Platonic theory of great and small or unequal, which we know more from Aristotle and has, in Platonic philosophy, a role like that of matter in Aristotelian philosophy, is also called relative by Aristole. (Met., M, 1089b4-15) iii) Potentiality Aristotle says that Platonists take what potentially is a ‘this’ and a substance but not actually so a relative because it is ‘neither potentially the one or being, nor the contradictory of the one nor of being, but one among beings.’ (Met., N, 1089b15-20) 12) All things as relative Aristotle attaches the theory that ‘everything is true’ to relativity and thinks the consequence of believing in this theory is that everything is true: ‘He who says all things that appear are true, makes all things relative.’ (Met., Γ, 1011a17-20) 13) Genera and species of relatives There are some genera, Aristotle hints, that are relative but their species are not relative. In such cases, the genera are spoken of in relation to something, but none of the particular cases are so spoken. (Cat., 8, 11a20-36) Aristole’s examples are knowledge and grammar of which the former is a relative but the latter is a quality. The consequence of this is that there is nothing absurd for a thing to be in both genera of relative and quality. (Cat., 8, 11a37- ) However, when the species is a relative, the genera will be a relative too. (To., Δ, 4, 124b15- ) Moreover, Aristotle asserts that ‘the differentiae of relative terms are themselves relative.’ (To., Z, 6, 145a14-16) Things that are called relative are called so, Aristotle says, ‘because the classes that include them are of this sort, e.g. medicine is thought to be relative bcs its genus, knowledge, is thought to be relative,’ (Met., Δ, 1021b4-6) 14) Relatives as indefinite? Fabio Morales takes 1088a29-b1 as a textual evidence supporting the assumption that Aristotle regarded relational terms as indefinite. (shrink)

Two questions often shape our view of the world. On the one hand, we ask what there is, on the other hand, we ask what there ought to be. Empirical research and normative theory, the methodological traditions concerned with these questions, entered a difficult relationship, from at least as early as around the time of the advent of modern sciences. To this day, there remains a strong separation between the two domains, with both tending to neglect discourses and (...) results from the other. Contrary to a verdict of strict segregation between »is« and »ought«, there are, nowadays, various attempts to integrate both theoretical approaches. This calls for a newly intensified discourse on the relation between empirical research and normative theory. In this volume, scholars from different disciplines – including psychology, sociology, economics, and philosophy – discuss possible desired or undesired influences on, and limits of, the integration of these two approaches. (shrink)

When we can’t live up to the ultimate standards of morality, how can moral theory give us guidance? We can distinguish between ideal and non-ideal theory to see that there are different versions of the voluntarist constraint, ‘ought implies can.’ Ideal moral theory identifies the best standard, so its demands are constrained by one version. Non-ideal theory tells us what to do given our psychological and motivational shortcomings and so is constrained by others. Moral (...) class='Hi'>theory can now both provide an ultimate standard and give us guidance; this view also gives us new insights into demandingness and blame. (shrink)

Pierre Duhem’s philosophy of science has influenced many philosophers in the twentieth century, and even today. Many of the subjects he addressed are still highly discussed today, especially the distinction between science and metaphysics. My aim in this paper will be to motivate a naturalistic approach where the difference between physics and metaphysics is only a matter of degree. I focus on whether it would be possible to articulate this gradual distinction from a duhemian point of view. (...) Although Duhem thought that metaphysics is an entirely different and more excellent activity than physics, I believe that Duhem’s philosophy of science also supports a naturalistic distinction in terms of degrees. I offer three reasons to justify this conclusion: Duhem’s notion of common sense; Duhem’s holism and his views on the generality of our theories, and Duhem’s notion of natural classification. At the end of the paper I will argue that a naturalistic approach accomplishes must of what Duhem wanted to achieve with his distinction. (shrink)

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into (...) 5 sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

According to the BSM- Supergravitation Unified Theory (BSM-SG), the energy is indispensable feature of matter, while the matter possesses hierarchical levels of organization from a simple to complex forms, with appearance of fields at some levels. Therefore, the energy also follows these levels. At the fundamental level, where the primary energy source exists, the matter is in its primordial form, where two super-dense fundamental particles (FP) exist in a classical pure empty space (not a physical vacuum). They are associated (...) with the Planck scale parameters of frequency and distance and interact by Supergravitational forces. These forces are inverse proportional to the cube of distance at pure empty space and they are based on frequency interactions. Since the two FPs have different intrinsic frequencies, the SG forces appear different for interactions between the like and unlike FPs and may change the sign. This primordial form of matter exists in the super-heavy black holes located in the center of each well formed galaxy. The next upper level of matter organization includes the underlying structure of the physical vacuum, called a Cosmic Lattice, and the structure of elementary particles. They have common substructure elements obtained by specific crystallization process preceding the formation of the observable galaxies. The Cosmic Lattice, forming a space known as a physical vacuum, is responsible for the existence and propagation of the physical fields: electrical, magnetic, Newtonian gravity and inertia. The energy of physical vacuum is in two forms: Static (enormous) and Dynamic (weak). The Static energy is directly related to the Newtonian mass by the Einstein equation E = mc^2 and it is a primary source of the nuclear energy. The Dynamic energy is responsible for the existence of the electric and magnetic fields, the constant speed of light and the quantum mechanical properties of the physical vacuum. The next upper energy level is the dynamical energy of excited atoms and molecules. At this level a hidden energy wells exit, such as the internal energy of the electron and the internal energy of atoms with more than one electron. The next upper energy level is at some organic molecules and particularly in the biomolecules that contain ring atomic structures. In such a structure, some quantum states are not emitted immediately, but rotating in the ring. While in organic molecules the energy stored in such a ring is released by a chemical process, in the long chain molecule of proteins in the living organism the stored energy can be released simultaneously by triggering. A huge number of atomic rings are contained in the DNA strands. The release of the energy stored in DNA, for example, is an avalanche process that causes an emission of entangled photons possessing a strong penetrating capability. A sequence of entangled photons emitted by DNA should carry the genetic information encoded by the cordons. This mechanism, predicted in BSM-SG theory, is very important for intercommunication between the cells of the living organism. The next upper level of energy organization may exist in the brain. The brain is an organ of a most abundant number of atomic rings, while its tissue environment might permit complex energy interactions. The human brain contains billions of atomic rings. The next hypothetical upper level of energy organization is an information field, physically existed outside, but connected with the living brain. It corresponds to a specific field known as aura, while the possibility of its existence is still not accepted by the main stream science. The problem is that this field could not be detected by the currently existing technical means used for EM communications. The BSM-SG predicts that this field might differ from the EM field we use for communication, but it is a subject of a further theoretical development that must be supported by experiments using specifically designed technical means. According to the BSM-SG theory, the energy conversion from the primary energy source to the complex levels of matter and field organization is a permanent syntropic process based on complex resonance interactions. (shrink)

The conspicuous similarities between interpretive strategies in classical statistical mechanics and in quantum mechanics may be grounded on their employment of common implementations of probability. The objective probabilities which represent the underlying stochasticity of these theories can be naturally associated with three of their common formal features: initial conditions, dynamics, and observables. Various well-known interpretations of the two theories line up with particular choices among these three ways of implementing probability. This perspective has significant application to debates on primitive (...) ontology and to the quantum measurement problem. (shrink)

The fructose 6-phosphate (Fru-6P) saturation curve for phosphofructokinase (PFK) from E. coli is sigmoidal in the presence of saturating MgATP levels, while the corresponding curve for B. stearothermophilus PFK is essentially hyperbolic. Sigmoidality can be due to apparent cooperativity arising from the kinetic mechanism of an enzyme. We have determined the kinetic mechanism of B. stearothermophilus PFK (BsPFK). BsPFK was found to obey a non rapid-equilibrium random mechanism similar to the one E. coli PFK (EcPFK) follows. Substrate inhibition by MgATP (...) was observed. We propose that substrates bind to BsPFK through two alternative pathways, one of which is slower. The substrate inhibition arises in part from reaction flux through the slower pathway. Although EcPFK and BsPFK obey similar kinetic mechanisms, they are inhibited differently by MgATP: EcPFK is profoundly inhibited, BsPFK only weakly. The structural basis for this difference could be closure of the active site via a conformational transition that occurs in EcPFK, but not BsPFK. To investigate the importance of this transition for MgATP inhibition of EcPFK, we have constructed a chimeric enzyme (ChiPFK) that contains the "rigid" ATP-binding domain of BsPFK grafted onto the remainder of the EcPFK subunit. Our results indicate that ChiPFK is locked in an "open" structure resembling the activated form of EcPFK. It is insensitive to heterotropic regulation. Nevertheless, ChiPFK exhibits residual cooperativity. Possible explanations for the cooperativity are discussed. The 6F loop is proposed to be important in PFK allosteric behavior. Residues along the loop are largely conserved between BsPFK and EcPFK, except for 161, which is a glutamate in BsPFK, and a glutamine in EcPFK. Using site-directed mutagenesis, Glu 161 of BsPFK has been changed to glutamine and alanine. Similarly, Gin 161 of EcPFK has been changed to glutamate, arginine and alanine. Of the five mutants, one, QA161, was particularly interesting. Though activated normally by GDP, it was completely insensitive to PEP inhibition. This indicates that the hydrogen-bonding ability of residue 161 is critical for PEP inhibition of EcPFK, and that GDP activation and PEP inhibition follow different structural pathways. (shrink)

Similarity and difference, patterns of variation, consistency and coherence: these are the reference points of the philosopher. Understanding experience, exploring ideas through particular instantiations, novel and innovative thinking: these are the reference points of the artist. However, at certain points in the proceedings of our Symposium titled, Next to Nothing: Art as Performance, this characterisation of philosopher and artist respectively might have been construed the other way around. The commentator/philosophers referenced their philosophical interests through the particular examples/instantiations created by (...) the artist and in virtue of which they were then able to engage with novel and innovative thinking. From the artists’ presentations, on the other hand, emerged a series of contrasts within which philosophical and artistic ideas resonated. This interface of philosopher-artist bore witness to the fact that just as art approaches philosophy in providing its own analysis, philosophy approaches art in being a co-creator of art’s meaning. In what follows, we discuss the conception of philosophy-art that emerged from the Symposium, and the methodological minimalism which we employed in order to achieve it. We conclude by drawing out an implication of the Symposium’s achievement which is that a counterpoint to Institutional theories of art may well be the point from which future directions will take hold, if philosophy-art gains traction. (shrink)

Kant is regarded as the spokesman of the contemporary declaration of human rights and the forerunner of global citizenship theory. However, this noble image has been questioned by critics for his comment of empirical racial hierarchy stated in the pre-critical period: Kant’s moral law applies only to the white race with the “full personality”. Around the question of whether Kant’s pure moral philosophy was impregnated by his racist view, the defenders of Kant either adopt the negative defense strategy of (...) affirming the transcendental moral philosophy and negating the racial thought, or try to justify the consistency of Kant’s theory from the perspective of his later philosophy of right. The deficiency of these two justifications is that they do not directly deal with the relationship between moral philosophy and race theory. When Kant developed a mature moral theory in the mid-1780s, he also constructed a systemically mature race theory under the guidance of teleology principles to defend the unity of mankind in a different world. This theory can be used as the explanatory basis to prove the universality of Kant’s moral philosophy, which reflects the deep correlation between moral philosophy and race theory. From this perspective, it can not only make up for the lack of defenders and respond to the critics’ doubts, but also portray a consistent egalitarian image of Kant. (shrink)

Shun Kwong-loi argues that the distinction between first- and third-person points of view does not play as explanatory a role in our moral psychology as has been supposed by contemporary philosophical discussions. He draws insightfully from the Confucian tradition to better elucidate our everyday experiences of moral emotions, arguing that it offers an alternative and more faithful perspective on our experiences of anger and compassion. However, unlike the distinction between first- and third-person points of view, Shun’s descriptions of (...) anger and compassion leave unarticulated what would be necessary to differentiate these responses from non-moral responses. Here, I make a friendly suggestion on how this explanatory gap might be filled, providing complementary grounding for Shun’s observations by way of K. C. Bhattacharyya’s phenomenological analysis of feeling. It fills the gap by means of a gradation in the possible depth of emotional responses found in the a priori structure of a feeling experience for any subject. The payoff of such a comparison between Shun’s explication of Confucian moral psychology and Bhattacharyya’s explication of rasa theory is not only a possible phenomenological grounding for the former but also a potential way to articulate a missing ethics in Bhattacharyya’s thought. (shrink)

This chapter of the Handbook of Utility Theory aims at covering the connections between utility theory and social ethics. The chapter first discusses the philosophical interpretations of utility functions, then explains how social choice theory uses them to represent interpersonal comparisons of welfare in either utilitarian or non-utilitarian representations of social preferences. The chapter also contains an extensive account of John Harsanyi's formal reconstruction of utilitarianism and its developments in the later literature, especially when society faces (...) uncertainty rather than probabilistic risk. (shrink)

What is logotherapy based on? How does logotherapy differ from psychotherapies or other traditional forms of therapy? What disorders does logotherapy help with? These are the questions to which the 'Handbook for logotherapists' gives a clear and consistent answer. The Handbook starts from two logotherapeutic premisses, according to which there is a Noological dimension in human consciousness, which differs from the psychic dimension of consciousness and human has a will to purpose. These premisses are basic assumptions set by Viktor Frankl (...) himself. ‘Handbook for Logotherapists’ aims to verify these premisses by starting with studying the Noological dimension of human consciousness in relation to the psychic dimension. Based on research, the Handbook draws e.g. the following conclusions: a) The Noological dimension differs in its function and content from the psychic dimension, b) the human will to purpose is a characteristic of the Noological dimension that cannot be found in the psychic dimension, and c) there can be disorders in the Noological dimension that originate from the experienced conflict between the functioning of (the agents of) the Noological dimension (self-distancing and self-transcendence) and the situational reality. Purpose cannot be invented, but is to be found outside of a person, in the situational reality. Searching, finding, realizing and implementing purposes always involve the functioning of both self-transcendence and self-distancing. That is why self-distancing and self-transcendence are the primary agents of the Noological dimension. However, the process of searching, finding and implementing a purpose can become corrupted, as purpose may be missing, it may be lost or gone, it may be distorted, or the situation may have distorted the purpose, even if the functioning of the agents of the Noological dimension is healthy. Although these distortions with experiencing a purpose often manifest themselves unfavorably also in a person's somatic condition and in the functioning of the psychic dimension in many different ways, they are - nevertheless - distortions that are a person's healthy reaction to a sick state or situation, and their basis is in the Noological dimension of consciousness. With the help of logotherapy, it is possible to separate disorders of the Noological dimension from disorders of the psychic dimension, to detect what kind of distortion with experiencing a purpose is involved, and to treat a particular distortion with logotherapy's own treatment methods. 'Handbook for logotherapists' shows why logotherapy as a specific form of therapy is the most appropriate aid for the treatment of purpose-centered distortions and demonstrates, how these distortions can be detected and treated with logotherapeutic tools. -/- . (shrink)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose (...) of this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

Background theories in science are used both to prove and to disprove that theory choice is underdetermined by data. The alleged proof appeals to the fact that experiments to decide between theories typically require auxiliary assumptions from other theories. If this generates a kind of underdetermination, it shows that standards of scientific inference are fallible and must be appropriately contextualized. The alleged disproof appeals to the possibility of suitable background theories to show that no theory choice can (...) be timelessly or noncontextually underdetermined: Foreground theories might be distinguished against different backgrounds. Philosophers have often replied to such a disproof by focussing their attention not on theories but on Total Sciences. If empirically equivalent Total Sciences were at stake, then there would be no background against which they could be differentiated. I offer several reasons to think that Total Science is a philosophers' fiction. No respectable underdetermination can be based on it. (shrink)

Physicians try hard to alleviate mental and physical ailments of their patients. Thus, they are heavily burdened by observing ethics and staying well-informed while improving health of their patients. A major ethical concern or dilemma in medication is that some physicians know their behavior is unethical, yet act against their moral compass. This study develops models of theory–practice gap, offering optimal solutions for the gap. These solutions would enhance self-motivation or remove external obstacles to stimulate ethical practices in medicine. (...) The Constructivist Grounded Theory Methodology is applied here where the participants and the main researcher mutually interacted with each other. Data collection was performed through qualitative methods including observation and semi-structured interviews with 21 physicians and medical students. Initial and focused coding was done, from which principal concepts were later extracted. MAXQDA software was used for analyzing data. Analysis of twelve major concepts in the study resulted in two factors and solution groups, from which four general notions influencing the ethical theory and practice gap in medicine were extracted: providing effective education to change attitude and behavior; considering motivational and emotional factors; reconstructing regulations and processes to facilitate ethical practice; conducting comprehensive and systematic studies. The existing medical educational system needs to be reconsidered to add to individual internal motivation, including optimizing persuasion strategies, maximizing participation of students, adhering to virtuous ethical theories, and fostering emotions. Additionally, regulations and processes can be reconstructed to remove practical obstacles and promote ethical practice with insignificant damages to individual self-motivation. (shrink)