In this paper, I propose to discuss the theory of error or Khyativāda with special reference to Nyāya philosophy. The error is an epistemological concept. As such it is contrasted with the truth. Philosophers, while dealing with the concept of error, have analyzed it from logical, metaphysical and psychological perspective. The problem of error in Indian philosophy is discussed in the different theories known as the Khyativāda. According to Nyāya School error is known as anyathākhyativāda. Here 'anyathā' literally means 'otherwise' (...) or 'else-wise'. When shell is perceived as silver, the erroneous cognition consists in the fact that the shell is perceived otherwise i.e. as other than what it really is. Error is an instance of erroneous judgement resulting from mischaracterization. Naiyāyikas bring in jñānalaksana pratyaksa to account for perceptual error. And the later Naiyāyikas are trying to explain the perceptual character of illusory experience, undoubtedly, an illusion, there is the attribution of false character to a perceived fact. (shrink)

Analytic philosophers have, since the pioneering work of B.K. Matilal, emphasized the contributions of Nyāya philosophers to what contemporary philosophy considers epistemology. More recently, scholarly work demonstrates the relevance of their ideas to argumentation theory, an interdisciplinary area of study drawing on epistemology as well as logic, rhetoric, and linguistics. This paper shows how early Nyāya theorizing about argumentation, from Vātsyāyana to Jayanta Bhaṭṭa, can fruitfully be juxtaposed with the pragma-dialectic approach to argumentation pioneered by Frans van Eemeren. I (...) illustrate the implications of this analysis with a case study from Jayanta Bhaṭṭa’s satirical play, Much Ado about Religion (Āgamaḍambara). (shrink)

B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.

"In the programs of Logic and History of Philosophy in the FHUCE study and introduction to logic is always done on the basis of Western classical Greek tradition, and its development is still exclusively through Western culture. This presentation aims to provide a path parallel to the West is the tradition of Nyaya-Vaisesika schools, which arise in the S. V B.C. like a response to the anti-Vedic Buddhist nihilism, and reached an important technical development at the beginning (...) of S. II D.C. when you know the Nyāyasutras attributed to Aksapada Gautama, and are considered the founding text of Nyāya tradition of Indian philosophy. The great virtue of the achievement of these schools is that although the system has Vaisesika been described as "a synthesis between philosophy of nature, ethics and soteriology" , which also applies to school Nyāya in the latter we are also a great emphasis on epistemology and the rules must be observed in philosophical debates. In their synthesis, Nyāya -Vaisesika system gets his language and jargon will be adopted by all who wish to discuss logical issues in India (especially in discussions Vedanta / Buddhism) without the need to adopt such language should assume his ontological, moral and religious premises. (shrink)

proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although proposition is a (...) logical entity which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

The title of the present paper might arouse some curiosity among the minds of the readers. The very first question that arises in this respect is whether India produced any logic in the real sense of the term as has been used in the West. This paper is centered only on the three systems of Indian philosophy namely Nyāya, Buddhism and Jainism. We have been talking of Indian philosophy, Indian religion, Indian culture and Indian spirituality, but not that which (...) are of more fundamental concepts for any branch of knowledge whether it is social sciences or humanities. No aspect of human life and the universe has been left unexamined by Indian philosophers, and this leads to a totality of vision in both philosophical and psychological fields. In this paper we will discuss the main thinkers, sources and main concepts related to Indian Logic. (shrink)

Aptamimamsa by Ācārya Samantabhadra (2nd century CE) starts with a discussion, in a philosophical-cum-logical manner, on the Jaina concept of omniscience and the attributes of the Omniscient. The Ācārya questions the validity of the attributes that are traditionally associated with a praiseworthy deity and goes on to establish the logic of accepting the Omniscient as the most trustworthy and praiseworthy Supreme Being. Employing the doctrine of conditional predications (syādvāda) – the logical expression of reality in light of the foundational (...) principle of non-absolutism (anekāntavāda) – he faults certain conceptions based on absolutism. He finally elucidates correct perspectives on issues including fate and human-effort, and bondage of meritorious (punya) or demeritorious (pāpa) karmas. (shrink)

This paper connects recent findings from experimental epistemology to several major themes in classical Indian epistemology. First, current evidence supports a specific account of the ordinary knowledge concept in contemporary anglophone American culture. According to this account, known as abilism, knowledge is a true representation produced by cognitive ability. I present evidence that abilism closely approximates Nyāya epistemology’s theory of knowledge, especially that found in the Nyāya-sūtra. Second, Americans are more willing to attribute knowledge of positive facts than of negative (...) facts, especially when such facts are inferred and even when the positive and negative “facts” are logically equivalent. Similar suspicions about knowledge of negative facts seemingly occur in classical Indian epistemology, suggesting that the asymmetry might not be an American quirk but instead reflect a cross-culturally robust tendency in knowledge attributions. Each of these themes—abilism and the positive/negative asymmetry—presents an exciting opportunity for further research in experimental cross-cultural epistemology. (shrink)

