In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

L’article montre d’abord jusqu’où convergent la dialectique hégélienne de l’Idée et la dialectique lautmanienne des Idées, et ce sur quoi elles se séparent en profondeur : sur la négativité et le statut de la contradiction. Il s’intéresse ensuite à certaines formalisations qui ont été proposées de ces deux dialectiques : celle de Doz et Dubarle pour Hegel dans une extension de la logique booléenne, et celle, récemment esquissée par F. Zalamea en théorie des catégories, pour Lautman. Est montré dans ses (...) grandes lignes comment la traductibilité mutuelle, au niveau technique, peut être établie entre les deux entreprises, la conséquence étant que la divergence spéculative semble rétroactivement gommée, que le négatif semble avoir disparu. À partir de ce paradoxe sont présentées quelques pistes de réflexion sur les enjeux de la démarche de formalisation, entendue comme entreprise de réduction du fossé existant entre le conceptuel et le formel, et de ce qu’elle révèle des rapports entre mathématiques et philosophie.The paper begins by showing what is common to Hegel’s dialectic of the Idea and Lautman’s dialectic of Ideas, and where they diverge deeply : on negativity and the status of contradiction. It then focuses on two different attempts to formalize these dialectics : Doz and Dubarle’s attempt to formalize the Hegelian one in an extension of Boolean logic ; and, more recently, Zalamea’s formalization of the Lautmanian one through category theory. The paper then sketches how, at a technical level, these two attempts can be translated one into the other — which indicates, in turn, that the speculative divergence seems to have disappeared, that the negative has been erased. With reference to this paradox the paper provides the reader with some reflections dealing with the stakes of the formalizing process, seen as way of reducing the gap existing between the conceptual and the definite, and of what it reveals of the relations between mathematics and philosophy. (shrink)

در زبان بشری الفاظی وجود دارد که در زبان دینی به نحو مشترک به خدا و مخلوقات نسبت داده می‌شود. نسبت این الفاظ به خدا و انسان به نحو مشترک لفظی و مشترک معنوی منجر به دیدگاه تشبیه و تعطیل می‌شود که از چالش‌های الهیاتی است. اندیشمندان اسلامی برای حل این چالش به معنا و مفاهیم تشکیکی این الفاظ متوسل شده‌اند. ملاصدرا، با مبانی فلسفی خود، برای حل این مسئله نظری را طرح کرده که می‌توان آن را الهیات تشکیکی نامید. (...) توماس آکویناس متفکر مسیحی در توجیه نسبت این الفاظ نظریه‌ای را بیان نموده که به الهیات تمثیلی معروف است. این نظریه در جوامع علمی غربی و اسلامی مورد نقدهایی قرار گرفته است. با تحلیل معناشناختی واژه‌های کلیدی نظریۀ آکویناس و تبیین محتوای آن می‌توان نشان داد که دیدگاه او با تفاوت‌هایی همان نظریۀ الهیات تشکیکی است. او در این زمینه از ابن‌سینا متأثر است. (shrink)

جعل و کشف معنا دو دیدگاه بنیادین در معنای زندگی هستند که هر کدام موافقان و مخالفانی را به خود اختصاص داده‌اند. سارتر با تبیین وجودِ فی‌نفسه و وجودِ‌ لنفسه، و همچنین مفاهیمی همچون امکان ناضرور، آزادی و فردیت، ابتدا جهان را از هر معنایی تهی می‌کند و سپس برای استعلای خویش و همچنین عدم انفعال، در پی جعل معناست. بنابراین، در این حوزه، سارتر را می‌توان یک ناشناخت‌گرا و سوبژکتیویست خواند و از این رو انتقادات مربوط به این دو (...) نحله به سارتر نیز تعلق می‌گیرد. برای نمونه، سارتر با سوبژکتیو دانستن معنا امکان هر گونه داوری معرفتی را دربارۀ صدق و کذب دیدگاه اخذشده از بین می‌برد. در عین حال، به نظر می‌رسد، با توجه به مبانی معرفتی ناشناخت‌گرایان و سوبژکتیویست‌ها، می‌توان از قوت این نقد کاست. همان طور که می‌دانیم، تأکیدِ سارتر و سایر اگزیستانسیالیست‌ها بر جعل و یا کشف معنا شدیداً وابسته به فرد و ساختار سوبژکتیو اوست. بنابراین به نظر می‌آید با توجه به بنیان‌های فلسفی سارتر، نقدهای مبتنی بر شناخت‌گرایی بر سارتر وارد نباشد. (shrink)

ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...) any one logic being privileged, then, on this count partisans across the logical spectrum are in relatively similar dialectical positions. (shrink)

