This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. (...) An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form (...) that is translatable to a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting (...) to embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

This paper explores the issue of the unification of three languages of physics, the geometric language of forces, geometric language of fields or 4-dimensional space-time, and probabilistic language of quantum mechanics. On the one hand, equations in each language may be derived from the Principle of Least Action (PLA). On the other hand, Feynman's path integral method could explain the physical meaning of PLA. The axioms of classical and relativistic mechanics can be considered as consequences of Feynman's formulation (...) of quantum mechanics. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our (...) presentation to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

Universe silence … Why? TechnoSfera … Where does it move? BioSfera … Where is the ―non-return point? NooSfera … What to do? The deep mind looks for primordial senses of the ―LifeWorld(LebensWelt). Сonsciousness, matter, memory … Self-Consciousness… Сonsciousness is attracting senses vector magnitude, intentional effect of absolute complexity. The Vector of Сonsciousness - the Triune Vector of absolute forms of existence of matter (limit states), the Vector of the Absolute Existential Field of the Universe, a polyvalent sense phenomenon of Ontological (...) (structural, cosmic) Memory. Open Сonsciousness Vs. Closed Сonsciousness. Сonceptual and mathematical proto-Eidoses Absolute forms of existence of matter. On the basis of ontological and existential constracting method – method of a discretion and a reflection of existential repère-point, the Vector of Сonsciousness places milestones on ProtoGeometre's long way – the way of ―knowledge of good and evil, of rises and fallings, of births of ―absolutely another, from the point ―Alpha to the modern ―point of ultimate tension of the Absolute Existential Field of the Universe. Big waves of Consciousness. Existential risks of Humanity and Open Science. New Open Generation realizing all existential risks of Humanity passable way and risks of coming Information era creates the Self-Aware Universe, filling it with the most deep meanings of the ―LifeWorld, at the heart of which Axiom of an absolute freedom of choice is laid. The minimum Program to overcome existential risks. Great Integrative Paradigm. Creation of a common sense picture of the World for physicists and lyricist. The United Humanity raises up five Great Philosophers' Stones in memory of Protogeometre's rises and fallings on a long way of becoming of Humanity and frees the Horse. Humanity is on a threshold of an Era of Eonic thinking... Far from Perfect … I start the path... (shrink)

This paper analyses the hidden use of new axioms in set-theoretic practice with a focus on large cardinal axioms and presents a general overview of set-theoretic practices using large cardinal axioms. The hidden use of a new axiom provides extrinsic reasons in support of this axiom via the idea of verifiable consequences, which is especially relevant for set-theoretic practitioners with an absolutist view. Besides that, the hidden use has pragmatic significance for further important sub-groups of the set-theoretic (...) community---set-theoretic practitioners with a pluralist view and set-theoretic practitioners who aim for ZFC-proofs. By describing this, the paper gives a more complete picture of new axioms in set-theoretic practice. These observations, for instance, show that set-theoretic practitioners interested in ZFC-proofs use tools that go beyond ZFC. The analysis is based on empirical data that was collected in an extensive interview study with set-theoretic practitioners. (shrink)

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

A cause may influence its effect via multiple paths. Paradigmatically (Hesslow [1974]), taking birth control pills both decreases one’s risk of thrombosis by preventing pregnancy and increases it by producing a blood chemical. Building on Pearl ([2001]), I explicate the notion of a path-specific effect. Roughly, a path-specific effect of C on E via path P is the degree to which a change in C would change E were they to be transmitted only via P. Facts about (...) such effects may be gleaned from the structural equations commonly used to represent the causal relationships among variables. I contrast my analysis of the Hesslow case with those given by theorists of probabilistic causality, who mistakenly link it to issues of causal heterogeneity, token-causation and indeterminism. The reason probabilistic theories misdiagnose this case is that they pay inadequate attention to the structural relationships among variables. (shrink)

