Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction (...) system of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

Within the (Haskell Curry) notion of a formal system we complete Tarski's formal correctness: ∀x True(x) ↔ ⊢ x and use this finally formalized notion of Truth to refute his own Undefinability Theorem (based on the Liar Paradox), the Liar Paradox, and the (Panu Raatikainen) essence of the conclusion of the 1931 Incompleteness Theorem.

Searle proposes an argument in order to prove the existence of universals and thereby solve the problem of universals: From every meaningful general term P(x) follows a tautology Vx[P(x) v -P(x)], which entails the existence of the corresponding universal P. To be convincing, this argument for existence must be valid, it must presume true premises and it must be free of any informal fallacy. First, the validity of the argument for existence in its non-modal interpretation will be proven with the (...) help of the formal deductive system F. Secondly, it will be shown that a self-contradictory tautology concept is employed, which renders the premises meaningless. Consequently, the inconsistency will be emended through redefinition and the argument's ensuing correctness will be demonstrated. Finally, it will be shown that the argument for existence presupposes the existence of universals in its premise and hence begs the question. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

In a recent paper, Levy, Gadd, Kerridge, and Komesaroff attempt to defend the ethicality of homeopathy by attacking the utilitarian ethical framework as a basis for medical ethics and by introducing a distinction between evidence-based medicine and modern science. This paper demonstrates that their argumentation is not only insufficient to achieve that goal but also incorrect. Utilitarianism is not required to show that homeopathic practice is unethical; indeed, any normative basis of medical ethics will make it unethical, as a defence (...) of homeopathic practice requires the rejection of modern natural sciences, which are an integral part of medical ethics systems. This paper also points out that evidence-based medicine lies at the very core of modern science. Particular arguments made by Levy et al. within the principlist medical ethics normative system are also shown to be wrong. (shrink)

The generalized conclusion of the Tarski and Gödel proofs: All formal systems of greater expressive power than arithmetic necessarily have undecidable sentences. Is not the immutable truth that Tarski made it out to be it is only based on his starting assumptions. -/- When we reexamine these starting assumptions from the perspective of the philosophy of logic we find that there are alternative ways that formal systems can be defined that make undecidability inexpressible in all of these formal (...) systems. (shrink)

This is an explanation of a possible new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. No knowledge of the halting problem is required. -/- It is based on fully operational software executed in the x86utm operating system. The x86utm operating system (based on an excellent open source x86 emulator) was created to study the details of the halting problem proof counter-examples at the much higher level (...) of abstraction of C/x86. (shrink)

If the conclusion of the Tarski Undefinability Theorem was that some artificially constrained limited notions of a formal system necessarily have undecidable sentences, then Tarski made no mistake within his assumptions. When we expand the scope of his investigation to other notions of formal systems we reach an entirely different conclusion showing that Tarski's assumptions were wrong.

Hume’s famous and influential contributions to the philosophy of religion pursue two broad themes that have deep links with his general sceptical and naturalistic commitments throughout his philosophy as a whole.1 The first is his sceptical critique of the philosophical arguments and doctrines of various (Christian) theological systems. The second is his naturalistic account of the origins and roots of religion in human nature. Taken together, these two themes serve to advance Hume’s “Lucretian mission”, which was to discredit and (...) dislodge the role of religion in human life. In this paper I consider the criticism that Hume’s entire Lucretian mission is fundamentally misguided and misconceived as judged in terms of his own claims and hypotheses concerning religion. More specifically, it may be argued that if Hume is right about the foundations of religion in human nature and the human predicament, then his Lucretian mission is neither wise nor achievable. His project is, in other words, both theoretically self-refuting and practically self-defeating. Drawing from Hume’s writings on this subject, I will suggest a set of replies and responses to these criticisms. (shrink)

The standard form of act-consequentialism requires us to perform the action with the best consequences; it allows choice between moral options only on those rare occasions when several actions produce equally good results. This paper argues for moral options and thus against act-consequentialism. The argument turns on the insight that some valuable things cannot exist unless our moral system allows options. One such thing is the opportunity for individuals to enact plans for their life from among alternatives. Because planning one’s (...) life has value, and because it requires moral options, a world governed by a moral system that admits of options is better than one governed by act-consequentialism. The paper argues that these facts entail that morality admits of a significant number of moral options; act-consequentialism is false. (shrink)

So-called ‘distinctively mathematical explanations’ (DMEs) are said to explain physical phenomena, not in terms of contingent causal laws, but rather in terms of mathematical necessities that constrain the physical system in question. Lange argues that the existence of four or more equilibrium positions of any double pendulum has a DME. Here we refute both Lange’s claim itself and a strengthened and extended version of the claim that would pertain to any n-tuple pendulum system on the ground that such explanations are (...) actually causal explanations in disguise and their associated modal conditionals are not general enough to explain the said features of such dynamical systems. We argue and show that if circumscribing the antecedent for a necessarily true conditional in such explanations involves making a causal analysis of the problem, then the resulting explanation is not distinctively mathematical or non-causal. Our argument generalises to other dynamical systems that may have purported DMEs analogous to the one proposed by Lange, and even to some other counterfactual accounts of non-causal explanation given by Reutlinger and Rice. (shrink)

