Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

Collected and edited by Noah Levin -/- Table of Contents: -/- UNIT ONE: INTRODUCTION TO CONTEMPORARY ETHICS: TECHNOLOGY, AFFIRMATIVE ACTION, AND IMMIGRATION 1 The “Trolley Problem” and Self-Driving Cars: Your Car’s Moral Settings (Noah Levin) 2 What is Ethics and What Makes Something a Problem for Morality? (David Svolba) 3 Letter from the Birmingham City Jail (Martin Luther King, Jr) 4 A Defense of Affirmative Action (Noah Levin) 5 The Moral Issues of Immigration (B.M. Wooldridge) 6 The (...) Ethics of our Digital Selves (Noah Levin) -/- UNIT TWO: TORTURE, DEATH, AND THE “GREATER GOOD” 7 The Ethics of Torture (Martine Berenpas) 8 What Moral Obligations do we have (or not have) to Impoverished Peoples? (B.M. Wooldridge) 9 Euthanasia, or Mercy Killing (Nathan Nobis) 10 An Argument Against Capital Punishment (Noah Levin) 11 Common Arguments about Abortion (Nathan Nobis & Kristina Grob) 12 Better (Philosophical) Arguments about Abortion (Nathan Nobis & Kristina Grob) -/- UNIT THREE: PERSONS, AUTONOMY, THE ENVIRONMENT, AND RIGHTS 13 Animal Rights (Eduardo Salazar) 14 John Rawls and the “Veil of Ignorance” (Ben Davies) 15 Environmental Ethics: Climate Change (Jonathan Spelman) 16 Rape, Date Rape, and the “Affirmative Consent” Law in California (Noah Levin) 17 The Ethics of Pornography: Deliberating on a Modern Harm (Eduardo Salazar) 18 The Social Contract (Thomas Hobbes) -/- UNIT FOUR: HAPPINESS 19 Is Pleasure all that Matters? Thoughts on the “Experience Machine” (Prabhpal Singh) 20 Utilitarianism (J.S. Mill) 21 Utilitarianism: Pros and Cons (B.M. Wooldridge) 22 Existentialism, Genetic Engineering, and the Meaning of Life: The Fifths (Noah Levin) 23 The Solitude of the Self (Elizabeth Cady Stanton) 24 Game Theory, the Nash Equilibrium, and the Prisoner’s Dilemma (Douglas E. Hill) -/- UNIT FIVE: RELIGION, LAW, AND ABSOLUTE MORALITY 25 The Myth of Gyges and The Crito (Plato) 26 God, Morality, and Religion (Kristin Seemuth Whaley) 27 The Categorical Imperative (Immanuel Kant) 28 The Virtues (Aristotle) 29 Beyond Good and Evil (Friedrich Nietzsche) 30 Other Moral Theories: Subjectivism, Relativism, Emotivism, Intuitionism, etc. (Jan F. Jacko). (shrink)

In this handbook, I put into practice my philosophical views on children's mathematics. The handbook contains brief instructions and examples of mathematical activities. In the INSTRUCTIONS section, instructions are given on how, and in part why that way, to help preschool children in their mathematical development. In the ACTIVITIES section, there are examples of activities through which the child develops her mathematical abilities.

In many spheres, the law takes the legal concept of causation to correspond to the folk concept (the correspondence assumption). Courts, including the US Supreme Court, tend to insist on the "common understanding" and that which is "natural to say" (Burrage v. United States) when it comes to expressions relating to causation, and frequently refuse to clarify the expression to juries. As recent work in psychology and experimental philosophy has uncovered, lay attributions of causation are susceptible to a great number (...) of unexpected factors, some of which seem rather peripheral to causation. One of those is the norm effect (Knobe & Fraser, 2008): Agents who, in acting as they do, break a salient norm, are more likely to be considered as having caused a certain consequence than when they do not violate a norm. According to some (e.g., Alicke, 1992) this constitutes a bias. According to others (e.g., Sytsma, 2020), the folk concept of causation is sensitive to normative factors, and there’s nothing wrong with that. In this paper, we explore the question whether the norm effect should be considered a bias from the legal perspective on the one hand, and from the psychological perspective on the other. To do this, we test whether norms which are nonpertinent to the consequences or outright silly also impact causation judgements. The data from two preregistered experiments (total N=593) clearly show they do. This, we argue, makes the bias interpretation plausible from the psychological perspective, and both plausible and problematic from the legal perspective. It also shows that the law should abstain from unreflectively assuming conceptual correspondence between legal and ordinary language concepts. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties in (...) terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

