It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Following Post program, we will propose a linguistic and empirical interpretation of Gödel’s incompleteness theorem and related ones on unsolvability by Church and Turing. All these theorems use the diagonal argument by Cantor in order to find limitations in finitary systems, as human language, which can make “infinite use of finite means”. The linguistic version of the incompleteness theorem says that every Turing complete language is Gödel incomplete. We conclude that the incompleteness and unsolvability theorems find limitations in our (...) finitary tool, which is our complete language. (shrink)

Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the relation (...) of set theory and arithmetic are demonstrated. (shrink)

A reality may be defined incompletely as a perpetuating pattern of relations. This definition denies the name of reality to an utter and totalistic patternlessness, like a primal patternless stuff, because a patternless all-ness would be indistinguishable from a patternless nothingness. If reality began from a chaos or patternless stuff, it became a reality only when it became patterned. If there are orders of reality with perpetuating relations between them, as in Cartesian interactive substance dualism, the definition allows us to (...) say that these orders belong to a common reality by virtue of those relations. However, the definition is silent on the question of whether reality is ultimately pluralistic. Some suggestions are made about the possibility of stuffless patterns, including those of the physical world, but the definition is not dependent on the possibility of stufflessness. (shrink)

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Avicenna's proof for the existence of God (the Necessary Existent) in the Metaphysics of the Salvation relies on the claim that every possible existent shares a common cause. I argue that Avicenna has good reason to hold this claim given that he thinks that (1) every essentially ordered causal series originates in a first, common cause and that (2) every possible existent belongs to an essentially ordered series. Showing Avicenna's commitment to 1 and 2 allows me to respond to Herbert (...) Davidson's and Richard Swinburne's claim that Avicenna's proof for the Necessary Existent is incomplete and fallacious -/- . (shrink)

C. Stephen Layman contends that an argument supporting theism over naturalism can be constructed based on three defensible, non–question-begging premises about the moral order. Previous critics of Layman’s argument have challenged the truth of these premises. We stipulate them arguendo but go on to show that there is a deeper problem: a fourth premise introduced to complete the argument—the “completion premise,” as we call it—is true only if we assume that God exists or we concede that there is no afterlife. (...) We close with suggestions for how Layman’s argument must be strengthened to meet with dialectical success. (shrink)

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...) paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

Amartya Sen argues that for the advancement of justice identification of ‘perfect’ justice is neither necessary nor sufficient. He replaces ‘perfect’ justice with comparative justice. Comparative justice limits itself to comparing social states with respect to degrees of justice. Sen’s central thesis is that identifying ‘perfect’ justice and comparing imperfect social states are ‘analytically disjoined’. This essay refutes Sen’s thesis by demonstrating that to be able to make adequate comparisons we need to identify and integrate criteria of comparison. This is (...) precisely the aim of a theory of justice (such as John Rawls’s theory): identifying, integrating and ordering relevant principles of justice. The same integrated criteria that determine ‘perfect’ justice are needed to be able to adequately compare imperfect social states. Sen’s alternative approach, which is based on social choice theory, is incapable of avoiding contrary, indeterminate or incoherent directives where plural principles of justice conflict. (shrink)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and (...) the propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the existence (...) of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (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)