Emotion recognition systems (ERS) offer the ability to identify the emotions of others, based on an analysis of their facial expressions and regardless of culture, ethnicity, context, gender or social class. By claiming universalism in the expression as well as in the recognition of emotions, we believe that ERS present significant risks of causing great harm to some individuals, in addition to targeting, in some contexts, specific social groups. Drawing on a wide range of multidisciplinary knowledge - including philosophy, (...) psychology, computer science and anthropology - this research project aims to identify the current limitations of ERS and the main risks that their use brings, with the goal of providing a clear and robust analysis of the use of ERS and their contribution to greater social justice. Pointing to technical limitations, we refute, on the one hand, the idea that ERS are able to prove the causal link between specific emotions and specific facial expressions. We support our argument with evidence of the inability of ERS to distinguish facial expressions of emotions from facial expressions as communication signals. On the other hand, due to the contextual and cultural limitations of current ERS, we refute the idea that ERS are able to recognise, with equal performance, the emotions of individuals, regardless of their culture, ethnicity, gender and social class. Our ethical analysis shows that the risks are considerably more numerous and important than the benefits that could be derived from using ERS. However, we have separated out a specific type of ERS, whose use is limited to the field of care, and which shows a remarkable potential to actively participate in social justice, not only by complying with the minimum requirements, but also by meeting the criterion of beneficence. While ERS currently pose significant risks, it is possible to consider the potential for specific types to participate in social justice and provide emotional and psychological support and assistance to certain members of society. (shrink)

L’usage de la raison et de la foy ou l’accord de la foy et de la raison (1704) by Pierre-Sylvain Régis can be considered his last attempt to defend the ‘new philosophy’ of René Descartes by vindicating its agreement with faith and protecting it from censorship. This contribution offers an analysis of the theories expounded by Régis in this treatise, showing how these evolved from those of his earlier Système de philosophie (1690), and arguing that both are characterized by a (...) reinterpretation of the Cartesian metaphysics on an empirical basis. In particular, Régis offered an empirical interpretation of the relations between substances, attributes and modes, by which he criticized Spinoza’s metaphysics and attempted to solve the riddle of Descartes’ dualism. (shrink)

Emotion recognition systems (ERS) offer the ability to identify the emotions of others, based on an analysis of their facial expressions and regardless of culture, ethnicity, context, gender or social class. By claiming universalism in the expression as well as in the recognition of emotions, we believe that ERS present significant risks of causing great harm to some individuals, in addition to targeting, in some contexts, specific social groups. Drawing on a wide range of multidisciplinary knowledge - including philosophy, (...) psychology, computer science and anthropology - this research project aims to identify the current limitations of ERS and the main risks that their use brings, with the goal of providing a clear and robust analysis of the use of ERS and their contribution to greater social justice. Pointing to technical limitations, we refute, on the one hand, the idea that ERS are able to prove the causal link between specific emotions and specific facial expressions. We support our argument with evidence of the inability of ERS to distinguish facial expressions of emotions from facial expressions as communication signals. On the other hand, due to the contextual and cultural limitations of current ERS, we refute the idea that ERS are able to recognise, with equal performance, the emotions of individuals, regardless of their culture, ethnicity, gender and social class. Our ethical analysis shows that the risks are considerably more numerous and important than the benefits that could be derived from using ERS. However, we have separated out a specific type of ERS, whose use is limited to the field of care, and which shows a remarkable potential to actively participate in social justice, not only by complying with the minimum requirements, but also by meeting the criterion of beneficence. While ERS currently pose significant risks, it is possible to consider the potential for specific types to participate in social justice and provide emotional and psychological support and assistance to certain members of society. (shrink)

This dissertation examines the relationship of skepticism and philosophy in the work of G.W.F. Hegel. Whereas other commentators have come to recognize the epistemological significance of Hegel's encounter with skepticism, emphasizing the strength of his system against skeptical challenges to the possibility of knowledge, I argue that Hegel develops his metaphysics in part through his ongoing engagement with the skeptical tradition. As such, I argue that Hegel's interest is not in refuting skepticism, but in defining its legitimate role within the (...) project of philosophical science. Hegel finds that historical forms of skepticism have misunderstood their own activity and thus have drawn the wrong conclusions from the epistemological challenges that they raise. For Hegel, these challenges lead not to the suspension of judgment, as many skeptics have assumed, but to an insight into the fundamental nature of reality itself. For this reason, I argue that it is important to distinguish between historical forms of skepticism (e.g., Pyrrhonism) and the "self-completing skepticism" that Hegel describes in the Phenomenology of Spirit. It is the latter sense of skepticism, I argue, that one finds at work in Hegel's own philosophical project at nearly every stage of his career. (shrink)

