When it comes to invasive manipulation of animals on the biological level, reactions of disgust are common and often influential on people’s moral judgments. As a case in point, the Belgian Blue, a breed of hyper-enhanced cattle which will serve as a case study for the present article, has historically been met with revulsion. Traditionally, in bio- and animal ethics, this ‘yuck factor,’ has been denied any productive role in proper moral justification, since rationalism is still a dominant paradigm in (...) those disciplines. This is not surprising since rationalism offers the fulfilment of certain expectations we have of morality, like universality, intersubjective communicability, and objectivity. Increasingly, however, the preconceptions of rationalism have been brought into question, both through empirical as well as philosophical insights. In this paper, we will explore a way in which researchers who are, accordingly, critical of rationalism, and who wish to take seriously the role disgust plays in the formation of moral judgments when it comes to biological manipulation of animals, can do so without abandoning those virtues of rationalism which make it such an appealing position. We will do so by offering what we call a ‘tempered’ kind of rationalism, that is, one which conceives of rationality in the terms of Mary Midgley, not as distinct from, but as a possible function of, well-ordered emotion. (shrink)

Konstantin Pollok - Kant's Critical Concepts of Motion - Journal of the History of Philosophy 44:4 Journal of the History of Philosophy 44.4 559-575 Muse Search Journals This Journal Contents Kant's Critical Concepts of Motion Konstantin Pollok There are two significant places in Kant's Critical corpus where he discusses the concept of motion. The first is in the Critique of Pure Reason, where in the "Deduction of the Categories" Kant writes: Motion, as an act of the subject , (...) and therefore the synthesis of the manifold in space, first produces the concept of succession—if we abstract from this manifold and attend solely to the act through which we determine the inner sense according to its form. In this passage Kant simply refers to the concept of motion, and the immediate context in which this reference occurs reveals little about what he means by it. In the Metaphysical Foundations of Natural Science, however, motion plays a more significant role, and, concomitantly, it is in his writings on natural science that Kant most fully expresses his thoughts on the subject. For present purposes, the most relevant passage is paragraph 15 of the Preface of the Metaphysical Foundations, where Kant says that the concept of matter had … to be carried through all four of the indicated functions of the concepts of the understanding , where in each a new determination of this concept was added. The.. (shrink)

Konstantin Pollok offers the first book-length analysis of Kant's theory of normativity that covers foundational issues in theoretical and practical philosophy as well as aesthetics. Interpreting Kant's 'critical turn' as a normative turn, he argues that Kant's theory of normativity is both original and radical: it departs from the perfectionist ideal of early modern rationalism, and arrives at an unprecedented framework of synthetic a priori principles that determine the validity of our judgments. Pollok examines the hylomorphism in Kant's theory (...) of normativity and relates Kant's idea of our reason's self-legislation to the 'natural right' tradition, revealing Kant's debt to his predecessors as well as his relevance to contemporary debates on normativity. This book will appeal to academic researchers and advanced students of Kant, early modern philosophy and intellectual history. (shrink)

The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...) proofs, and can be sensibly regarded as a priori. We also show that the aforementioned impression is mistaken because it fails to distinguish between proof search (the context of discovery) and proof checking (the context of justification). By using mechanized proof assistants capable of producing certificates that can be independently checked, it is possible to carry out complex proofs without the need to trust arbitrary custom-written code. We only need to trust one fixed, small, and simple piece of software: the proof checker. This is not only possible in principle, but is in fact becoming a viable methodology for performing complicated mathematical reasoning. This is evinced by a new proof of the four-color theorem that appeared in 2005, and which was developed and checked in its entirety by a mechanical proof system. (shrink)

