scholarly journals Gödel’s incompleteness theorems, free will and mathematical thought

Author(s):  
SOLOMON FEFERMAN

The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical character. This chapter focuses on two arguments from logic. First, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to which every proposition is either true or false, no matter whether the proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar as that applies to the mathematical potentialities of human beings. The claim more precisely is that as a consequence of the incompleteness theorems, those potentialities cannot be exactly circumscribed by the output of any computing machine even allowing unlimited time and space for its work. The chapter concludes with some new considerations that may be in favour of a partial mechanist account of the mathematical mind.

Open Theology ◽  
2020 ◽  
Vol 6 (1) ◽  
pp. 374-377
Author(s):  
Tyron Goldschmidt ◽  
Samuel Lebens

AbstractA reply to Bogdan V. Faul’s “Can God Promise Us a New Past? A Response to Lebens and Goldschmidt.” In this reply we clarify why it is that we regard a scene-changing theory of time to be an improvement over presentism from a theological point of view. We present two benefits: a scene changing theory allows God (1) to improve the past and it allows him (2) to give free will to human beings whilst ensuring that they hyper-will never have misused it. More generally, the scene-changing theory when compared to presentism has the more compelling account of the badness of past evils.


1982 ◽  
Vol 18 (3) ◽  
pp. 365-372 ◽  
Author(s):  
Robert Ackermann

Many philosophers have written in the past as though it were nearly obvious to rational reflection that the existence of evil in this world is incompatible with the presumed properties of the Christian God, and they have assumed a proof of incompatibility to be easy to construct. An informal underpinning for this line of thought is easy to develop. Surely God in his benevolence finds evil to be evil, and hence has both the desire and the means, provided by his omnipotence and omniscience, to eradicate it. But it remains a brute fact that evil exists. While this seems plausible enough at first glance, and seems damaging to the rationality of Christian belief, attempts to pin down a definite proof of incompatibility have encountered difficulties. The root difficulty is perhaps that the surface plausibility of incompatibility is ultimately mistaken. In what he calls a Free Will Defence against natural atheology, Alvin Plantinga has presented what seems a definitive proof, on rather modest assumptions, of the logical compatibility of God's nature and the existence of evil. Logic alone can neither prove nor disprove God's existence, since the defence rests on the empirical assumption that evil exists in this world. What Plantinga shows, put very simply, is that God may have created a world as good as any that an omnipotent, omniscient, and benevolent being might have created given that human beings must exist in that world. Whether Christianity ought to court logical rationality may seem highly dubious, but on the supposition that it does, Plantinga's proof that the existence of God is logically compatible with the existence of evil seems to me to (provisionally) settle the issue of whether Christianity is a possible object of rational belief, at least insofar as the problem of evil is considered the major obstacle to rationality of belief. Perhaps it is now clear that I do not intend here to attack the validity or the significance of Plantinga's proof. At the same time, I think it possible to argue for Plantinga's conclusion on other grounds, grounds that seem to me philosophically more appealing, and grounds that are manifestly compatible with the Biblical record. After briefly summarizing Plantinga's argument, I shall propose an alternative free will defence that circumvents some of the presuppositions of his arguments, an alternative that may be attractive to philosophers who are not interested in an ontology involving Plantinga's conception of possible worlds.


Problemos ◽  
2020 ◽  
Vol 97 ◽  
pp. 132-149
Author(s):  
Živilė Pabijutaitė