Edward Nieznański developed two logical systems in order to deal with a version of the problem of evil associated with two formulations of religious determinism. The aim of this research was to revisit these systems, providing them with a more appropriate formalization. The new resulting systems, namely, N1 and N2, were reformulated in first-order modal logic; they retain much of their original basic structures, but some additional results were obtained. Furthermore, our research found that an underlying minimal (...) set of axioms is enough to settle the questions proposed. Thus, we developed a minimal system, called N3, that solves the same issues tackled by N1 and N2, but with less assumptions than these systems. All of the systems developed here are proposed as solutions to the logical problem of evil through the refutation of two versions of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when formalized, are consistent with the existence of evil, providing one more response to this traditional issue. (shrink)

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) (...) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) (...) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced (...) by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

Popper restricted his definition of falsifiability to consistent theories through what we may call his requirement of consistency. His main argument was that an inconsistent theory does not distinguish the sentences that corroborate it from those that contradict it, for all sentences follow from it. I propose to replace this requirement by the more basic requirement that the classes of potential corroborators and falsifiers of a theory do not overlap. This results not only in an unrestricted definition of falsifiability but (...) also in some inconsistent theories being falsifiable whenever that inconsistency is not located among its observational statements. Although this assumes a restriction of the principle of explosion or ex contradictione sequitur quodlibet (ECQ), it does not depend on any particular system or approach of paraconsistent logic. Finally, I propose to define the class of potential refuters of a theory, which is obtained by subtracting the class of potential corroborators from the class of potential falsifiers. Given that, by definition, the classes of potential refuters and corroborators of a theory do not overlap, it immediately follows that some observationally inconsistent theories are refutable in this sense. This establishes the bases for a new and more general formal theory of falsifiability of scientific factual/empirical theories. (shrink)

What type of artificial systems will claim to be conscious and will claim to experience qualia? The ability to comment upon physical states of a brain-like dynamical system coupled with its environment seems to be sufficient to make claims. The flow of internal states in such systems, guided and limited by associative memory, is similar to the stream of consciousness. A specific architecture of an artificial system, termed articon, is introduced that by its very design has to claim (...) being conscious. Non-verbal discrimination of the working memory states of the articon gives it the ability to experience different qualities of internal states. Analysis of the flow of inner states of such a system during typical behavioral process shows that qualia are inseparable from perception and action. The role of consciousness in learning of skills — when conscious information processing is replaced by subconscious — is elucidated. Arguments confirming that phenomenal experience is a result of cognitive processes are presented. Possible philosophical objections based on the Chinese room and other arguments are discussed, but they are insufficient to refute articon’s claims that it is conscious. Conditions for genuine understanding that go beyond the Turing test are presented. Articons may fulfill such conditions and in principle the structure of their experiences may be arbitrarily close to human. (shrink)

