Moritz Schlick, Rudolf Carnap and Herbert Feig are the most prominent of the positivists to formulate views on the mind-body problem (aside from Hempel’s one-off treatment in 1935). While their views differed from each other and changed over time they were all committed to some form of scientific physicalism, though a linguistic or conceptual rather than ontological form of it. In focus here are their views during the heyday of logical positivism and its immediate aftermath, though some initial scene-setting of (...) Schlick’s and Carnap’s pre-positivist views will help to understand the final opposing positions of Carnap and Feigl. (shrink)

In this article, I set out Suárez's conception of the demon's obstinacy. For Suárez, the demons’ obstinacy is a divine punishment. It is the result of the free and awful choice to turn away from God that the demons have decided to make, the main consequence of which is the loss of the freedom to will and to do the good. Taking up Aquinas’s conception, Suárez considers that the demonic nature is irredeemably corrupt and obstinate in evil. Demons are provided (...) only with a miserable freedom, consisting of the possibility to choose between different evils. Perpetually sinful and eternally constrained to remain so, they are condemned to wretchedness, to complacency in evil, and to the unremitting torments of hell. (shrink)

It is commonplace in discussions of modern cosmology to assert that the early universe began in a special state. Conventionally, cosmologists characterize this fine-tuning in terms of the horizon and flatness problems. I argue that the fine-tuning is real, but these problems aren't the best way to think about it: causal disconnection of separated regions isn't the real problem, and flatness isn't a problem at all. Fine-tuning is better understood in terms of a measure on the space of trajectories: given (...) reasonable conditions in the late universe, the fraction of cosmological histories that were smooth at early times is incredibly tiny. This discussion helps clarify what is required by a complete theory of cosmological initial conditions. (shrink)

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

Abstract According to Russellianism, the content of a Russellian thought, in which a person ascribes a monadic property to an object, can be represented as an ordered couple of the object and the property. A consequence of this is that it is not possible for a person to believe that a is F and not to believe b is F, when a=b. Many critics of Russellianism suppose that this is possible and thus that Russellianism is false. Several arguments for this (...) claim are criticized and it is argued that Russellians need not appeal to representational notions in order to defeat them. Contrary to popular opinion, the prospects for a pure Russellianism, a Russellianism without representations, are in fact very good. (shrink)

This chapter offers a general outline of Schopenhauer’s peculiarly named concept of the 'acquired character’ and explains its basic function in his ethical thought. For Schopenhauer, a person of acquired character is someone who knows the ways of acting (Handlungsweise) that are most expressive of their individuality and who allows that self-knowledge to structure their practical and emotional life. In keeping with certain elements of his psychological determinism, acquired character is not the acquisition of a ‘new’ character; rather, it is (...) the acquisition of self-knowledge of one’s essentially fixed empirical character. It is part of the argument of this chapter that by introducing the acquired character into his reflections on human action and agency Schopenhauer weaves a certain view of individual flourishing (eudaimonia) into his ethics. There are two central ingredients of Schopenhauer’s conception of eudaimonia, and both are linked to the acquired character. The first is self-knowledge; the second is a sense of personal autonomy that follows in the wake of the first. The chapter ends with a brief attempt to connect Schopenhauer’s concept of acquired character to contemporary debates in ethics concerning autonomy, practical identity, and what some call the ‘normative significance of self’. (shrink)

Some modern cosmological models predict the appearance of Boltzmann Brains: observers who randomly fluctuate out of a thermal bath rather than naturally evolving from a low-entropy Big Bang. A theory in which most observers are of the Boltzmann Brain type is generally thought to be unacceptable, although opinions differ. I argue that such theories are indeed unacceptable: the real problem is with fluctuations into observers who are locally identical to ordinary observers, and their existence cannot be swept under the rug (...) by a choice of probability distributions over observers. The issue is not that the existence of such observers is ruled out by data, but that the theories that predict them are cognitively unstable: they cannot simultaneously be true and justifiably believed. (shrink)