I offer a new interpretation of Heidegger’s analysis of anxiety in Being and Time as an account of the relationship between individual agents and the public normative practices of their communities. According to a prominent recent interpretation, Heidegger’s discussions of anxiety, death and the “call of conscience” together explain how we can respond to the norms of our practices as reasons and subject them to critical reflection. I argue that this is only part of the story. Anxiety is an occasion (...) for Dasein to take responsibility for its ongoing activity of interpreting the possibilities for living and acting made available by the normative practices of its community, which is presupposed and overlooked from the perspective of everyday Dasein. Public normativity underdetermines Dasein’s conception of what it would mean to take up any of the possibilities available in its world as a way of living its own life. (shrink)

On the received view, counterfactuals are analysed using the concept of closeness between possible worlds: the counterfactual 'If it had been the case that p, then it would have been the case that q' is true at a world w just in case q is true at all the possible p-worlds closest to w. The degree of closeness between two worlds is usually thought to be determined by weighting different respects of similarity between them. The question I consider in the (...) paper is which weights attach to different respects of similarity. I start by considering Lewis's answer to the question and argue against it by presenting several counterexamples. I use the same examples to motivate a general principle about closeness: if a fact obtains in both of two worlds, then this similarity is relevant to the closeness between them if and only if the fact has the same explanation in the two worlds. I use this principle and some ideas of Lewis's to formulate a general account of counterfactuals, and I argue that this account can explain the asymmetry of counterfactual dependence. The paper concludes with a discussion of some examples that cannot be accommodated by the present version of the account and therefore necessitate further work on the details. (shrink)

Approximate coherentism suggests that imperfectly rational agents should hold approximately coherent credences. This norm is intended as a generalization of ordinary coherence. I argue that it may be unable to play this role by considering its application under learning experiences. While it is unclear how imperfect agents should revise their beliefs, I suggest a plausible route is through Bayesian updating. However, Bayesian updating can take an incoherent agent from relatively more coherent credences to relatively less coherent credences, depending on the (...) data observed. Thus, comparative rationality judgments among incoherent agents are unduly sensitive to luck. (shrink)

In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.

Much of the modern philosophy of causation has been governed by two ideas: (i) causes make their effects inevitable; (ii) a cause is something that makes a difference to whether its effect occurs. I focus on explaining the origin of idea (ii) and its connection to (i). On my view, the frequent attempts to turn (ii) into an analysis of causation are wrongheaded. Patterns of difference-making aren't what makes causal claims true. They merely provide a useful test for causal claims. (...) Moreover, what justifies us in using them as a test is idea (i). That's how (i) and (ii) are connected. (shrink)

Extant research has shown that ordinary causal judgments are sensitive to normative factors. For instance, agents who violate a norm are standardly deemed more causal than norm-conforming agents in identical situations. In this paper, we explore two competing explanations for the Norm Effect: the Responsibility View and the Bias View. According to the former, the Norm Effect arises because ordinary causal judgment is intimately intertwined with moral responsibility. According to the alternative view, the Norm Effect is the result of a (...) blame-driven bias. In a series of five preregistered experiments (N = 2688), we present evidence that predominantly favours the Bias View. In particular, and against predictions made by the Responsibility View, we show that participants deem agents who violate nonpertinent or silly norms – norms that do not relate to the outcome at hand – as more causal, and that this effect cannot be explained in terms of plausible mediators such as the agent’s foreknowledge and desire, or the foreseeability of harm. We close with a discussion regarding the implications of these findings, in as regards the just assessment of proximate cause in the law. (shrink)