Will I die? As a hypothesis, in my natural scientific understanding, the psyche, is nothing more than, and exclusively just some states of my living brain – I will die as a result of his death. -/- In presented answer, psyche – itself own immediate reality itself, that is – undoubted. -/- This work was performed in reality “in the first person” (“subjective reality”, “phenomenal consciousness”). To realize, how, what it is the reality of the “in the first person” let’s (...) imagine ourselves as an experimenter, who does not replace reality with reasoning about it. – Now for us, as experimenters, how (what it is) psychic is an immediate and undoubted reality. And the awareness of “I am” is a direct reality, and not knowledge about it, which is always doubtful. That is, in psychic reality, nothing prevents us from answering undoubtedly and definitively the question, asked by this psychic reality itself about itself. The author acts from the position of “being in reality – not going beyond its limits, for example, into philosophy” (philosophy, including methodology, is the replacement of reality itself with always dubious reasoning about reality) – explores phenomenal consciousness (“psychic”) directly and as an immediate reality. That is, this work is the mastery of psychic reality through subjective-psychical experimentation – don’t philosophize, but experiment! -/- For example, Descartes, introspectively experimenting in his own psyche reality with his own psyche, informed us about the immutability of the “mind” and proposed to understand this immutability as our own immortality: “the mind does not represent any combination of accidents, it is a pure substance, and although all its accidents are subject to change, it understands some things, it desires others or feels others, etc. – nevertheless, in itself it does not change; and as for the human body, it changes, if only because they are subject to a change in the shape of some of its parts. It follows from this that the body perishes very easily, while the mind, by its very nature, is immortal” (Декарт Р., p. 13). Note that, Descartes did not realize that he was immortal, but logically deduced his own immortality from the immutability of the mind. However, Descartes’ unchanging “mind” itself is such that there is something to die. And in my natural scientific understanding, the immutability of the mind does not imply its immortality – it will die without changing in its subjective self-perception, while instantly fading away as a result of brain death. Psyche (psychical) – a designation of the fact that this is one’s own immediate reality (that is, undoubtedly) – how (what) I myself am immediately, undoubtedly, and that immediate reality of mine, how and through which I myself and everything in general for me there is, and which is exclusively the only one for me. It should be noted that while I am unconscious (brain injury or dreamless sleep), there is nothing at all. -/- But this does not mean that “I”, having completely gone into oblivion, I'll die. This does not exclude that, I will disappear completely into oblivion and does not exist, but (at the same time) “I” – am. So, let’s define immortality as the impossibility of dying because there is nothing to die (psychic, but is such that there is nothing to die – is immortal) and will make a conclusion important for this work: if I am, as psyche, exclusively only is such that there is something to die and nothing else, then, therefore, my death is not excluded. But am I like that? The idea of this work is that I, as a psyche can to manifest (reveal) and realize myself as such (I such), that there is nothing to die, but (at the same time) I – am. I will realize of myself as immortal – such that to die (to decease) nothing. In other words, if I will approach with a bias and, acting purposefully, will reveal the subjective reality “I (psyche) such is that to die (to decease) nothing, but I – am”, that is – I am immortal, that the hypothesis “I will die” will falsified and excluded. -/- To realize this in the work, it is proposed to use the subject-object model, shift the boundary of “I” to the pole of the subject and become objectless, manifesting (revealing) oneself as such that there is nothing to die. Therefore, the aim (goal) of the work – to realize: I – am, but such that there is to die (decease) nothing. To become objectless and wondering about the possibility to dying, as a result, or I will exclude the immortality of the manifested state, or I will manifest (will reveal) immortal undoubtedly and definitively. -/- At the same time, I, as a subject, am “a necessary pole of subject-object relations. … An object is what the activity of … a subject is directed at. … In fact, everything that exists can become an object. … it is important to keep in mind the fundamental fact that the object is always outside the subject, does not merge with it. This externality also takes place when the subject deals with the states of his own consciousness, his Self ... it is important to emphasize that the relation of the subject and the object is not the relation of two different worlds, but only two poles as part of some unity” (Лекторский В.А., p. 6-7). That is, everything that I find existing in myself, this (such) is as an object. “The subject always refers to all “objects”, but it can never become an object for itself” (Титлин Л.И., p. 23). “… you will not be able to see the seeing vision ...” (Титлин Л.И., p. 40), and in this model this implies the “limit” of the subject. As the limit of the subject, I am “objectless”. And, therefore, in its own pole the subject is “ideal” – in its (own) limit (as its own limit, its own limit), I do not exist for myself (non-existent). -/- Using the “fact of the mobility of the boundaries of the subject” (for example, Тхостов А.Ш., p. 16), I have the opportunity to “pull” the boundary of the “I” into myself and become my own limit. At the same time, it is necessary to realize and accept that “inside” the limit of the subject and behind – “beyond of the subject”, and in general the very “inside” and “behind” in this version – unreality. In such a subject limit, the required paradoxical subjective state is assumed – I exist and see, but at the same time I am such that I do not exist for myself, that is, I am, but (subjectively such that) there is nothing to die (“immortality”). -/- Accordingly, the following tasks are indicated in the experiment: 1. In the object-subject sphere of visual perception, shift (and shift) the boundary of “I” into oneself –» to run into one’s own limit and become one’s own limit (without thickness: without depth, without “from within” and without reverse side) –» 2. Having become your own limit, which in its own limit is, but for myself I do not exist (non-existent), realize: • Myself – I am and this is real; • Will I die? – or there is nothing to die, which of the options is to me, as a psyche (as itself the psychic “I”), is applicable: • or I am such that it is not impossible that I will die, and the realized state is not immortal; • or “I” am such that “I” – am (is reality), but such that myself “I” to die nothing, that is, my own immortality – I am immortal; • Is this real? -/- Instruction for reproducing the target result: sequence of actions and results in a subjective-psychic experiment (hereinafter referred to as SPE) -/- At a distance of 25-40 cm from the wall (so that the wall occupies the entire field of view or its overwhelming part), • Here and now, focus on your face: “I am” – reality (and not is the knowing about it). • In yourself step back and look out of yourself at this wall. • Without moving your head, cover the field of vision with your attention as wide as possible and at the same time perceive everything at once (all this) as a single whole. • Perceive a high and wide wall (option: look up at an angle of 135-150 degrees in front of you) in such a way that the space (volume) surveyed by you without turning your head is a closed asymmetrical “lens” • limited in a circle in the periphery of the field of view, • convex in you; You – the beholder, rearwards concave in self (“subject”) – which one of you are watching? • Without moving your head, perceive the field of view as a single whole –» • Into yourself “draw in” –» “backing away” –» step back from everything –» • lean back into yourself –» up to dead-end limit –» • become a dead end itself – a concave (reflector-like) limit-plane. • You – into yourself – backward concave – a perceiving visual screen (limit-dead end), plane –» • lean back and press –» • something in general somehow inside the dead-end plane and behind the dead-end plane, as well as “inside” and “behind”, “behind the dead-end plane” – unreality; • myself – a dead-end plane without thickness (depth), without “inside”, without a reverse side for oneself. • –» That is, as a psychic reality (what is it psychically) will I die? –» or • Something there is, and that is I will die (it is possible); or • I am such that there is nothing to die, but I – am. or • Subjective-psychic experiment is incomplete… • –» Realize that this is reality (realize the reality of it) and emphasize (answer). -/- As a result, “I” am, but there is nothing to die/not to die, that is, the hypothesis “I will die” is unrealistic. -/- Remarks -/- • Each completed SPE is completed with the target result: “I am such that there is nothing to die, but I – am”. And the that what I will die (not excluded) does not correspond to this, that is unreality and is excluded by this. • But I am not such that I will not die. The concepts “I will die/ I will not die” to me, as a psyche are not applicable. That is, I, as a psyche, is immortal, but I am not eternal (not eternal – endlessly lasting, such that there is something to last) – to last, to be eternal and to end there is nothing. This is “immortality”. • In the target result of this work, I – am, but such that there is nothing to die/not die (“immortality”). And such a “I” is not the Atman of the Hindu schools of Nyaya, Vaisheshika and Purva Mimamsa, which E.A. Torchinov. Since the “I” – psychic, and not a substance with the psyche as an attributes. • According to illusionism, what I am as a result of the experiment given in the work is an illusion. And the impression of immortality is a product of the brain. But in reality I am such that I will die (it is not excluded). However, it is necessary to realize that illusionism is a detached reasoning about the “I”, but not is the self itself. And to what I am (as psiche), reasoning and questions about the reality of the “I” (for example, question: am I really like this, what am I like as psyche?) and other expressing illusionism do not correspond. That is, subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), the illusionism of the “I” is unreality. Subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), this is undeniable and final. • Reasoning about what such a “I” is in this (mine) or not in this brain, as well as (for example, holding a real skull in my hands), questions like “how (or, but now where is it here) such “I” – how is it after brain death?” – To the fact that is such an “I” these questions do not correspond and is falsified by this. • After being unconscious, the impression remains that I'm is not and that there is nothing at all. That is, my “unconsciousness” is psychic indistinguishable from my non-existence. However, science has not shown, but and it is not excluded that before and after I exist physically (there is something to die), I still or I no longer exist, there is still or nothing to die as a soul, substance, or otherwise. But what I am in the target result of this work is what I – am, and not “died and already now or still unreality” and I am such that there is nothing to die, this is – reality. That is, I will die? – there is nothing (to die), but I – am (reality), even if I am not (don’t exist). Or I do not exist as something. • I am such that there is nothing to be and die, but I am. And subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), this immortality is – reality. But this reality eludes my rational explanation. -/- Conclusion -/- Will I die? – In the target result the I am, but at the same time I am such that there is nothing to die. That is, I am immortal, but at the same time, I am not eternal (“I” not something eternal (endlessly continuing)) – I am such that to be eternal there is nothing. And, if we accept the subjective (psychic, “first person”, in first person perspective) reality without trying to understand it rationally, then I am exactly like that – I realize that this is my undoubted nature. That is, “I will die / I will not die” is an unreality. Subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), it is undoubted and final. Despite the unscientific nature, this work is a way of mastering reality. The author would be grateful for the identified and shown unreality of the fact that the “I” – am, but such that there is nothing to die, and ideally, the awareness: “I will die (not excluded).” -/- Bibliography -/- Декарт Р., Размышления о первой философии //Декарт Р. Соч.: В 2 т. Т. 2. М., 1994. Лекторский В.А. Субъект в истории философии: проблемы и достижения // Методология и история психологии. 2010. Том 5. Выпуск 1. С. 5-18. Титлин Л.И. Проблема субъекта в индийской философии («Пудгалавинишчая» Васубандху) [Текст] / [Л. И. Титлин]; Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук. – Москва: ОнтоПринт: Сделано-Сказано, 2018. – 361, [1] с. Тхостов A. Ш. Культурно-историческая патопсихология: монография, – М.: Канон+ РООИ «Реабилитация», 2020. – 320 с. Торчинов Е.А. «Словарик индуизма» (Дата написания: 2003; дата файла: 15.06.2007). Торчинов Е.А. Пути философии Востока и Запада: познание запредельного — СПб.: «Азбука-классика», «Петербургское Востоковедение», 2005. — 480 с. ISBN 5-352-01371-5 (Азбука-классика) ISBN 5-85803-258-3 (Петербургское Востоковедение). -/- Скончаюсь? – я бессмертен (как осознать бессмертие «от первого лица») -/- Скончаюсь? В качестве гипотезы в моем естественно-научном понимании психическое (каково психически), это не более чем, и исключительно только всего лишь некоторые состояния моего живого мозга – скончаюсь в результате его смерти. -/- В представленном ответе психическое – сама собственная непосредственная реальность, то есть, то, каково психически, это – несомненно. -/- Данная работа выполнена в реальности «первого лица» («субъективная реальность», «феноменальное сознание»). Чтобы осознать то, как, каково это, представим себя экспериментатором, который не подменяет реальность рассуждениями о ней. – Теперь для нас, как экспериментаторов, то, как (каково) психически, это непосредственная и несомненная реальность. И осознание «я есть», это непосредственная реальность, а не знание об этом, которое всегда сомнительно. То есть, в психической реальности, на вопрос, заданный самой этой психической реальностью самой себе о себе самой, нам ничто не запрещает ответить несомненно и окончательно. Автор действует с позиции «быть в реальности – не выходить за ее пределы, например, в философию» (философия, включая методологию, это подмена самой реальности всегда сомнительными рассуждениями о реальности) – исследует феноменальное сознание («психическое») непосредственно и в качестве непосредственной реальности. То есть, данная работа, это овладение психической реальностью посредством субъективно-психического экспериментирования – не философствуй, а экспериментируй! -/- Например Декарт, интроспективно экспериментируя в собственной психической реальности с собственным психическим, сообщил нам о неизменности «ума» и предложил эту неизменность понять в качестве нашего собственного бессмертия: «ум не представляет какого-то соединения акциденций, являет собой чистую субстанцию и, хотя все его акциденции подвержены изменению — он то понимает какие-то вещи, то желает другие или чувствует третьи и т.д.,— тем не менее сам по себе он не изменяется; а что касается тела человека, то оно изменяется хотя бы уже потому, что подвержены изменению формы некоторых его частей. Из этого следует, что тело весьма легко погибает, ум же по самой природе своей бессмертен» /Декарт Р., стр. 13. Заметим, Декарт не осознавал себя бессмертным, а логически вывел собственное бессмертие из неизменности ума. Однако, неизменный «ум» Декарта таков, что скончаться есть чему. А в моем естественно-научном понимании из неизменности ума не следует его бессмертие – он, не изменяясь в своем субъективном само-восприятии, при этом мгновенно угаснув в результате смерти мозга, скончается. Психически (психическое) – обозначение того, что это сама собственная непосредственная реальность (то есть – несомненно) – то, как (каково) я сам непосредственно, несомненно, и та моя непосредственная реальность, как и посредством чего я сам и всё вообще для меня есть, и которое для меня исключительно единственное. Следует заметить, что пока бываю без сознания (травма мозга или сон без сновидений), ничего и никак нет вообще. -/- Но это не значит, что «я» ушедши в небытие окончательно – скончаюсь. Этим не исключено, что таковой ушедший в небытие «я» не существую, но (при этом) есть. Итак, определим бессмертие, как невозможность скончаться потому, что скончаться нечему (например, если «умерший» психически есть, но уже таков, что скончаться больше нечему, то теперь он бессмертен) и сделаем важный для данной работы вывод: если психически я исключительно только таков, что скончаться есть чему и ни каков иначе, то, следовательно, то, что скончаюсь, это не исключено. Но таков ли я? Идея данной работы в том, что мне удастся проявить (выявить) и осознать себя таковым (я таков), что скончаться нечему, но (при этом) я есть. Иначе выражаясь, если я подойду предвзято и действуя целеустремленно, выявлю субъективную реальность «я есть, но таков, что скончаться нечему» – то смерть мне, как психическому несвойственна, то есть, я бессмертен – гипотеза возможности субъективно скончаться («я скончаюсь») будет фальсифицирована и исключена. -/- Чтобы это реализовать в работе предлагается воспользоваться субъект-объектной моделью, сдвинуть границу «я» в полюс субъекта и стать безобъектным, проявившись (выявившись) собой таковым, что скончаться нечему. Следовательно, цель работы – осознать: я таков, что есть, но скончаться нечему. Стать безобъектным и задаваясь вопросом о возможности скончаться, или исключу бессмертие проявленного состояния, или проявлюсь (выявлюсь) бессмертным несомненно и окончательно. -/- При этом, я, как субъект, являюсь «необходимым полюсом субъектно-объектных отношений. … Объект – то, на что направлена активность … субъекта. … В действительности объектом может стать все, что существует. … важно иметь в виду тот принципиальный факт, что объект всегда внеположен субъекту, не сливается с ним. Эта внеположность имеет место и тогда, когда субъект имеет дело с состояниями собственного сознания, своим Я … важно подчеркнуть, что отношение субъекта и объекта – это не отношение двух разных миров, а лишь двух полюсов в составе некоторого единства» /Лекторский В.А., стр. 6-7. То есть, всё, что нахожу в себе существующим, это (таковое) есть в качестве объекта. «Субъект – всегда относится ко всем «объектам», но он никогда не может стать объектом для самого себя» /Титлин Л.И., стр. 23. Иначе это выражая – «ты не сможешь увидеть видящего видение…» /Титлин Л.И., стр. 40, и в данной модели таковое предполагает «предел» субъекта. Как предел субъекта я «безобъектен». То есть, «идеален» – своим (собственным) пределом (в качестве собственного предела) самим для себя не существую (несуществующий). -/- Используя «факт подвижности границ субъекта» /например, Тхостов А.Ш., стр. 16, я имею возможность границу «я» в себя-назад «втянуть» и стать собственным пределом. При этом необходимо осознать и принять, что внутри предела субъекта и сзади – «за пределом субъекта», и вообще само «внутри» и «сзади» в этой модели – нереальность. Таким субъектным пределом предполагается требуемое парадоксальное субъективное состояние – я есть и вижу, но при этом я таков, что для себя не существую, то есть, я есть, но (психически таков, что) умереть нечему («бессмертие»). -/- Соответственно, в эксперименте обозначаются следующие задачи: 1. В объект-субъектной сфере зрительного восприятия сдвинуть (и сдвинув) границу «я» в себя-назад –» упереться в собственный предел и стать самим собственным пределом (без толщены: без глубины, без «внутри» и без обратной стороны) –» 2. Став собственным пределом, которым есть, но для себя не существую (несуществующий), осознать: • Себя – я есть и это реально; • Скончаюсь? – есть ли чему скончаться или скончаться нечему, какой из вариантов мне (как психическому «я») свойственен: • или я таков, что то, что скончаюсь не исключено, и реализованное состояние не бессмертно; • или я есть, но таков, что скончаться нечему, то есть, собственное бессмертие – я бессмертен; • Реальность ли это. -/- Инструкция воспроизведения целевого результата: последовательность действий и результатов в субъективно-психическом эксперименте (далее СПЭ) -/- На расстоянии 25-40 см от стены (так, чтобы стена занимала всё поле зрения или его подавляющую часть), • Здесь и сейчас сосредоточьтесь на своём лице: «я есть» – реальность (а не знание об этом). • В себе отстранитесь назад и смотрите из себя на эту стену. • Не двигая головой, охватите поле зрения вниманием предельно широко и одновременно всё сразу (всё это) воспримите единым целым. • Высокую и широкую стену (вариант: смотрите вверх под углом 135-150 градусов перед собой) воспримите так, что обозреваемое вами без поворота головы пространство (объем), это – ограниченная по окружности в периферии поля зрения замкнутая несимметричная «линза» • плоская с противоположной вам стороны • и выпуклая в вас; Вы – вогнутый в себя-назад смотрящий («субъект») – каков? – кто из вас сейчас на всё это смотрит? • Не двигая головой, поле зрения воспримите единым целым –» • В себя-назад «втянитесь» –» и «пятьтесь» –» «за мысли» и за всё вообще –» из этого всего назад вытесняясь –» от всего вообще взад отстранитесь –» • собой в себя-назад подайтесь и упершись в собственный (себя) задний к объектному обращённый (развернутый) тупиковый предел –» • станьте самим пределом-тупиком – в себя-назад вогнутой (рефлектор-подобной) пределом-плоскостью смотрящей – воспринимающим зрительным экраном –» станьте плоскостью-тупиком –» • «проскользните» по себе – плоскости-тупику и охватите вниманием целиком –» • собой – самим плоскостью-тупиком назад надавить, нажать –» • осознать: что-то как-то внутри плоскости-тупика и сзади за плоскостью-тупиком, и там вообще «что-то как-то», а также само «внутри» и «сзади», «за плоскостью-тупиком» и вообще «там» – нереальность; • самого себя – плоскости-тупика без толщины (глубины), без «внутри», без обратной стороны для себя нет. • –» То есть – в качестве психической реальности (каково психически) я скончаюсь? –» или • скончаться есть чему – скончаюсь (не исключено). или • я таков, что скончаться нечему, но я есть. или • субъективно-психический эксперимент не завершён. • –» Осознайте, что это – реальность (осознать реальность этого) и подчеркните (ответ). -/- В результате я есть, но скончаться/не скончаться нечему, то есть гипотеза «скончаюсь» – нереальность. -/- Замечания -/- • Каждый завершённый СПЭ завершён целевым результатом: «я таков, что скончаться нечему, но я есть». И тому, каков я в результате СПЭ, то, что скончаться есть чему – скончаюсь (не исключено) не соответствует, то есть нереальность и этим исключено. • То есть, я и не таков, что не скончаюсь. «Я скончаюсь/не скончаюсь» ко мне, как к психике, неприменимо. Иначе это выражая, тому, каков я, смерть несвойственна. То есть, я, как психика (психическое), бессмертен, но я не вечен (не вечный – бесконечно длящийся, таковой, что есть чему длиться) – длиться, быть вечным и не скончаться нечему. Таково «бессмертие». • В целевом результате данной работы я есть, но таков, что скончаться/не скончаться нечему («бессмертие»). И таковой «я» не Атман индуистских школ ньяя, вайшешика и пурва-миманса, о котором сообщает Е.А. Торчинов. Так как «я» психичен, а не субстанция с психическим в качестве атрибута. • Согласно иллюзионизму, то, каков я в результате данного в работе эксперимента, это иллюзия. И впечатление бессмертия, это порождение мозга. А реально я таков, что скончаюсь (не исключено). Однако, необходимо осознать, что иллюзионизм, это отстраненные рассуждения о «я», но не сам я непосредственно. И тому, каков я психически (каково психически), рассуждения и вопросы о реальности «я» (например, таков ли я реально, каков психически?) и другие выражающие иллюзионизм «я» не соответствуют. То есть, каково психически, иллюзионизм «я» – нереальность. Психически, это несомненно и окончательно. • Рассуждения о том, что таковой «я» в этом (моем) или не в этом мозге, а также (например, держа в руках реальный череп), вопросы, типа «а как же (или, но теперь где же здесь) таковой «я» – как это после смерти мозга?» тому, каков таковой «я» эти вопросы не соответствуют. • После пребывания без сознания остается впечатление, что без сознания меня нет и ничего никак нет вообще. То есть, моё «бессознание» психически неотличимо от моего несуществования (небытия). Однако, наукой не показано и не исключено то, что до и после того, как я есть физически (скончаться есть чему), меня ещё или уже нет, скончаться ещё или уже нечему в качестве души, субстанции или как-то иначе. Но, то, каков я в целевом результате данной работы, таковой я есть, а не «скончался и уже теперь или ещё нереальность» и я таков, что скончаться нечему – реален (реалия). То есть, скончаюсь? – нечему (скончаться), но я есть, даже если меня нет (не существую). • Я таков, что быть и скончаться нечему, но я есть. И то, как (каково) психически, это бессмертие – реальность. Но эта реальность ускользает от моего рационального её объяснения. -/- Заключение -/- Скончаюсь? – в целевом результате я есть и вижу, но при этом я таков, что умереть (скончаться) нечему. То есть, я бессмертен, но при этом я не вечен (не нечто вечное (бесконечно длящееся)) – быть вечным нечему. И, если принять психическое реальностью не пытаясь понять это рационально, то я именно таков – осознаю, что такова моя несомненная для меня природа. То есть, «скончаюсь/не скончаюсь» – нереальность. Психически, это несомненно и окончательно. Несмотря на ненаучность, данная работа – способ овладения реальностью. Автор был бы признателен за выявленную и показанную нереальность целевого результата данной работы, а в идеале, за осознание: «скончаюсь (не исключено)». -/- Annex 2. The key essence of this work (only in Russian to convey the nuances without distortion) -/- Performed, expressed and transmitted initially by means of Russian, the native language of the author, and, in order to avoid distortions in the correspondence of the linguistic nuances of the reproduced subjective reality, it assumes an independent translation into the language of the experimenter by the experimenter himself in the process of reproducing the target result of this work. -/- «Я» скончаюсь? – нечему (скончаться), но «Я» есть. Will “I” die (decease)? – to die (decease) nothing, but “I” am. -/- Заметить: • Выполнено, выражено и передано изначально посредством русского – родного для автора языка и, чтобы избежать искажений соответствия языковых нюансов воспроизводимой психической реальности, предполагается самостоятельный перевод на язык экспериментатора самим экспериментатором в процессе воспроизведения целевого результата данной работы. • В «кавычки» взяты слова и выражения, требующие «субъективного» приведения в соответствие психическому содержанию. Подготовка: • Вам потребуется уединённое место (там, где вас не отвлекут). • На первоначальном этапе понадобится некоторое (возможно длительное) время для того, чтобы усвоить предложенный алгоритм действий в психической реальности в процессе реализации и воспроизвести целевой результат впервые. • Возможно, результату поспособствует отклонение от предложенного алгоритма «психических действий», импровизация в направлении целевого результата. • В процессе эксперимента количество попыток не ограничено и затраченное на это время не имеет значения. Необходим исключительно только именно целевой результат. Реализация: • В уединении встать перед плоской широкой и высокой (достаточно большой, чтобы её границы были на периферии вашего поля зрения) стеной, например, покрытой однородной светлой (но не белой) керамической, не глянцевой (не отражающей на вас свет или отвлекающих внимание изображений, не дающей бликов) плиткой с лёгким текстурным рисунком (позволяющим глазам «зацепиться» за стену и отчётливо воспринимать перед собой поверхность, а не «утонуть» в однородном (монотонном) пространстве), на расстоянии 25-40 см от неё (так, чтобы стена занимала всё поле зрения или его подавляющую часть) –» • Скончаюсь (1)? – каково психически (психическое), в моем естественно-научном понимании – это (я) не более чем и исключительно только некоторые состояния функционирующего (живого) мозга – скончаюсь, как и уже скончался каждый умерший мозг – того каждого, кто скончался, как реальности (реального, реалии) (2) уже теперь нет окончательно. Теоретически, если психически я исключительно только таков, что скончаться есть чему и ни каков иначе, то, следовательно, что (я) скончаюсь, это не исключено. • Глядя на стену, здесь и сейчас сосредоточиться на своём лице (и осознать): «я есть» – реальность (а не знание об этом) –» • В себе «отстраниться» назад – смотрю из себя на эту стену –» • Не двигая головой, охватить поле зрения вниманием предельно широко (поднять (вздернуть) брови, если это расширит поле зрения) и одновременно всё сразу (всё это) воспринять единым целым –» • Высокую и широкую стену (вариант: смотреть вверх под углом 135-150 градусов перед собой) воспринять так, что обозреваемое без поворота головы пространство (объем), это – ограниченная по окружности в периферии поля зрения замкнутая несимметричная «линза» • плоская (ограниченная стеной) с противоположной мне стороны • и «выпуклая в меня» –» • Я – «вогнутый» в «себя-назад» смотрящий, каков? – кто из меня сейчас на всё это смотрит? –» • Не двигая головой, поле зрения воспринять единым целым –» • в себя-назад «втянуться» –» и «пятиться» –» «за мысли» и за всё вообще –» из этого всего назад «вытесняясь» –» от всего вообще «взад отстраниться» –» • «собой» в себя-назад «податься» и «упершись» в «собственный (себя) задний к объектному обращённый (развернутый)» «предел тупиковый» («тупо-уперто») –» • «стать» самим «пределом-тупиком» – «в себя-назад вогнутой (рефлектор-подобной)» «пределом-плоскостью» смотрящей – воспринимающим «зрительным экраном» –» стать «плоскостью-тупиком» –» • «проскользнуть» по себе – плоскости-тупику и охватить вниманием целиком –» • собой — самим плоскостью-тупиком «назад надавить, нажать»: • осознать: «что-то как-то внутри плоскости-тупика» и «сзади – за плоскостью-тупиком», и «там вообще» «что-то как-то», а также само «внутри» и «сзади», «за плоскостью-тупиком» и вообще «там» – нереальность; • самого себя – плоскости-тупика без толщины (глубины), без «внутри», без обратной стороны для себя нет –» Собой – плоскостью-тупиком: • без глубины (толщины), без «внутри», без обратной стороны таков, что скончаться есть чему – скончаюсь (не исключено) –» • смотрю –» смотря –» «Непосредственно-психически» -/- Заметить: • Специфику используемых в данной работе слов (терминов), названий и выражений необходимо осознать в соответствии с (4.1.) (данный пункт смотрите ниже). • Необходимо от себя – (как) «смотрящего плоскости-тупика», такового, что скончаться есть чему, оттождествиться собой — «самим психическим» (каково психически) (3) –» • –» «отличить (4)» «Я» –» «Я-лик». • Отличив, и себя такового обозначая, но не имея в языке отличающего местоимения, именую «Я» (5). • «Соединённое-через-дефис-в-кавычках» реализовать и/или воспринять «одним-единым-целостным»; • Последовательность слов и знаков предполагает последовательность психических действий (алгоритм действий в собственном психическом); • Вопросительность слова, фразы или отдельной её, именно вопросительной части задаётся знаком «?» расположенным перед и после них. Требование к действию задаётся знаком «!» расположенным перед и после слова (фразы); • Субъективно-психический эксперимент завершён, если воспроизведен (4.1.), иначе субъективно-психический эксперимент не завершён. -/- Собой – плоскостью-тупиком … смотрю –» смотря –» -/- «Психически» (6) 1. ?кто? видит –» !отличить «Я»! –» 2. –» !«Я-видящий-лик»! –» 3. –» !«Я-лик»! –» 4. –» !«Я-ликом» всем «психически-назад-надавить(нажать)»: «Я» ?скончаюсь?! –» !«Я-ликом» всем «психически-назад-давить(жать)»: (4.1.) – нечему (7), но «Я» есть.! -/- Признательность: Согласно иллюзионизму, то, каков «Я» (как (каково) «скончаться нечему, но «Я» есть.»), реально, это не так (не таково). То есть, таковой «Я» нереален (нереальность), а реально – таков, что скончаюсь (не исключено). Однако, необходимо осознать, что это «отстраненные» от «Я» рассуждения о «Я», но не сам «Я» непосредственно. И тому, каков «Я» (как (каково) скончаться нечему, но «Я» есть.) таковое (рассуждения) не соответствует. То есть, эти рассуждения о «Я» – заблуждение. Это (как осознание) несомненно и окончательно. Не так? – за выявленную и показанную нереальность (того, что) «Скончаюсь? – нечему (скончаться), но «Я» есть.», за показанную реальность того, что скончаться не исключено, а в идеале, за осознание: «скончаюсь (не исключено)» я был бы признателен. -/- (Сноски) (1) Именно «скончаюсь, скончался», то есть – как реальности (реального, реалии) нет окончательно. (2) Реалия, реально, реален, реальность, реальное – само то, что (каково это) непосредственно, как само таковое – само то, каково познаваемое и как-либо моделируемое вне его познания и иного (вообще) моделирования. То есть, само само-осознание себя реальностью, например, «я-реалия», «я есть» или «скончаться – нечему, но «Я» есть.» – реальность. То есть – нам ничто не запрещает ответить на вопрос «скончаюсь?» несомненно и окончательно. (3) Психически (психическое) – то, как (каково) я сам непосредственно, несомненно, и та моя непосредственная реальность, как и посредством чего я сам и всё вообще для меня есть, и которое для меня исключительно единственное. Следует заметить, что пока бываю без сознания (травма мозга или сон без сновидений), ничего и никак нет вообще. Также само обозначение того, что это сама собственная непосредственная реальность (то есть – несомненно). И чтобы её осознать, представьте себя экспериментатором, который не подменяет реальность рассуждениями о ней. – Теперь для вас, как экспериментатора, то, как (каково) психически, это – несомненно (непосредственная несомненная реальность). Не философствуй (не рассуждай, не моделируй её), а экспериментируй! (4) «Я-Лик» – специфическое выражение, соответствующее психическому в данный момент СПЭ. (5) «Я» – целевой (конечный, «предельный») и «ключевой» результат данной работы. «Я» в данной работе не склоняется, выделено полужирным подчеркнутым шрифтом и заключено в кавычки. (6) «Каково психически» – то, как (каково) «Я» сам непосредственно, несомненно – само «первое лицо» (субъект психического), а также обозначение принятия позиции «первого лица» и сообщения «от первого лица». (7) Пока я бываю без сознания («бессознание», например, сплю без сновидений), моего сознания нет (оно сведено на нет, угасло) – ничего и никак нет вообще (это моё абсолютное небытие) – (каково) психически, мне скончаться нечем. А в целевом результате данной работы, психически (то есть – непосредственно), «Я» таков, что скончаться не нечем, а именно нечему, но при этом «Я» есть. (shrink)

