It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

This paper shows that Wittgenstein’s situational approach applied to Hume’s is-ought problem leads to the conclusion that this famous Hume thesis is false both in its original version (lack of logical value of deontic sentences) and in its modern understanding (logical separation of deontic sentences and sentences about facts).

Dolphins exhibit both action-level imitation (ALI) and program-level imitation (PLI). Dolphins may use ALI primarily for social cohesion, whereas PLI seems more likely to occur in goal-directed, problem-solving contexts. Both PLI and insightful problem solving require a recognition of the functional relations between actions and outcomes. Insightful problem solving, however, involves the creation of a program in the absence of a model, and therefore requires a higher order appreciation and application of the relations between actions and outcomes.

This study investigated the roles of the executive functions of inhibition and switching, and of verbal and visuo-spatial working memory capacities, in insight and non-insight tasks. A total of 18 insight tasks, 10 non-insight tasks, and measures of individual differences in working memory capacities, switching, and inhibition were administered to 120 participants. Performance on insight problems was not linked with executive functions of inhibition or switching but was linked positively to measures of verbal and visuo-spatial working memory capacities. Non-insight task (...) performance was positively linked to the executive function of switching (but not to inhibition) and to verbal and visuo-spatial working memory capacities. These patterns regarding executive functions were maintained when the insight and non-insight composites were split into verbal and spatial insight and non-insight composite scores. The results are discussed in relation to dual processing accounts of thinking. (shrink)

Exposome research is put forward as a major tool for solving the nature-versus-nurture debate because the exposome is said to represent “the nature of nurture.” Against this influential idea, we argue that the adoption of the nature-versus-nurture debate into the exposome research program is a mistake that needs to be undone to allow for a proper bioethical assessment of exposome research. We first argue that this adoption is originally based on an equivocation between the traditional nature-versus-nurture (...) debate and a debate about disease prediction/etiology. Second, due to this mistake, exposome research is pushed to adopt a limited conception of agential control that is harmful to one's thinking about the good that exposome research can do for human health and wellbeing. To fully excise the nature-versus-nurture debate from exposome research, we argue that exposome researchers and bioethicists need to think about the exposome afresh from the perspective of actionability. We define the concept of actionability and related concepts and show how these can be used to analyze the ethical aspects of the exposome. In particular, we focus on refuting the popular “gun analogy” in exposome research, returning results to study participants and risk-taking in the context of a well-lived life. (shrink)

In this three-part paper, my concern is to expound and defend a conception of science, close to Einstein's, which I call aim-oriented empiricism. I argue that aim-oriented empiricsim has the following virtues. (i) It solve the problem of induction; (ii) it provides decisive reasons for rejecting van Fraassen's brilliantly defended but intuitively implausible constructive empiricism; (iii) it solves the problem of verisimilitude, the problem of explicating what it can mean to speak of scientific progress given that science advances from one (...) false theory to another; (iv) it enables us to hold that appropriate scientific theories, even though false, can nevertheless legitimately be interpreted realistically, as providing us with genuine , even if only approximate, knowledge of unobservable physical entities; (v) it provies science with a rational, even though fallible and non-mechanical, method for the discovery of fundamental new theories in physics. In the third part of the paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years. (shrink)

Abstract This short reply to criticism of an original paper demonstrates how the critics themselves reflect the limitations originally pointed to. Public dialogue in science is about form not content. Nervous officials, and sadly a few scientists themselves, feel that they need to be seen to consult on such matters with ordinary people. They are creating a new system of patronage in the process. An army of self?appointed communications experts also go so far as to suggest that this makes for (...) better science. This projects a narrow utilitarian or instrumentalist model whereby science should serve certain pre?determined social goals. This debases science, discrediting its institutions and accentuating the very problem they seek to solve. (shrink)

A theocentric model of reality based on the postulate that God is love, which explains the frameworks of mathematical formalism of quantum theory and solves basic problems in interpretation of this theory, has been proposed. The model proposed is metaphysical and thanks to the use of the mathematical language it may bring important implications concerning a general structure of fundamental physical theories.