We have a much better understanding of physics than we do of consciousness. I consider ways in which intrinsically mental aspects of fundamental ontology might induce modifications of the known laws of physics, or whether they could be relevant to accounting for consciousness if no such modifications exist. I suggest that our current knowledge of physics should make us skeptical of hypothetical modifications of the known rules, and that without such modifications it’s hard to imagine how intrinsically mental aspects could (...) play a useful explanatory role. Draft version of a paper submitted to Journal of Consciousness Studies, special issue responding to Philip Goff’s Galileo’s Error: Foundations for a New Science of Consciousness. (shrink)

I defend the extremist position that the fundamental ontology of the world consists of a vector in Hilbert space evolving according to the Schrödinger equation. The laws of physics are determined solely by the energy eigenspectrum of the Hamiltonian. The structure of our observed world, including space and fields living within it, should arise as a higher-level emergent description. I sketch how this might come about, although much work remains to be done.

Cosmological models that invoke a multiverse - a collection of unobservable regions of space where conditions are very different from the region around us - are controversial, on the grounds that unobservable phenomena shouldn't play a crucial role in legitimate scientific theories. I argue that the way we evaluate multiverse models is precisely the same as the way we evaluate any other models, on the basis of abduction, Bayesian inference, and empirical success. There is no scientifically respectable way to do (...) cosmology without taking into account different possibilities for what the universe might be like outside our horizon. Multiverse theories are utterly conventionally scientific, even if evaluating them can be difficult in practice. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

The central claim of Schopenhauer’s account of human motivation is that ‘cognition is the medium of motives’. In light of motivation’s cognitively mediated structure, he contends that human beings are caused to act by ‘mere thoughts’, what he refers to metaphorically as ‘fine, invisible threads’. Despite this avowedly intellectualist handling of the subject, some commentators remain convinced that Schopenhauer is best read as accepting the ‘Humean truism’ that reason alone never motivates; rather, motivation always has its source in desire together (...) with instrumental belief (Young 1987). Here, I raise some doubts for the Humean reading by arguing that it does not take sufficient account of the transformative effects of cognitive mediation, effects which support cases of non-desiderative motivation. I argue in particular that Schopenhauer permits cases of motivation by the essentially cognitive states of imagination and recognition. Tracing this intellectualist strand in Schopenhauer’s view of motivation has two important results. First, it unmasks an important structural role for Besonnenheit (reflectiveness) in his account of practical agency, thereby revealing a unified thread running throughout his system; second, we alight on a possible ‘expressivist’ picture of his account of motivation, something it shares with his broader theory of action. (shrink)

Immanuel Kant’s moral philosophy is organized around an exclusive disjunction of dignity or price, equality or equivalence. In his 1797 Doctrine of Right, however, Kant places enslaved black people on the wrong side of this disjunction when he speculates that their status as currency may offer insight into the origins of money. Recent work in black studies has begun to speculate on the link between blackness and money in modernity, and this paper draws attention to Kant’s role as an unlikely (...) and unwitting precursor for monetary theories of blackness. Precisely in his attempt to secure the priceless and unconditional character of freedom and dignity, it argues, Kant ends up demonstrating the positional value of both. (shrink)

Emotional hardcore and other music genres featuring screamed vocals are puzzling for the appreciator. The typical fan attaches appreciative value to musical screams of emotional pain all the while acknowledging it would be inappropriate to hold similar attitudes towards their sonically similar everyday counterpart: actual human screaming. Call this the screamed vocals problem. To solve the problem, I argue we must attend to the anti-sublimating aims that get expressed in the emotional hardcore vocalist’s choice to scream the lyrics. Screamed vocals (...) help us see the value in rejecting (a) restrictive social norms of emotional expressiveness and (b) restrictive artistic norms about how one ought to express or represent pain in art, namely that if one is going to do so they must ensure the pain has been ‘beautified’. In developing this second point I argue that emotional hardcore is well-suited (though not individually so) for putting pressure on longstanding views in the history of aesthetics about the formal relationship between art and human pain. (shrink)