J. N. (Jitendra Nath) Mohanty (1928–2023). -/- Professor J. N. Mohanty has characterized his life and philosophy as being both “inside” and “outside” East and West, i.e., inside and outside traditions of India and those of the West, living in both India and United States: geographically, culturally, and philosophically; while also traveling the world: Melbourne to Moscow. Most of his academic time was spent teaching at the University of Oklahoma, The New School Graduate Faculty, and finally Temple University. Yet his (...) preeminent work in Husserlian phenomenology developed alongside his eminent work in Indian philosophy: describing his interests as “a fusion of disparate horizons.” -/- J. N. Mohanty was born September 26, 1928, in Cuttack (Odisha, East India). After graduating from high school, he went on to study both Indian and Western philosophy in Calcutta, earning bachelor’s and master’s degrees. There he read Whitehead and Kant’s First Critique; although he wanted to include mathematics in his curriculum, he was led instead to include Indian philosophy and Sanskrit. On the shelves of his teacher, Ras Vihar Das, he came upon a copy of the English translation (Ideas I, 1931) of Edmund Husserl’s classic Ideen I (1913), which presented Husserl’s ground-breaking conception of phenomenology. In 1952–1954 he left India for the first time, reaching Göttingen to study mathematics and philosophy, which earned him a doctorate in mathematics and “philosophy of mathematical sciences” (in his own words). In Göttingen, Mohanty found the powerful mathematical world that Husserl himself had earlier interacted with, where several Husserl students had formed the Göttingen school of phenomenology. During these years Mohanty studied primarily mathematics, alongside Kant and also Vedic Sanskrit. From his friend Günter Patzig, interpreter of Aristotle and Frege, Mohanty was drawn to Frege in relation to mathematical logic. He attended lectures of Heidegger, intrigued by his ontological thinking. Yet, despite the Husserlian legacy, Mohanty was completely self-taught in his studies of Husserl (as he has reported). With a doctorate in mathematics, and ideas from Kant and Frege in his philosophical background, Mohanty set about crafting his own conception of philosophy grounded in phenomenology, drawing on Husserl’s extensive work, critically sifting through Husserl’s texts and their emerging concepts of intentionality, meaning, subject, intersubjectivity, and world. In between he wrote his first book-length study: on phenomenological insights in Nicolai Hartmann and A. N. Whitehead (1958). -/- Over many decades Mohanty formulated and argued, in analytical detail, for a conception of phenomenology and its place in philosophy, later presented in a clear and concise book titled Transcendental Phenomenology: An Analytic Account (1989). Over these very decades the same scholar explored classical and recent Indian philosophy, thinking through kindred ideas of consciousness, self, and knowledge drawn from the Indian philosophical contexts. While writing on Nyāya theory of truth, he also pondered whether the world and finite individual are illusory or real, and whether Marx, Arendt, Gandhi (whom he heard speak in Calcutta), or Vinoba Bhave (with whom he marched across India for the land-grant movement) could best navigate post-Independent India’s social and svarāj or self-rule reforms. The two Mohantys, thinking through a vision of self and world, turned out to be “non-different” or “non-dual” as they each practiced critical phenomenology from both inside and outside the respective philosophical and cultural traditions. Numerous students, fellows, and colleagues or collaborators have benefited immensely from this infusion and unified approach to diversity in philosophical thought. In the 2000s, moving into retirement, Mohanty wrote two long books devoted to his understanding of Husserl and phenomenology and the calling of philosophy itself. This two-volume study shows Mohanty himself thinking through Husserl, critically, in The Philosophy of Edmund Husserl: A Historical Introduction (2008), and Edmund Husserl’s Freiburg Years: 1916–1938. As Mohanty worked on Husserl, he carefully indicated where he agreed and where he rejected or changed ideas, all part of his practice in phenomenology of “description and interpretation.” It was the same pattern he used in addressing the thought of Husserl vis-à-vis Kant or Frege or even Quine. -/- As Mohanty developed his understanding of phenomenology over the years, he wrote books on theory of meaning and the concept of intentionality, developing a model of ideal meaning and its foundation in intentionality, drawing on Husserl’s results. He followed these with the book Husserl and Frege (1982), linking the thought of those foundational figures for the “continental” and “analytic” traditions, respectively, in twentieth-century Western philosophy. Over his long career Mohanty addressed both traditions in his clear and accessible writing style. While developing his views on phenomenology, Mohanty regularly looked to “Husserl and his others,” evaluating views in Heidegger, Sartre, Merleau-Ponty, Ricoeur, and then Derrida and others in the wake of Husserl. With his background in Kant, Mohanty also looked toward Heidegger and Hegel in relation to Husserl’s later work in the Crisis (1935–38). Similarly, he looked to contemporary analytic philosophers, adjudicating his own, oft-wise Husserlian views in relation to Frege, Nagel, and others. Amid his active scholarly career, Mohanty co-founded the journal Husserl Studies, and was editorial advisor to Philosophy & Phenomenological Research, Philosophy East & West, Journal of Indian Philosophy, Sophia, among others. -/- Yet all this while Mohanty was also thinking and writing about Indian philosophy and its relation to phenomenology. In his own retrospective, Indian philosophy is “the permanent background” of his Husserlian thinking, while Kant is the recurrent Western background of his Husserlian phenomenology. Mohanty’s form of “transcendental phenomenology” evolved, in his own perspective, against the background of his studies of Navya-Nyāya on logic and Vedānta on consciousness, in Indian philosophy, and against the background of Kant’s First Critique on the transcendental, in Western philosophy. Accordingly, Mohanty’s study of logical form and of the intentionality of consciousness seeks a fusion of East and West in the conception of transcendental phenomenology. (Cf. Mohanty’s apt response to critics in The Empirical and the Transcendental (2000).) Even in the context of North American Husserl scholarship, Mohanty has exercised an earnest fusion of East and West. For the so-called East Coast and West Coast interpretations of Husserl’s crucial notion of noema both find a sympathetic spirit in J. N. Mohanty’s careful and nuanced interpretation of Husserlian transcendental phenomenology. With Mohanty the two faces of the noema are the logical (Fregean) and the phenomenal (Kantian), and these views of intentional structure join in consciousness—in a way resonant with Indian thought. -/- - David Woodruff Smith (UC Irvine) and Purushottama Bilimoria (SFSU, San Francisco; University of Melbourne) -/- For photo of Prof Mohanty visit APA online memorial_minutes2023 Courtesy of APA Memorial Minutes (& Proceedings) 2023 . (shrink)