PA is Peano Arithmetic. Pr(x) is the usual Σ1-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ1. An example: Q is ω-provable if PA + ¬ Q is ω-inconsistent (Boolos [4]). In [5] Dzhaparidze introduced a joint provability logic for iterated ω-provability and obtained its arithmetical completeness. In this paper we prove some further modal properties of Dzhaparidze's logic, e.g., the fixed point property and the Craig (...) interpolation lemma. We also consider other examples of the strong provability predicates and their applications. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Konstantin Kolenda IMMORTALITY REVISITED In his essay, "Poets and Thinkers: Their Kindred Roles in the Philosophy of Martin Heidegger," J. Glenn Gray points out that Heidegger "does not treat imaginative literature and other works of art qua literature and art but as aspects of philosophy or meditative thought." To Heidegger's question, "How long are we going to prevent ourselves from experiencing the actual as actual?", Gray is inclined (...) to answer as follows: "Until we have become aware that the poetic eye is capable of seeing as deeply into nature and man as the scientific eye," and he adds that "there is hope that philosophers may once again take seriously the discoveries of creative writers who are not consciously seeking to 'do' philosophy."2 There is little evidence that Gray's hope has materialized to any great extent; few philosophers are paying much attention to discoveries of creative writers, thus bearing out Heidegger's contention that "at this moment in the world's history we have first to learn that the making of poetry, too, is a matter of thinking."3 But it should not surprise us that when philosophers turn to the thinking of poets they will not necessarily agree in their interpretations. Although it has been remarked that Rilke translated Nietzsche into poetry and then in turn Heidegger translated Rilke into prose, when we look at what Heidegger actually says about Rilke's ideas, we may find that these ideas allow alternative interpretations.4 Nevertheless, the fact that alternative interpretations are possible bears out the soundness of Heidegger's and Gray's claim that at least some poetic thought is worth taking seriously. In this article we shall examine Rilke's view of the relationship between life and death, as expressed in his Duino Elegies. Since this is a theme which figures prominently in Heidegger's philosophy, it is only proper to begin by pointing out certain basic correspondences between the views of the two thinkers on this topic. But as we pursue the matter further it soon becomes apparent that Rilke has set forth an intriguing and original, albeit unorthodox, notion of immortality, a notion that 167 1 68Philosophy and Literature does not need to be tied down to Heidegger's philosophy as a whole but can be defended in its own right. This article constitutes such a defense. In Being and Time, Heidegger suggests that death "belongs" to Dasein. "In Dasein there is undeniably a constant 'lack of totality' which finds an end with death. This 'not-yet' 'belongs' to Dasein as long as it is; this is how things stand phenomenally." Rilke's way of expressing a similar thought is to say, in the First Elegy, that "all of the living make the mistake of drawing too sharp distinctions." The contrast he speaks of is that between life and death. Like Heidegger, Rilke calls attention to phenomena that seem to go against the ingrained tendency to view life and death as belonging to two separate realms. Both manage to break the hold of pictures which for so long have led our thinking on this topic into dead ends. The radical temporality of human existence, its inevitable mortality, leads Heidegger to include the resolute acceptance of "being-toward-death" as a necessary condition of authentic existence. The "not-yet" of eventual death is always with us; since we cannot escape it, we must not keep denying our mortality by self-deception or by resigned waiting but should take it up into a resolute anticipation. The factor of death must be included in the consciousness of our vital decisions. In other words, death is to be taken up into human life and is to be viewed, paradoxically perhaps, as its essential component. Thus, the radical contrast between life and death is undermined. The taming of death is one of the central themes in Rilke's poem. Like Novalis before him, Rilke thought of death as the night-side of life. "Death is the side of life that is turned away from us and is unillumined for us."7 But he made use of still another notion to break down a distinction which, in his opinion, we the... (shrink)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...) convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (shrink)

ABSTRACT Hägel’s book is timely. As economic inequality has been on the rise, the increasing number of billionaires and their political activities have come under public scrutiny. The book contributes to such scrutiny and allows to ask questions about responsibility, accountability, and legitimacy. It also adds to scholarship on individuals in world politics. Our comment provides a critical discussion of two specific aspects of Hägel’s analysis. First, we clarify that most of the book focuses on billionaires as transnational actors while (...) few billionaires seem to exert influence on broader structures or processes of global governance. This clarification helps to understand the character of billionaires’ activities in world politics. Second, we reverse the perspective from which Hägel looks at billionaires. We point out that, while Hägel tends to look over the shoulders of the billionaires and mainly observes how they exercise influence in world politics, we argue that the other actors matter, too. More specifically, we maintain that billionaires’ roles in global governance are shaped through their specific recognition by international society (state actors) and/or by world society (non-state actors). This change in perspective sheds additional light on the conditions that affect the role(s) billionaires can play in world politics. (shrink)