On one popular view, the general covariance of gravity implies that change is relational in a strong sense, such that all it is for a physical degree of freedom to change is for it to vary with regard to a second physical degree of freedom. At a quantum level, this view of change as relative variation leads to a fundamentally timeless formalism for quantum gravity. Here, we will show how one may avoid this acute ‘problem of time’. Under our view, (...) duration is still regarded as relative, but temporal succession is taken to be absolute. Following our approach, which is presented in more formal terms in, it is possible to conceive of a genuinely dynamical theory of quantum gravity within which time, in a substantive sense, remains. 1 Introduction1.1 The problem of time1.2 Our solution2 Understanding Symmetry2.1 Mechanics and representation2.2 Freedom by degrees2.3 Voluntary redundancy3 Understanding Time3.1 Change and order3.2 Quantization and succession4 Time and Gravitation4.1 The two faces of classical gravity4.2 Retaining succession in quantum gravity5 Discussion5.1 Related arguments5.2 Concluding remarks. (shrink)

According to the Public Justification Principle, legitimate laws must be justifiable to all reasonable citizens. Proponents of this principle assume that its satisfaction requires speakers to offer justifications that are representable as arguments that feature premises which reasonable listeners would accept. I develop the concept of dark knowledge to show that this assumption is false. Laws are often justified on the basis of premises that many reasonable listeners know, even though they would reject these premises on the basis of the (...) further considerations that speakers implicitly rely on for their support. Accommodating the fact of dark knowledge requires us to consider the civic virtue of speakers to be more important for public justification than the acceptability of their arguments to reasonable citizens. I sketch an alternative conception of public justification that incorporates these results and argue that it provides a rationale for ignoring the otherwise sound contributions of some participants in political deliberation. (shrink)

v. 1. Foundations -- v. 2. The mind-body problem -- v. 3. Intentionality -- v. 4. Consciousness.

It seems natural to ask why the universe exists at all. Modern physics suggests that the universe can exist all by itself as a self-contained system, without anything external to create or sustain it. But there might not be an absolute answer to why it exists. I argue that any attempt to account for the existence of something rather than nothing must ultimately bottom out in a set of brute facts; the universe simply is, without ultimate cause or explanation.

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and remain (...) localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

In Morality & Mathematics, Justin Clarke-Doane argues that it is hard to imagine being "a realist about, for example, the standard model of particle physics, but not about mathematics." I try to explain how that seems very possible from the perspective of a physicist. What is real is the physical world; mathematics starts from descriptions of the natural world and extrapolates from there, but that extrapolation does not imply any independent reality. -/- Submitted to an Analysis Reviews symposium on Clarke-Doane's (...) Morality & Mathematics. (shrink)

We provide a derivation of the Born Rule in the context of the Everett (Many-Worlds) approach to quantum mechanics. Our argument is based on the idea of self-locating uncertainty: in the period between the wave function branching via decoherence and an observer registering the outcome of the measurement, that observer can know the state of the universe precisely without knowing which branch they are on. We show that there is a uniquely rational way to apportion credence in such cases, which (...) leads directly to the Born Rule. Our analysis generalizes straightforwardly to cases of combined classical and quantum self-locating uncertainty, as in the cosmological multiverse. (shrink)

Several scholars have recently entertained proposals for "epistocracy," a political regime in which decision-making power is concentrated in the hands of a society's most informed and competent citizens. These proposals rest on the claim that we can expect better political outcomes if we exclude incompetent citizens from participating in political decisions because competent voters are more likely to vote "correctly" than incompetent voters. We develop what we call the objection from selection bias to epistocracy: a procedure that selects voters on (...) the basis of their observed competence---as epistocracy does---will often be "biased" in the sense that competent voters will be, on average, more likely than incompetent voters to possess certain attributes that reduce the probability of voting correctly. Our objection generalizes the "demographic objection" discussed in previous literature, showing that the range of realistic scenarios in which epistocracy is vulnerable to selection bias is substantially broader than previous discussions appreciate. Our discussion also shows that previous discussions have obscured the force of the threat of selection bias. Since we lack reasons to believe that epistocratic proposals can avoid selection bias, we have no reason to seriously entertain epistocracy as a practical proposal. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