Personal Versus Political Affairs in Churchill's This is a Chair There are plenty of issues in the world to petition and fight for, yet each individual also has "battles" at home to contend with. Which is of more importance? We often separate the two indefinitely. In studying Caryl Churchill's work This Is a Chair, however, I would suggest the personal and political to be intimately related and possibly each even a causation of the other. To take care of one (...) may be eliminating the problem of the other as well. Might political problems stem from petty, personal qualms? Even more specifically might jeopardizing moral norms affect the greater social order? If so, this would be a revelation and fresh pursuit in solving many of the monumental political issues which are faced today. (shrink)

Since its discovery in 1959 the Aharonov-Bohm effect has continuously been the cause for controversial discussions of various topics in modern physics, e.g. the reality of gauge potentials, topological effects and nonlocalities. In the present paper we juxtapose the two rival interpretations of the Aharonov-Bohm effect. We show that the conception of nonlocality encountered in the Aharonov-Bohm effect is closely related to the nonseparability which is common in quantum mechanics albeit distinct from it due to its topological nature. We propose (...) a third alternative interpretation based on the loop space of holonomies which serves to solve some of the problems and we trace back the topological nonlocality and thereby the Aharonov-Bohm effect to their quantum mechanical origin. All three discussed interpretations are, of course, empirically equivalent. In fact, they present us with an instructive case study for the thesis of theory underdetermination by empirical data. (shrink)

The Kenya-born philosopher Henry Odera Oruka (1944 - 1995) persistently, and consistently, made proposals for a different moral approach to addressing, and possibly solving, some of the root causes of human conflicts across the world. I will call it “taking suffering seriously” as the basis of his idea of a global-level collective justice which, for him, raised the idea of the ethics of care to the level of global justice. I propose in this paper to show that this concern (...) can be found to be pervasive in Oruka’s works, connecting many of his well known positions as well as less known ones, and to discuss its philosophical merits. (shrink)

Ramscar and colleagues (2010, this volume) describe the “feature-label-order” (FLO) effect on category learning and characterize it as a constraint on symbolic learning. I argue that FLO is neither a constraint on symbolic learning in the sense of “learning elements of a symbol system” (instead, it is an effect on nonsymbolic, association learning) nor is it, more than any other constraint on category learning, a constraint on symbolic learning in the sense of “solving the symbol grounding problem.”.

In the debate about the nature of social cognition we see a shift towards theories that explain social understanding through interaction. This paper discusses autopoietic enactivism and the we-mode approach in the light of such developments. We argue that a problem seems to arise for these theories: an interactionist account of social cognition makes the capacity of shared intentionality a presupposition of social understanding, while the capacity of engaging in scenes of shared intentionality in turn presupposes exactly the kind of (...) social understanding that it is intended to explain. The social capacity in question that is presupposed by these accounts is then analyzed in the second section via a discussion and further development of Searle’s ‘sense of us’ and ‘sense of the other’ as a precondition for social cognition and joint action. After a critical discussion of Schmid’s recent proposal to analyze this in terms of plural pre-reflective selfawareness, we develop an alternative account. Starting from the idea that infants distinguish in perception between physical objects and other agents we distinguish between affordances and social affordances and cash out the notion of a social affordance in terms of “interaction-oriented representations”, parallel to the analysis of object affordances in terms of “action-oriented representations”. By characterizing their respective features we demonstrate how this approach can solve the problem formulated in the first part. (shrink)

In a recent contribution to Learning for Democracy, Richard Bailey argues that Thomas Kuhn advocated an indoctrinatory model of science education, which is fundamentally authority-based. While agreeing with Bailey’s conclusion, this article suggests that Kuhn was attempting to solve an important problem which Bailey only touches on – how to ensure that science students do not become hypercritical. It continues by offering a critical rationalist solution to this problem, arguing that paradigms qua exemplars should be historical problem-solving episodes, rather (...) than model solutions to puzzles. (shrink)