Two short typescripts by G. Lukács from the archive, dating from 1941/42, shed light on his appraisal of the cultural ‘inner reserves’ of Germany and the ‘moral reserves’ of the democracies involved in the Second World War, as well as on Lukács’s political philosophy at that time. The conception of an intrinsic interrelation of a humanist philosophical anthropology and rationalist epistemology elucidates his egalitarian and democratic account. Both texts are located within the intellectual development of the author in an introduction (...) by the editor, which sketches the historical background and indicates relevant contemporaneous theoretical and political debates, such as the controversies over realism and humanism and, also in dispute with K. Jaspers, on German collective guilt. (shrink)

ArgumentPost-Stalinist reforms resulted in dramatic changes in the ways of operation of Soviet science: one can say that they altered the very understanding of what science was, or should be, in the socialist society. A new vision came about as a result of political and rhetorical efforts of scientists, who pushed forward their various, often conflicting, agendas acting in accordance with specific rules of Soviet polity. The most visible part of the reform came with the 1961 administrative reorganization of the (...) USSR Academy of Sciences. The related series of changes, however, was much broader and comprehensive, modifying the relationships between science and ideology, politicians and academic researchers, and establishing the very division between fundamental and applied research, which had been strongly rejected during the preceding Stalinist period. (shrink)

This article is a commentary on ChatGPT and LLMs (Large Language Models) in general. It argues that this technology has matured to the point where calling systems such as ChatGPT “stochastic parrots” is no longer warranted. But it also argues that these systems continue to have serious limitations when it comes to reasoning. These limitations are much more severe than commonly thought. A large array of examples are given to support these claims.

Various publications claim that medical AI systems perform as well, or better, than clinical experts. However, there have been very few controlled trials and the quality of existing studies has been called into question. There is growing concern that existing studies overestimate the clinical benefits of AI systems. This has led to calls for more, and higher-quality, randomized controlled trials of medical AI systems. While this a welcome development, AI RCTs raise novel methodological challenges that have seen little discussion. We (...) discuss some of the challenges arising in the context of AI RCTs and make some suggestions for how to meet them. (shrink)

Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...) convergence to the truth, where optimal directness is explicated in terms of reversals and cycles of opinion prior to convergence. Concerning, we explicate Ockham’s razor and related principles of choice in terms of the information topology of the empirical problem context and show that the principles are necessary for reversal or cycle optimal convergence to the truth. Concerning, we weaken the standard principles of agm belief revision theory in intuitive ways that are also necessary for reversal or cycle optimal convergence. Then we show that some of our weakened principles of change entail corresponding principles of choice, completing the triangle of relations between,, and. (shrink)

Popper argued that a statistical falsification required a prior methodological decision to regard sufficiently improbable events as ruled out. That suggestion has generated a number of fruitful approaches, but also a number of apparent paradoxes and ultimately, no clear consensus. It is still commonly claimed that, since random samples are logically consistent with all the statistical hypotheses on the table, falsification simply does not apply in realistic statistical settings. We claim that the situation is considerably improved if we ask a (...) conceptually prior question: when should a statistical hypothesis be regarded as falsifiable. To that end we propose several different notions of statistical falsifiability and prove that, whichever definition we prefer, the same hypotheses turn out to be falsifiable. That shows that statistical falsifiability enjoys a kind of conceptual robustness. These notions of statistical falsifiability are arrived at by proposing statistical analogues to intuitive properties enjoyed by exemplary falsifiable hypotheses familiar from classical philosophy of science. That demonstrates that, to a large extent, this philosophical tradition was on the right conceptual track. Finally, we demonstrate that, under weak assumptions, the statistically falsifiable hypotheses correspond precisely to the closed sets in a standard topology on probability measures. That means that standard techniques from statistics and measure theory can be used to determine exactly which hypotheses are statistically falsifiable. In other words: the proposed notion of statistical falsifiability both answers to our conceptual demands and submits to standard mathematical techniques. (shrink)

Translation of Celan’s and Lévinas’ Meridian. On the Topology of Meeting-Through-a-Caesura by Konstantin Sigov.

