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)

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 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.

The paper examines the justification of warfare. The main thesis is that war is very difficult to justify, and justification by invoking “justice” is not the way to succeed it. Justification and justness are very different venues: while the first attempts to explain the nature of war and offer possible schemes of resolution, the second aims to endorse a specific type of warfare as correct and hence allowed – which is the crucial part of “just war theory.” However, “just war (...) theory,” somewhat Manichean in its nature, has very deep flaws. Its final result is criminalization of war, which reduces warfare to police action, and finally implies a very strange proviso that one side has a right to win. All that endangers the distinction between ius ad bellum and ius in bello, and destroys the collective character of warfare. Justification of war is actually quite different – it starts from the definition of war as a kind of conflict which cannot be solved peacefully, but for which there is mutual understanding that it cannot remain unresolved. The aim of war is not justice, but peace, i.e. either a new articulation of peace, or a restoration of the status quo ante. Additionally, unlike police actions, the result of war cannot be known or assumed in advance, giving war its main feature: the lack of control over the future. Control over the future, predictability, is a feature of peace. This might imply that war is a consequence of failed peace, or inability to maintain peace. The explanation of this inability forms the justification of war. Justice is always an important part of it, but justification cannot be reduced to it. The logic contained here refers to ius ad bellum, while ius in bello is relative to various parameters of sensitivity prevalent in a particular time, with the purpose to make warfare more humane and less expensive. (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)

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)

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)

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)

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)

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.

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.

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)

Our time is characterized by what seems like an unprecedented process of intense global homogenization. This reality provides the context for exploring the nature and value of toleration. Hence, this essay is meant primarily as a contribution to international ethics rather than political philosophy. It is argued that because of the non-eliminability of differences in the world we should not even hope that there can be only one global religion or ideology. Further exploration exposes conceptual affinity between the concepts of (...) intolerance, ideology, and doctrinal evil. The last concept is developed in contrast to pure evil and average evil, and under the assumption of the metaphysical necessity of free will. Doctrinal evil is found to represent the main source of intolerance as a result of a mechanism that tends to confuse doctrinal evil (or the competing conceptions of the good) with pure evil. This connection between doctrinal evil and pure evil provides ideologies with their forcefulness. Tolerance cannot be properly understood in terms of a simple opposition to intolerance, however. Tolerance emerges as a sort of vigilance, conscientiousness, and non-negligence based not on a supposedly correct interpretation of the good, but rather on the acceptance of the fallibility of any such attempted definition. Conversely, the principal evil in doctrinal evil is found in arrogance that accompanies the intolerance-inducing irresponsible thoughtlessness. With this conceptual topology in mind the paper also addresses questions regarding religious tolerance, the ideology of human rights and democracy, the right to self-defense, ways to face evil, the dialectics of using old names for novel evils, and related issues. (shrink)

Teza o "neskrivljenom neznanju" je instrument u okviru teorije pravednog rata koja sluzi da se moralno opravda ucesce u ratu za pripadnike one strane koja je porazena; uslovi za neskrivljenost su da su porazeni borci iskreno verovali da brane pravednu stvar i da su takodje iskreno verovali da imaju nekih izgleda da pobede. Bez ovog instrumenta teorija pravednog rata, jedna teorija koja opravdava rat preko pravednog uzroka rata, bi porazenoj strani narocito ako je slabija, morala da unapred pripise krivicu sto (...) je uopste usla u rat. Medjutim, u savremenoj situaciji rasirene kriminalizacije rata sam pojam rata se menja i postaje izuzetno neodredjen. Kako ratovi postaju sve vise i vise "asimetricni", pre svega u snazi sukobljenih strana, cini se da se teorija pravednog rata suocava sa teskocom da u svoje okvire uopste situira "neskrivljeno neznanje", ali to povlaci teskocu te teorije da pokaze da pravda ide sa pobedom, otvarajuci tako pitanje artikulacije pravednog mira. (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)

After a short historical survey of philosophical views on property, the article contains an analysis of the argument which justifies property by referring to the universal respect due to anyone’s right to use any thing for any purpose. Usage 224 JOVAN BABIĆ SVOJINA ҄ FILOZOFSKA ANALIZA: ARGUMENT of things for the realization of set ends (or goals) is among the conditions of action/ agency. The capacity of freedom as a specific causal power in real world is dependent on the possibility (...) of using things as means. However, without a real prospect to finish the process of realization of set goals, this causal power would not be real. Property is a scheme within which this prospect becomes a real possibility. Property is thus a condition of effective successful purposeful agency. In property the normative position of all others, besides the owner, has been changed, as they do not have the right to use things possessed for their ends, although they have a right to use any non-possessed thing as a means for whichever end they might set. As a right, property entails, first, the obligation to respect the fact of any established possession, and, second, an obligation to accept and recognize the established possession as ownership, which does not depend on the fact of factual physical control of the property. Ownership is therefore a guarantee of future possession. For this to be established there is a need for an explicit recognition from all others; however this recognition is normatively necessary for everybody, as no-one has a right to withdraw the recognition of a legitimate right to property. This comes from the ontological and axiological difference between persons and things: persons have a right to use and possess unpossessed things as means for realization of ends they set. (shrink)