Page's proposal to stipulate representations in which individual units correspond to meaningful entities is too unconstrained to support effective theorizing. An approach combining general computational principles with domain-specific assumptions, in which learning is used to discover representations that are effective in solving tasks, provides more insight into why cognitive and neural systems are organized the way they are.

Two approaches to the study of diagnostic thinking are compared, one mainly propositional, namely that of Patel and Groen (1986), the other mainly semantic, that of Lemieux and Bordage (1986). Patel and Groen analyzed the linear dimension of cardiologists' discourses while solving a case of acute bacterial endocarditis, that is, the before and after propositional rules. A secondary analysis of two of their pothophysiological protocols is done using structural semantic techniques from Lemieux and Bordage where the vertical dimension of (...) the discourses is analyzed, that is, the levels of meaning or semantic axes. Contrary to Patel and Groen's position, making an accurate diagnosis is not explained in terms of pure forward reasoning through networks of causal rules, but by means of networks of semantic qualities abstracted from the symptoms and signs. The semantic qualities operate in the clinician's mind in terms of binary oppositions (e.g., sudden-gradual, unilateral-bilateral) whereby each pair of properties constitutes a semantic axis (e.g., sudden-gradual). The successful diagnosticians are those who use the most diversified and pertinent set of semantic axes and, therefore, have a deeper representation of the problem. (shrink)

Biotechnology might contribute to solving food safety and security challenges. However, gene technology has been under public scrutiny, linked to the framing of the media and public discourse. The study aims to investigate people’s perceptions and acceptance of food biotechnology with focus on transgenic genetic modification versus genome editing. An online experiment was conducted with participants from the United Kingdom and Switzerland. The participants were presented with the topic of food biotechnology and more specifically with experimentally varied vignettes (...) on transgenic and genetic modification and genome editing. The results suggest that participants from both countries express higher levels of acceptance for genome editing compared to transgenic genetic modification. The general and personal acceptance of these technologies depend largely on whether the participants believe the application is beneficial, how they perceive scientific uncertainty, and the country they reside in. Our findings suggest that future communication about gene technology should focus more on discussing trade-offs between using an agricultural technologies and tangible and relevant benefits, instead of a unidimensional focus on risk and safety. (shrink)

In this article we attempt to answer the question of how the ethical and conceptual framework (ECF) for a learning health‐care system (LHS) affects some of the main controversies in research ethics by addressing five key problems of research ethics: (a) What is the difference between practice and research? (b) What is the relationship between research ethics and clinical ethics? (c) What is the ethical relevance of the principle of clinical equipoise? (d) Does participation in research require a higher standard (...) of informed consent than the practice of medicine? and (e) What ethical principle should take precedence in medicine? These questions allow us to construct two opposite idealized positions on the distinction between research and practice: the integration model and the segregation model of research and practice. We then compare the ECF for an LHS with these two idealized positions. We argue that the ECF for a LHS does not, in fact, solve these problems, but that it is a third, separate position in the relationship between research ethics and clinical ethics. Moreover, we suggest that the ECF for a LHS raises new ethical problems that require additional ethical analysis and justification. Our article contributes to the discussion on the relationship between research ethics and clinical ethics, revealing that although a learning health‐care system may significantly change the landscape of health care, some ethical dilemmas still require resolving on both theoretical and policy‐making levels. (shrink)

Epistemic obligations are constraints on belief stemming from epistemic considerations alone. Booth is one of the many philosophers who deny that there are epistemic obligations. Any obligation pertaining to belief is an all things considered obligation, according to him—a strictly generic, rather than specifically epistemic, requirement. Though Booth’s argument is valid, I will try to show that it is unsound. There are two central premises: S is justified in believing that P iff S is blameless in believing that P; S (...) is blameless in believing that P iff S has not violated an all things considered duty in believing that P. Both premises are false. My argument against depends on my own theory of epistemic obligations. My argument against does not. This paper is part of a larger project—defending epistemic requirements in general against a series of objections and advancing a particular theory that solves various problems. (shrink)