The author of the monograph is a Candidate of Culturology, Associate Professor of Tyumen State University. The monograph tests approaches to the understanding of the essence of Hobbes’s and Locke’s ideas about miracles that are more flexible than a formational-evolutionist approach. The monograph presents the main characteristics of these ideas as Christian philosophical ones, shows their general Christian direction and the historiographic perspective of studying these ideas primarily in line with Christian philosophy. The monograph is intended for experts in the (...) history of philosophy, the history of ideas, theology, religious studies, historical anthropology, as well as for those interested in the problems of historical-philosophical knowledge. Автор монографии – кандидат культурологии, доцент Тюменского государственного университета. В монографии апробируются более гибкие подходы к пониманию сущности идей Гоббса и Локка о чудесах по сравнению с формационно-эволюционистским подходом. Представлены основные характеристики идей Гоббса и Локка о чудесах как христианских философских идей. Показана общехристианская направленность идей Гоббса и Локка о чудесах и историографическая перспективность изучения этих идей в первую очередь как христианских философских идей. Монография рассчитана на специалистов в области истории философии, истории идей, теологии, религиоведения, исторической антропологии, а также на всех, кто интересуется проблемами историко-философского знания. (shrink)

Effective Field Theory (EFT) is the successful paradigm underlying modern theoretical physics, including the "Core Theory" of the Standard Model of particle physics plus Einstein's general relativity. I will argue that EFT grants us a unique insight: each EFT model comes with a built-in specification of its domain of applicability. Hence, once a model is tested within some domain (of energies and interaction strengths), we can be confident that it will continue to be accurate within that domain. Currently, the Core (...) Theory has been tested in regimes that include all of the energy scales relevant to the physics of everyday life (biology, chemistry, technology, etc.). Therefore, we have reason to be confident that the laws of physics underlying the phenomena of everyday life are completely known. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...) The resultant each of them can estimated by the ratio of socio-psychological predispositions of humanization/dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

Republicans hold that people are dominated merely in virtue of others' having unconstrained abilities to frustrate their choices. They argue further that public officials may dominate citizens unless subject to popular control. Critics identify a dilemma. To maintain the possibility of popular control, republicans must attribute to the people an ability to control public officials merely in virtue of the possibility that they might coordinate their actions. But if the possibility of coordination suffices for attributing abilities to groups, then, even (...) in the best case, countless groups will be dominating because it will be possible for their members to coordinate their actions with the aim of frustrating others' choices. We argue the dilemma is apparent only. To make our argument, we present a novel interpretation of the republican concept of domination with the help of a game-theoretic model that clarifies the significance of collective action problems for republican theory. (shrink)

We study the conservation of energy, or lack thereof, when measurements are performed in quantum mechanics. The expectation value of the Hamiltonian of a system changes when wave functions collapse in accordance with the standard textbook treatment of quantum measurement, but one might imagine that the change in energy is compensated by the measuring apparatus or environment. We show that this is not true; the change in the energy of a state after measurement can be arbitrarily large, independent of the (...) physical measurement process. In Everettian quantum theory, while the expectation value of the Hamiltonian is conserved for the wave function of the universe, it is not constant within individual worlds. It should therefore be possible to experimentally measure violations of conservation of energy, and we suggest an experimental protocol for doing so. (shrink)

I ask whether what we know about the universe from modern physics and cosmology, including fine-tuning, provides compelling evidence for the existence of God, and answer largely in the negative.