Hostile epistemology is the study of how environmental features exploit our cognitive vulnerabilities. I am particularly interested in those vulnerabilities arise from the basic character of our epistemic lives. We are finite beings with limited cognitive resources, perpetually forced to reasoning a rush. I focus on two sources of unavoidable vulnerability. First, we need to use cognitive shortcuts and heuristics to manage our limited time and attention. But hostile forces can always game the gap between the heuristic and the ideal. (...) Second, we need to trust others, and trust makes us vulnerable. In particular, we need to trust experts whose expertise lies beyond our individual ability to vet. So we must rely on various imperfect signals and proxies, like institutional affiliation, to manage our trust. We are forced to use these imperfect and exploitable forms of reasoning, in order to cope with a cognitively overwhelming world. I present the hostile epistemology framework as a counterbalance to vice epistemology, which tends to locate responsibility for bad beliefs in the character of the believer. I draw two conclusions from my analysis. First: suppose we accept that that only communities and institutions can know about the world. This deeply social approach doesn’t solve the problem of expert identification. The individual still faces a problem: given their incomplete understanding, how should the individual pick which group to trust? Second: we might have hoped to get some kind of static picture of the right principles of reasoning — but hostile epistemology presents a different picture. We have to use risky heuristics and shortcuts, which hostile forces can game and exploit. We can respond by shifting to a different set of heuristics, but this simply shifts the location of our vulnerabilities. These new heuristics are also exploitable. There is no end to this, only a constant struggle to adapt. Limited beings in a hostile epistemic environment are locked in an unending epistemic arms race. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown to (...) be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

The basic axioms or formal conditions of decision theory, especially the ordering condition put on preferences and the axioms underlying the expected utility formula, are subject to a number of counter-examples, some of which can be endowed with normative value and thus fall within the ambit of a philosophical reflection on practical rationality. Against such counter-examples, a defensive strategy has been developed which consists in redescribing the outcomes of the available options in such a way that the threatened axioms (...) or conditions continue to hold. We examine how this strategy performs in three major cases: Sen's counterexamples to the binariness property of preferences, the Allais paradox of EU theory under risk, and the Ellsberg paradox of EU theory under uncertainty. We find that the strategy typically proves to be lacking in several major respects, suffering from logical triviality, incompleteness, and theoretical insularity. To give the strategy more structure, philosophers have developed “principles of individuation”; but we observe that these do not address the aforementioned defects. Instead, we propose the method of checking whether the strategy can overcome its typical defects once it is given a proper theoretical expansion. We find that the strategy passes the test imperfectly in Sen's case and not at all in Allais's. In Ellsberg's case, however, it comes close to meeting our requirement. But even the analysis of this more promising application suggests that the strategy ought to address the decision problem as a whole, rather than just the outcomes, and that it should extend its revision process to the very statements it is meant to protect. Thus, by and large, the same cautionary tale against redescription practices runs through the analysis of all three cases. A more general lesson, simply put, is that there is no easy way out from the paradoxes of decision theory. (shrink)

How children seek knowledge and evaluate claims may depend on their understanding of the source of knowledge. What shifts in their understandings about why scientists might disagree and how claims about the state of the world are justified? Until about the age of 41/2, knowledge is seen as self-evident. Children believe that knowledge of reality comes directly through our senses and what others tell us. They appeal to these external sources in order to know. The attainment of Theory of Mind (...) (ToM) at this age is commonly seen as the significant shift in development in understanding disagreements in knowledge claims. Children attaining ToM understand that someone exposed to incorrect or incomplete information might have false beliefs. Disagreement, then, is still attributed to objective sources of knowledge. The current study examines the later developing Interpretive Theory of Mind (iToM) as the basis for children’s understanding of how people with access to the same information might disagree and what this means for how to provide justification for a knowledge claim. Fourteen 2nd graders with the most iToM responses to four tasks and 14 with the fewest iToM responses were selected from a larger sample of 91. In analyses of interviews about a story in which two experts make different claims about a scientific phenomenon, those in the high iToM group noted subjective perspective and processes as the source of disagreement and suggested the need for investigation as the means to knowing. In contrast, those in the low iToM group mostly could not explain the source of disagreement and held that knowledge is acquired from external sources. A comparison of the interviews regarding the science story 2 years later allows for a qualitative description of the development. Those in the low iToM group showed more general recognition of subjective and constructive processes in knowing whereas those in the high iToM group identified interpretive processes and the relativity of perspectives with implications for how observations were conducted and interpreted. Only those in the high iToM group referred to the importance of evidence as a basis for knowledge claims at either point in the study. (shrink)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication should be modelled on (...) knowledge itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (shrink)