This paper investigates the development of Hobbes’s theory of imagination and its unique intervention in the scientific debates of the seventeenth century. I argue that this intervention is designed to solve a tension between Hobbes’s scientific and political commitments. His scientific commitments led him to take the imagination seriously. While unorthodox in many ways, Hobbes was working within the predominant scientific framework of his time, which can be traced back to Aristotle and Galen. The same framework, however, was used for (...) naturalistic explanations for prophecy. This posed a problem for Hobbes, who was equally committed to the advances of science and to guarding against the political threat posed by prophets. I argue that Hobbes’s theory of imagination solves this tension by constructing a scientific account of imagination that is loyal to the leading scientific ideas while ruling out any potential use of imagination in the natural explanation of prophecy. (shrink)

Excerpts: THIS book is an attempt to solve, in a way which any interested layman can understand, a problem which has been hotly debated throughout the centuries. Is Matter the only reality? Philosophers, theologians, scientists as well as others who can lay claim to no specialized knowledge, but whose concerns range beyond the petty tasks each day brings forth, have all said their say. And some of them have said yes, others no. Those who say yes are called materialists. Those (...) who say no have no collective name. They all believe that there are other things besides Matter, but they are not all interested in the same things. "Matter is not everything," say many philosophers. "There is also Mind. This can be proved to have a separate existence." "Matter is not everything," say the theologians. "There are also a God and the Souls of men. Those who do not realize this will fail to seek that spiritual guidance which alone can raise men above the level of brute creation." "Matter is not everything," say various idealists. Among them are teachers, moralists, poets. These insist on the non-material reality of "higher things," of beauty, truth and goodness. In the materialism of our age they see the risk that mankind may ignore those things which make life most worth living. Values disappear, or, at least, have but a precarious existence in materialistic doctrine, so that, to the idealist, it seems that the materialist says: "What harm if the temple be destroyed? The stones remain." "Yes, Matter is everything. Science proves it," says the materialist to this heterogeneous collection of opponents with their various interests, their various reasons for opposing him, their various ways of saying what they think. And always he feels a little contemptuous since they base their beliefs on considerations which he does not regard as valid. Their attitude seems to him to be due to ignorance and prejudice. For they fail to build as he does, or believe he does, "on the facts of science."... In this book we want to revive the old controversy and to do so in such a way as to secure the attention of both sides. We want to provide both with a common meeting ground or shall we call it a battleground? We want to put an end to the complacency with which those who hold tenaciously to their own opinions talk much and write much, but listen only to themselves or to those with whom they agree. At the same time we do not intend to seek a compromise. We shall take sides and offer our services (for what they may be worth) wholeheartedly to those who are opposed to materialism. (shrink)

In the present paper we prove that the poset of all extensions of the logic defined by a class of matrices whose sets of distinguished values are equationally definable by their algebra reducts is the retract, under a Galois connection, of the poset of all subprevarieties of the prevariety generated by the class of the algebra reducts of the matrices involved. We apply this general result to the problem of finding and studying all extensions of the logic of paradox. In (...) order to solve this problem, we first study the structure of prevarieties of Kleene lattices. Then, we show that the poset of extensions of the logic of paradox forms a four-element chain, all the extensions being finitely many-valued and finitely-axiomatizable logics. There are just two proper consistent extensions of the logic of paradox. The first is the classical logic that is relatively axiomatized by the Modus ponens rule for the material implication. The second extension, being intermediate between the logic of paradox and the classical logic, is the one relatively axiomatized by the Ex Contradictione Quodlibet rule. (shrink)