There are a number of debates that are relevant to questions concerning objectivity in science. One of the eldest, and still one of the most intensely fought, is the debate over epistemic relativism. —All forms of epistemic relativism commit themselves to the view that it is impossible to show in a neutral, non-question-begging, way that one “epistemic system”, that is, one interconnected set of epistemic standards, is epistemically superior to others. I shall call this view “No-metajustification”. No-metajustification is commonly taken (...) to deny the objectivity of standards. In this paper I shall discuss two currently popular attempts to attack “No-metajustification”. The first attempt attacks no-metajustification by challenging a particular strategy of arguing in its defence: this strategy involves the ancient Pyrrhonian “Problem of the Criterion”. The second attempt to refute No-metajustification targets its metaphysical underpinning: to wit, the claim that there are, or could be, several fundamentally different and irreconcilable epistemic systems. I shall call this assumption “Pluralism”. I shall address three questions with respect to these attempts to refute epistemic relativism by attacking no-metajustification: Can the epistemic relativist rely on the Problem of the Criterion in support of No-metajustification? Is a combination of Chisholmian “particularism” and epistemic naturalism an effective weapon against No-metajustification? And is Pluralism a defensible assumption? (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

This paper argues that McDowell wrongly assumes that “terror”, Cavell’s reaction to the radical contingency of our shared modes of knowing or our “attunement”, expresses a skepticism that is antinomically bound to an equally unacceptable dogmatism because Cavell rather regards terror as a mood that reveals the “truth of skepticism”, namely, that there is no conclusive evidence for necessary attunement on pain of a category error, and that a precedent for McDowell’s misunderstanding is Hegel’s argument for necessary attunement in a (...) system of knowing, whose refutation Schelling holds it is the “merit of skepticism” to provide. (shrink)

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

There are two tensions in Smith’s system of ideas: the first is between the postulate of an invisible “noumenal” order of the Universe and the imaginary principles through which we connect the phenomena; the second is between a hypothetical noumenal order of the world where “is” and “ought” converge and the partial and imperfect normative order issued by our sympathetic judgements and a never perfectly impartial spectator. These tensions, which gave occasion to old misrepresentations and recent ones, are tensions in (...) a unitary (though rhapsodically completed) system of ideas where the final unanswered question was the problem of evil. Against a widespread belief, Smith was no secularist but a fideist who took Bayle’s question seriously: why is man wicked and unhappy? The private ethics of prudence, justice, benevolence and the public ethics of liberty, justice, and equality were modest proposals for coping with the problem of social evil, of a “practical” kind, the only one available after Smith’s refutation of natural theology, his last word on the causes for evil. (shrink)

Jerry Fodor deemed informational encapsulation ‘the essence’ of a system’s modularity and argued that human perceptual processing comprises modular systems, thus construed. Nowadays, his conclusion is widely challenged. Often, this is because experimental work is seen to somehow demonstrate the cognitive penetrability of perceptual processing, where this is assumed to conflict with the informational encapsulation of perceptual systems. Here, I deny the conflict, proposing that cognitive penetration need not have any straightforward bearing on the conjecture that perceptual processing (...) is composed of nothing but informationally encapsulated modules, the conjecture that each and every perceptual computation is performed by an informationally encapsulated module, and the consequences perceptual encapsulation was traditionally expected to have for a perception-cognition border, the epistemology of perception and cognitive science. With these points in view, I propose that particularly plausible cases of cognitive penetration would actually seem to evince the encapsulation of perceptual systems rather than refute/problematize this conjecture. (shrink)

The coronavirus disease 2019 (COVID-19) crisis ought to serve as a reminder about the costs of failure to consider another long-term risk, climate change. For this reason, it is imperative to consider the merits of policies that may help to limit climate damages. This essay rebuts three common objections to carbon taxes: (1) that they do not change behaviour, (2) that they generate unfair burdens and increase inequality, and (3) that fundamental, systemic change is needed instead of carbon taxes. The (...) responses are (1) that there is both theoretical and empirical reason to think that carbon taxes do change behaviour, with larger taxes changing it to a greater extent; (2) that undistributed carbon taxes are regressive but distributing the tax receipts can alleviate that regressivity (and, in many cases, make the overall effect progressive); and (3) that while small changes for increasing democratic decision-making may be helpful, (fundamental) change takes time and the climate crisis requires urgent action. [Open access] //// -/- La crise de lamaladie à coronavirus 2019 (COVID-19) devrait servir de rappel sur les coûts de la non-prise en compte d’un autre risque à long terme, les changements climatiques. Pour cette raison, il est impératif de considérer lesmérites des politiques susceptibles de contribuer à limiter les changements climatiques. Cet essai réfute trois objections courantes aux taxes sur le carbone : (1) qu’elles ne changent pas les comportements (2) qu’elles génèrent des charges injustes et augmentent les inégalités, et (3) qu’un changement fondamental et systémique est nécessaire au lieu de taxes sur le carbone. Les réponses sont (1) qu’il existe des raisons à la fois théoriques et empiriques de penser que les taxes sur le carbone modifient effectivement les comportements, et que des taxes plus élevées les modifient dans une plus grande mesure; (2) que les taxes sur le carbone non distribuées sont régressives,mais que la distribution des recettes fiscales peut atténuer cette régressivité (et, dans de nombreux cas, rendre l’effet global progressif); et (3) que, bien que de petits changements pour l’amélioration de la prise de décision démocratique peuvent être utiles, un changement (fondamental) prend du temps et la crise climatique exige une action urgente. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really (...) local? - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

Paul Feyerabend argued that theories can be faced with experimental anomalies whose refuting character can only be recognized by developing alternatives to the theory. The alternate theory must explain the experimental results without contrivance and it must also be supported by independent evidence. I show that the situation described by Feyerabend arises again and again in experiments or observations that test the postulates in the standard cosmological model relating to dark matter. The alternate theory is Milgrom’s modified dynamics. I discuss (...) three examples: the failure to detect dark-matter particles in laboratory experiments; the lack of evidence for dark-matter sub-haloes and the dwarf galaxies that are postulated to inhabit them; and the failure to confirm the predicted orbital decay of Milky Way satellite galaxies and other systems due to dynamical friction against the dark matter. In each case, Feyerabend’s criterion directs us to interpret the experimental or observational results as an indirect refutation of the standard cosmological model in favor of Milgrom’s theory. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established (...) to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in first-order modal logic. The new resulting system, called N1, has much of the original basic structure, and many axioms, definitions, (...) and theorems still remain; however, some new results are obtained. If the conclusions attained are correct and true, then N1 solves the problem of evil through the refutation of a version of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when adequately formalized, are consistent with the existence of evil in the world. We consider that N1 is a good example of how formal systems can be applied in solving interesting philosophical issues, particularly in Philosophy of Religion and Analytic Theology, establishing bridges between such disciplines. (shrink)

Gilbert Ryle’s The Concept of Mind (1949/2002. Chicago, IL: University of Chicago Press) is generally considered a landmark in the quest to refute Cartesian dualism. The work contains many inspirational ideas and mainly posits behavioral disposition as the referent of mind in order to refute mind–body dualism. In this article, I show that the Buddhist theory of ‘non-self’ is also at odds with the belief that a substantial soul exists distinct from the physical body and further point out similarities between (...) the Buddhist outlook and Ryle’s ideas in three parts. First, I illustrate that Ryle’s ‘category mistake’ has certain points in common with the Buddhist refutation of ‘self’. Within the Buddhist framework, referents such as ‘mind’ and ‘self’ are merely imputed terms. The presumed existence of an independent substance such as a ‘soul’, when considered in isolation from the expedient usage of the term ‘mind’, can therefore also be viewed as a ‘category mistake’. Second, attempting to solve the questions of ‘what mind is’ and ‘how mind operates’ are two entirely different approaches to the study of mind. I argue that it is necessary to focus on ‘knowing-how’ rather than ‘knowing-that’, if we are to gain a more comprehensive understanding of mind and avoid any kind of category mistake such as those that follow from isolating the physical properties of brain or drawing inferences from a mystical soul. Third, I aim to show why investigating mind from the perspective of ‘dispositions’ of behavior is a valid approach. The Buddhist concept of karma-vāsanā elucidates the habitual tendency to act or not act in various situations. Based on this theory, I argue that the workings of the human mind bears strong links to the formation of karma and as such have important axiological implications that cannot be ignored. I conclude by pointing out that Ryle’s insightful ideas could in certain ways be complemented by the Buddhist theory of mind. In my view, his philosophy is not only a mediator between Analytic Philosophy and Phenomenology, but could perhaps also be seen as a mediator between traditional Eastern systems of thought and contemporary philosophies of mind. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural to (...) try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

This paper examines the conservative point of view about distributive justice. The first section explains the methodology used to develop this point of view. The second section describes one conservative point of view and briefly provides empirical evidence that it reflects the viewpoint of many ordinary conservatives. The third section explains how this conservative view can ground objections to social safety net programs, using as examples the recent health reform legislation and more extensive proposals for a true national health system. (...) The fourth section sketches ways that non-conservative philosophers might try to refute those objections. Examining a conservative point of view leads to several important conclusions. One is that the conservative point of view is not properly represented in contemporary philosophical discussions. Another is that the conservative point of view cannot be refuted by appealing to existing egalitarian writings. A third is that if progressive philosophers such as myself want to address the conservative point of view, we must expand the range of issues that we discuss in contemporary political philosophy. Doing so is a vital task, because otherwise we ignore the political views held by as much as half the American population. (shrink)

Most literature on religious beliefs and disagreements among traditions focuses on a bit of mainstream assumptions: religions should be construed in substantive terms; religions are to be individuated by their core belief systems; adherents to a single tradition assent to the same belief system; religious beliefs have factual content; incompatible religious beliefs cannot be both true; and so on. In my work I question all these claims in order to defend a non kantian approach to deep pluralism. In the (...) first part I develop a narrative theory of doxastic practices. My fundamental intuition is that ambiguity, vagueness, and indeterminacy of meaning are non amendable features of any ordinary belief. Consequently, no proposition has a definite meaning, and there is no a priori reason to assume that if two believers assume the same belief, they both hold the same content. What I'm trying to do is to argue in support of a realist epistemology, without assuming a normative and rationalist stance. My evidential body is mainly drawn from psychology and psychoanalysis. In the second part I apply such a narrative theory to the study of the doxastic character of religions. I reject both functionalist and substantive approaches to religion, and I defend my own viewpoint which I label experentialism. After providing a characterization of religious beliefs, I refute how Alston, Ward and Hick account for the the doxastic features of religions. I then propose a definition of religious diversity which turns out to be alternative to the mainstream one. I work by empirical evidence from semiotics, sociology of religion and history of religions. In the third and conclusive part of my book, I give reasons against the mainstream approach to religious diversity, and I explain how my definition can be more appropriate to the sociological study of religious beliefs than the mainstream one. Finally, I provide an account of deep pluralism, I show that my approach to religious epistemology and religions is compatible with (and recommended by) deep pluralism, I differentiate kantian from non kantian pluralism, and I explain why non kantian deep pluralism resists the traditional objections to pluralism. Throughout the book I discuss relevant materials from Hinduism, Judaism, Christianity, and Islam. (shrink)

As a philosopher, psychologist, and physician, the German thinker Hermann Lotze defies classification. Working in the mid-nineteenth-century era of programmatic realism, he critically reviewed and rearranged theories and concepts in books on pathology, physiology, medical psychology, anthropology, history, aesthetics, metaphysics, logic, and religion. Leading anatomists and physiologists reworked his hypotheses about the central and autonomic nervous systems. Dozens of fin-de-siècle philosophical contemporaries emulated him, yet often without acknowledgment, precisely because he had made conjecture and refutation into a method. (...) In spite of Lotze's status as a pivotal figure in nineteenth-century intellectual thought, no complete treatment of his work exists, and certainly no effort to take account of the feminist secondary literature. Hermann Lotze: An Intellectual Biography is the first full-length historical study of Lotze's intellectual origins, scientific community, institutional context, and worldwide reception. (shrink)

Karl Popper’s “Indeterminism in Quantum Physics and in Classical Physics” suffers unjust neglect. He judged determinism false: the future is open. In principle, replacing Laplace's variant of predetermination with predictable predetermination renders “scientific” determinism scientific and so refutable. Popper claimed that he had refuted it. Now a metaphysical system may have an extension—in the mathematical sense—that may render it explanatory and testable. If it exists, then it is not unique but has many alternative extensions. Popper’s proof is then inconclusive.

Notwithstanding diverse opinions and debates about mixing methods, mixed methods research (MMR) is increasingly being used in sport and exercise psychology. In this paper, we describe MMR trends within leading sport and exercise psychology journals and explore critical realism as a possible underpinning framework for conducting MMR. Our meta-study of recent empirical mixed methods studies published in 2017–2019 indicates that eight (36%) of the 22 MMR studies explicitly stated a paradigmatic position (five drew on pragmatism, two switched paradigms between qualitative (...) and quantitative elements of the study, and one was situated in relativist-interpretivism). The remaining 14 (64%) studies did not report their underpinning research philosophical assumptions. Evaluating the merits and limitations of these positions against critical realist assumptions suggests that several paradigmatic disagreements are potentially reconcilable. These include (a) maintaining that ontological and epistemological concerns are important for methodological integrity of a mixed methods study; (b) switching between paradigms in the same study is problematic; and (c) refuting the qualitative-quantitative incommensurability thesis, therefore allowing mixed methods research without compromising philosophical coherence. From a critical realist position, we suggest that both quantitative and qualitative designs are justifiable in a mixed methods study because (1) they help corroborate, refine, or refute plausible explanations of phenomena (epistemological), but (2) with different methodologies utilised to perform different tasks in the same research design related to different psycho-social system features (ontological). We call for a collaborative engagement by researchers across paradigmatic positions to work towards the advancement of methodological pluralism in our research community. (shrink)

Abū Ishāq al-Ṣaffār was one of scholars of the Western Qarakhānids’ period who followed the Kalām thought of al-Māturīdī (d. 333/944). His theological works Talkhīs al-adilla and Risāla fī al-kalām, his method in kalām, and frequent reference to his works by Ottoman and Arab scholars indicate that al-Ṣaffār is a respected and authorative Māturīdī theologian. The article focuses on his defense of the kalām. By adding a long introduction to Talkhīs about the naming, importance, and religious legitimacy of the science (...) of kalām, Saffār asserted that the kalām should be learned. When systematical vindication of the science of kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the kalām among Ḥanafī-Māturīdīs. Even though he does not state its systematic, it can be understood that vindication of kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation. Al-Ṣaffār’s defending the science of kalām shows that there were opposite thoughts against kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania. In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists. His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- SUMMARY: Abū Ishāq Ibrahīm b. Ismāil Zāhid al-Ṣaffār al-Bukhārī is a scholar belonging to the Ḥanafī theological tradition which was improved by the contribution of Ḥanafī theologians who used thinking system of Abū Ḥanīfa (d. 150/767) as base and adopted Abū Manṣūr al-Māturīdī (d. 333/944) and his thoughts in historical process. The contents of his theological works Talkhīs al-adilla li-qawāʿid al-tawḥīd and Risāla fī al-Kalām, the method that he used, and references to his works made by Ottoman and Arab scholars indicate that he is an important Māturīdī theologian. The article focuses on his defense of the science of Kalām. -/- In Talkhīs al-adilla, there are two sections including the subject of naming, and importance and necessity of Kalām discipline. Here, the necessity of learning Kalām and its value are defended in detail. -/- Besides, rumors “Abū Ḥanīfa turned away from the science of Kalām in his doomsdays” and that “He prohibited to make occupation with Kalām completely” are evaluated. -/- When systematical vindication of the science of Kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the Kalām among Ḥanafī Māturīdīs. Even if Abū Manṣūr al-Māturīdī, Abū al-Yusr al-Bazdawī (d. 493/1100) and Abū Muʿīn al-Nasafī (d. 508/1115) defend that the science of Kalām is not wrong for religion; yet, the vindication of Kalām does not take a place under a separate title and in a detailed manner in any of Māturīdī theologians works. -/- The method that al-Ṣaffār used when he is defending the science of Kalām, differs from strategy of Abū Ḥanīfa. While Abū Ḥanīfa has mentioned that there is a need for the science of Kalām under these new circumstances, al-Ṣaffār has defended theologians who were charged with being Ahl al-Bidaʿ, by trying to prove that the prophets especially the Prophet Ibrāhīm, even the Companions of the Prophet Muḥammad (Ṣaḥāba) and the Successors of the Companions (Tābiʿūn) scholars use their minds and make arguments in religious matters. In this respect, he emphasizes that the Qurʾān orders to think and discuss gently, not to be stay in silence: “And dispute with them, using what is best” (16.125-126). Therefore, he states that this discipline which took a mission to explain and defend the creed of Islam (ʿaqīda), cannot be characterized as an innovation (bidʿah) or illicit. -/- His vindication method can be defined as a more developed type of method that Abu’l-Ḥasan al-Ash’arī’s (d. 324/935) used in Risāla fī istiḥsān al-khawḍ fī ʿilm al-kalām. Even though he does not state its systematic, it can be understood that vindication of Kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation: -/- a) Explanation: Explaining the necessity and importance of the science of Kalām by giving information about its definition, names, value and place among other principles. -/- b) Demonstration: Revealing the religious basics of the science of Kalām from the Qurʾān, the Sunna of the Prophet Muḥammad, the Companions of the Prophet, and the Successors of the Companions thus specifying that it is legitimate for religion. -/- c) Refutation: Replying the claims having aim to weaken the value of Kalām principle and its religious legality. -/- Al-Ṣaffār describes ‘the science of Kalām’ as ‘Knowing the Real with the evidences which help to reach the absolute information’. By allocating the concept of 'Ḥaqq', he repeats the definition of Kalām as “it is to know God with certain evidences” in a part of his work, and “it is to know the principles of religion (uṣūl al-dīn) with certain evidences” in another part. He describes Kalām as “Knowing ḥaqq / God / uṣūl al-dīn by depending on evidence”, and tries to prove that it is wrong to consider a science which performs the stated duty, as illicit and abominable and thus turn away from it. -/- Al-Ṣaffār thinks that it is right to call this principle as ‘Kalām’ because of the certain evidences leading to the truth that this science has used. This thought was defended by other theologians as well. -/- For example, according to Saʿd al-Dīn Masʿūd al-Taftazānī (d. 792/1310) it seems like to say “This is the word (kalām), not the other knowings” by the way of the power of evidences used in Kalām.Thus, it is appropriate to give name Kalām for this science which based on certain evidences. -/- Al-Ṣaffār’s explanations revealed in scope of vindication of the Kalām are adopted by some of following scholars. Ḥusām al-Dīn al-Sighnāqī (d. 714/1314) in his book called al-Tasdīd sharḥ al-Tamhīd fī qawāʿid al-tawḥīd quotes Saffâr’s explanations as the same. -/- Al-Ṣaffār indicates that the method told in the Qurʾān is to reply questions about religion, beliefs and rejection instead of remaining in silence. The duty taken on by Kalām is this vindication activity performed by the prophets whose examples are described in the Qurʾān and which is legal and demanded. His way of thinking and vindication of the Kalām resembles that of Abū Manṣūr al-Māturīdī. Al-Māturīdī says, “Prophets and we were ordered to invite infidels to Islam. When this invitation happens, the respondents will ask for evidence and explanation, and discussion will be inevitable. Therefore, discussing and talking about subjects of Kalām is not objectionable”. -/- Thoughts of al-Māturīdī and al-Ṣaffār regarding the vindication of the Kalām were repeated by Nūr al-Dīn al-Ṣābūnī (d. 580/1184), and Fakhr al-Dīn al-Rāzī (d. 606/1210) later. According to al-Ṣābūnī, the evidences put against deniers and especially the discussion made by the Prophet Ibrāhīm to defend his own belief, prove the legality of Kalām discipline. Likewise, according to al-Rāzī, the duty of Kalām is just an activity performed already in the Qurʾān and ordered to the prophets. At this point of view, since the prophets were leading to Kalām, banning this activity is nonsense. -/- According to al-Ṣaffār, the reason for why Abu Hanifa avoids his son Hammād from these discussions is that Abu Hanifa does not like discussions based on obstinate. Otherwise, it cannot be that Abū Ḥanīfa prohibits to learn Kalām and make discussion about Kalām. According to him, this behavior of Abū Ḥanīfa results from that people discussing with him are ignorant about the subject of Kalām, discussion turns to an obstinate, and coming to an end of discussion seems impossible. This comment of al-Ṣaffār is quoted in Miftāḥ al-saʿāda wa-miṣbāḥ al-siyāda by ʿIṣām al-Dīn Aḥmed b. Muṣṭafā Tashköprüzāde (d. 968/1561) and in Minaḥ al-rawḍ al-azhar fī sharḥ al-Fiqh al-akbar by ʿAlī b. Sulṭān Muḥammad al-Qārī (d. 1014/1606) as same as his words. -/- Al-Ṣaffār’s defending the science of Kalām shows that there were opposite thoughts against Kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania.In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of Kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists (fuqahāʾ). Because some of the Ḥanafī jurists thought that Abū Ḥanīfa forsook occupation with the science of Kalām and even he prohibited his son to have interest in this discipline. But some of Ḥanafī theologians such as al-Māturīdī, al-Nasafī and al-Ṣaffār protested this thought which describes Abū Ḥanīfa as a banner for Kalām. -/- His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- His book Talkhīs al-adilla li-qawāʿid al-tawḥīd is a unique source in terms of containing vindication of the Kalām in detail and also influencing the approaches of the next period scholars. (shrink)