Evidential decision theory (EDT) says that the choiceworthiness of an option depends on its evidential connections to possible outcomes. Causal decision theory (CDT) holds that it depends on your beliefs about its causal connections. While Newcomb cases support CDT, Arif Ahmed has described examples that support EDT. A new account is needed to get all cases right. I argue that an option A's choiceworthiness is determined by the probability that a good outcome ensues at possible A‐worlds that match actuality in (...) the facts causally unaffected by your decision (the “unaffected facts”). Moreover, you should evaluate A on the assumption that A is compossible with the unaffected facts. This view entails that you should use EDT when evaluating A on the assumption that the unaffected facts determine your action, but use CDT when assessing A on the opposite assumption. A's choiceworthiness equals a weighted average of these conditional assessments. The weights are determined by your beliefs about whether the unaffected fact determine your action. This account gets both Newcomb and Ahmed cases right. According to an influential view, whether you take the unaffected facts to determine your action can make a difference to whether you can regard yourself as free and the action as being under your control. While my account is neutral on this issue, it entails that whether you take the unaffected facts to determine your action is important in a different way: it matters to whether you should follow EDT or CDT. (shrink)

The essential role of language in rational cognition is analysed. The approach is functional: only the results of the connection between language, reality, and thinking are considered. Scientific language is analysed as an extension and improvement of everyday language. The analysis gives a uniform view of language and rational cognition. The consequences for the nature of ontology, truth, logic, thinking, scientific theories, and mathematics are derived.

From the comparison of time in inertial frames, possible types of transformations between inertial frames are deduced. This elementary deduction directly relates the properties of time with the type of transformations. When all inertial frames measure the same time (time is absolute), the transformations are Galilean. When each inertial frame has its own time, different from the times of other inertial frames (time is not invariant) the transformations are Lorentz-like with the same positive parameter k. The parameter k is the (...) supremum of possible velocities in an inertial frame, the same for all inertial frames. Einstein's postulate about the invariance of the speed of light says more: there is a uniform motion with the supremum k, which is exactly the motion of light. At the end of the article, attempts to reduce the special theory of relativity to the principle of relativity are criticized. (shrink)

While there are satisfactory answers to the question “How should we teach children mathematics?”, there are no satisfactory answers to the question “What mathematics should we teach children?”. This paper provides an answer to the last question for preschool children (early childhood), although the answer is also applicable to older children. This answer, together with an appropriate methodology on how to teach mathematics, gives a clear conception of the place of mathematics in the children’s world and our role in helping (...) children develop their mathematical abilities. Briefly, children’s mathematics consists of the world of children’s internal activities that they eventually purposefully organize in order to understand and control the outside world and organize their overall activities in it. We need to support a child in mathematical activities that she does spontaneously and in which she shows interest, and we need to teach her mathematics that she is interested in developing through these activities. In doing so, we must be fully aware that the child’s mathematics is part of the child’s world of internal activities and is not outside of it. We help the child develop mathematical abilities by developing them in the context of her world and not outside of it. From the point of view of this conception, the standards established today are limiting and too focused on numbers and geometric figures: these topics are too prominent and elaborated, and other mathematical contents are subordinated to them. Adhering to the standards, we drastically limit the mathematics of the child’s world, hamper the correct mathematical development of a child, and we can turn her away from mathematics. (shrink)

Aristotle’s aitiai are middle terms in Aristotelian syllogisms. I argue that stating the aitia of a thing therefore amounts to re-describing this same thing in an alternative and illuminating way. This, in turn, means that a thing and its aitiai really are one and the same thing under different descriptions. The purpose of this paper is to show that this view is implied by Aristotle’s account of explanation, and that it makes more sense than one might expect.

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form (...) a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

In this essay I defend the claim that the life of a living being is not one of its properties but something different: a mode of being. It follows from this that living beings should not be taken to be things that possess the property of being alive. Second, I argue that living beings are essentially involved in ongoing activities as long as they exist. Life cannot only be a disposition to be active, but must itself be an ongoing activity. (...) Third, I suggest that for something to be a living being is to engage in activities whose success is determined by criteria that emerge exclusively from a proper account of the nature of the living being in question. To identify something as a living being is not to attribute a particular property to it, but to say what criteria apply to what it actually is or does. (shrink)