According to Priest, a proof can be distinct from itself in the same way that a number can. Priest does not specify any such number, so the present little note aims at filling this lacuna by providing a plain arithmetical code of a dialetheia similar to but simpler than the one presented in our recent work and thereby a natural number distinct from itself.

It might be thought that we could argue for the consistency of a mathematical theory T within T, by giving an inductive argument that all theorems of T are true and inferring consistency. By Gödel's second incompleteness theorem any such argument must break down, but just how it breaks down depends on the kind of theory of truth that is built into T. The paper surveys the possibilities, and suggests that some theories of truth give far more intuitive diagnoses of (...) the breakdown than do others. The paper concludes with some morals about the nature of validity and about a possible alternative to the idea that mathematical theories are indefinitely extensible. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and (...) false. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

In 1993, for the first time, John L. Schellenberg, the contemporary philosopher of religion, proposed the “Hiddenness Argument’’. According to this argument, as God doesn’t provide for many people sufficient evidence for His existence, He is Hidden. In the other words, that many people inculpably fail to find sufficient evidence for the existence of God constitutes evidence for atheism. Schellenberg argues that since a loving God would not withhold the benefits of belief, the lack of evidence for God’s existence is (...) incompatible with divine love. This paper argues that his defense of two controversial premises of his argument is unsuccessful: one is that God’s love is incompatible with His allowing some to remain in doubt in His existence, and the other is: the nonbelief of some agnostics is inculpable. Theistic Religions have plausible reasons, which Schellenberg has not succeeded in refuting, for thinking that all nonbelief is culpable. (shrink)

The question of the “meaning of life” has always studied by philosophers like John Hick and led them to make an explanation regarding their philosophical bases about it. John Hick mentions “the meaning of life” in his work based on the concepts he borrows from Wittgenstein and Kant and states that the meaning of life depends on an interrelation between the human and the world. Thus, he inevitably talks about the world as a place in which the human experiences his (...) life and then he relates the explanation of the world to the cosmic optimism. He, then, thinks that the cosmic optimism depends on religious beliefs. Therefore, he makes a turn from the question of “the meaning of life” to the question of “the world’s nature” and then, from the “world’s nature” to “the religious features which give us better judgments about the world”. The article is going to explain his point of view about the meaning of life regarding his ideas about critical realism and then, is going to consider the results and notes about it such as being allocated merely to Abrahamic religions, being not general and being no implication between cosmic optimism and religious belief. (shrink)

As an English analytic philosopher, Stace considers religion to be identical with mysticism and mystical experience to be its core. According to him, mystical experiences and thus religious propositions are ineffable. Existence consists of temporal and eternal realms each of which has its special language. While the temporal world is the realm of finite reason, religion belongs to the eternal level that can be perceived only by intuition. Religious language is symbolic. Symbolic proposition is not a report of reality, but (...) its function is to stimulate religious emotions in believers and to bring about religious experience. In this article, I shall begin by explaining Stace’s notions of religion, reason and mysticism. I shall, then, describe Stace’s analysis of the symbolic language of religion with reference to its function, that is, stimulation of experience and religious emotions in believers. Finally, I will explore the epistemological foundations of Stace’s theory of religious language. (shrink)