This book examines the philosophy of the nineteenth-century Indian mystic Sri Ramakrishna and brings him into dialogue with Western philosophers of religion, primarily in the recent analytic tradition. Sri Ramakrishna’s expansive conception of God as the impersonal-personal Infinite Reality, Maharaj argues, opens up an entirely new paradigm for addressing central topics in the philosophy of religion, including divine infinitude, religious diversity, the nature and epistemology of mystical experience, and the problem of evil.

The current “exemplarist turn” within virtue ethics is increasingly shedding light on the importance of exemplars both as enabling one to identify the virtues and for the importance they bear for orienting one’s conduct, as well as for educating the novice. However, even if categorizations of exemplars have already been proposed, there seems to be a lack of discussion on the kind of imitation different exemplars are supposed to elicit. In order to offer a preliminary answer to this question, in (...) this paper I present three paths to flourishing via imitation of exemplary individuals: The Platonic, the Stoic, and the Aristotelian. Then, I sketch an attempt to reconcile these models. In conclusion, I suggest that, when it comes to education, this reconciliation becomes necessary. Along these lines, I recommend that a multi-step educational program is elaborated. (shrink)

This paper focuses on the path of appearance and awareness.

This study used a path analytic approach to examine the composite interaction of supervisory and records management with secondary school system effectiveness in terms of students' academic performance, teachers' job effectiveness and principals' administrative effectiveness. Two research questions were answered while one null hypothesis was tested. The study adopted a factorial research design. Convenience sampling technique was adopted by the researchers in selecting a sample of 1,200 respondents which comprised 271 principals and 929 teachers from a population of 271 (...) principals, and 4,878 teachers. Principal Innovative Management Practices and Administrative Effectiveness Questionnaire (PIMPAEQ), Teachers work effectiveness questionnaire (TWEQ), and Students Mathematics Achievement Test (SMAT) were all used as instruments for data collection. Collected data were analyzed using descriptive statistics, the research questions and null hypothesis were answered and tested (at .05 level of significance) respectively using multiple regression and path analyses with the aid of SPSS v25 and Amos v22. Findings from the study established amongst others that; supervisory management and records management practices have a significant joint contribution to students’ academic performance by 66.4%, teachers’ job effectiveness by 71%, and principals’ administrative effectiveness by 86.8%. Supervisory management and records management practices had a significant influence on students’ academic performance (F= 1183.641, p<.05), teachers’ job effectiveness (F= 1465.615, p<.05), and principals’ administrative effectiveness (F=3924.763, p<.05). It was recommended amongst others that; secondary school principals should jointly use supervisory and records management practices as innovative techniques for improving students’ academic performance, teachers’ job effectiveness and their own administrative effectiveness. KEYWORDS:. (shrink)

Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. (...) Of course, it is common to speak of the uncertainty, or randomness, of a random variable, but only the partition defined by the values of the random variable enter into the definition of uncertainty, not the actual values. It is straightforward to add axioms for decision making following the general line of Savage from the 1950s. Indeed, in the spirit of Epicurus, it is really our intuitive feeling about the uncertainty of the future that motivates much of our thinking about decisions. Here, the distinction between the concepts of probability and uncertainty can be made by citing many familiar examples. Without spelling out the technical details, the axiomatization of qualitative probability with uncertainty as the most important primitive concept, it is possible to raise a different kind of question about bounded rationality. This new question is whether or not one should bound the uncertainty in thinking and investigating any detailed framework of decision making. Discussion of this point is certainly different from the question of bounding rationality by not maximizing expected utility. In practice, we naturally bound uncertainty in our analysis of decision-making problems. As in the case of formulating an alternative for maximizing expected utility, so is the case of rational alternatives to maximizing uncertainty. There are several issues to consider. In the spirit of my other work in qualitative probability, I explore alternatives rather than attempt to give a definitive argument for one single solution. (shrink)