The paper has three parts. The first is a discussion of the values as goals and means. This is a known Moorean distinction between intrinsic and instrumental values, with one other Moorean item - the doctrine of value wholes. According to this doctrine the value wholes are not simply a summation of their parts, which implies a possibility that two evils might be better than one (e. g. crime + punishment, two evils, are better than either one of them taken (...) separately). In this first part I will discuss peace as an end value, and war as a means value. The second part dicsusses briefly the issue of sincerity. The third, last and for me the most important part of the paper explores the issue of moral integrity in pacifism: could a pacifist preserve the integrity of the attacker, or, for that matter her own integrity, or must she destroy anyone’s integrity and dehumanize the attacker and also herself? (shrink)

The paper considers the nature of the state understood as the political unity articulated on the basis of a collective identity which provides the state with its capacity to make decisions. The foremost decision of the state to protect and defend this identity is the source of its authority to enforce laws. Collective identity thus represents an object of special interest, unlike both “political” interests (Millian other-regarding acts) and private interests (Millian self-regarding acts). The validation of laws through this special (...) interest is a necessary condition for both of these latter kinds of interests to materialize. Hence, unlike the Millian thesis of two different kinds of interests (self- and other-regarding), here we take that there are three types or spheres of interests. Any conception of rights, then, will cover a subset of interests found in the domains of all of those three types of interests: in the domain of political interest the issue concerns selection among competing sets of legitimate interests, within the domain of private interests the point is to discern those that will be protected by law, while the third type of interests, the object of which is a unique collective identity and its defining specificity, represents an overarching interest that is embedded in any legitimate collective concern. In this scheme, well-suited for democratic theory, the majority/minority discourse is a matter of distinguishing which particular set of legitimate interests is chosen to be dominant (e.g., which political party is in power) and which ones are waiting for the opportunity to achieve their transformation from minority (opposition) to majority (i. e. government). If, however, there is no well-defined collective identity, minorities acquire a new meaning. Rather than being possible future majorities, they form a nucleus of competing collective identities with, sometimes hopeless but still alive, aspirations to sovereignty. Thus they become sources of likely conflicts that may go well beyond political controversies. (shrink)

This paper explores two different but intimately linked concepts. First, there is "reciprocal illumination," or the relation of interdependence of the object of knowledge and its subject. Second is the "irreversibility" which characterizes the process of applying constitutive rules, which causes institutional facts to become facts, and to be even stricter and more epistemologically constant than brute facts.

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.

After a short historical survey of philosophical views on property, the article contains an analysis of the argument which justifies property by referring to the universal respect due to anyone’s right to use any thing for any purpose. Usage of things for the realization of set ends (or goals) is among the conditions of action/ agency. The capacity of freedom as a specific causal power in real world is dependent on the possibility of using things as means. However, without a (...) real prospect to finish the process of realization of set goals, this causal power would not be real. Property is a scheme within which this prospect becomes a real possibility. Property is thus a condition of effective successful purposeful agency. In property the normative position of all others, besides the owner, has been changed, as they do not have the right to use things possessed for their ends, although they have a right to use any non-possessed thing as a means for whichever end they might set. As a right, property entails, first, the obligation to respect the fact of any established possession, and, second, an obligation to accept and recognize the established possession as ownership, which does not depend on the fact of factual physical control of the property. Ownership is therefore a guarantee of future possession. For this to be established there is a need for an explicit recognition from all others; however this recognition is normatively necessary for everybody, as no-one has a right to withdraw the recognition of a legitimate right to property. This comes from the ontological and axiological difference between persons and things: persons have a right to use and possess unpossessed things as means for realization of ends they set. (shrink)

In the article, an argument is given that Euclidean geometry is a priori in the same way that numbers are a priori, the result of modelling, not the world, but our activities in the world.

The concept of truth has many aims but only one source. The article describes the primary concept of truth, here called the synthetic concept of truth, according to which truth is the objective result of the synthesis of us and nature in the process of rational cognition. It is shown how various aspects of the concept of truth -- logical, scientific, and mathematical aspect -- arise from the synthetic concept of truth. Also, it is shown how the paradoxes of truth (...) arise. (shrink)