In this article, I argue that online echo chambers are in some cases and in some respects good. I do not attempt to refute arguments that they are harmful, but I argue that they are sometimes beneficial. In the first section, I argue that it is sometimes good to be insulated from views with which one disagrees. In the second section, I argue that the software-design principles that give rise to online echo chambers have a lot to recommend them. Further, (...) the opposing principle, serendipity, could give rise to serious harm, in light of the conclusion of the first section that sometimes we are better off being insulated from some content online. In the third section, I argue that polarization can be a useful tool for inculcating the appropriate attitudes in a person. (shrink)

L’article de Karl Popper « Indeterminism in Quantum Physics and in Classical Physics » est tombé injustement dans l’oubli. Popper jugeait le déterminisme faux : l’avenir est ouvert. En principe, remplacer la variante de Laplace de la pré-détermination par une prédétermination prévisible permet de rendre scienti-fique, donc réfutable, le déterminisme « scientifique ». Popper a affirmé qu’il l’avait réfuté. Maintenant, un système métaphysique peut avoir une extension – au sens mathématique – qui le rend explicatif et testable. Si une extension (...) existe, alors elle n’est pas unique, et de nombreuses autres extensions alterna-tives existent. La preuve de Popper n’est alors pas concluante. (shrink)

The article reviews on the technical attributes on current technologies deployed in outer space and those that are being developed and mass produced. The article refutes the Chinese state-controlled Xinhua News’ propaganda several years ago on objecting America’s deployment of nuclear technologies in outer space with rigorous scientific evidence. Furthermore, the article warns on the dangers of physical signals applied in outer space technologies that can threaten the solar system, especially the Mozi quantum satellite with photon beams. The article concludes (...) with the illicit practices by the Chinese state party with militant ambitions in the supposedly scientific institutions. It violates the spirit on the peaceful use of outer space, and goes against the 2222 (XXI) resolution adopted by the general assembly, including the 1967 Outer Space Treaty banning the stationing of weapons of mass destruction in outer space. (shrink)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept (...) of boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