As with so many mystics, Alexis karpouzos intuitively know the oneness of cosmic creation and historic humanity as part of all that is and all there isn't. So, the originality of Alexis Karpouzos thought is that it crosses the most diverse fields, the most opposing philosophies, to unite them into an often contradictory and broken whole. Marx and Heidegger, Nietzsche, Freud and Heraclitus, poets and political theorists all come together in the same distance and the same unusual proximity. Alexis karpouzos (...) use Pre-Socratics philosophy and generally the ancient Greek philosophy, as well as the pre-philosophical thinking of The Upanishads, the Vedas and Buddhism in India, of Lao Tzu, of Zen Buddhism and the Taoist tradition in China, of the Arab mystics and poets, with their metaphysical religiosity as the metaphysical basis for the interpretation and understanding of the world and existence. At the same time the ancient metaphysics is connect with Hegel’s dialectical ontology and with the modern thinking of Marx, Nietzsche, Freud, Heidegger, and others as the interpretive context for understanding the central problems of the technical and scientific world during his time. Novalis, Hölderlin, Rimbaud, Whitman, Eliot and others show the dreamy nature of existence, the transcendence of the Cosmos, welcome the infinity. For Alexis karpouzos the combination of ancient and modern thought creates the holistic experience of universal space-time and the consciousness of the unity. The poetic thought of Alexis karpouzos is a expressions of soul's inner experiences, expression of universality. The inspiring visual images and the symbolic use of language offer a description of elevating experiences of consciousness, a glimpse of higher worlds. The philosophy of Alexis karpouzos speak to the human experience from a universal perspective, transcending all religions, cultural and national boundaries. Using vivid images and a direct language that speaks to the heart, his philosophy evokes a sense of deep communication with the collective unconscious, a sense of connection to all the creatures of the world, compassion for others, admiration for the beauty of nature, reverence for all life, and an abiding faith in the invisible touch of world. Alexis karpouzos thoughts are often terse and paradoxical, challenging us to to break out of the box of limiting beliefs and see things from a new perspective. Above all, Alexis karpouzos continually calls to us to wake up and explore the mysteries within our own selves, i.e the mysteries of universe. (shrink)

Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.

In the face of an impossibility result, some assumption must be relaxed. The Mere Addition Paradox is an impossibility result in population ethics. Here, I explore substantially weakening the decision-theoretic assumptions involved. The central finding is that the Mere Addition Paradox persists even in the general framework of choice functions when we assume Path Independence as a minimal decision-theoretic constraint. Choice functions can be thought of either as generalizing the standard axiological assumption of a binary “betterness” relation, or as (...) providing a general framework for a normative (rather than axiological) theory of population ethics. Path Independence, a weaker assumption than typically (implicitly) made in population ethics, expresses the idea that, in making a choice from a set of alternatives, the order in which options are assessed or considered is ethically arbitrary and should not affect the final choice. Since the result establishes a conflict between the relevant ethical principles and even very weak decision-theoretic principles, we have more reason to doubt the ethical principles. (shrink)