The COVID-19 pandemic in 2020 has had a lasting impact on all areas of personal life. However, the political, economic, legal and healthcare system, as well as the education system have also experienced the effects. Universities had to face new challenges and requirements in teaching and examinations as quickly as possible in order to be able to guarantee high-quality education for their students.This study aims to examine how the German-speaking medical faculties of the Umbrella Consortium of Assessment Network have dealt (...) with the challenges but also the opportunities that the outbreak of the COVID-19 pandemic created in medical education and whether digitalisation has been driven forward as a result. In an initial online-survey we focused our questions on the current teaching situation with regard to digitised teaching content, the support or establishment of adequate framework conditions by the medical faculties and IT facilities and also the execution of examinations during the summer semester 2020.Between August and September 2020, a total of 88 examiners, educators, dean of study and/or technical admins from 32 partner faculties took part in the survey. Students were not included in our survey. Most respondents stated that a switch to a digital semester had worked, the use of e-learning increased compared to previous semesters and that most courses could be converted, with the exception of practical courses, which were largely cancelled. The respondents also indicated that most examinations could still be taken, with the exception of practical examination formats, like Objective Structured Clinical Examinations. However, in the case of face-to-face examinations, strict distance and hygiene conditions had to be obeyed or there had to be a switch to distance-online examinations, which raised many open issues such as equal opportunities of students and attempts at deception.In conclusion, we identified several issues regarding the rapid transition to a digital semester due to COVID-19 which were categorised into the following topics: Face-to-face teaching could not take place, know-how of educators, integrity aspects, technical aspects, additional personnel required, additional time and effort required for implementation of digital teaching. Our study shows that a switch to digital teaching and distance online examinations is feasible, but many problems were encountered concerning academic integrity and basic ethical principles still need to be solved. In order to investigate whether above mentioned issued could be solved one year after the transition to a digital semester, we conducted a second survey in which the 32 initially surveyed institutions were questioned again. (shrink)

The study outlines the existing and potential philosophical issues of the idea of conscious machines originated from the development of artificial consciousness within the framework of contemporary research of artificial intelligence and cognitive robotics. The outline shows that the idea of conscious machines is concerned with two big philosophical issues. The first philosophical issue is a definition of consciousness, taking into account the selection of a set of objects that can have consciousness, the typology of consciousness, the clarifying of the (...) nature of consciousness' carriers and the relationship between consciousness and its environment and the relationship between consciousness and language, in order to create an artificial consciousness within a machine, making that machine conscious. The second philosophical issue is a clarification whether only artificially created machines can be conscious machines, or cyborgizated human beings also can be considered of conscious machines. These philosophical issues show that there can be two ways to create conscious machines: 1) the creating of artificial consciousness within artificially created machine; and 2) the cyborgization of human being, transforming it into artificially created machine possessed natural consciousness. (shrink)

This article focuses on Alexei Losev’s literary texts that embrace his mythology of music: “I was 19 years old,” “A meteor,” “A woman-thinker,” “The Tchaikovsky trio,” and “An encounter.” It is shown that Losev’s musical mythology developed from his early musical-critical works—through the artistic-mythological episodes of his philosophical works per se —to his fiction of the 1930s. Losev’s intentionally abstract philosophy of music required to be complemented by the artistic, emotional, socially and historically specific expression. The main idea of Losev’s (...) musical myth in its historical-cultural aspect is to reflect the relevant self-consciousness of an individual. The epoch of religious super-individualism and “prayerful delight” is replaced by the epoch of “musical delight” and professed idealization of an individual. This change was a reason of the extreme ambivalence of music, which, on the one hand, expresses the highest order and harmony and, on the other, is a continuous evolvement and chaos, a substantive uncertainty. The novelty of the article consists, firstly, in the analysis of correspondence between musical ambivalence and drama in the lives of the heroes, especially heroines symbolizing music itself; and secondly, in identifying the constant features of Losev’s musical myth, as well as its specific features that emerge at different stages. (shrink)

We say that two arithmetical formulas A, B have the Σ1-interpolation property if they have an ‘interpolant’ σ, i.e., a Σ1 formula such that the formulas A→σ and σ→B are provable in Peano Arithmetic PA. The Σ1-interpolability predicate is just a formalization of this property in the language of arithmetic.Using a standard idea of Gödel, we can associate with this predicate its provability logic, which is the set of all formulas that express arithmetically valid principles in the modal language with (...) two modal operators, □ for provability in PA and for Σ1-interpolability. In this paper we determine this provability logic .It turns out that this problem appears to be quite similar to the problem of such modal description of relative interpretability, a problem, solved by Berarducci and Shavrukov. However, the present case is sometimes easier. In particular, we prove in this paper the fixed point property and the Craig interpolation property for our modal system ELH. (shrink)