Conducting experiments and investigations, some researchers have tried to prove that mystical and religious experiences can be created through drug injection. W. J. Wainwright distinguishes between theistic and monistic mystical experiences. Assessing research done by Clark, Pahnke-Houston and Masters, he believes that although psychedelic drugs can induce some kind of monistic mystical experience, they cannot produce theistic mystical experiences. There is no significant evidence in the research based on which one can attribute theistic mystical experience to drug injection. Analysis of (...) the research results showed that the drug induced experiences were mainly extroversive and only a small percentage of the experiences were introversive. According to Wainwright, there should be some considerations in scientific explanation of the mystical experiences. First, it seems necessary to pay attention to the object of the experience and to distinguish between different kinds of mystical experiences. This implies that we might not be able to offer a scientific explanation for the object of every experience. Second, one cannot determine the nature of religious and mystical experiences, for such experiences are something internal and thus cannot be measured by external criteria. (shrink)

Tabatabaei’s view about the relationship between religion and philosophy can be considered in two stages: formation and understanding. He introduces revelation as an unknown method. Therefore, the methodological relation between religion and philosophy cannot be explained well. To provide its content, scripture uses a common language which is conventional. Besides, religion has reached its summit later than philosophy. The relationship between religion and philosophy in the understanding stage in Tabatabaei’s view is based on interpretation of Quran by Quran. This method (...) of interpretation can be used for completion of philosophy that all its theorems are rooted in Monotheism. (shrink)

In this paper, we present four philosophical approaches and their prominent advocates toward the problem of relationship between Darwinian evolution and theistic beliefs: Atheistic Inconsistency: there is a deep conflict between Darwinian evolution and theism; among atheists, Richard Dawkins and Daniel Dennett could be regarded as the best representatives in this branch. Theistic Inconsistency: A deep conflict could also be seen among theists, M.H. Tabātabā’ī’s Quranic exegesis is one of the most significant sources in this regard from Islamic side, correspondent (...) to the same in other theistic religions. Theistic Consistency: There is a concord between theism and Darwinian evolution; we have considered Alvin Plantinga and Murtazā Mutaharī in this category. Reductionist Consistency: Theism and Darwinian evolution, or science and religion in general, are two different and noncompeting levels of explanation; John Haught advocates such reductionist consistency between science and religion. Having mentioned the four above classes and a few of many representatives of each category and some important questions toward these approaches, we have attempted to show that the alleged consistency between theistic beliefs and Darwinian evolution by the principle of natural selection fails. (shrink)

James’s primary interest in religion was directed to practical consequences of religious belief in believer’s real life. His general approach to justify the truth of religious belief is resorting to these same consequences. Due to this background and due to some of James’s own statements regarding his theory of truth according to which he identifies the truth of a belief with its practical utility, some interpreters have interpreted him as a philosopher who attempted to present pragmatism as an alternative to (...) realism in metaphysics, epistemology, and philosophy of religion. In this article, relying on the whole James’s statements concerning his theory of truth and focusing on his views about religious experience, the incorrectness of that interpretation will be shown and it will be proved that James’s theory of truth presupposes mind-independent realities and he doesn’t reduce truth to utility; and his commitment to pragmatism in providing justification for religious belief is not incompatible with his commitment to religious realism, the view that there is some knowable mind-independent object for religious belief. (shrink)

Ibn Sina has had two completely different positions on bodily resurrection. At times, after rational demonstration of spiritual resurrection, he declared that he merely accepts bodily resurrection by trusting the saying of Prophet and sometimes by criticizing those who believe in the resurrection of body and soul, he only accepts the resurrection of souls. The problem here is that he can believe in the corporeality of resurrection in this way only if he regards it possible and already has shown its (...) possibility. But he has not proposed the possibility of bodily resurrection. After Ibn Sina, some theologians and philosophers have shown the possibility of bodily resurrection before asserting revealed arguments for it. Another difficulty of Ibn Sina is that he rejects bodily resurrection whereas it is confirmed by Quranic verses and valid traditions. He believes that the prophet, by taking into account the situation of general audience who do not have the ability of understanding rational concepts and true happiness and wickedness, should encourage them by stating tangible pleasures and punishments and frighten them of disobedience and wrong doing. By proposing the theory of analogy as a particular method for teaching people the religious truth, Ibn Sina has regarded the literal meanings of Quranic verses as signs of higher Quranic concepts to people. So, beyond the literal meanings of these verses, there is some esoteric and rational ones that should be attained by way of esoteric interpretation. Many theologians have not accepted this solution by asserting that the verses are not liable to allegorical interpretation. (shrink)