Under the assumption that anticipatory models are required for anticipatory behavior, an important question arises about the different manners in which organisms acquire anticipatory models. This article aims to articulate four different non-exhaustive ways that anticipatory models might possibly be acquired over both phylogenetic and ontogenetic timescales and explore the relationships among them. To articulate these different model-acquisition mechanisms, four schematics will be introduced, each of which represents a particular acquisition structure that can be used for the purposes of comparison, (...) analysis, and hypothesis formulation. By bringing to the fore the differences and similarities between each of the four ways that anticipatory models are acquired, a more complete picture of both anticipatory behavior and its pervasive role in biological self-maintenance can be offered. In doing so, this article helps not only to shed light on how anticipatory behavior might arise in the wide range of organisms that it has been observed in but also to throw into relief the subtle and often still overlooked causal interplay between ontogenetic and phylogenetic plasticity. (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions (...) of refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

During the past few decades, everyday aesthetics has established itself as a new branch of philosophical aesthetics alongside the more traditional philosophy of art. The Paths from Philosophy of Art to Everyday Aesthetics explores the intimate relations between these two branches of contemporary aesthetics. The essays collected in this volume discuss a wide range of topics from aesthetic intimacy to the nature of modernity and the essence of everydayness, which play important roles both in the philosophy of art and everyday (...) aesthetics. With these essays, the writers and editors of this volume wish to commemorate professor Arto Haapala on his 60th birthday. -/- This collection of articles is intended for scholars and students working in the fields of aesthetics, philosophy, and art studies. (shrink)

A structural equation modelling approach was used to analyse 32 factors affecting students’ attitudes towards test-taking in secondary schools. Data for the study were obtained from a sample of 1,276 students using the proportionate stratified random sampling technique. The instrument used for data collection was a Rating Scale on Factors Affecting Students’ Attitudes Towards Test-Taking (RSFASATTT). Findings of the study revealed a total of 21 factors that significantly affect students’ attitudes towards test-taking in secondary schools. Out of these significant factors, (...) 14 had a positive effect while 7 factors negatively affected students’ attitudes towards test-taking. However, 11 factors were not significant predictors of students’ attitudes towards test-taking. Based on these findings, it was concluded that students’ attitudes towards test-taking are affected by several factors. These factors are either traceable to the students’ emotions, their family background, or the school environment. Based on this conclusion, recommendations and policy implications were made. (shrink)

A framing effect occurs when an agent's choices are not invariant under changes in the way a decision problem is presented, e.g. changes in the way options are described (violation of description invariance) or preferences are elicited (violation of procedure invariance). Here we identify those rationality violations that underlie framing effects. We attribute to the agent a sequential decision process in which a “target” proposition and several “background” propositions are considered. We suggest that the agent exhibits a framing effect if (...) and only if two conditions are met. First, different presentations of the decision problem lead the agent to consider the propositions in a different order (the empirical condition). Second, different such “decision paths” lead to different decisions on the target proposition (the logical condition). The second condition holds when the agent's initial dispositions on the propositions are “implicitly inconsistent,” which may be caused by violations of “deductive closure.” Our account is consistent with some observations made by psychologists and provides a unified framework for explaining violations of description and procedure invariance. (shrink)

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness (...) and a four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s theorem. We conclude with a Representation Theorem relating models of our system that satisfy second order continuity to the mathematical structure called ‘Minkowski spacetime’ in physics textbooks. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: (...) the parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction (...) of these statements (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides (...) the Weyl’s system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that (...) guarantee that every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations. (shrink)

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular (...) ways) face complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less (...) restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal (...) axioms are restrictive. I argue, however, that large cardinals are still important axioms of set theory and can play many of their usual foundational roles. (shrink)

This essay argues that gun control in America is a philosophical as well as a policy debate. This explains the depth of acrimony it causes. It also explains why the technocratic public health argument favored by the gun control movement has been so unsuccessful in persuading opponents and motivating supporters. My analysis also yields some positive advice for advocates of gun control: take the political philosophy of the gun rights movement seriously and take up the challenge of showing that a (...) society without guns is a better society, not merely a safer one. (shrink)

Essay by Dr. Michael L. Riordan, the founder of Gilead Sciences, on the comparative utility of a medical versus legal education as preparation for public office.

In “On the Teachings of Gotama Buddha” (1925) and “Socrates-Buddha” (1926), Edmund Husserl claims that the Buddha achieves a transcendental view of consciousness by performing the epoché. Yet, states Husserl, the Buddha fails to develop a purely theoretical and universal science of consciousness, i.e., phenomenology, because his purely practical goal of Nibbāna limits knowledge of consciousness. I evaluate Husserl’s claims by examining the Buddha’s Majjhima Nikāya. I argue that Husserl correctly identifies an epoché and transcendental viewpoint in the Buddha’s teachings. (...) However, I contend that Husserl’s distinction between pure theory and pure praxis leads him to misconstrue the function of the Buddha’s epoché, the extent of knowledge that the Buddha gains from the transcendental viewpoint, and the nature of Nibbāna. I finally suggest that the Buddha presents a way of studying consciousness that is a way of life, meaning that any distinction between pure theory and pure praxis is dissolved. (shrink)

This article focuses on the dialectic of metapsychology and hermeneutics in psychoanalysis. By combining the causal language of the former with the intentional terminology of the latter, Freud's discourse continuously transgresses narrowly conceived boundaries of scientific disciplines and places its stakes both in the humanities and the natural sciences. The argument is made that attempts to reduce psychoanalytic theory to either causal explanation or interpretation of meaning, turn it into a closed thought-system and rob it of its vitality. Moreover, it (...) is argued that although Freud understood himself to be a scientist, by eschewing the dichotomous reductionism characteristic for both his orthodox followers and critics who try to turn psychoanalysis into either a natural-science-like discipline or a hermeneutics, Freud demonstrated that his self-understanding was far more sophisticated than either of these two groups admit to. This argument is supported by a detailed discussion of Freud's epistemological premises, his conception of science and reality, and, especially, the place which Freud allocated to metapsychology in his interdisciplinary science. It is claimed that metapsychology served Freud as a double-edged sword, both enabling creative and metaphorical thought about the mind's hidden reality, and revealing the necessary incompleteness of hermeneutics. The article concludes with the claim that psychoanalysis needs metapsychology in order to pursue this dual task. (shrink)

I highlight three features of P.F. Strawson’s later, neglected work on freedom and responsibility. First, in response to a criticism by Rajendra Prasad, Strawson explicitly rejects an argument put forward in ‘Freedom and Resentment’ against the relevance of determinism to moral responsibility. Second, his remarkable acceptance of Prasad’s criticism motivates him to take the ‘straight path’, that is, to be straightforward about the relation between determinism, freedom, the ability to do otherwise and the conditions of responsibility. He claims that (...) the ability to do otherwise is a necessary condition of responsibility and provides a list of additional conditions, including a knowledge condition. Third, he clarifies the relation between responsibility, quality of will and the reactive attitudes. The latter do not figure essentially in his answer to the question, ‘What are the conditions of responsibility?’, but they do play an essential role in his answer to the question, ‘Why do we have the concept of responsibility?’ We have it, Strawson suggests, because of our natural concern about the quality of will with which people act, a concern expressed in our reactive attitudes. I argue that, although Strawson’s later work definitely involves a shift of emphasis when compared to ‘Freedom and Resentment’, his overall account of freedom and responsibility is coherent. The later work helps to better understand the nature and significance of Strawson’s contribution, and to identify problems with common interpretations of and objections to ‘Freedom and Resentment’. (shrink)

In this brief introduction, I shall rather reflect, from a biographer’s viewpoint, on the significance of Discretion for our understanding of the trajectory of Hart’s ideas and on the significance of his year at Harvard. I shall then move on to consider the intriguing question of why Hart did not subsequently publish or build on some of the key insights in the paper itself. Here I highlight the fact that, almost uniquely in Hart’s work, Discretion features a notable emphasis on (...) the significance of institutional factors in our understanding of the nature of legal decisionmaking; and I argue that Hart’s failure fully to develop this insight in the essay, or to build on it in his subsequent work, derives from the fact that such a development would have necessitated a diversion from the philosophical issues that were his core intellectual concern, and moreover would have presented certain dangers to his conception of legal positivism. I shall conclude by considering what contribution the essay makes to our overall interpretation and evaluation of Hart’s legal philosophy. (shrink)

I propose a framework for comparative Islamic—Western ethics in which the Islamic categories "Islam, Iman," and "Ihsan" are juxtaposed with the concepts of obligation, value, and virtue, respectively. I argue that "shari'a" refers to both the obligation component and the entire structure of the Islamic ethic; suggesting a suspension of the understanding of "shari'a" as simply Islamic "law," and an alternative understanding of "usul al-fiqh" as a moral epistemology of obligation. I will test this approach by addressing the question of (...) reason in Islamic moral epistemology via an examination of an argument advanced by a founding usul scholar Muhammad bin Idrīs al-Shāfi'ī (150 A.H./767 C.E.). (shrink)

Bhakti yoga is a unique approach to achieve freedom through concurring egoism. Ramanujacharya has explored a non-dualistic and theological way to experience the higher self through the bhakti. Therefore, this study examines the potentiality of the teachings of the Ramanujacharya on Bhakti for the Yogic Bhakti Sadhana. Ramanujacharya represents the philosophical school of Vedanta. His philosophical and theological teachings are based on the Vedic text of Prastana Trayam. Ramanujacharya is majorly concerned about the practice of bhakti or devotion in his (...) philosophy. The accomplishment of the Ramanujacharya is based on Vaisnavism. Which is an experience of the Saguna form of Vishnu. Through the practice of Sadhana Saptaka individual continues his practice of Bhakti Sadhana, and ultimately the individual is driven to the Praptti. In Praptti individual achieves the state of self-surrender which is the essence of the Bhakti Sadhana. Therefore, the synthesis of these teachings highlights that through the utilization of the Bhakti Sadhana individual can concur his egoism through the achievement of parama – purushartha of Ramanujacharya teachings. Therefore, according to yoga, the flow of the mind creates egoism in the individual. The practice of Ramanujacharya bhakti yoga directs the individual to the cessation the egoism and free from misery through self-surrender and self-realization. Therefore, Ramanujacharya's teachings of Bhakti Sadhana have the potential of cultivating the ego-less pure jivatman as prescribed in the yoga Sadhana. (shrink)

Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...) causes chains confirms the existence of God, and this is what our paper tries using Zorn’s lemma, an equivalent for one of the most celebrated axioms of mathematics, the Axiom of Choice. (shrink)

