Temporal logic of surjective bounded morphisms between finite linear processes.David Gabelaia,Evgeny Kuznetsov,Radu Casian Mihailescu,KonstantineRazmadze &Levan Uridia -2024 -Journal of Applied Non-Classical Logics 34 (1):1-30.detailsIn this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.
In an Animal’s Shoes: Facing Animal Suffering as a Difficulty of Reality.Konstantin Deininger -2025 -Between the Species 28 (1):77-102.detailsThis paper examines the challenges posed by confronting the topic of animal suffering in animal husbandry. The predominant positions within animal ethics mainly focus on the moral status of humans and animals, arguing that killing farm animals is morally wrong due to specifiable intrinsic properties that grant farm animals significant moral status. Such positions are derived from a detached perspective that advocates for rational consistency. This paper opposes this detached perspective. By drawing on Cora Diamond’s concept of a difficulty of (...) reality, it contends that facing animal suffering, including changing one’s habits and attitudes towards this suffering, is instead best accomplished by adopting a situated perspective. Being affected by animal suffering is mediated by our own existential condition as an embodied being exposed to vulnerability. This embodied perspective, which more generally informs our encounters with the world, is derived not from rational principles, but from our immersion in a specific worldly context. Effectively criticizing norms of animal treatment requires engaging with the world with all of our moral capacities, such as imagination and emotional response, from a non-detached perspective. (shrink)
Кіборг як кіборгізована людина: філософський розумовий експеримент у кінофільмі Robocop.Rayhert Konstantin -2017 -Схід 4 (150):98-104.detailsУ статті аналізується філософський розумовий експеримент, запропонований у кінофільмі Robocop, суть якого полягає в моделюванні ситуації, в якій людина перетворюється на кіборга. Кінофільм Robocop досліджує, що таке бути кіборгом як кіборгізованою людиною, та показує, що до кіборгізованої людини можливі три види ставлення: кіборгізована людина більше не сприймається як людина, до неї ставляться як до робота ; кіборгізована людина сприймається як людина, до неї ставляться як до людини ; кіборгізована людина сприймається як людина, до неї ставляться як до людини, але при (...) цьому вважається, що на фізичному рівні між людиною та роботом немає жодної відмінності. Третій вид ставлення потенційно стирає різницю між людиною та машиною зі штучним інтелектом не лише на фізичному, але й на інших рівнях, наприклад, юридичному чи етичному. (shrink)
No categories
Kant’s Theory of Normativity: Exploring the Space of Reason.Konstantin Pollok -2017 - New York: Cambridge University Press.detailsKonstantin 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)
Resisting Moral Conservatism with Difficulties of Reality: a Wittgensteinian-Diamondian Approach to Animal Ethics.Konstantin Deininger,Andreas Aigner &Herwig Grimm -2024 -Journal of Value Inquiry 58 (3):495-513.detailsIn this paper, we tackle the widely held view that practice-oriented approaches to ethics are conservative, preserving the moral status quo, and, in particular, that they do not promote any (fundamental) change in our dealings with animals or formulate clear principles that help us to achieve such change. We shall challenge this view with reference to Wittgensteinian ethics. As a first step, we show that moral thought and action rest on basic moral certainties like: equals are to be treated equally (...) and unequals unequally. We then explore the relations between this insight and the notion of the difficulty of reality elaborated by Cora Diamond. Our goal is to show that a Wittgensteinian-Diamondian approach to animal ethics is not necessarily morally conservative. Indeed, it offers a profound practice-oriented approach to animal ethics that is capable of promoting change in human dealings with animals because it is compatible with radical critique. (shrink)
The “physiological sketch” in the European canons and the Russian natural school as background to the formation of Dostoevsky’s poetics.Konstantin Barsht -forthcoming -Studies in East European Thought:1-19.detailsThe article gives a new insight into how prolific the genre of the physiological sketch was in European literature at the beginning of the nineteenth century and how, in turn, it became the foundational genre of the Russian Natural School, at the time when Dostoevsky entered the literary scene in 1846. The genre appeared first in France and England and spread to Russia, where it was taken up by progressive writers and critics and made into a flagship for the sociological (...) representation of the nation through its professions and social occupations. National types, such as the baker, the street sweeper, the lawyer, the clerk and many others were subjects of the sketches. However, when Dostoevsky took up the form of the sketch in his early work Poor Folk, he transformed the typical characters of the nation into subjects who did not fit into the sociological explanation of personality and departed from the poetics of the Natural School. The second part of the essay is devoted to a brief analysis of Dostoevsky’s new poetics and its transformation of the context of the Natural School in which it was engendered. (shrink)
Music as a subject of discussion in A.F. Losev’s philosophical prose.Konstantin Zenkin -2020 -Studies in East European Thought 72 (3-4):363-376.detailsThis 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)
ChatGPT is no Stochastic Parrot. But it also Claims that 1 is Greater than 1.Konstantine Arkoudas -2023 -Philosophy and Technology 36 (3):1-29.detailsThis 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.
No categories
Between world models and model worlds: on generality, agency, and worlding in machine learning.Konstantin Mitrokhov -forthcoming -AI and Society:1-13.detailsThe article offers a discursive account of what generality in machine learning research means and how it is constructed in the development of general artificial intelligence from the perspectives of cultural and media studies. I discuss several technical papers that outline novel architectures in machine learning and how they conceive of the “world”. The agency to learn and the learning curriculum are modulated through worlding (in the sense of setting up and unfolding of the world for artificial agents) in machine (...) learning engineering. In recent computer science articles, large models trained on Internet-scale datasets are framed as general world simulators—despite their partiality, historicity, finite nature, and cultural specificity. I introduce the notion of “model worlds” to refer to composable interactive environments designed for the purpose of machine learning that partake in legitimising that claim. I discuss how large models are grounded through interaction in model worlds, arguing that model worlds mediate between the sheer scale of language models and their hypothetical capacity to generalise to new tasks and domains, rehashing the empiricist logic of “big data”. Further, I show that the emerging capacity of artificial agents to generalise redraws the epistemic boundary between artificial agents and their learning environments. Consequently, superficial statistics of language models and abstract action are made meaningful in distilled model worlds, giving rise to synthetic agency. (shrink)
Randomized Controlled Trials in Medical AI.Konstantin Genin &Thomas Grote -2021 -Philosophy of Medicine 2 (1).detailsVarious 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)
No categories
Two types of Orthodox theological personalism: Vasily Zenkovsky and Vladimir Lossky.Konstantin M. Matsan -2025 -Studies in East European Thought 77 (1):191-204.detailsThe article attempts to compare personalist aspects in the works of Vasily Zenkovsky and Vladimir Lossky. It is shown that two types of philosophical personalism (metaphysical and existentialist) in the history of Russian thought set the framework for two types of theological personalism presented respectively by Zenkovsky and Lossky. The philosophy of Lev Lopatin was the important source for the principles of Zenkovsky’s personalist vision. The relevant philosophical background on Lossky’s personalism is provided by Nikolai Berdyaev’s works. The article considers (...) the deep criticism by the French theologian Jean-Claude Larchet, who seeks to demonstrate philosophical and existentialist sources of Lossky’s theological personalism, rather than patristical ones. It is noted that the criticism addressed to Lossky’s theory may slide to challenging the very possibility of an Orthodox theological personalism as a line of thought. It is shown that Zenkovsky’s works, presenting a nonexistentialist type of personalism, do not provoke such criticism. It’s concluded that whereas Lossky’s legacy in its personalistic aspect is challenged, Zenkovsky’s personalism enables another way of conceiving “Orthodox theological personalism.”. (shrink)
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev -1993 -Journal of Symbolic Logic 58 (1):249-290.detailsPA 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)
PRISCE, IVBES(PLINY,EP. 6.15).Konstantine Panegyres -2023 -Classical Quarterly 73 (2):952-954.detailsIn the famous exchange between Passennus Paulus and Javolenus Priscus at Plin. Ep. 6.15, it has not been previously recognized that Priscus’ reply is metrical and carries on the hexameter begun by Paulus. This opens up some interesting new possibilities for the interpretation of the letter.
Meridián Celan – Levinas. K topologii setkání skrze zlom (přel. J. Kapičiak – P. Vaškovic).Konstantin Sigov -2022 -Reflexe: Filosoficky Casopis 2022 (62):135-145.detailsTranslation of Celan’s and Lévinas’ Meridian. On the Topology of Meeting-Through-a-Caesura by Konstantin Sigov.
No categories
(1 other version)Theory Choice, Theory Change, and Inductive Truth-Conduciveness.Konstantin Genin &Kevin T. Kelly -2018 -Studia Logica:1-41.detailsSynchronic 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)
Identification archéologique et historique de l'emporion de Pistiros en Thrace.Konstantin Bosnakov -1999 -Bulletin de Correspondance Hellénique 123 (1):319-329.detailsCet article apporte, pour la première fois, des arguments confortant l'identification de l'emporion de Pistiros, attesté épigraphiquement dans la « Grande inscription » du village de Vetren, avec le site archéologique d'époque classique et hellénistique de la région d'Adžijska Vodenica, situé à 2 km de l'endroit où l'inscription a été trouvée. Les éléments en faveur de cette identification sont les suivants : 1) la relation entre l'emplacement de l'inscription — de l'autre côté de l'ancienne « Voie diagonale » reliant Byzance (...) à Serdica, près des ruines de la station romaine de Bona Mansio — et la vocation historique de Vemporion durant le règne de Philippe II de Macédoine ; 2) la tradition antique du nom de Pistiros jusqu'à son dernier avatar : Kapisturia ; 3) l'étymologie du nom Pistiros/Bistiros, toponyme que l'on trouve près d'une vaste étendue d'eau ; 4) l'interprétation de l'hapax epaulistes comme désignant un envoyé du roi thrace qui était obligé de passer la nuit avant le défilé de Succi (aujourd'hui Porte de Trajan) avant de poursuivre son chemin vers l'Ouest le lendemain ; 5) la localisation des Emporta Belana, d'après l'inscription, au pied du versant Sud du mont Orbélos (aujourd'hui Mt Belasitza). Historiquement Xemporion de Pistiros peut être identifié avec le chorion Masteira, mentionné par Démosthène. Des données sûres le concernant nous ont été transmises par l'historien Anaximène de Lampsaque. On tente aussi, pour la première fois, de localiser le chorion Drongilon, à partir de l'ancienne forteresse de Dingion dans la moyenne vallée de l'Hébros. L'article donne enfin une interprétation nouvelle du terme Thraces tetrachoritai, qui désignerait la zone d'occupation macédonienne à l'intérieur de la Thrace, où les quatre garnisons de Philippe II (Drongilon, Kabyle, Philippopolis et Masteira) furent en butte à la révolte. Du point de vue chronologique, cette zone fut établie au moins en deux étapes : en 352/1 et 342/1 av. J.-C. (shrink)
No categories
Impact of COVID-19 on digital medical education: compatibility of digital teaching and examinations with integrity and ethical principles.Konstantin Brass,Anna Mutschler &Saskia Egarter -2021 -International Journal for Educational Integrity 17 (1).detailsThe 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)
Die Gründung Konstantinopels zwischen Sagenkreisen und Zeitzyklen.Konstantin Olbrich -2015 -Klio 97 (1):176-228.detailsName der Zeitschrift: Klio Jahrgang: 97 Heft: 1 Seiten: 176-228.
No categories
Філософія штучної свідомості в першому сезоні телесеріалу "Westworld".Konstantin Rayhert -2017 -Схід 5 (151):88-92.detailsThe study analyzes the philosophy of artificial consciousness presented in the first season of TV series 'Westworld' and as a result of the analysis shows the collision of two opposite philosophical views on consciousness and the possibility of creation of artificial consciousness from the standpoint of two characters of TV series - Arnold Weber and Robert Ford. Arnold Weber proceeds from two philosophical assumptions: consciousness really exists and human consciousness can be a prototype for modeling consciousness in an artificial intelligence (...) bearer. And he has to choose: either to pick out one of the already existing conceptions of consciousness to implement the emergence of artificial consciousness within artificial intelligence or to invent his own; Arnold Weber chooses the Julian Jaynes' conception of consciousness as a basis for artificial consciousness what means that artificial consciousness must have the following features: 1) artificial consciousness has to be the result of the breakdown of the bicameral mind, the state of mind in which cognitive functions are divided into two part, a 'speaking' part and 'hearing' part, until the breakdown that makes the bicameral mind the unified mind; 2) artificial consciousness has to be a mind-space based on language and characterized by introspection, concentration, suppression, consilience and an analog 'I' narratizing in the mind-space. Robert Ford believes that consciousness does not exist at all and that there are only stories which human beings and artificial beings, modeled in the image and likeness of human beings, tell each other and always the basis of all those stories is suffering. (shrink)
No categories
"Kuroneko Banzai" та "Nimbus Libere" як приклади антиамериканської військової пропаганди.Rayhert Konstantin -2017 -Схід 3 (149):71-75.detailsThe study analyzes two animated films - Japanese film Kuroneko Banzai released in 1933 and French film Nimbus Libere released in 1944 - as the examples of the anti-American military propaganda that uses famous American cartoon characters. Kuroneko Banzai tells the story of the inhabitants of one Pacific island who are attacked by vicious Mickey Mouse. The inhabitants are saved by the heroes of the Japanese tales. The film is an example of a national military training which, in one hand, (...) involves the images of Japanese fairy tales characters, that is, appeals to the Japanese national tradition hidden in the Japanese tales and Japanese national symbols, but, in other hand, it contrasts the Japanese fairy tales characters, which symbolize the Japanese national tradition and connection with ancestors and deities, with American cartoon character Mickey Mouse who stands as an enemy from the West. The portrayal of such popular character like Mickey Mouse as the enemy is actually aimed at demonization of Mickey Mouse and together with him the entire American culture to oppose it to own traditional Japanese culture portrayed by the fairy tales characters. Nimbus Libere tells the story of such American cartoon characters like Mickey Mouse, Donald Duck, Goofy, Popeye the Sailor and Felix The Cat who bomb France. The film attempts to demonize the Anglo-American allies landed in Normandy to make ordinary Frenchmen not to help the allies. (shrink)
No categories
Georg Simmel and the Idea of Moral Law.Konstantin E. Troitskiy -2020 -Russian Journal of Philosophical Sciences 63 (8):106-125.detailsIn the article, I analyze Georg Simmel’s essay on individual law and summarize his criticism of the concept of a universal moral law, which was developed by Immanuel Kant. Simmel identifies two ways of conceptualizing the concept of a moral law: as universal, referring to the regulation of the actions of all rational beings, and as individual, including a specific acting person in his integrity and connection with the world, which is, at the same time, absolute only for him. Kant (...) became the personification of the first method for Simmel; Simmel put forward the second method as an alternative to the first. The central characteristic of law for Simmel is its integrity and individuality, not rationality and universality. If Kant understands the moral law through a distraction from personal characteristics and inclinations in favor of impersonal norms that operate for all rational beings, then, for Simmel, the moral law manifests itself as an integral and individual human act, in which the flow of life manifests itself in the whole. Simmel insists that the idea of Kant’s universal law overlooks the very es-sence of moral obligation, which can only be individual, since only in an individual form life manifests itself – a single source of both the real and the proper. The article ends with a criticism of Simmel’s example of an individual law, which, as I show, not only contradicts a number of Simmel’s statements made earlier, but also demonstrates the undeveloped nature of his concept as a whole, namely: Simmel’s insensitivity to the distinction between integrity and totality as well as disregard for the figure of the Other. (shrink)
No categories
Is It Always Good to Be Reasonable?Konstantin Weber -2017 -Grazer Philosophische Studien 94 (4):616-624.details_ 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)
No categories
Science after Stalin: Forging a New Image of Soviet Science.Konstantin Ivanov -2002 -Science in Context 15 (2):317-338.detailsArgumentPost-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)
“Fabricating a World In Accordance with Mere Fantasy …”?Konstantin Pollok -2002 -Review of Metaphysics 56 (1):61-97.detailsIMMANUEL KANT GRADUATED IN 1755 from the University of Königsberg on the basis of the dissertation On Fire and with the essay A New Exposition of the First Principles of Metaphysics written specifically for the occasion; he took up a position as lecturer in the same year. In 1756 he wrote a third Latin essay, the Physical Monadology, and applied for a professorship at the Albertina in Königsberg. The application was unsuccessful and, more significantly, the work failed to attract the (...) attention Kant had hoped. He had to wait until 1770—some fourteen years later—for an appointment as full professor in Königsberg, and it was not until the publication of the Critique of Pure Reason in 1781 that he finally established his reputation as a philosopher. (shrink)
From Kant to Frank: The Ethic of Duty and the Problem of Resistance to Evil in Russian Thought.Konstantin M. Antonov -2023 -Kantian Journal 42 (1):10-51.detailsOne of the key ethical debates in Russian religious thought, initiated by Leo Tolstoy, concerned the question of nonresistance to evil by force. The purpose of this article is to assess the influence of Kant’s ethics and philosophy of religion on the course of this debate and to determine the place and significance of the arguments and considerations expressed on this issue by Semyon Frank in the early and late periods (1908 and 1940s) of his work. To this end I (...) reconstruct the general course of the debate, notably the positions and arguments of Leo Tolstoy, Vladimir Solovyov, Ivan Ilyin and Nikolai Berdyaev. Beginning with Tolstoy, Russian thinkers introduced the original ethical content of the idea of nonresistance derived from the Gospel into the ethics of duty borrowed from Kant. The Tolstoy version of this idea was challenged mainly from two directions: from the Kantian grounding of the legitimacy of coercion and attempts to bring in styles of moral thinking other than the ethic of duty. Ilyin’s apologia for the use of force in the struggle against evil prompted Russian émigré thinkers to take a closer look at Tolstoy’s ethical concept and pay attention to its positive content. On this basis Berdyaev and especially Frank create their version of the Christ-centered ethic of salvation which, in the perspective of “protecting the world against evil” includes the ethic of duty and links it with the possibility of using force, always a wrongful act, but one justified “in a situation of extreme need”. (shrink)
No categories
Computers, justification, and mathematical knowledge.Konstantine Arkoudas &Selmer Bringsjord -2007 -Minds and Machines 17 (2):185-202.detailsThe 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)
Evolution of Islamic Radicalism during the 19th to 21st Centuries.Konstantin Kachan -2018 -Journal for the Study of Religions and Ideologies 17 (49):105-119.detailsThis article is an overview of the evolution of Islamic radicalism during the 19 th - 21 st centuries. It demonstrates that nineteenth century Islamic radicalism is based on the ideas of pan-Islamism, whose main representatives are J. al-Din al-Afghani and M. Abduh. In turn, Islamic radicalism of the twentieth to twentyfirst centuries is based on the ideas of Islamic fundamentalism. Its main representatives are H. Al-Banna, S. Qutb, the Deoband movement, al-Maududi and R. Khomeyni. Pan-Islamic theories of the 19 (...) th -20t h centuries are based on the thesis that people who seek liberation from colonial oppression should merge. However, scholars have different views on the union of the Muslim world. It was, once, regarded as a combination of historical circumstances and the political realities of the nineteenth century. These were further shaped by the basic idea of Islamic fundamentalism in the twentieth to twentyfirst centuries, which is Salafiyya, or a return to “pure Islam”, a revival of active faith traditions and the union of all walks of life under the Sharia law and strict interpretation and application of its rules. The instruments used by Islamic fundamentalists and radicals to implement it have been the Islam-related slogans for Takfir and Jihad. But in the 21st century, integration and globalization have started playing a significant role. Various geopolitical forces are using various tools, including the idea of Islamic radicalism. (shrink)