One of the major issues in the names and attributes of God, is the semantic interpretation of how to interpret and apply the concepts and predicates that talk about God. A historical survey proves that Imami theologians’ theological views are derived from the Qur'an and hadith. The Quran ascribed some attributes to God that prompted scholars to discuss and analyze the applicability of these concepts to God; accordingly, different views emerged Including Allameh Hilli’s apophaticism which is similar to the apophatic–cataphatic (...) way of Thomas Aquinas. We'll explain how three meanings of the apophatic-cataphatic. Erigena stated one of the meanings and Thomas Aquinas and Allameh Hilli stated another one which seems similar to each other. While Hilli’s negates the anti-attributes, Thomas negates the attributes which are specified to creatures. Then we explain the meaning of the attributes regarding creatures and God, and then, will discuss the “gradation theory” of Allame Hilli and “Analogy theory” of Thomas Aquinas. (shrink)

There are four main theories concerning the explanation of the relation between “reason and religion” including rationalism, traditionalism, primacy of reason, and primacy of revelation. In this article, after a review of these theories, I shall argue that none of them is satisfactory and thus, we should look for an alternative theory. I suggest that the dialectical hermeneutical approach to the relation between reason and religion can be such a satisfactory theory which avoids the difficulties with the aforementioned theories. I (...) shall explain the theory by means of some philosophical hermeneutical foundations and show how it is rooted in the views of Mulla Sadra and his followers. (shrink)

The relation between free will and necessity is one of the most important issues regarding the problem of “free will”. This is because of the rule which indicates that “being not necessary, an event would not be came off”. There has been an ongoing debate among theologians, philosophers and Jurists on whether this rule includes free actions. Sadrain Philosophers believe that this rule is inclusive of human free actions, while followers of the Na’eeni school endorse the opposite. In this article, (...) after reviewing the views of philosophers and jurists on the stages of a free action, I shall explore the question whether human actions, stages of which are understood deterministic, could be regarded as free, and so, whether Na’eenian criticisms against philosophers are justified. Besides, I shall put forth some innovative ideas of Allameh Ja’fari concerning the issue, whose view, while revises some philosophers’, is not compatible with that of Na’eeni. (shrink)

The problem of evil is challenging the belief in the omniscient, omnipotent, and wholly good God. In its logical sense and deductive form, it claims that there are some pointless evils and myriads of life disorderliness with the existence of which God’s existence and his positive attributions are inconsistent. Needless to say, the reliability of this argument is based on the trueness or at least probable trueness of the concrete statement. Nevertheless, some philosophers like Swinburne have tried to deny the (...) statement by the answers such as Greater goods theodicy. This article tries to look closely at atheists’ logical argument and their alleged concrete statements, and then examine the Swinburne’s defense and its difficulties. (shrink)

Relying on the applicability of principles of Transcendent Philosophy for reconstructing religious beliefs, Aqa Ali Mudarres has tried to give a new explanation of “bodily resurrection”. He does this by appealing to the purely Sadraian philosophical principles as well as his method in which he begins by agreeing with popular beliefs and ends with a departure from them. Appealing to some Sadraian ontological principles as “substantial motion” as well as his principles of self-knowledge, Mudarres explains bodily resurrection to be the (...) return of the mundane body to the soul in resurrection. Thus, neither does he assume that the mundane body is the destination of the soul, nor he asserts, as Sadra does, that the soul itself is subject to resurrection. Ashtiani have raised many objections against Mudarres’s theory, which include the continuance of the relation between body and soul after death, the continuance of substantial motion after detachment of the soul, tendency to the Ash’arite theories and the very objections which can be raised against the Ash’arite theory of bodily resurrection. Reviewing the Sadraian principles and the dispute between Mudarres and Ashtiani represents the dynamism of Sadraian philosophy during the centuries. (shrink)