Humans have long been characterized as poor probabilistic reasoners when presented with explicit numerical information. Bayesian word problems provide a well-known example of this, where even highly educated and cognitively skilled individuals fail to adhere to mathematical norms. It is widely agreed that natural frequencies can facilitate Bayesian reasoning relative to normalized formats (e.g. probabilities, percentages), both by clarifying logical set-subset relations and by simplifying numerical calculations. Nevertheless, between-study performance on “transparent” Bayesian problems varies widely, and generally remains rather unimpressive. (...) We suggest there has been an over-focus on this representational facilitator (i.e. transparent problem structures) at the expense of the specific logical and numerical processing requirements and the corresponding individual abilities and skills necessary for providing Bayesian-like output given specific verbal and numerical input. We further suggest that understanding this task-individual pair could benefit from considerations from the literature on mathematical cognition, which emphasizes text comprehension and problem solving, along with contributions of online executive working memory, metacognitive regulation, and relevant stored knowledge and skills. We conclude by offering avenues for future research aimed at identifying the stages in problem solving at which correct versus incorrect reasoners depart, and how individual difference might influence this time point. (shrink)

In his recent book, Aquinas and the Ship of Theseus, Christopher Brown has argued that the metaphysics of St. Thomas is preferable to contemporary analyticviews because it can solve the “problem of material constitution” without requiring us to relinquish any of the common-sense beliefs that generate that problem. In this critical study, I show that in the case of both substances and aggregates, Brown’s Aquinas endorses views that are extremely implausible. Consequently, even if it is granted that the solutions to (...) the PMC fall right out of his views, it is still not clear that this gives us reason to prefer his ontology to its competitors. I also consider Brown’s take on the status of the human being after death. (shrink)

A good theory of rationality should accommodate debates over first principles, such as those of rationality. The modest challenge made in this article is that relativists try to explain the (intellectual) value of some debates about first principles (absolute presuppositions, basic assumptions, intellectual frameworks, intellectual commitments, and paradigms). Relativists claim to justify moving with relative ease from one framework to another, translating chunks of one into the other; this technique is essential for historians, anthropologists and others. Thus ideas concerning false (...) prophecy are transferable to contemporary discussions. Ancient false prophets offered illusions of overcoming difficult problems cheaply; relativists do that too. The problem that relativism purports to solve cheaply is that of legitimizing pluralism. As the absolutist theory of truth is intuitively problematic, relativism seems intuitively more acceptable, but this intuitive advantage vanishes when it manifests as false prophecy. (shrink)

This paper compares the views of Hegel and Schelling regarding the problem of individuation, i.e. the question of what makes an individual (a) numerically distinct from others and (b) the very individual it is. My focus is on how Hegel approaches this problem in his metaphysics and how that relates to Schelling’s views as articulated in his ‘negative philosophy’. While Hegelians like Robert Stern and Karen Ng are optimistic that Hegel can solve the problem of individuation, I argue that Schelling (...) puts forward an objection that both challenges Hegel’s account and provides a rationale for taking seriously Schelling’s own insistence on a pre-logical dimension of being. (shrink)

After reporting in detail Aristotle’s texts and comments on the well-known motion paradoxes Arrow, Dichotomy, Achilles and Stadium, tracking back to the 5th century BCE and credited by Aristotle to Zeno of Elea, we next explain and dis-cuss traditional continuous solutions of the paradoxes, based on Cauchy’s limit concept. Afterward, the heated philosophical debate on supertasks and infinity machines is reported before the paradoxes are examined within the context of modern quantum theory. Already in 1905, Einstein concluded that matter could (...) not be a continuous thing. Classical continuous spacetime is replaced by ‘granular’ spacetime, and the concept of distance in granular spacetime is discussed. This is followed by a detailed presentation of modern discrete solutions in granular spacetime, several of which are published here for the first time. Finally, a procedure is presented to determine when traditional continuous methods suffice instead of discrete methods, and the handling of discrete versus continuous in physics is briefly reported. (shrink)

In the beginning, there was the DN (Deductive Nomological) model of explanation, articulated by Hempel and Oppenheim (1948). According to DN, scientific explanation is subsumption under natural law. Individual events are explained by deducing them from laws together with initial conditions (or boundary conditions), and laws are explained by deriving them from other more fundamental laws, as, for example, the simple pendulum law is derived from Newton's laws of motion.