Normative political theorists frequently compare hypothetical scenarios for the purpose of identifying reasons to prefer one kind of institution to alternatives. We examine three types of "unfair" comparisons and the reasoning errors associated with each. A theorist makes an _obscure comparison_ when one (or more) of the alternatives under consideration is underspecified; a theorist makes a _mismatched comparison_ when they fail to hold fixed the relevant contextual factors while comparing alternatives; and a theorist makes an _irrelevant comparison_ when they compare (...) alternatives assuming contextual factors that differ in important respects from those they "should" assume given their theoretical aims. We then introduce the notion of a modeling mindset and show how this mindset can help theorists detect and avoid the three types of error. We conclude with a reconstruction of Cohen's (2009) camping trip thought experiment to illustrate the approach. (shrink)

Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

Among others, the recent work of Janine Idziak presents Andrew of Neufchateau (†1400) as a fervent advocate of “divine command ethics,” a promoter of radical voluntarism, according to which moral values depend solely on the divine will. One example that illustrates this theory is the “hatred of God” (odium Dei ), often discussed in the fourteenth century. Since moral values depend on the divine will, it can be morally good to hate God if that is his command. Andrew has been (...) seen and is still seen today as a supporter of this view. The present paper aims to reconsider this interpretation. (shrink)

Stable evolutionary strategy of Homo sapiens (SESH) is built in accordance with the modular and hierarchical principle and consists of the same type of self-replicating elements, i.e. is a system of systems. On the top level of the organization of SESH is the superposition of genetic, social, cultural and techno-rationalistic complexes. The components of this triad differ in the mechanism of cycles of generation - replication - transmission - fixing/elimination of adoptively relevant information. This mechanism is implemented either in accordance (...) with the Darwin-Weismann modus, or according to the Lamarck modus, the difference between them is clear from the title. The integral attribute of the system of systems including ESSH is the production of evolutionary risks. The sources of evolutionary risk for stable adaptive strategy of Homo sapiens are the imbalance of (1) the intra-genomic co-evolution (intragenomic conflicts); (2) the gene-cultural coevolution; (3) the inter-cultural co-evolution; (4) techno-humanitarian balance; (5) intertechnological conflicts (technological traps). At least phenomenologically the components of the evolutionary risk are reversible, but in the aggregate they are in potentio irreversible destructive ones for bio-social, and cultural self-identity of Homo sapiens. When the actual evolution is the subject of a rationalist control and/or manipulation, the magnitude of the 4th and 5th components of the evolutionary risk reaches the level of existential significance. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

Political theorists study the attributes of desirable social-moral states of affairs. Schaefer (forthcoming) aims to show that "static political theory" of this kind rests on shaky foundations. His argument revolves around an application of an abstruse mathematical theorem -- Kakutani's fixed point theorem -- to the social-moral domain. We show that Schaefer has misunderstood the implications of this theorem for political theory. Theorists who wish to study the attributes of social-moral states of affairs should carry on, safe in the knowledge (...) that Kakutani's theorem poses no threat to this enterprise. (shrink)

In this article we intend to present Alvin Plantinga’s epistemology by showing the way in which its central concepts: the Reidian foundationalism, the partial critique of evidentialism, warrant, proper function, reliability and externalism - are logically interrelated. A section of this article is reserved to the critiques of his account of warrant brought by Peter Klein and Richard Feldman and to the way in which Plantinga answered them, by developing the concepts of cognitive maxi- and mini-environment. In the end we (...) will see the way in which Plantinga’s epistemology relates to both modernism and postmodernism. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

The Pneumatist school of medicine has the distinction of being the only medical school in antiquity named for a belief in a part of a human being. Unlike the Herophileans or the Asclepiadeans, their name does not pick out the founder of the school. Unlike the Dogmatists, Empiricists, or Methodists, their name does not pick out a specific approach to medicine. Instead, the name picks out a belief: the fact that pneuma is of paramount importance, both for explaining health and (...) disease, and for determining treatments for the healthy and sick. In this paper, we re-examine what our sources say about the pneuma of the Pneumatists in order to understand what these physicians thought it was and how it shaped their views on physiology, diagnosis and treatment. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