The foundations of research ethics are riven with fault lines emanating from a fear that if research is too closely connected to weighty social purposes an imperative to advance the common good through research will justify abrogating the rights and welfare of study participants. The result is an impoverished conception of the nature of research, an incomplete focus on actors who bear important moral responsibilities, and a system of ethics and oversight highly attuned to the dangers of research but (...) largely silent about threats of ineffective, inefficient, and inequitable medical practices and health systems. -/- In For the Common Good: Philosophical Foundations of Research Ethics, Alex John London defends a conception of the common good that grounds a moral imperative with two requirements. The first is to promote research that generates the information necessary to enable key social institutions to effectively, efficiently, and equitably safeguard the basic interests of individuals. The second is to ensure that research is organized as a voluntary scheme of social cooperation that respects its various contributors' moral claims to be treated as free and equal. Connecting research to the goals of a just social order grounds a framework for assessing and managing research risk that reconciles these requirements and justifies key oversight practices in non-paternalistic terms. Reconceiving research ethics as resolving coordination problems and providing credible assurance that these requirements are being met expands the issues and actors that fall within the purview of the field and provides the foundation for a more unified and coherent approach to domestic and international research. -/- This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. (shrink)

Spontaneous collapse theories of quantum mechanics turn the usual Schrödinger equation into a stochastic dynamical law. In particular, in this paper, I will focus on the GRW theory. Two philosophical issues that can be raised about GRW concern (i) the ontology of the theory, in particular the nature of the wave function and its role within the theory, and (ii) the interpretation of the objective probabilities involved in the dynamics of the theory. During the last years, it has been claimed (...) that we can take advantage of dispositional properties in order to develop an ontology for GRW theory, and also in order to ground the objective probabilities which are postulated by it. However, in this paper, I will argue that the dispositional interpretations which have been discussed in the literature so far are either flawed or – at best – incomplete. If we want to endorse a dispositional interpretation of GRW theory we thus need an extended account that specifies the precise nature of those properties and which makes also clear how they can correctly ground all the probabilities postulated by the theory. Thus, after having introduced several different kinds of probabilistic dispositions, I will try to fill the gap in the literature by proposing a novel and complete dispositional account of GRW, based on what I call spontaneous weighted multi-track propensities. I claim that such an account can satisfy both of our desiderata. (shrink)

The potential benefits of cognitive skills in enhancing mathematics ability have been claimed by numerous researchers. Since mathematics requires a complete understanding and grasp of abstract concepts, it is essential to explore how learning with metacognitive skills affects mathematics learning. Thus, the study investigates the students' metacognitive awareness and conceptual understanding of integers. A descriptive-correlational method approach was utilized, and it was carried out on 303 seventh-grade students. The data were obtained using a metacognitive awareness inventory and achievement test on (...) integers. It was further revealed that the students have average metacognitive awareness and performed well in the fundamental operation of integers. Follow-up qualitative analysis revealed that students who were high achievers had the best understanding, average achievers had corrected or incomplete understanding, and low achievers had a functional misconception of integers. Moreover, the student's metacognitive awareness was significantly related to their conceptual understanding of integers. This indicates that student's higher-order thinking skills, such as metacognition, are essential since they are associated with building conceptual skills. Thus, teachers should encourage students' metacognitive awareness to improve students' conceptual understanding of integers. The study provides relevant information for educational managers on the potential factors to be considered in improving mathematics education practices, particularly in promoting metacognition among high school students. (shrink)

In this paper I argue that internalistic foundationalist theories of the justification of memory belief are inadequate. Taking a discussion of John Pollock as a starting point, I argue against any theory that requires a memory belief to be based on a phenomenal state in order to be justified. I then consider another version of internalistic foundationalism and claim that it, too, is open to important objections. Finally, I note that both varieties of foundationalism fail to account for the epistemic (...) status of our justified nonoccurrent beliefs, and hence are drastically incomplete. (shrink)