Based on the distinction between global and local levels of visual perception, here we studied different levels of reasoning in visual analogies. Specifically, we created problems that could be solved by inferring relations either between the global shapes (global path) or the underlying objects (object path). The problems varied in the saliency of the global shape, in the colour and familiarity of the objects, and in the presentation of the visual problem (simultaneous or sequential). The results of three studies showed (...) that the global path was used more frequently than the object path, particularly for images with salient global shapes such as objects placed in a circle. However, neither colour nor object familiarity affected the tendency to use the object path. Importantly, the tendency to use the global path correlated with analogical problem-solving in other visual and verbal tasks. Overall, these findings suggest that the global precedence observed in image perception also applies to visual analogical reasoning. Furthermore, the tendency to use the global path can be regarded as an informative measure of individual differences. (shrink)

For each $p \geq 2$ there exists a model ${\bf M}^{*}$ of $I\Delta_{0}(\alpha)$ which satisfies the Count( $p$ ) principle. Furthermore, if $p$ contains all prime factors of $q$ there exist $n,r \in {\bf M}^{*}$ and a bijective map $f \in {\rm dom}({\bf M}^{*})$ mapping $\{1,2,\ldots,n\}$ onto $\{1,2,\ldo ts,n+q^{r}\}$ . A corollary is a complete classification of the Count( $q$ ) versus Count( $p$ ) problem. Another corollary shows that the pigeon-hole principle for injective maps does not follow from (...) any of the Count( $q$ ) principles. This solves an open question [Ajtai 94]. (shrink)

The structures of protein and DNA were discovered primarily by means of synthesizing component-level information about bond types, lengths, and angles, rather than analyzing X-ray diffraction photographs of these molecules. In this paper, I consider the synthetic and analytic approaches to exemplify alternative heuristics for approaching mid-twentieth-century macromolecular structure determination. I argue that the former was, all else being equal, likeliest to generate the correct structure in the shortest period of time. I begin by characterizing problem solving in these (...) cases as proceeding via the elimination of candidate structures through the successive application of component-level information and interpretations of X-ray diffraction photographs, each of which serves as a kind of constraint on structure. Then, I argue that although each kind of constraint enables the elimination of a considerable proportion of candidate structures, component-level constraints are significantly more likely to do so correctly. Thus, considering them before X-ray diffraction photographs is a better heuristic than one that reverses this order. Because the synthetic approach that resulted in the determination of the protein and DNA structures exemplifies such a heuristic, its use can help account for these discoveries. (shrink)

A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view by providing for a (...) sharp distinction between how we come to understand and apply epistemic versus non-epistemic concepts, the former through our capacity for a special kind of reflective self-knowledge Kant calls ‘transcendental apperception’. The proposal is a version of restriction strategy: it solves the paradox by restricting the anti-realist’s knowability principle. Restriction strategies have been a common response to the paradox but previous versions face serious difficulties: either they result in a knowability principle too weak to do the work anti-realists want it to, or they succumb to modified forms of the paradox, or they are ad hoc. It is argued that restricting knowability to non-epistemic statements by conceding realism about epistemic statements avoids all versions of the paradox, leaves enough for the anti-realist attack on classical logic, and, with the help of transcendental epistemology, is principled in a way that remains compatible with a thoroughly anti-realist outlook. (shrink)

According to the trilemma claim, we cannot have all three of equality, Pareto, and freedom of occupational choice. In response to the trilemma, John Rawls famously sacrificed equality by introducing incentives. In contrast, GA Cohen and others argued that we can, in fact, have all three provided that individuals are properly motivated by an egalitarian ethos. The incentives debate, then, concerns the plausibility of the ethos solution versus the plausibility of the incentives solution. Considerable ink has been spilled on (...) both sides of the debate. Yet, in this essay, I argue that we cannot have this debate until we clarify the terms. Once we clarify the terms, however, we might discover that there is no debate to be had. This is because, depending on how equality, Pareto, and freedom of occupational choice are interpreted, there might not be a trilemma in the first place. Specifically, I use a small but crucial distinction in how equality, the egalitarian ethos, and Pareto are assessed – what I call the internal/external distinction – to disentangle the various paths each solution – the ethos or incentives – could take. I conclude that both solutions have gained illicit plausibility by virtue of not keeping the distinction straight. (shrink)