The Russell-Myhill paradox puts pressure on the Russellian structured view of propositions by showing that it conflicts with certain prima facie attractive ontological and logical principles. I describe several versions of RMP and argue that structurists can appeal to natural assumptions about metaphysical grounding to provide independent reasons for rejecting the ontological principles used in these paradoxes. It remains a task for future work to extend this grounding-based approach to all variants of RMP.

This paper analyzes the historical context and systematic importance of Kant's hypothetical use of reason. It does so by investigating the role of hypotheses in Kant's philosophy of science. We first situate Kant’s account of hypotheses in the context of eighteenth-century German philosophy of science, focusing on the works of Wolff, Meier, and Crusius. We contrast different conceptions of hypotheses of these authors and elucidate the different theories of probability informing them. We then adopt a more systematic perspective to discuss (...) Kant's idea that scientific hypotheses must articulate real possibilities. We argue that Kant's views on the intelligibility of scientific hypotheses constitute a valuable perspective on scientific understanding and the constraints it imposes on scientific rationality. (shrink)

Many philosophers and non-philosophers who reflect on the causal antecedents of human action get the impression that no agent can have morally relevant freedom. Call this the ‘non-existence impression.’ The paper aims to understand the (often implicit) reasoning underlying this impression. On the most popular reconstructions, the reasoning relies on the assumption that either an action is the outcome of a chance process, or it is determined by factors that are beyond the agent’s control or which she did not bring (...) about. I argue that arguments based on this premise fail to apply to some possible agents for whom the non-existence impression arises. On the alternative reconstruction I offer, the impression rests on the assumption that free will requires being involved in the ultimate explanation of one’s actions in a novel sense in which nothing can be involved in the ultimate explanation of anything. (shrink)

Eric Watkins argues that according to Kant, causation is not a relation between two events, but a relation between the “causality” of a substance and an event. It is shown that his arguments are partly based on a confusion between causation and interaction. Further, Watkins claims that for Kant, causes cannot be temporally determined. If this were true, it would follow that there can be no causal chains, and that all factors that determine the time when an effect occurs do (...) not belong to its cause. However, it is not true. In order to understand Kant, one must distinguish between causation, action, and interaction. When two substances interact, each of them does something (an event), which causes something to happen to the other one. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are not (...) truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

Argument that Lewis and others are wrong that physicalism is if true then contingently true.

The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that meets certain conditions (...) that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

This chapter argues that the distinction between ambitious and modest transcendental arguments, developed and deployed by various authors in the wake of Stroud’s influential critique of transcendental reasoning, may be pointless when applied to transcendental arguments from performative inconsistency that have moral statements as their conclusions. If moral truth is assertorically constrained, then any modest moral transcendental argument from performative inconsistency can be converted into an ambitious moral transcendental argument. The chapter provides an account of performative inconsistency and suggests an (...) alternative to the widespread reading of transcendental conditionals in terms of an ‘if-then’-sentences whose antecedents express a proposition to the effect that some x is possible and whose consequents express a statement to the effect that some y is actual. (shrink)

A growing body of literature has revealed ordinary causal judgement to be sensitive to normative factors, such that a norm-violating agent is regarded more causal than their non-norm-violating counterpart. In this paper, we explore two competing explanations for this phenomenon: the Responsibility View and the Bias View. The Bias View, but not the Responsibility View, predicts features peripheral to the agent’s responsibility to impact causal attributions. In a series of three preregistered experiments (N = 1162), we present new evidence that (...) the Norm Effect arises from such peripheral features, namely from nonpertinent or entirely silly norm violations. Furthermore, we show that this effect cannot be explained by recourse to the agent’s foreknowledge or desire of the outcome, nor by its foreseeability: the Norm Effect arises even when participants judge the norm-violating agent’s doing as equally foreseeable. This, we argue, provides evidence in favour of the Bias View. (shrink)