This essay in the comparative metaphysic of nothingness begins by pondering why Leibniz thought of the converse question as the preeminent one. In Eastern philosophical thought, like the numeral 'zero' (śūnya) that Indian mathematicians first discovered, nothingness as non-being looms large and serves as the first quiver on the imponderables they seem to have encountered (e.g., 'In the beginning was neither non-being nor being: what was there, bottomless deep?' RgVeda X.129). The concept of non-being and its permutations of nothing, negation, (...) nullity, etc., receive more sophisticated treatment in the works of grammarians, ritual hermeneuticians, logicians, and their dialectical adversaries variously across Jaina and Buddhist schools. The present analysis follows the function of negation/the negative copula, nãn, and dialetheia in grammar and logic, then moves onto ontologies of non-existence and extinction and further suggestive tropes that tend to arrest rather than affirm the inexorable being-there of something. After a discussion of interests in being (existence), non-being and nothingness in contemporary metaphysics, the article examines Heidegger’s extensive treatment of nothingness in his 1929 inaugural Freiburg lecture, 'Was ist Metaphysik?', published later as 'What is Metaphysics?' The essay however distances itself from any pretensions toward a doctrine of Metaphysical Nihilism. (shrink)

The Nyāya school of classical Indian epistemology defended (by today’s standards) a radical version of epistemic externalism. They also gave arguments from their epistemological positions to an early version of disjunctivism about perceptual experience. In this paper I assess the value of such an argument, concluding that a modified version of the Nyāya argument may be defensible.

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...) the other does not.). (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification (...) holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, (...) to present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...) obstacle to any such view. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in (...) particular, Löwenheim and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...) longer play a distinctive role. This account employs a new notion of semantic. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much (...) more, I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission (...) and prohibition are regarded as analogous to the "alethic" modalities necessity, possibility and impossibility. As Simo Knuuttila shows in his contribution to the present volume, this approach goes back to late medieval philosophy. Several 14th century philosophers observed the analogies between deontic and alethic modalities and discussed the deontic interpretations of various laws of modal logic. In contemporary deontic logic the modal approach was revived by G. H. von Wright's classic paper 'Deontic Logic'. Certain analogies between deontic and alethic modalities are obvious and uncontroversial, but the standard approach has often been criticized on the ground that it exaggerates the analogies and tends to ignore those features of normative concepts which distinguish them from other modalities. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...) logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. (...) Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