Sebastian Rödl’s 2018 book articulates and unfolds the thought that judgment’s self-consciousness is identical with its objectivity. This view is laid forth in a Hegelian spirit, against the spirit of Kant’s merely formal or transcendental idealism. I review Rödl’s central theses and then offer a criticism of his reading of Kant. I hold that we can agree with Rödl that self-consciousness is identical with objectivity (though only in a ‘formal’ sense). We can also agree with Rödl that this identity enables (...) us to see the completeness and the incompleteness of judgment as two sides of one coin. And, it is not necessary to reject the formality or ‘emptiness’ of Kant’s ‘I think’ in order to establish these points. Indeed, the virtues of these theses flows directly from such notions in Kant. And, because Rödl need not reject the central features of Kant’s formal idealism, he also need not locate them as the source of the need for a turn to Hegel. (shrink)

Beauvoir’s Ethics of Ambiguity appears to defend a distinctly existentialist, deontologically-constrained version of consequentialism. On that interpretation, her belief that freedom consists in the real possibilities provided by our concrete situation leads her to reject Kantian autonomy to allow for some consequentialist decisions, while her belief that our situation derives its meaning from freely-chosen projects leads her to limit such choices to their consequences for situated freedom rather than general happiness. However, I will argue that Beauvoir’s view is better understood (...) as a non-deontological, internal critique of consequentialism, rooted in Marx’s historical materialism rather than her existentialist commitments. Beauvoir challenges consequentialism’s tendency to evaluate decision-making over actions, and intended or predicted consequences over actual ones, considering consequences during a limited time-frame despite their variable, contingent future value. In other words, consequentialism is insufficiently consequentialist, a view rooted in historical materialism in two ways. First, her materialist understanding of freedom as situated possibility requires an ethics that prioritizes real rather than projected consequences. Materialist consequentialism acknowledges outcomes are never final and so refuses to assign unambiguous moral value. A decision’s ethical value is preserved only to the degree that the value of its real consequences for existing individuals’ projects is maintained into the indefinite future. Second, her view that value is historical, a human creation based in our actual situation’s contingent utility to our individually chosen projects, denies that any consequence has a fixed value independent of the historical development of humanity as realized through individual choices. Historical-materialist consequentialism demands moral agents retroactively reassess the moral status of every action in order to repair consequences that have, because of changing human purposes, become obstacles to freedom. Together, these historical materialist constraints ground Beauvoir’s demand for an ethics that is ambiguous in principle as well as practice: no decision, action, or consequence has a fixed moral value because consequences are always incomplete and, even when they do not change, the projects that give them value change. While compatible with existentialist conceptions of freedom, responsibility, and authenticity, her ethics does not require such commitments, making it more Marxist than existentialist in character. (shrink)

In quantum mechanics, the term “creativity” is amplified, since natural events form the constant transition from possibility to reality, according to the ontological probabilism of the Schrödinger equation. The completion of the quantum theory through the concept of the Grand Unified Theories, and especially through the yet incomplete superstring theory, reveals that at the micro level of creation of sub-atomic particles or space, motion literally comes prior to Being and objects are forms of a motion which suggests a constant (...) transition from possibility to reality. In non – linear physics of complex systems, the term “creativity” does not simply correspond to the initial emergence of the universe (big bang) or to the sub-atomic scale processes described by quantum mechanics, the Grand Unified Theories and the superstring theory, but is expanded to all aspects of nature: i.e. physical - chemical, ecological, psychological – mental aspect. So, through the non – linear physics theory, macroscopically viewed beings are constructed, holistic forms of motion, in order for the whole to gain a non reducible (therefore the whole is constantly being produced) ontological meaning which characterizes the operation of the part. Combining the theories of quantum mechanics and relativity, it could be stated that modern physics abolishes the customary perception concerning the natural phenomena, which were concerned as a constant transformation of a fundamental substance. On the contrary, the contemporary description of the natural world by physics and mathematics corresponds to Morphodynamics, i.e. the description of the world as creation of all cosmic shapes from a zero point, on all cosmic levels. From this point of view, zero is understood as the absence of shape, while the notion of an unshaped eternal substance is weakened and does not seem to be able to be justified by the evolution of scientific thought. The “beings” and their “substance” are assimilated to forms of movement that have already been created or that are being created, and constitute motion inside motion. (shrink)