Many philosophers have argued that statistical evidence regarding group characteristics (particularly stereotypical ones) can create normative conflicts between the requirements of epistemic rationality and our moral obligations to each other. In a recent article, Johnson-King and Babic argue that such conflicts can usually be avoided: what ordinary morality requires, they argue, epistemic rationality permits. In this article, we show that as data get large, Johnson-King and Babic’s approach becomes less plausible. More constructively, we build on their project and develop a (...) generalized model of reasoning about stereotypes under which one can indeed avoid normative conflicts, even in a big data world, when data contain some noise. In doing so, we also articulate a general approach to rational belief updating for noisy data. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

Contingentism is the view that it is possible for there to be contingent existents. Timothy Williamson has argued that contingentists cannot provide a satisfactory interpretation of the possible-world semantics for modal logic. This paper aims to provide such an interpretation on behalf of contingentists.

In a study that goes beyond the ego affirmed by Freudian psychology, David Levin offers an account of personal growth and self-fulfillment based on the development of our capacity for listening. Drawing on the work of Dewey, Piaget, Erikson, and Kohlberg, he uses the vocabulary of phenomenological psychology to distinguish four stages in this developmental process and brings us the significance of these stages for music, psychotherapy, ethics, politics, and ecology. This analysis substantiates his claim that the development of (...) our listening capacity is a process that fits Foucault's conception of a practice of the self, forming our character as social beings and moral agents. David Levin contends that our self- development as auditory beings is necessary for the achievement of a just and democratic society. (shrink)

In recent years the term ‘recognition’ has been used in ever more variegated theoretical contexts. This article contributes to the discussion of how the concept(s) expressed by this term in different debates should be explicated and understood. For the most part it takes the concept itself as its topic rather than making theoretical use of it. Drawing on important work by Ikäheimo and Laitinen and taking Honneth’s tripartite distinction of recognition into love, respect, and esteem as a starting point it (...) introduces the conceptual distinction between recognitive attitudes, recognitive relations, and recognitive acts, discusses Brandom’s attempt at explaining self-consciousness in terms of reflexive recognition mediated by intersubjective recognitive relations and suggests some critical points on how Butler puts the concept of recognition to work in her conception of ethics. (shrink)

In this chapter, we assess the current state-of-the-art of the Hungarian sharing economy sector relying on statistics, previous surveys, and expert interviews around case examples. Although we record a fast emergence of an increasing number and a widening variety of multinational and home-grown initiatives, we also contend that in Hungary, the innovation ecosystem of the collaborative economy is still relatively feeble. The linkages that are created through these initiatives are controversial sociologically. The main end-users are highly educated young urbanites. In (...) contrast, on the service provider front, the non-formal workforce is quite vulnerable as the current regulations hardly provide any protection to platform workers. The motivations of the key players in the sector are varied, as only a few locally based initiatives are transformative. In contrast, most examples are solely linked to finding new business opportunities in a shrinking economy. (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)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

The sciences may be able to describe living beings, but this is not to account for their life. Life is not a describable property of things. There is also no philosophical a priori argument by which one could prove the existence of life – except perhaps our own. In order to understand what life is, we must start with our conception of that life that we know, human life, and reduce the notion of this life to a notion of mere (...) life. We may do this by introducing the following distinctions. Intentional movements may succeed, be interrupted, or be mistaken. In contrast, merely teleological movements can only succeed or be interrupted, but not mistaken. Further, intentional movements are executed as more or less suitable means for achieving an end. Merely teleological movements are not performed as means to ends in this sense, but that does not render them less goal-directed. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.

According to a standard interpretation of the term, ‘gender’ denotes sets of social roles and expectations conventionally associated with the sexual physiology of human beings. Originally introduced in psychology, the term is now widely used in the social sciences and humanities, as well as in the biological sciences. In this article we introduce and discuss the central themes of contemporary philosophical debates on gender. Particular attention is paid to recent feminist arguments concerning the distinction between sex and gender, and to (...) how feminist debates today intersect with neuroscience research on sex-related differences between human brains. (shrink)

The distinctly contemporary proliferation of pornography and hate speech poses a challenge to liberalism's traditional ideal of a 'marketplace of ideas' facilitated by state neutrality about the content of speech. This new study argues that the liberal state ought to depart from neutrality to meet this challenge.