(1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) (...) I argue that, while this line of thought provides some insights, it is importantly incomplete, as it is unable to explain why we should think. I consider two attempts at rescuing the line of thought. The first, unsuccessful response is that it is self-defeating to ask why we ought to think. The second response is that we need to think. But this response secures normativity only if thinking has some connection to human flourishing. (4) I argue that thinking is necessary for human flourishing. Logic is normative because it is constitutive of this good. (5) I show that the resulting account deals nicely with problems that vex other accounts of logical normativity. (shrink)

The idea that logic is in some sense normative for thought and reasoning is a familiar one. Some of the most prominent figures in the history of philosophy including Kant and Frege have been among its defenders. The most natural way of spelling out this idea is to formulate wide-scope deductive requirements on belief which rule out certain states as irrational. But what can account for the truth of such deductive requirements of rationality? By far, the most prominent responses (...) draw in one way or another on the idea that belief aims at the truth. In this paper, I consider two ways of making this line of thought more precise and I argue that they both fail. In particular, I examine a recent attempt by Epistemic Utility Theory to give a veritist account of deductive coherence requirements. I argue that despite its proponents’ best efforts, Epistemic Utility Theory cannot vindicate such requirements. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

What is the concept of sense developed by Deleuze in his 1969 Logic of Sense? This paper attempts to answer this question analysing the three dimensions of language that Deleuze isolates: the primary order of noises and intensities ; the secondary order of sense ; and the tertiary organisation of propositions. What renders language possible is that which separates sounds from bodies and organises them into propositions, freeing them for the expressive function. Deleuze argues that it is the dimension (...) of sense that brings about this genesis of language, and he analyses in detail the three syntheses that bring about the production of this surface of sense. Yet Deleuze also distinguishes between two types of non-sense: the nonsense of Lewis Carroll's portmanteau words, which remain ensconced in the dimension of sense, and the more profound nonsense of Antonin Artaud's psychotic scream-breaths, which penetrate the almost unbearable world of the primary order of noise and intensities. In the end, the focus of Logic of Sense is less the surface domain of sense than the primary depth of corporeal intensities. What Deleuze calls a ‘minor’ use of language is nothing other than an intensive use of language that constitutes a principle of metamorphosis. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason (...) conferred a heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (1992), Beall (...) and Restall (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...) directly motivated in terms of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...) field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

