This chapter contains sections titled: Scientific Reasons Motivated by Morality? The Science of Religion Notes.

Provides an overview of the complex history of the secular tradition of science and its interactions with religions and spiritual traditions.

What, if any, are the limits of human understanding? Epistemic pessimists, sobered by our humble evolutionary origins, have argued that some parts of the universe will forever remain beyond our ken. But what exactly does it mean to say that humans are ‘cognitively closed’ to some parts of the world, or that some problems will forever remain ‘mysteries’? In this paper we develop a richer conceptual toolbox for thinking about different forms and varieties of cognitive limitation, which are often conflated (...) by the so-called ‘new mysterians’. We distinguish between representational access and imaginative understanding, as well as between different modalities of cognitive limitation. Next, we look at tried-and-tested strategies for overcoming our innate cognitive limitations, drawing from the literature on distributed cognition and cognitive scaffolding’. This allows us to distinguish between the limits of bare brains vs. scaffolded brains. Most importantly, we argue that this panoply of mind-extension devices is combinatorial and open-ended. In the end, this allows us to turn the table on the mysterians: for every alleged ‘mystery’, they should demonstrate that no possible combination of mind extension devices will bring us any closer to a solution. (shrink)

Certain enterprises at the fringes of science, such as intelligent design creationism, claim to identify phenomena that go beyond not just our present physics but any possible physical explanation. Asking what it would take for such a claim to succeed, we introduce a version of physicalism that formulates the proposition that all available data sets are best explained by combinations of “chance and necessity”—algorithmic rules and randomness. Physicalism would then be violated by the existence of oracles that produce certain kinds (...) of noncomputable functions. Examining how a candidate for such an oracle would be evaluated leads to questions that do not admit an easy resolution. Since we lack any plausible candidate for any such oracle, however, chance-and-necessity physicalism appears very likely to be correct. (shrink)

Judgments of the rationality of beliefs must take the costs of acquiring and possessing beliefs into consideration. In that case, certain false beliefs, especially those that are associated with the benefits of a cohesive community, can be seen to be useful for an agent and perhaps instrumentally rational to hold. A distinction should be made between excusable misbeliefs, which a rational agent should tolerate, and misbeliefs that are defensible in their own right because they confer benefits on the agent. Likely (...) candidates for such misbeliefs are to be found in the realm of nationalism and religion, where the possession costs of true beliefs are high, and where collective beliefs in falsehoods may allow for a cohesive community. We discuss the paradoxes of reflective awareness involved in the idea of deliberately embracing falsehoods. More rigorous, fully reflective concepts of rationality would still disallow false beliefs, but such demanding versions of rationality would commit agents to pay large costs, thereby weakening the motivation for acquiring true beliefs. (shrink)

Gödel's Theorem is often used in arguments against machine intelligence, suggesting humans are not bound by the rules of any formal system. However, Gödelian arguments can be used to support AI, provided we extend our notion of computation to include devices incorporating random number generators. A complete description scheme can be given for integer functions, by which nonalgorithmic functions are shown to be partly random. Not being restricted to algorithms can be accounted for by the availability of an arbitrary random (...) function. Humans, then, might not be rule-bound, but Gödelian arguments also suggest how the relevant sort of nonalgorithmicity may be trivially made available to machines. (shrink)

In the past centuries, most Muslims have encountered modern science as a Western import. To avoid being overwhelmed by the military and commercial advantages enjoyed by technologically advanced nations, Middle Eastern Muslim societies had to begin adopting modern knowledge. As westernization started to shape social structures and institutions as well as technologies, conservative Muslim responses to modern science typically became conditioned by the demands of cultural defense. Many Muslim thinkers argued that upholding the religious character of Muslim civilization meant borrowing (...) technology but rejecting the perceived materialism pervading the conceptual frameworks of modern science. This defensive approach remains prominent in present Muslim thinking about science. Almost all religiously oriented Muslim thinkers take harmony between science and Islam for granted, but in practice, conservative Muslims often express deep reservations about the naturalistic perspectives dominating modern science. Especially in the popular literature, religiously motivated distortions of science are common. Darwinian evolution is a particular target of rejection. (shrink)

Atheists, conservative theists, and religious liberals often read the history of science in ways that support their own position. Atheists expect continual mutual support between science and nonbelief, conservatives emphasize theistic metaphysical foundations for science; and liberals find a historical development toward separate spheres for science and religion. The rise of science was more complicated than anticipated by any of these stories. Atheism and science have usually developed almost independently, with weak connections. Today, the naturalism of modern scientific descriptions of (...) the world is consonant with an atheistic position. But even now, significant tensions between science and atheism remain. (shrink)