Divine Motivation theory is an ethical theory with a theological foundation, attempting to explain the relation between religion and morality in the context of Christian theology with emphasizing on neo-Aristotelian and motivation-based ethics. This theory that is presented by Linda Zagzebski, provides a new form of virtue ethics that God's motives, especially that of love, are foundations of moral life and these motivational states are considered ontologically and explanatorily the basis for all moral properties and values. This theory uses five (...) steps to advance its destination. In the first step, this theory proves the personhood of God. In the second step, it argues that God has perfect virtues and motives. In the third step, it shows that God's motive in the Creation is motive of love that is the central and fundamental divine motive. In the fourth step, it discusses the doctrine of imitatio Dei and focuses on the problems of this doctrine. In the last step, it attempts to link this doctrine to the doctrine of the incarnation to resolve its problems. (shrink)

According to Fakhr al-Din al-Razi, it is essential for the prophets to be infallible after the beginning of their prophetic mission. Yet he doesn’t authorize chastity before mission for the prophets and believes that although prophets do not commit sins intentionally, they may do unintentionally. In his view, the extent of prophets’ innocence includes four domains of belief, propagation and mission, laws and judgments as well as actions and behaviors. On the basis of some foundations such as determinism implied by (...) innocence and some reasons such as appealing to obviousness and also some pieces of evidence from Qur’an such as Q72:23, Al-Razi has tried to prove prophets’ innocence. In this regard, he has also replied to some doubts such as the one proposed due to Q21:87. (shrink)

Mulla Sadra believes that only possible true and authentic way to know God is presented knowledge. It seems that the human presented knowledge of God is not free from difficulty and ambiguity. According to the other principles of Mulla Sadra’s transcendental philosophy, someone can say that the human presented knowledge of God is incoherent with other parts of his philosophy. In this paper, six conflicts, named meditations, are discussed. They are as follows: The problem of the true presented knowledge of (...) God, the ignorance of God, knowing other things except God, unknowing of intermediaries between man and God, the impossibility of knowing anything other than self in presented knowledge and the impossibility of understanding the essence and attributes of God. It seems that Mulla Sadra believes that the solution of this problem is beyond the realm of philosophical thought, such that with his philosophical system, he seeks to make an arrangement for entering that field. Therefore transcendental philosophy is finally a prelude to the rise of this type of human excellence which is not a kind of theoretical and philosophical exploration or activity, but it is quite mystical and requires mystical attempt. (shrink)

Intellectual autonomy indicates how human being can preserve her epistemic agency and intellectually manage and regulate herself. This epistemic value is commonly proposed against intellectual heteronomy according to which the believer is not capable of applying her epistemic agency because of internal or external impediments. Since the early modern era, some philosophers and intellectuals have supposed, implicitly or explicitly, that religious belief violates intellectual autonomy. However, the responsibilist version of virtue epistemology shows that autonomy, as an intellectual virtue, is not (...) epistemic self-reliance and independence from the other but prescribes a way to regulate one’s epistemic agency in intellectual interactions with the other. On this basis, a conscientious autonomous believer is capable of knowing and managing the variety of her epistemic relations with others. Intellectual autonomy in this sense is compatible with believing and maintaining religious beliefs. Religious belief can be autonomous if the believer find the other’s role in her beliefs as imparting knowledge, critic, model, adherent, and authority and regulate, conscientiously and equipped with intellectual virtues, the way in which the other participates in them. (shrink)

در این مقاله سعی شده است فهم دینی کرکگور از «سوبژکتیویته» با استناد به گفته‌های او به ویژه در دست‌نوشته‌ها و سایر نوشته‌هایش تبیین شود. او مفاهیم کلیدی نظیر «مسیحیت»، «حقیقت»، «شور»، «خدا»، و «ایمان» را برای توصیف و تبیین «سوبژکتیویته» به کار می‌برد. برای مثال تلقی وی از مسیحیت به مثابۀ «سوبژکتیویته» با تلقی رایج و عمدتاً تاریخی از مسیحیت که عمدتاً درک ابژکتیو از آن دارند کاملاً متفاوت است. مسیحیت از نظر این متفکر عمدتاً در قالب آموزه‌ها مطرح (...) می‌شود و چیزی که برای او حائز اهمیت است مسیحی شدن است، نه این که مسیحیت چیست. کرکگور به دنبال آن است که در برابر سوبژکتیویتۀ فلسفی فلسفۀ مدرن نظیر تفکر دکارتی و کانتی موضعی انتقادی اتخاذ کند. باید گفت که کرکگور با سوبژکتیویته سروکار دارد، نه سوبژکتیویسم که یک مسئلۀ معرفت شناختی است و او علاقه‌ای به آن ندارد. بنابراین هدف این مقاله این است که ماهیت دینی سوبژکتیویته و فهم دینی از آن را در نوشته‌های این متفکر دانمارکی نشان دهد. (shrink)