I argue that pain sensations are perceptual states, namely states that represent (actual or potential) damage. I defend this position against the objection that pains, unlike standard perceptual states, do not allow for an appearance-reality distinction by arguing that in the case of pain as well as in standard perceptual experiences, cognitive penetration or malfunctions of the underlying sensory systems can lead to a dissociation between the sensation on the one hand, and what is represented on the other hand. (...) Moreover, I refute the objection that the allegedly weak correlation between pain and bodily damage forces intentionalist accounts of pain to postulate so many malfunctions (misrepresentations respectively) that such accounts become implausible. I also rebut Murat Aydede’s objection that our linguistic practice supposedly shows that there is a conceptual difference between standard perceptual experiences and pain sensations by challenging Aydede’s premise that we always withdraw standard perceptual reports in case of counterevidence, while we never do that with pain reports. At the end, I propose an explanation as to why we do not express perceptual reports of (potential) bodily damage in objectivist, but in mental terms. (shrink)

Pettit endorses a ‘republican’ conception of social freedom of the person as consisting of a state of non-domination, and takes this to refute Mill’s ‘liberal’ claim that non-domineering but coercive interference can compromise social freedom of choice. This paper argues that Pettit’s interpretation is true to the extent that Mill believes that the legitimate, non-arbitrary and just coercion of would-be dominators, for the sake of preventing them from dominating others, can render them unfree to choose to do so without rendering (...) them socially unfree (qua dominated) persons in their own right. However, contra Pettit, Mill is correct to reject the ‘republican’ view for at least two reasons. Firstly, it enables him to avoid commitment to the implausible implication that would-be dominators who sincerely deny any interest in a shared system of basic liberties are automatically rendered unfree persons by the coercion necessary to uphold such a system. Secondly, it enables him to avoid begging the question against ‘immoralists’ like Nietzsche, whose opposition to systems of reciprocal non-domination is at least partly motivated by the losses of social freedom of choice they entail for those they deem to be worthy of dominating others. (shrink)

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)