У статті підсумовано основні результати багаторічного дослідження «веймарської класики» і раннього німецького романтизму, розкрито суть «модерністичного проекту», спрямованого на інтелектуально-культурне оновлення всього європейського суспільства. Розглянуто три світоглядні «кризи модерну». Перша – на зламі XVIII–ХІХ ст. Романтики тоді розділили мистецтво естетично і соціологічно на масове і високе, а історично – на сучасний і «класичний» мейнстріми. Простежено подальшу долю «проекту» в умовах другої кризи доби Модерн на зламі ХІХ–ХХ ст. (тут естафету романтиків підхопив Ф. Ніцше) і уже в наш час – останньої (...) і остаточної третьої кризи Модерну. (shrink)

The concept of inertial frame of reference in classical physics and special theory of relativity is analysed. It has been shown that this fundamental concept of physics is not clear enough. A definition of inertial frame of reference is proposed which expresses its key inherent property. The definition is operational and powerful. Many other properties of inertial frames follow from the definition, or it makes them plausible. In particular, the definition shows why physical laws obey space and time symmetries and (...) the principle of relativity, it resolves the problem of clock synchronization and the role of light in it, as well as the problem of the geometry of inertial frames. (shrink)

The distinction between teleology and teleonomy that biologists sometimes refer to seems to be helpful in certain contexts, but it is used in several different ways and has rarely been clearly drawn. This paper discusses three prominent uses of the term “teleonomy” and traces its history back to what seems to be its first use. This use is examined in detail and then justified and refined on the basis of elements found in the philosophy of Aristotle, Kant, Anscombe and others. (...) In the course of this explication, it will also be shown how the description of end-directed processes relates to their explanation. (shrink)

The international protest surrounding the Copenhagen Zoo’s recent decision to kill a healthy giraffe in the name of population management reveals a deep moral tension between contemporary zoological display practices—which induce zoo-goers to view certain animals as individuals, quasi-persons, or friends—and the traditional objectives of zoos, which ask us only to view animals as specimens. I argue that these zoological display practices give rise to moral obligations on the part of zoos to their visitors, and thus ground indirect duties on (...) behalf of zoos to their animals. I conclude that zoos might take on interspecies friendship as a new zoological objective. (shrink)

In this article, modern standards of early years mathematics education are criticized and a proposal for change is presented. Today's early years mathematics education standards rest on a view of mathematics that became obsolete already at the end of the 19th century while the spirit of children's mathematics is precisely the spirit of modern mathematics. The proposal for change is not a return to the “new mathematics” movement, but something different.

Descartes claims that God is a substance, and that mind and body are two different and separable substances. This paper provides some background that renders these claims intelligible. For Descartes, that something is real means it can exist in separation, and something is a substance if it does not depend on other substances for its existence. Further, separable objects are correlates of distinct ideas, for an idea is distinct (in an objective sense) if its object may be easily and clearly (...) separated from everything that is not its object. It follows that if our idea of God is our most distinct idea, as Descartes claims, then God must be a substance in the Cartesian sense of the term. Also, if we can have an idea of a thinking subject which does not in any sense refer to bodily things, and if bodily things are substances, then mind and body must be two different substances. (shrink)

A simple interpretation of quantity calculus is given. Quantities are described as two-place functions from objects, states or processes (or some combination of them) into numbers that satisfy the mutual measurability property. Quantity calculus is based on a notational simplification of the concept of quantity. A key element of the simplification is that we consider units to be intentionally unspecified numbers that are measures of exactly specified objects, states or processes. This interpretation of quantity calculus combines all the advantages of (...) calculating with numerical values (since the values of quantities are numbers, we can do with them everything we do with numbers) and all the advantages of calculating with standardly conceived quantities (calculus is invariant to the choice of units and has built-in dimensional analysis). This also shows that the standard metaphysics and mathematics of quantities and their magnitudes is not needed for quantity calculus. At the end of the article, arguments are given that the concept of quantity as defined here is a pivotal concept in understanding the quantitative approach to nature. As an application of this interpretation of quantity calculus, an easy proof of dimensional homogeneity of physical laws is given. (shrink)