There is a growing body of literature investigating the impact of retraining and motivation on employee work efficiency. However, little seems to be understood about the effects of employee placement on the commitment of teachers to their jobs. To the best of the researcher's awareness, the partial and composite impact of staff placement, retraining, and motivation on the three aspects of job commitment (affective, continuance and normative) among secondary educators have scarcely been examined. This research was intended to fill this (...) vacuum by using a predictive path modelling approach to analyse the association between these endogenous and exogenous variables. A random sample of 500 secondary school principals was surveyed using two forms of questionnaires. Collected data were analysed and formulated hypotheses tested using Path and multiple linear regression analyses, with the aid of Amos and SPSS packages. Findings indicated that staff placement and motivation were highly predictive of instructors' commitment (at the affective and continuance dimension), but not at the normative dimension; Employee dedication in the three dimensions was not predicted by personnel retraining, but it did result in employee attrition; workers retraining only increased teachers' work commitment when it was augmented with placement and motivation. The combined effect of staff placement, retraining, and motivation was statistically significant in two dimensions of teachers’ job commitment (affective and continuance), but not on the normative dimension. Based on these findings, policy and theoretical ramifications for effective instructional management, assessment, classroom practice, and future study are discussed. (shrink)

Is there a ‘common element’ in Buddhist ethical thought from which one might rationally reconstruct a Buddhist normative ethical theory? While many agree that there is such an element, there is disagreement about whether it is best reconstructed in terms that approximate consequentialism or virtue ethics. This paper will argue that two distinct evaluative relations underlie these distinct positions; an instrumental and constitutive analysis. It will raise some difficulties for linking these distinct analyses to particular normative ethical theories but will (...) give reasons to think that both analyses may be justified. It will close with some reflections on the complexity involved in trying to establish a single and homogeneous position on the nature of Buddhist ethics. (shrink)

According to the Path Principle, it is permissible to expand your set of beliefs iff (and because) the evidence you possess provides adequate support for such beliefs. If there is no path from here to there, you cannot add a belief to your belief set. If some thinker with the same type of evidential support has a path that they can take, so do you. The paths exist because of the evidence you possess and the support it (...) provides. Evidential support grounds propositional justification. -/- The principle is mistaken. There are permissible steps you may take that others may not even if you have the very same evidence. There are permissible steps that you cannot take that others can even if your beliefs receive the same type of evidential support. Because we have to assume almost nothing about the nature of evidential support to establish these results, we should reject evidentialism. (shrink)