In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the domains of Theory of Mind and the related skill of natural language use, we conducted an experiment. It (...) was based on a strategic game of imperfect information, in which it was beneficial for participants to have a good mental model of their opponent, and more specifically, to use second-order Theory of Mind. It was also beneficial for them to be aware of pragmatic inferences and of the possibility to choose between logical and pragmatic language use. We found that most participants did not seem to acquire these complex skills during the experiment when being exposed to the game for a number of different trials. Nevertheless, some participants did make use of advanced cognitive skills such as second-order Theory of Mind and appropriate choices between logical and pragmatic language use from the beginning. Thus, the results differ markedly from previous research. (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)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...) be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

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.

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (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)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.

Metaphors for describing the introduction, impacts, and management of non-native species are numerous and often quite outspoken. Policy-makers have adopted increasingly disputed metaphorical terms from scientific discourse. We performed a critical analysis of the use of strong metaphors in reporting scientific findings to policy-makers. Our analysis shows that perceptions of harm, invasiveness or nativeness are dynamic and inevitably display multiple narratives in science, policy or management. Improving our awareness of multiple expert and stakeholder narratives that exist in the context of (...) non-native species management, as well as metaphorical alternatives, is critical. (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (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.

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)

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)

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

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

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)

This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...) produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

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)

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)

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.

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 my-side bias is a well-documented cognitive bias in the evaluation of arguments, in which reasoners in a discussion tend to overvalue arguments that confirm their prior beliefs, while undervaluing arguments that attack their prior beliefs. The first part of this paper develops and justifies a Bayesian model of myside bias at the level of individual reasoning. In the second part, this Bayesian model is implemented in an agent-based model of group discussion among myside-biased agents. The agent-based model is then (...) used to perform a number of experiments with the objective to study whether the myside bias hinders or enhances the ability of groups to collectively track the truth, that is, to reach the correct answer to a given binary issue. An analysis of the results suggests the following: First, whether the truth-tracking ability of groups is helped or hindered by myside bias crucially depends on how the strength of myside bias is differentially distributed across subgroups of discussants holding different beliefs. Second, small groups are more likely to track the truth than larger groups, suggesting that increasing group size has a detrimental effect on collective truth-tracking through discussion. (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.

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)

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)

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application of (...) second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

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.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

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)

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)

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)

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)

Background Genomic research on neurodevelopmental disorders (NDDs), particularly involving minors, combines and amplifies existing research ethics issues for biomedical research. We performed a review of the literature on the ethical issues associated with genomic research involving children affected by NDDs as an aid to researchers to better anticipate and address ethical concerns. Results Qualitative thematic analysis of the included articles revealed themes in three main areas: research design and ethics review, inclusion of research participants, and communication of research results. Ethical (...) issues known to be associated with genomic research in general, such as privacy risks and informed consent/assent, seem especially pressing for NDD participants because of their potentially decreased cognitive abilities, increased vulnerability, and stigma associated with mental health problems. Additionally, there are informational risks: learning genetic information about NDD may have psychological and social impact, not only for the research participant but also for family members. However, there are potential benefits associated with research participation, too: by enrolling in research, the participants may access genetic testing and thus increase their chances of receiving a (genetic) diagnosis for their neurodevelopmental symptoms, prognostic or predictive information about disease progression or the risk of concurrent future disorders. Based on the results of our review, we developed an ethics checklist for genomic research involving children affected by NDDs. Conclusions In setting up and designing genomic research efforts in NDD, researchers should partner with communities of persons with NDDs. Particular attention should be paid to preventing disproportional burdens of research participation of children with NDDs and their siblings, parents and other family members. Researchers should carefully tailor the information and informed consent procedures to avoid therapeutic and diagnostic misconception in NDD research. To better anticipate and address ethical issues in specific NDD studies, we suggest researchers to use the ethics checklist for genomic research involving children affected by NDDs presented in this paper. (shrink)

dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for (...) ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

This paper examines two contemporary answers to the question of whether moral values and norms are apt for rational criticism and justification: Richard Rorty’s radically contextualist approach—which is centered around the notion of contingency and is characterized by a dismissal of all claims to philosophical justification—and Karl-Otto Apel’s transcendental-pragmatic version of discourse ethics—which encompasses highly ambitious claims to justification and universal validity. Contrasting the key theses of Rorty’s contextualism with those of Apel’s universalist discourse ethics and reconstructing their respective conceptions (...) of moral progress we argue that neither Rorty’s nor Apel’s position is convincing. (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)

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)

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)

An argument is given that Euclidean geometry is a priori in the same way that numbers are a priori, the result of modeling, not the world, but our activities in the world.

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.

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)