The article examines main competing conceptions of the cor­respondence theory of truth. First, the author investigates pos­sible candidates for the role of truth-bearers. Among those he examines following entities: instances of sentences as concrete sequences of symbols (sounds or letters), which should satisfy wide scope of requirements, such as to be grammatical, mean­ingful, affirmative and so on; abstract propositions, which are ex­pressed by concrete sentences; utterances (either explicit or in lingua mentalis); beliefs of agents as their special mental states. Then (...) he turns to the study of possible candidates for the role of truth-makers, i.e. of those entities to which truth-bearers should correspond to be true. He observes states of affairs, situations, facts and mereological sums of individuals. Then he shows that a notion of correspondence is a functional relationship of interpre­tation of linguistic expressions, where certain fragment of real­ity is taken as a model, i.e. as a finite set of elements on which some functions and relations can be operationally defined. He shows how in some simple cases such interpretation function can be built in operationalist’s manner. After that, he considers some natural objections to this approach, which point that he has no direct cognitive access to the actual world, so it is not possible to take its fragments as a model for any theory. Such objections lead us to the coherentist’s approach, but he shows that the question about origin and status of so-called “specified set” implicitly either leads to infinite regress or requires certain correspondence on some level of investigation and reasoning. Finally, the authore presents some reflections on the meaning of correspondence approach for scientific realism and all other versions of realistic philosophy and metaphysics. (shrink)

Name der Zeitschrift: Klio Jahrgang: 97 Heft: 1 Seiten: 176-228.

Drawing on MacIntyre's encyclopaedia-genealogy-tradition typology of the humanities, the author describes Averintsev's project as bringing together the elements of encyclopaedia and tradition. The article identifies three forms of isolationism which are evident not only in 'post-atheistic' societies but more widely, and comments on Averintev's treatment of these.

Austin's notion of illocutionary force has helped us see that the understanding of utterances must go beyond considerations of meaning and of truth/falsity. The determination of the truth conditions is not always of central interest in determining what is being said. Searle has failed in his attempt to discover what is common to all illocutionary forces, Because in addition to facts we must consider also the "motivational" conditions of an utterance, Which may include purposes, Intentions, Values, And norms. Austin himself (...) restricted unduly the scope of illocutionary force by tying it closely to conventions. What the speaker is trying to say obviously involves conventions but is not always exhausted by them. We may conclude that language is based on the principle of sufficient understanding: no utterance needs to be misunderstood. (shrink)

_ Source: _Volume 94, Issue 4, pp 616 - 624 The claim that it is always good to be reasonable can be understood to mean either that being reasonable is always better than being unreasonable all things considered or that being reasonable is better than being unreasonable in at least one respect. This paper tries to evaluate both claims and argues for the second, weaker thesis while dismissing the first. To do this, two distinct ideas contained in our every-day understanding (...) of reasonability are distinguished and formulated more precisely. It is then argued that, regardless of which idea we take to be fundamental, being reasonable is always good in at least one respect, though not always good all things considered. (shrink)

Every theory of rationality worth taking seriously implies that it is in some way irrational to accept contradictions. In this essay, the author examines how exactly this basic idea should be spelled out. He argues for two claims. First, it is not practically irrational to accept a contradiction in the sense of causing oneself to have contradictory beliefs. Second, it is moreover not theoretically irrational to accept a contradiction in the sense of having contradictory beliefs, if the contradictoriness of the (...) relevant beliefs is inaccessible to the person. The contradictoriness of a set of beliefs is accessible to a person only if this person possesses the general cognitive capacities to realise that the beliefs are contradictory. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 105 Heft: 4 Seiten: 509-530.

By taking into account some texts published between the first and the second edition of the Critique of Pure Reason that have been neglected by most of those who have dealt with the deduction of the categories, I argue that the core of the deduction is to be identified as the ‘almost single inference from the precisely determined definition of a judgment in general’, which Kant adumbrates in the Metaphysical Foundations in order to ‘make up for the deficiency’ of the (...) A-deduction. Whereas the first step of the B-deduction is an attempt to show that the manifold of an intuition belongs to the ‘necessary unity of self-consciousness’ by means of the synthesis of the understanding, the second step has the task of showing that the very same synthesis is responsible for the spatio-temporal unity of the manifold. Thus, Kant's ‘answer to Hume’ is that no spatio-temporal objects of experience at all are merely ‘given’, independently of the conceptual activities of the understanding. Against the established view I substantiate the claim that with this ‘almost single inference’ of the second proof step the distinction between judgments of perception and judgments of experience consequently vanished from Kant's thinking. (shrink)