Kant’s teleology as presented in the Critique of Judgment is commonly interpreted in relation to the late eighteenth-century biological research of Johann Friedrich Blumenbach. In the present paper, I show that this interpretative perspective is incomplete. Understanding Kant’s views on teleology and biology requires a consideration of the teleological and biological views of Christian Wolff and his rationalist successors. By reconstructing the Wolffian roots of Kant’s teleology, I identify several little known sources of Kant’s views on biology. I argue (...) that one of Kant’s main contributions to eighteenth-century debates on biology consisted in demarcating biology from metaphysics. Kant rejected Wolffian views on the hierarchy of sciences, according to which propositions specifying the functions of organisms are derived from theological truths. In addition, Kant argued that organic self-organization necessitates a teleological description in order to show that self-organization does not support materialism. By demarcating biology and metaphysics, Kant made a small yet important contribution to establishing biology as a science. (shrink)

In recent years, interest in desert-based theories of justice has increased, and this seems to represent a challenge to equality-based theories of justice.[i] The best distribution of outcomeadvantage with respect to desert, after all, need not be the most equal distribution of outcomeadvantage. Some individuals may deserve more than others. Outcome egalitarianism is, however, implausible, and so the conflict of outcome desert with outcome equality is of little significance.[ii] Most contemporary versions of egalitarianism are concerned with neutralizing the differential effects (...) of brute luck and not with equality of outcome. I shall argue that, in order to be plausible, a desert-based theory of justice can and must be compatible with this form of egalitarianism. There is, however, a stronger form of brute luck egalitarianism, which, as I shall explain, is concerned with equalizing the advantages from brute luck—and not merely with neutralizing the differential effects thereof. Under idealized conditions in which agents have perfect information about the outcomes that their choices generate, even this stronger form of egalitarianism, I shall show, is compatible with pure desert theory. Under conditions of incomplete information, however, strong brute luck egalitarianism is incompatible with a pure desert theory that appeals, as I shall explain, to moral, rather than prudential, desert. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

Philosophical analyses of causation have been centred on the question of what causation is. More precisely speaking, philosophers tend to address four different issues: metaphysical (what is causation out there?), epistemological (how can a causal claim be established and assessed?), conceptual (what does the word ‘cause’ mean?), and methodological (what methods ought one to use in order to establish and assess causal claims?). This chapter argues that the practical issue of causation (what is a causal claim for in practice?) is (...) highly relevant to the metaphysical, epistemological, conceptual, and methodological issues of causation. Any philosophical enquiry into causation without an examination of this practical issue is incomplete. In other words, a promising approach to causation ought to take all of the metaphysical, epistemological, conceptual, methodological, and practical issues into account. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this paper. (...) The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

Friedrich Hayek’s defense of neoliberal free market capitalism hinges on the distinction between economies and catallaxies. The former are orders instituted via planning, whereas the latter are spontaneous competitive orders resulting from human action without human design. I argue that this distinction is based on an incomplete semantic history of “economy.” By looking at the meaning of “oikonomia” in medieval providential theology as explained by Giorgio Agamben and Joseph Vogl, I argue how Hayek’s science of catallactics is itself a (...) secularization of providential theology. This exposes Hayek to three criticisms: he unjustifiably neglects the possibility of tendencies toward spontaneous disorder in free markets, he condemns the “losers” of neoliberal competition to being providential waste on the road to general prosperity, and he imposes on people the duty to consent to a neoliberal order that hinders them from cultivating their inoperativity. (shrink)