A typical difference between social science and natural science is the degree in which control is possible. Strategies in both sciences to obtain true facts are consequently different. Measurement errors are due to background noise. Laboratories are environments in which background conditions can be controlled. As a result, accurate observations { measurement results close to the true values of the measurands { can only be obtained in laboratories. Therefore, measuring instruments are built such that they function as mini laboratories. However, (...) observations in social science are usually passive, in the sense that control of background conditions is impossible. Models are built to solve this problem of (lack of) control. They function as nonmaterial laboratories by aiming at precision, that is reducing the spread of the measurement errors. The application of models as measuring instruments necessitates a shift of the requirement of accuracy to the requirement of precision, which is a feature of the instrument and not of the environment. (shrink)

Whilst the choice of becoming a parent in the natural way is unregulated all over Europe (and proposals of regulation raise vehement objections), most European countries have (either legal or professional) regulations imposing criteria that people must satisfy if they wish to gain access to assisted reproduction and parenting. These criteria may include relationship status, age, sexual orientation, financial stability, health, and willingness to attend parenting classes. The existence of regulations in this area is largely accepted, and the objections raised (...) usually concern the suitability of specific criteria rather than the legitimacy of imposing criteria at all. The inequality (if unsupported) could be solved by requiring both prospective natural and assisted parents to satisfy the same criteria (with some qualifications specified below) and, more importantly, to be subject to the same degree of monitoring, regardless of the way in which they became parents. Often people argue that proposals to regulate natural reproduction revive dreaded eugenic policies of the past, and that their implementation would violate some of our most cherished interests and rights: in particular the interest in becoming a parent and the right to reproduction and parenting. However, the same interests and rights are not equally safeguarded when one needs assistance to become a parent, and proposals to reduce the extent to which prospective parents requiring assistance are scrutinized are unpopular. In this paper we challenge the alleged justification of the current practices, and we show that there are serious inconsistencies in the treatment of, respectively, people who become parents naturally and people who require assistance to become parents. Thus, we propose that regulation of reproduction and parenting be revised in such a way as to eliminate the inconsistencies. (shrink)

The issue “realism vs. phenomenalism” or “realism vs. positivism” has been widely discussed during the last fifty years. The issue has even become a political and social one in Lenin's Materialism and Empiriocricism, which is built entirely around this topic. He calls “positivism” bluntly a “reactionary philosophy” because it supposedly denies the reality of the world which is described by science. M. Schlick devoted to this issue the paper “Realism and Positivism” which was published recently with an introduction by D. (...) Rynin. It should, therefore, be welcomed, that Professor Feigl attacked this problem by the methods of modern semantics. This is an attempt to solve a question by precise logical argument which has been frequently treated in a way that provided more heat than light. It is certainly very desirable to scrutinize Feigl's argument carefully and to find out exactly its contribution to our conception of scientific method. (shrink)

For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic (...) logic of one variable with implication and negation. The result is obtained by reducing the problem to the same one of Dummett's intermediate linear logic of one variable (see [2]). Actually, this paper shows the exact density of intuitionistic logic and demonstrates that it covers a substantial part (more than 93%) of classical prepositional calculus. Despite using strictly mathematical means to solve all discussed problems, this paper in fact, may have a philosophical impact on understanding how much the phenomenon of truth is sporadic or frequent in random mathematics sentences. (shrink)

In Why the Mind-Body Problem CANNOT Be Solved, Irving Krakow shows that a satisfactory scientific explanation of conscious experience isn't possible for methodological and semantic reasons. The reason is that sentences about conscious experience cannot be deduced from sentences about the brain's neurology without using brain-mind correlations.

This study investigated the effect of unconscious processing on creative problem solving (CPS) by combining a revised priming paradigm that manipulated the content of unconscious processing together with remote association tests (RAT). In the real world, most CPS is facilitated by unconscious information processing after a problem is represented. However, most previous studies have focused on priming subthreshold stimuli before the problem presentation, with few exploring unconscious priming after the problem is presented, even though different prime timings might involve (...) distinct processing mechanisms. Therefore, Experiment 1 compared the unconscious priming effects of presenting the prime prior to the target (Before-T) versus during target solving (During-T). The RAT difficulty and type of priming material were also manipulated. The results of Experiment 1 revealed a significant difference in the priming effects of prime timing with the During-T group benefiting more from subliminal stimuli than the Before-T group. Experiment 2 further strengthened the justifications for the hypotheses regarding the influence of word versus picture priming in the during-T condition. Overall, this study found a clear dissociable contribution of unconscious processing to CPS, and the facilitation effect was optimised by prime timing, the prime material, and RAT difficulty. (shrink)

There is ample evidence that humans (and other primates) possess a knowledge instinct—a biologically driven impulse to make coherent sense of the world at the highest level possible. Yet behavioral decision-making data suggest a contrary biological drive to minimize cognitive effort by solving problems using simplifying heuristics. Individuals differ, and the same person varies over time, in the strength of the knowledge instinct. Neuroimaging studies suggest which brain regions might mediate the balance between knowledge expansion and heuristic simplification. One (...) region implicated in primary emotional experience is more activated in individuals who use primitive heuristics, whereas two areas of the cortex are more activated in individuals with a strong knowledge drive: one region implicated in detecting risk or conflict and another implicated in generating creative ideas. Knowledge maximization and effort minimization are both evolutionary adaptations, and both are valuable in different contexts. Effort minimization helps us make minor and routine decisions efficiently, whereas knowledge maximization connects us to the beautiful, to the sublime, and to our highest aspirations. We relate the opposition between the knowledge instinct and heuristics to the biblical story of the fall, and argue that the causal scientific worldview is mathematically equivalent to teleological arguments from final causes. Elements of a scientific program are formulated to address unresolved issues. (shrink)

Does lying require a speaker to explicitly express something (she believes to be) false, or is it also possible to lie with deceptive implicatures? Given that consistency with ordinary language is a desideratum of any philosophical definition of lying, several studies have addressed this question empirically in recent years. Their findings, however, seem to be in conflict. This paper reports an experiment with 222 participants that investigates the hypothesis that these conflicting results are due to variation regarding whether or not (...) the speaker’s intention to deceive and the implicated content are made explicit. It is found that the presence versus the absence of such explicitness has a strong impact on people’s lie judgements, and can thus account for the conflicting results in the literature. (shrink)

In this paper I introduce the transcendental argument for Christian theism in the context of Reformed theologian and philosopher Cornelius Van Til’s thought. I then present the critique proffered by Barry Stroud against ambitious transcendental arguments, and survey various formulations of transcendental arguments in the literature, seeking how the objection bears upon them. I argue that Adrian Bardon’s (2005) interpretation is the most helpful in understanding the Stroudian objection. From this interpretation, two types of possible rebuttals are deduced. Proceeding to (...) survey the responses offered by Van Tillians to this objection in the recent literature, I discern two general strategies pursued in these responses, which map onto the previously deduced types of rebuttals: the Biblical justification strategy and the objection-undermining strategy. I argue that all the specific attempts to answer Stroud which I examine here (those of Butler, Bosserman, and Fluhrer) are inadequate and that these two strategies, in general, face serious problems. I conclude with considering the options before the proponent of the transcendental argument for Christian theism and with offering a new objection to the argument, which focuses on its inconsistency with the implications of Christian theism itself. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)