While concern about public irrationality and antiscientific movements is not new, the increasing power of right-wing populist movements that promote distrust of expertise and of scientific institutions gives such concerns a new context. Experience with classic pseudosciences such as creationism, and the long-running efforts by defenders of science to oppose such pseudosciences, may also help us understand today’s post-truth populism. The politics of creationism and science education in the United States and in Turkey does not, however, suggest easy answers. Moreover, (...) there are important features of politics in liberal democracies that drive a populist backlash, which makes it counterproductive for defenders of science to call for deference to all forms of expertise claimed by professionals. There is a danger that the rhetoric of reason that is used to defend science will become part of a more general apologetics for an unsustainable status quo. (shrink)

Some philosophers have argued that, owing to our humble evolutionary origins, some mysteries of the universe will forever remain beyond our ken. But what exactly does it mean to say that humans are ‘cognitively closed’ to some parts of the universe, or that some problems will forever remain ‘mysteries’? First, we distinguish between representational access and imaginative understanding, as well as between different modalities of cognitive limitation. Next, we look at tried-and-tested strategies for overcoming our innate cognitive limitations. In particular, (...) we consider how metaphors and analogies can extend the reach of the human mind, by allowing us to make sense of bizarre and counterintuitive things in terms of more familiar things. Finally, we argue that this collection of mind-extension devices is combinatorial and open-ended, and that therefore pronouncements about cognitive closure and about the limits of human inquiry are premature. (shrink)

This paper extends the investigations into logical properties of the quantified argument calculus (Quarc) by suggesting a series of proper subsystems which, although retaining the entire vocabulary of Quarc, restrict quantification in such a way as to make the result decidable. The proof of decidability is via a procedure that prunes the infinite branches of a derivation tree in what is a syntactic counterpart of semantic filtration. We demonstrate an application of one of these systems by showing that Aristotle’s assertoric (...) syllogistic is embeddable within, thus also providing another method of showing its decidability. (shrink)

This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.

Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...) some atomic formulas containing non-denoting names are true, while negative free logic rejects even the latter claim. Inclusive logics, which reject, are likewise considered. These logics have complex and varied axiomatizations and semantics, and the goal of this paper is to present an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of abstract semantics, which allows for a straightforward demonstration of the meta-theoretical properties, and offers insights into the relationship between different logics. The final part of this paper is dedicated to extending the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework. (shrink)

On Islamic doctrine, teachings and its practice.

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...) recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

This note is a generalization and improved interpretation of the main result of Karni and Schmeidler. A decision-maker is supposed to possess a preference relation on acts and another preference relation on state-prize lotteries, both of which are assumed to satisfy the von Neumann–Morgenstern axioms. In addition, the two preference relations restricted to a state of nature are assumed to agree. We show that these axioms are necessary and sufficient for the existence of subjective expected utility over acts with state-dependent (...) utility functions and a subjective probability measure. This subjective probability measure is unique when conditioned on the set of states of nature in which not all the prizes are equally desirable. (shrink)

The relative rate of success of parliamentary vs. governmental legislative initiative is quite different. The examination of one, resp. two full legislative term, for amendments, resp. bills introduced, shows thatparliamentary legislative initiative by far exceeds «regular» governmental initiative : in a ratio of 3 to 1 for bills, and of 4 to 1 for amendments. But the results are almost inverse : governmental initiative accounts for 76 % of the bills, and for 67 % of the amendments eventually voted. The (...) government succeeds in «pushing through» more than 90 % of its own initiatives, whereas parliamentary initiative hardly obtains an overall 10 % realization score. In an interrogative manner, the conclusion pointsto a few elements that may account for this situation. (shrink)

Aprender Matemática na escola é deparar-se com um mundo de conceitos que envolvem leitura e compreensão, tanto da linguagem natural como da linguagem matemática. Muitas vezes, os componentes curriculares, a Língua Portuguesa e a Matemática não dialogam. A resolução de problemas parece ser um dos pontos críticos na Matemática escolar. Este artigo aproxima esses componentes de forma a buscar estratégias para uma aprendizagem efetiva.

RESUMO De acordo com Bakhtin, o dialogismo polifônico, um princípio geral para que haja um avanço de conhecimento, é bem representado no romance literário e mais comumente em narrativas, nas quais diferentes “vozes” podem ser expressas. Assim, neste artigo analisamos narrativas baseadas em imagens e construídas por trinta crianças, entre 5 e 8 anos de idade, falantes de francês, narrativas essas produzidas antes e depois de uma conversa sobre as causas dos eventos. As análises tiveram como foco a habilidade das (...) crianças de fazer diferentes vozes serem ouvidas, particularmente as vozes dos personagens, as quais as crianças fizeram ser ouvidas não apenas por meio do discurso direto e indireto, mas também por meio de expressões dos seus estados interiores, como crenças, intenções e sentimentos. Os resultados mostram tanto um desenvolvimento da habilidade das crianças de fazer com que essas vozes sejam ouvidas em suas narrativas, quanto um papel facilitador da troca conversacional em suas expressões. Argumentamos que esses resultados dão suporte para se considerar o lugar central que o diálogo ocupa no panorama geral da abordagem bakhtiniana. (shrink)