If we want to say what “fundamentality” means, we have to start by approaching what we generally see at the empty place of the predicate “____ is fundamental”. We generally talk about fundamental entities and fundamental theories. At this article, I tried to make a metaphysical approach of what is for something to be fundamental, and I also tried to talk a little bit of fundamental incomplete and complete theories. To do that, I start stating the notion of “entity” (...) and looking at the difference at perceived entities. The difference led us to talk about the entities’ structures and their powers, and about the supervenience between these last two. The supervenience talk made us to see the fight between emergentism and reductionism as the difference between the irreducibility of laws and the reducibility of powers and structures to lower-order domains. Then, we conclude that “fundamentality” is a mereological relation – a relation that a whole structure has to a certain combination of its structural parts or that a power has to a certain combination of its constituent powers – of to be identical and to exist in virtue of them. (shrink)

Mereological nihilists typically employ a paraphrase strategy in order to mitigate the apparent absurdity of their denial of the existence of composite objects. I argue here that the nihilist's paraphrase strategy is incomplete, because no schema for generating nihilistically acceptable paraphrases of sentences concerning material constitution has ever been given. Nor can an adequate schema be arrived at by generalising things that nihilists have already said. I fill this lacuna in the nihilist's account by developing and defending a novel (...) paraphrase schema that makes essential reference to the determinable‐determinate relation that holds between arrangement‐properties instantiated by the simples. (shrink)

In her book, Down Girl, Manne proposes to uncover the “logic” of misogyny, bringing clarity to a notion that she describes as both “loaded” and simultaneously “politically marginal.” Manne is aware that full insight into the “logic” of misogyny will require not just a “what” but a “why.” Though Manne finds herself largely devoted to the former task, the latter is in the not-too-distant periphery. -/- Manne proposes to understand misogyny, as a general framework, in terms of what it does (...) to women. Misogyny, she writes, is a system that polices and enforces the patriarchal social order (33). That’s the “what.” As for the “why,” Manne suggests that misogyny is what women experience because they fail to live up to the moral standards set out for women by that social order. I find Manne’s analysis insightful, interesting, and well argued. And yet, I find her account incomplete. While I remain fully convinced by her analysis of what misogyny is, I am less persuaded by her analysis of why misogyny is. For a full analysis of the “logic” of misogyny, one needs to understand how the patriarchy manifests in men an interest in participating in its enforcement. Or so I hope to motivate here. I aim to draw a line from the patriarchy to toxic masculinity to misogyny so that we have a clearer picture as to why men are invested in this system. I thus hope to offer here an analysis that is underdeveloped in Manne’s book, but is equally worthy of attention if we want fully to understand the complex machinations underlying misogyny. (shrink)

For many people, the phenomenon of divine hiddenness is so total that it is far from clear to them that God exists at all. Reasonably enough, they therefore do not believe that God exists. Yet it is possible, whilst lacking belief in God’s reality, nonetheless to see it as a possibility that is both realistic and attractive; and in this situation, one will likely want to be open to the considerable benefits that would be available if God were real. In (...) this paper I argue that certain kinds of desire for God can aid this non-believing openness. It is possible to desire God even in a state of non-belief, since desire does not require belief that its object exists. I argue that if we desire God in some particular capacity, and with some sense of what would constitute satisfaction, then through the desire we have knowledge -- incomplete yet vivid in its personal significance -- about the attributes God would need in order to satisfy us; thus, if God is real and does have those attributes, one knows something about God through desiring him. Because desire does not require belief, neither does the knowledge in question. Expanding on recent work by Vadas and Wynn, I sketch the epistemology of desire needed to support this argument. I then apply this epistemology to desire for God. An important question is how one might cultivate the requisite kinds desire for God; and one way, I argue, is through engaging with certain kinds of sacred music. I illustrate desire’s religiously epistemic power in this context, before replying to two objections. (shrink)