Over the past several decades, in the field of temporal logic there have been created a great number of semantical theories that provide different truth conditions for tensed propositions. In this article we deal with five non-bivalent semantical interpretations of the temporal logic systems CL (Cocchiarella Linear) and Kb (Kripke Branching): 1) Ł3 by J. Łukasiewicz; 2) K3 by S. C. Kleene; 3) Ockhamism by A. Prior; 4) supervaluationism by R. Thomason; 5) relativism by J. MacFarlane. The aim of this article is to present a detailed typology of the five semantical theories based on these criteria: a) the ability to deal with the problem of retrospective evaluation of future contingent propositions; b) the ability to deal with the problem of divine omniscience and free will; c) their relation to the law of excluded middle; d) their relation to other formulas that are intuitively acceptable in an intederministic context. It is argued that the only theory that satisfies all four criteria is the relativism of J. MacFarlane; however, it faces some serious challenges when dealing with the problem of retrospective evaluation of future contingent propositions in the theological context.


1979 ◽  
Vol 44 (4) ◽  
pp. 566-582 ◽  
Author(s):  
John P. Burgess

‘In Time rigorous abstraction, in Time the highest, in Time divine knowledge, is comprehended’Atharva VedaFollowing McTaggart [17], we may distinguish two aspects of time: The A-series, running through the past to the present and on into the future, and the B-series, running from earlier to later. In Indo-European languages at least, verbs are tensed, so we cannot help but place whatever we speak of in one of the three divisions of the A-series. But these divisions are not permanent: what is present was future and will be past. Hence a typical statement, e.g. ‘Socrates is sitting’, may well be true at one time and false at another. The instability of truth-value over time was a commonplace among pre-Renaissance logicians, but most modern writers have ‘abstracted from’, i.e. ignored, this feature of ordinary language.Early logicians were quite interested in time: Aristotle questioned the applicability of the excluded middle to predictions of future contingencies in the famous ‘sea-fight’ passage of On interpretation. Later Greek logicians debated whether that which neither is nor will be can legitimately be called possible, and whether, in order for the conditional ‘if p, then q’ to be true, it is required that ‘not both p and not ∼q’ be true (not just now but) always. Mediaeval logicians in Western Europe struggled with logical difficulties created by the Dogmas of the Church, Omniscience and Free Will. Their counterparts in the Islamic world puzzled over the semantics of the temporal adverbs, ‘always’, ‘usually’, ‘often’, ‘sometimes’, ‘seldom’, ‘never’.


Author(s):  
Volker Scheid

This chapter explores the articulations that have emerged over the last half century between various types of holism, Chinese medicine and systems biology. Given the discipline’s historical attachments to a definition of ‘medicine’ that rather narrowly refers to biomedicine as developed in Europe and the US from the eighteenth century onwards, the medical humanities are not the most obvious starting point for such an inquiry. At the same time, they do offer one advantage over neighbouring disciplines like medical history, anthropology or science and technology studies for someone like myself, a clinician as well as a historian and anthropologist: their strong commitment to the objective of facilitating better medical practice. This promise furthermore links to the wider project of critique, which, in Max Horkheimer’s definition of the term, aims at change and emancipation in order ‘to liberate human beings from the circumstances that enslave them’. If we take the critical medical humanities as explicitly affirming this shared objective and responsibility, extending the discipline’s traditional gaze is not a burden but becomes, in fact, an obligation.


2014 ◽  
Vol 7 (2) ◽  
pp. 136-151 ◽  
Author(s):  
Sung-Ae Lee

To displace a character in time is to depict a character who becomes acutely conscious of his or her status as other, as she or he strives to comprehend and interact with a culture whose mentality is both familiar and different in obvious and subtle ways. Two main types of time travel pose a philosophical distinction between visiting the past with knowledge of the future and trying to inhabit the future with past cultural knowledge, but in either case the unpredictable impact a time traveller may have on another society is always a prominent theme. At the core of Japanese time travel narratives is a contrast between self-interested and eudaimonic life styles as these are reflected by the time traveller's activities. Eudaimonia is a ‘flourishing life’, a life focused on what is valuable for human beings and the grounding of that value in altruistic concern for others. In a study of multimodal narratives belonging to two sets – adaptations of Tsutsui Yasutaka's young adult novella The Girl Who Leapt Through Time and Yamazaki Mari's manga series Thermae Romae – this article examines how time travel narratives in anime and live action film affirm that eudaimonic living is always a core value to be nurtured.


