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)

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.

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)

"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)

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)

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)

Āptamīmāṃsā – Deep Reflection On The Omniscient Lord – known also as Devāgama or Devāgamastotra, by Ācārya Samantabhadra (2nd century CE) is the cornerstone of Philosophy and Nyāya. It starts with a discussion, in a philosophical-cum-logical manner, on the concept of omniscience and the attributes of the Omniscient. Ācārya Samantabhadra 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 predication (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: existence (bhāvaikānta) and non-existence (abhāvaikānta), non-dualism (advaita-ekānta) and separateness (pŗthaktva-ekānta), and permanence (nityatva-ekānta) and momentariness (kṣaṇika-ekānta). He elucidates the important concept of the ‘seven-nuance system’ (saptabhaṅgī). It embraces the seven limbs (saptabhaṅga) of assertion, the one-sided but relative method of comprehension called the standpoint (naya), and also the acceptance and rejection of the assertion. Ācārya Samantabhadra finally elucidates correct perspective on issues including fate (daiva) and human-deed (pauruṣa), and the bases of merit (puṇya) and demerit (pāpa). The book includes a comprehensive Index of Sanskrit terms. (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)

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)

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)

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)

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)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order (...) class='Hi'>logic to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (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)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (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)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that (...) we take them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the (...) substitutivity of identicals into modal contexts. (shrink)

How does logic relate to rational belief? Is logic normative for belief, as some say? What, if anything, do facts about logical consequence tell us about norms of doxastic rationality? In this paper, we consider a range of putative logic-rationality bridge principles. These purport to relate facts about logical consequence to norms that govern the rationality of our beliefs and credences. To investigate these principles, we deploy a novel approach, namely, epistemic utility theory. That is, we assume (...) that doxastic attitudes have different epistemic value depending on how accurately they represent the world. We then use the principles of decision theory to determine which of the putative logic-rationality bridge principles we can derive from considerations of epistemic utility. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree (...) logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (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)

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and (...) rules of LF, lays out some notational conventions, and states some basic technical facts about the system. (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)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...) sciences. If we wish to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.

Axel Honneth reconstructs Hegel’s social and political philosophy on the basis of the concept of recognition. For Honneth, recognition is a constitutive relation between individuals that is in principle symmetrical. By conceiving recognition through symmetry, Honneth effectively bans the inclusion of power within recognitive relation. He thus regards the relations of power as cases of non-recognition or misrecognition. In this paper, I develop an alternative theory of the constitutive relation between individuals for Hegel, one that is based on the asymmetrical (...) relation of power. To this aim, I focus on the chapter of “determinations of reflection” in the Science of Logic. Through a close analysis of Hegel’s Logic, I argue that the most fundamental form of relation between individuals is the relation of opposition, that individuals are solely constituted in and through the relation of opposition, and that the relation of opposition is essentially asymmetrical. Together, these claims establish... (shrink)

Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, (...) I then argue that once the semantics presupposed by Brauer’s argument is reformulated in terms of truth at a world, we have good reasons to think that a crucial semantic premise in Brauer’s argument should be rejected in favour of an alternative. Brauer’s argument is, however, no longer valid with this alternative premise. Thus, plausibly Brauer’s argument against D is only valid, if it is not sound. (shrink)

For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by (...) Ingarden’s approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects. (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)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model (...) of knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, (...) in which the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

My first section considers Walter J. Ong’s influential analyses of the logical method of Peter Ramus, on whose system Milton based his Art of Logic. The upshot of Ong’s work is that philosophical logic has become a kind monarch over all other discourses, the allegedly timeless and universal method of mapping and diagramming all concepts. To show how Milton nevertheless resists this tyrannical result in his non-Logic writings, my second section offers new readings of Milton’s poems Il (...) Penseroso and Sonnet 16: “On His Blindness”, along with his prose epilogue to his elegies (and thereby the entire collection entitled Poems). These readings attempt to show (1) the original admixing of philosophy and poetry (under the heading of “thoughtfulness”), (2) the shadow-hidden superiority of poetry in connection to the effeminising disability of blindness, and (3) the potential irony of an apology that arguably suggests poetry’s superiority to philosophy. Finally, I rest my case for Milton’s rebellion by offering an interpretation of Paradise Lost which affirms the character of Satan qua dark, queer, poetic figure of classical republicanism. (shrink)

In the philosophy of logic, the Adoption Problem is a challenge to the claim that reasoners can, in certain ways, rationally change which logic they use. The (alleged) problem is that if someone does not already infer in accordance with some fundamental logical principles (such as Universal Instantiation or Modus Ponens), then they cannot rationally begin to do so: the “adoption” of these principles is either unnecessary or impossible. In the literature, three issues have emerged as especially contentious: (...) (1) How should we understand the argument for the Adoption Problem? What exactly is the argument’s conclusion, and how is it established, if at all? (2) How could someone who thinks that the rational adoption of logic is possible respond to the Adoption Problem? (3) What are the consequences of the Adoption Problem for related issues in the philosophy of logic? In this paper, we address each question in turn. We suggest that the Adoption Problem is best understood in the form of an inconsistent quartet of theses regarding logical inference. We classify positions on logical adoption in terms of which of these theses is abandoned, and we show that such a taxonomy of positions is useful for delineating the scope and consequences of the Adoption Problem. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting (...) natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (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)

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means (...) of growing computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Two-dimensional semantics, which can represent the distinction between a priority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the dagger operator of Stalnaker’s “Assertion” in the formal context of two-dimensional modal logic. The language contains modalities of actuality, necessity, and a priority, but is also able to represent diagonalization, a conceptually important operation in a variety of contexts, including models of the relative a priori and a posteriori often appealed to Bayesian (...) and Gricean contexts. Finally, I sketch the prospects for extending this two-dimensional upgrade to other kinds of modal logics for natural language. (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)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...) deductions in normal form have the subformula property. (shrink)

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise (...) they would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'.

The aim of this work is to develop a comparative analysis of the discursive structures that underlie the socialized formation of the interpretative paradigms of reality. We analyse how both political ideologies and the so-called “conspiracy theories” can be understood starting from the structure and functioning of Marc Augè's ideo-logic, namely the systemic-discursive device that defines the field of all possible sentences defining the real. -/- .

There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated (...) by a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)