In book II of Plato’s Republic, Socrates discusses the cities of necessity and luxury (372d-373a). Discussions of these cities have often focused on citizens desiring more than they need, which creates a demand for luxury. Yet the second part of the equation, which is not usually recognized, is that there must be sufficient supply to meet this demand. The focus of this article is on the importance of supply in the discussion of the first two cities in book II of (...) the Republic. This article argues that the way Plato models the cities makes it the case that a surplus above levels of necessity will be generated from time to time. That the unwanted surplus cannot be spontaneously disposed of entails that the first two cities are institutionally incomplete. A government is needed in order to coordinate the disposal of the surplus supply the city will produce. (shrink)

The physical singularity of life phenomena is analyzed by means of comparison with the driving concepts of theories of the inert. We outline conceptual analogies, transferals of methodologies and theoretical instruments between physics and biology, in addition to indicating significant differences and sometimes logical dualities. In order to make biological phenomenalities intelligible, we introduce theoretical extensions to certain physical theories. In this synthetic paper, we summarize and propose a unified conceptual framework for the main conclusions drawn from work spanning a (...) book and several articles, quoted throughout. (shrink)

The objective of this document is to present three introductory notes on set theory: The first note presents an overview of this discipline from its origins to the present, in the second note some considerations are made about the evaluation of reasoning applying the first-order Logic and Löwenheim's theorems, Church Indecidibility, Completeness and Incompleteness of Gödel, it is known that the axiomatic theories of most commonly used sets are written in a specific first-order language, that is, they are developed within (...) the framework of first-order logic, so this note is relevant; and the third note refers to the presence of mathematical platonism in the axioms of ZFC and in the axioms of "complete ordered field", it is known that the last axioms mentioned characterize (except isomorphism) the real number system and are currently used to develop the real Analysis in the context of set theory. It is hoped that this article will be of pedagogical utility for students interested in set theory and in the philosophy of mathematics (that are beginning in the subject). (shrink)

In their recent book Every Thing Must Go, Ladyman and Ross claim: (i) Physics is analytically complete since it is the only science that cannot be left incomplete. (ii) There might not be an ontologically fundamental level. (iii) We should not admit anything into our ontology unless it has explanatory and predictive utility. In this discussion note I aim to show that the ontological commitment in implies that the completeness of no science can be achieved where no fundamental level (...) exists. Therefore, if claim requires a science to actually be complete in order to be considered as physics,, and if Ladyman and Ross's “tentative metaphysical hypothesis ... that there is no fundamental level” is true,, then there simply is no physics. Ladyman and Ross can, however, avoid this unwanted result if they merely require physics to ever strive for completeness rather than to already be complete. (shrink)

There is a list of desiderata that any good metaphysics of fictional entities should be able to fulfill. These desiderata are: 1) the nonexistence of fictional entities; 2) the causal inefficacy of suchentities;3)the incompleteness of such entities;4)the created character of such entities; 5) the actual possession by ficta of the narrated properties; 6) the unrevisable ascription to ficta of such properties; and 7) the necessary possession by ficta of such properties. (Im)possibilist metaphysics uncontroversially satisfy 1) and 2); Neo-Meinongian metaphysics satisfy (...) 1), 2), 3), 5), 6), and 7); artefactualist or creationist metaphysics uncontroversially satisfy 1), 2), 3), and 4). Another metaphysics is needed in order to satisfy all such desiderata. In this chapter Idevelop such a metaphysics, claiming that a Syncretistic metaphysics that combines Neo-Meinongianism with Artefactualism achieves this purpose. According to Syncretism, ficta are hybrid entities individuated in terms of both a certain makebelieve narrative process and the set of properties that one such narration mobilizes. Toward the end of the chapter I consider some possible criticisms to this approach: its non-intuitiveness; ficta’s unnecessary proliferation; and troubles with creationism of any sort. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in informal (...) logic in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)