Athenaeus of Attalia distinguishes two types of exercise or training (γυμνασία) that are required at each stage of life: training of the body and training of the soul. He says that training of the body includes activities like physical exercises, eating, drinking, bathing and sleep. Training of the soul, on the other hand, consists of thinking, education, and emotional regulation (in other words, 'philosophy'). The notion of 'training of the soul' and the contrast between 'bodily' and 'psychic' exercise is common (...) in the Academic and Stoic traditions Athenaeus is drawing from; however, he is the earliest extant medical author to distinguish these kinds of training and to treat them as equally important aspects of regimen. In this paper, I propose some reasons why he found this distinction useful, and I examine how he justified incorporating it into his writings on regimen, namely by attributing Plato's beliefs about regimen to Hippocrates, a strategy Galen would adopt well over a century later. (shrink)

When are inequalities in political power undemocratic, and why? While some writers condemn any inequalities in political power as a deviation from the ideal of democracy, this view is vulnerable to the simple objection that representative democracies concentrate political power in the hands of elected officials rather than distributing it equally among citizens, but they are no less democratic for it. Building on recent literature that interprets democracy as part of a broader vision of social equality, I argue that concentrations (...) of political power are incompatible with democracy, and with a commitment to social equality more generally, when they consist in some having greater arbitrary power to influence decisions according to their idiosyncratic preferences. A novel account of the relationship between power and social status clarifies the role of social equality in the justification of democracy, including a representative democracy in which public officials have more political power than ordinary citizens. (shrink)

Problem Statement. The process of global evolution has entered the Anthropocene. This fact has almost simultaneously generated two cardinal, inseparable imperatives in the rapidly changing ideological and outlook basis of modern civilization. Firstly, the feeling that the new geological epoch also requires fundamentally new algorithms guiding practical activity and its theoretical comprehension, justification in all spheres of political reality, with inevitable exit to the level of international relations and geopolitics. Secondly, the content of the categories of ANTHROPOCEN and (GLOBAL) CRISIS (...) overlap so diversely and widely that they form an almost inseparable logically and mentally amalgam. The purpose of this publication is to reveal the political aspects of the integration of new biopolitical issues into the life of modern society. The content of the term biopolitics is currently not formalized in a definitive form. In our concept, biopolitics is defined as the processes of implementing biopower, that is, the ability (direct or indirect) of the power structures of society to control and manipulate the performance of the biological functions of certain individuals. Based on a combination of methods of conceptual, discursive and evolutionary-anthropological analysis (the concepts of evolutionary strategy and cultural-ecological niche), possible scenarios for the future development of the political process at the domestic and international levels are identified. The mechanism of transbipolitical transition – the inclusion of civilizational and biological evolution in the political process – is investigated. The conclusion formulates the content of the category “transbiolitics” as the main element of rationalization of the global-evolutionary process in the globalizing world. Transbiolitics in our understanding is an international political problematic related to the rationalization of the global evolutionary process. Technologization of the global evolutionary process, the choice of implemented technological projects and forms of their institutional support is determined primarily by geo- and biopolitical motivation of local elites and humanitarian and other convergent technologies available to them. (shrink)

There are some arguments supporting the pessimistic meta-induction, coming from the direction of quantum theory (A. Kukla and J. Walmsley), from the direction of Laudan’s list with successful but false theories, and from the specific direction of the phlogiston theory (whom Kukla Walmsley, and S. Psillos consider to be false). Against these arguments we believe we can successfully oppose, in the first case the interactive quantum realism of I. Niiniluoto, in the second case the realism of the theoretical theoretical constituents (...) responsible for the empirical success of the theories of S. Psillos, and in the third case the analysis of the phlogiston theory done by V. Verronen, R. Vihalemm and E. McMullin (who suggested that this theory was simultaneously insufficiently mature and approximately true). Our conclusion does not necessary prove that the perspective of the scientific realism is true, but rather that the pessimistic meta-induction attack against it proves to be unconvincing. (shrink)

Journal of Political Philosophy, EarlyView.