Neuro-ethics is probablу fastest growing part of applied ethics. The main thesis is that certain natural processes in brain and nerves produce certain moral, and immoral, behaviors. All these processes can be explained causally, and (if this is so) neuro-ethics might be the final result of neuroscience. There are some metaphysical and ethical pitfalls to be considered, however, like the (incorrect) conflation of causal explanation and rational justification in defining values, not only non-moral values but moral values as well. Certainly, (...) the knowledge of how neurological processes function could help to enhance the quality of human life, not only in coping with defects but also in improving the so-called "normal life." This implies that neuroethics is instrumental, dealing with values which are instrumental as well. However, neuroethics, it seems, aspires to go further than that: to explain how goals come into existence and what their articulation should look like. All of this should be causally explained, or at least explainable; and the main focus of the paper is an analysis of this aspiration. The analysis refers to some important distinctions like the distinction between causes and reasons, explanation and justification, or the one between means and ends. At the end of the paper there is a section about applications, where some of the benefits and risks are summarily indicated, with a conclusion that neuroethics surely might help in advancing the overall quality of human life, individual and social. (shrink)

I begin my comment on Westphal’s study by exploring briefly his refutation of “the arbitrariness thesis,” and then focusing on the “conditio humanae,” i.e. the conditions of life as freedom realized in common life. As I understand it, coordination and cooperation among persons are required because employing freedom in the presence of others presupposes an act of recognition that acknowledges a priori the necessity of universal respect. The right to use and possess things within the institution of property is an (...) illustrative example of this necessity. Justice requires possession not in the form of some equal distribution but as a normative requirement that “everyone shall have property.” One must have property in order to enter the world of inter-subjectivity and become a person. This has important implications for determining how poverty is related to the validity of laws, which depends on the joint legislative will of all persons. (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.

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)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (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.

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)

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)

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)

In his essay On Liberty, John Stuart Mill presents the famous harm principle in the following manner: “[…] the sole end for which mankind are warranted, individually or collectively, in interfering with the liberty of action of any of their number, is self-protection. […] The only part of the conduct of anyone, for which he is amenable to society, is that which concerns others. […] Over himself, over his own body and mind, the individual is sovereign.” Hence, there is a (...) distinction between self-regarding and other-regarding acts, and only the latter are subject to moral criticism. However, while all acts are in some way selfregarding, it is not clear if there are any which are exclusively so. There are two additional difficulties. First, the “individual” may not be an individual person; self-determining communities, at least when they have the ability to decide for themselves, are also “individuals” in this sense. Second, it is claimed that groups of acts (activities and practices) have a different kind of justification from single acts. So what are the limits which “others” have in order to protect themselves from what “individuals” (personal or not) do, and what are their rights to do and to protect? If, in the final analysis, protection or defense is a source of justification, what should or must be protected, and why? Where does the demarcation line between self-regarding and other-regarding acts lie? In our age, as in Mill’s, we encounter many situations where such a line is needed, yet is hard to determine or establish. One such example, the case of same-sex marriages, is further explored in this paper. (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)

Wenn Tugenden Praxisformen sind, dann kann man einiges über Praxisformen lernen, indem man nachsieht, was Tugenden sind. Ich werde dies im Folgenden partiell und indirekt tun, indem ich die sprachliche Form untersuche, in der Aristoteles die ethischen Tugenden beschreibt. Er tut dies im Wesentlichen dadurch, dass er den derart Tugendhaften in der dritten Person Singular beschreibt. Dann werde ich kurz auf die Grenzen von Aristoteles’ Verfahren zu sprechen kommen, indem ich auf eine den Tugenden und anderen Praxisformen inhärente Pluralität hinweise. (...) Eine vergleichbare Untersuchung der sprachlichen Form in der Nikomachischen Ethik ist mir nicht bekannt; die Hinweise auf die Pluralität der Tugend dagegen beanspruchen keine besondere Originalität. (shrink)

The main goal in the article is to develop a definition of the morality as the subject of study for ethics, a part of philosophy dealing with the nature and the scope of possible application of morality as a specific evaluational criterion. Some basic features of this specificity have been explored, and a list of ethical theories have been briefly analyzed, two of them in some more details. A sketch of a possible connection between ethics and democracy has been given (...) at the very end of the article. (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.

The huge change brought about by the corona virus pandemic contains some structural characteristics that define it as a catastrophe. The text explores and offers an outline of a possible analysis of some of the logical and normative features of this phenomenon.