GIS Business ◽  
2018 ◽  
Vol 13 (1) ◽  
pp. 1-9
Author(s):  
Gunjan Sharma ◽  
Tarika Singh ◽  
Suvijna Awasthi

In the midst of increasing globalization, the past two decades have observed huge inflow of outside capital in the shape of direct and portfolio investment. The increase in capital mobility is due to contact between the different economies across the globe. The growing liberalization in the capital market leads to the growth of various financial products and services. Over the past decade, the Indian capital market has witnessed numerous changes in the direction of developing the capital markets more robust. With the growing Indian economy, the larger inflow of funds has been fetched into the capital markets. The government is continuously working on investor’s education in order to increase retail participation in the Indian stock market. The habits of the risk-averse middle class have been changing where these investors started participating in the Indian stock market. It is an explored fact that human beings are irrational and considering this fact becomes imperative to investigate factors that influence the trading decisions. In this research, ‘an attempt has been made to investigate various factors that affect the individual trading decision’. The data has been collected from various stockbroking firms and from clients of those stockbroking firms their opinions were recorded by means of a questionnaire. Data collected through the structured questionnaire, 33 questions were prepared which was given to the 330 respondents on the basis of convenience sampling out of which 220 individuals filled questionnaire, the total of 200 questionnaires was included in the study after eliminating the incomplete questionnaire. Various factors are being explored from the literature and then with the help of factor analysis some of the most influential factors have been explored. Factors like overconfidence, optimism, cognitive bias, herd behavior, advisory effect, and idealism are the factors which influenced the trading decision of the investors the most. Such kind of a study is contributing in the area of behavioral finance as a trading decision is an important aspect while investing in the stock market. And this kind of study would be helping and assisting financial advisors to strategies for their clients in making the right allocation and also the policy maker and market regulators to come up with better reforms for the Indian stock markets.


2020 ◽  
Vol 13 ◽  
Author(s):  
Rohit Bhatia ◽  
Amit Sharma ◽  
Raj Kumar Narang ◽  
Ravindra K. Rawal

: Cancer is one of the most serious health concerns in 21st century whose prevalence is beyond boundaries and can affect any organ of human beings. The conventional chemotherapeutic treatment strategies lack specificity to tumours and are associated with toxic effects on immune system and other organ systems. In the past decades, there has been a continuous progress in the development of smart nanocarrier systems for target specific delivery of drugs against variety of tumours including intracellular gene-specific targeting. These nanocarriers are able to recognize the tumour cells and deliver the therapeutic agent in fixed proportions causing no or very less harm to healthy cells. Nanosystems have modified physicochemical properties, improved bioavailability and long retention in blood which enhances their potency. A huge number of nanocarrier based formulations have been developed and are in clinical trials. Nanocarrier systems include polymeric micelles, liposomes, dendrimers, carbon nanotubes, gold nanoparticles, etc. Recent advancements in nanocarrier systems include mesoporous silica nanoparticles (MSNs), metal organic frame works and quantum dots. In the present review, various nanocarrier based drug delivery systems along with their applications in the management of cancer have been described with special emphasis on MSNs.


SUHUF ◽  
2015 ◽  
Vol 3 (1) ◽  
pp. 69-83
Author(s):  
Novita Siswayanti

The stories in Qur'an are Allah’s decrees which convey more beau-tiful values beyond any religious text ever written. It is the holiest scripture and is written  in a wonderful, understandable, and attract-ive language humbly conveying a vast amount of information about life and events that happened in the past. It’s aim is to be an object of reflection for human beings living in this age and the future. Even more so, the stories in Al-Qur'an also entail an educative function providing learning materials,  and teaching methods, regarding the transformative power of Islam and the internalization of true religious values.


Sign in / Sign up

Export Citation Format

Share Document