نظریه‌های معنای زندگی را در یک تقسیم‌بندی کلان و اجمالی می‌توان به دو دستۀ دیدگاه‌های طبیعت‌گرا و غیرطبیعت‌گرا افراز کرد. یکی از اشکالات همیشگی وارد بر دیدگاه‌های طبیعت‌گرا ناتوانی آنها در حل معضل پوچی است؛ طبیعت‌گرایی خوش‌بینانه عنوان ایده‌ای است که مدعی شده بر مبنای پیشرفت‌های علمی و دستاوردهای فناورانه می‌توان، در عین پای‌بندی به طبیعت‌گرایی، از معضل پوچی رهایی یافت. در این مقاله، با تأکید بر دیدگاه‌های لئو تولستوی و تامس نیگل دربارۀ معضل پوچی، طبیعت‌گرایی خوش‌بینانه، بر مبنای دیدگاه (...) دن ویجرز، با یک صورت‌بندی استدلالی تقریر می‌شود. همچنین، به منظور داوری دربارۀ کارآمدی طبیعت‌گرایی خوش‌بینانه در رهایی یافتن از معضل پوچی، مبانی و پیشفرض‌های معناشناختی، معرفت‌شناختی، و انسان‌شناختی آن از جمله جعل‌گرایی، علم‌گرایی و فیزیکالیسم مورد بررسی و واکاوی قرار می‌گیرد و نشان داده می‌شود که این دیدگاه، بر خلاف ادعای مطرح‌شده از سوی ویجرز، قابلیت حل معضل پوچی را ندارد، بلکه مؤیدی بر ناتوانی طبیعت‌گرایی در حل معضل پوچی است. (shrink)

از دید غزالی، انبیا تأثیری بنیادین در رساندن سایر انسان‌ها به عالی‌ترین مرتبۀ معرفتی دارند. این تأثیر، علاوه بر این که در حوزۀ تعلیم حقایق به انجام می‌رسد، تأثیری تربیتی است که با ایجاد تغییر در ساحت‌های عاطفی‌ـ‌ارادی انسان‌ها ساحت معرفت را به مرتبۀ یقین و به سطح مکاشفه می‌رساند. نقش تربیتی انبیا هدایتگری «سفری» است که انسان در نفس خود به سوی حقیقت در پیش می‌گیرد تا «قابلیت» دریافت حقایق را بیابد. رسیدن به این قابلیت مستلزم «تسویه» و «اعتدال» (...) و «انسجامی نفسانی» است، تا وی «یکسره» به حقیقت توجه یابد. انسان‌ها در مواجهه با نبی قالب زبانی مکاشفۀ او را دریافت می‌کنند. تبعیت از دستورات شرع و پیروی از حرکات و سکنات و اقوال و افعال انبیا انسان‌ها را در سفری معرفتی همراهی می‌کند که غایت آن ظهور عالی‌ترین مرتبۀ معرفتی در ایشان است. در این مرتبه است که طالبان معرفت می‌توانند به «فهم» و «تأویل» باطن حقایق شرع و معرفت به واقعیت‌های روحانی دست یابند، که شامل موجودات روحانی و ربط و نسبت‌های میان موجودات و معنای وجود آنها می‌شود. (shrink)

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest’s argument for Dialetheism from Gödel’s theorem is unconvincing as the lesson of Gödel’s proof (or Rosser’s proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest’s inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying Gödel sentence to the inconsistent and complete theory of arithmetic. We argue, (...) however, that the alternative argument raises a circularity problem. In sum, Gödel’s and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of Gödel sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of Gödel sentence. Hence, Gödel’s and its related theorem never can be a ground for Dialetheism. (shrink)