This paper focuses on the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan. We analyze the logical structure of Enkrasia and its implications for deontic logic. To do so, we elaborate on the distinction between basic and derived oughts, and provide a multi-modal neighborhood logic with three characteristic operators: a non-normal operator for basic oughts, a non-normal (...) operator for goals in plans, and a normal operator for derived oughts. We prove two completeness theorems for the resulting logic, and provide a dynamic extension of the logic by means of product updates. We illustrate how this setting informs deontic logic by considering issues related to the filtering of inconsistent oughts, the restricted validity of deontic closure, and the stability of oughts and goals under dynamics. (shrink)

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context (...) of a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse an influential (...) line of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...) problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict, suggesting that there are rational dilemmas. This paper focuses on an often misunderstood and underexplored response to this (and similar) puzzles, the so-called conflicting-ideals view. Drawing on work from defeasible logic, I propose understanding this view as a move away from the default metaepistemological position according to which (...) rationality requirements are strict and governed by a strong, but never explicitly stated logic, toward the more unconventional view, according to which requirements are defeasible and governed by a comparatively weak logic. When understood this way, the response is not committed to dilemmas. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for (...) implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic and for deductive inference. I (...) argued for four main claims: First, there are reliability challenges for logic and for deduction. Second, these reliability challenges cannot be answered merely by providing an explanation of how it is that we have the logical beliefs and employ the deductive rules that we do. Third, we can explain our reliability about logic by appealing to our reliability about deduction. Fourth, there is a good prospect for providing an evolutionary explanation of the reliability of our deductive reasoning. In recent years, a number of arguments have appeared in the literature that can be applied against one or more of these four theses. In this paper, I respond to some of these arguments. In particular, I discuss arguments by Paul Horwich, Jack Woods, Dan Baras, Justin Clarke-Doane, and Hartry Field. (shrink)

Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic deduction (...) method and natural deduction method were developed and practiced. In this paper, both of these methods are briefly discussed with an emphasis on their historical, groundbreaking significance for logic. The axiomatic method by means of rejection (proposed by Jan Łukasiewicz – a co-creator of the WSL), which is the method of the so-called rejection proof (rejection/refutation method) in logical systems and the proving method of generalized natural deduction, which is a hybrid deduction–refutation method of proving theorems, are also outlined in the paper. The author discusses their historical significance. This paper also contains a brief mention of the most significant results which the application of the discussed methods introduced into contemporary scientific research, not only logical one. (shrink)

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. (...) Everyone also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)

This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to April 9) (...) supports Hersh's claim regarding the link between political conservatism and the (historically and currently) dominant school of the philosophy of mathematics (to which Frege undeniably belongs). Third, I will examine Frege’s attempt at a more reader-friendly introduction to his philosophy of mathematics, The Foundations of Arithmetic. And finally, I will briefly analyze Frege’s Begriffsschrift to see how questions of race arise even at the heights of his logical abstraction. (shrink)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for a dialetheist (...) answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow (...) double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced (...) by action model transformations continuous with respect to the Stone topology and present results on the recurrent behavior of said maps. (shrink)