Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

There are three major themes in the dialogue thought to be Plato’s Statesman: the nature of statesmanship, the difference between perfect and less than perfect regimes and the method of division. In this paper I focus on the first two themes. I argue, first, that the dialogue makes a plausible case for what it takes to be a wise statesman. In doing so, I play down the importance of the second theme: the difference between regimes. In fact, I consider this (...) discussion to be deeply flawed and even irrelevant to the argument of the first. My main purpose is to provide a critical analysis of the political theory articulated in the dialogue. My analysis is made plausible by abandoning the traditional view that the Statesman was written Plato in its entirety as a unified whole. In my view, a close reading of the text supports the hypothesis that it is, at best, semi-authentic; namely, that it is most likely a collage of fragments written at different times by Plato and other members of the Academy. (shrink)

Ph.D. Thesis. University of Hawaiʻi at Mānoa 2018.

Przedmiotem artykułu są teorie pierwszych ontologów greckich: Ksenofanesa, Parmenidesa i Melissosa na temat bytu, jego jedności i tożsamości, z uwzględnieniem niektórych poglądów Zenona. Naczelnym problemem artykułu jest pytanie o naturę relacji bytu względem świata u filozofów eleackich. Celem jest opis sposobu rozumienia tego powiązania, zaproponowanego przez każdego z nich. W rezultacie analiz porównawczych, opierając się na badaniu zachowanych fragmentów tekstów starożytnych, okazało się, że Ksenofanes jest autorem koncepcji Jedno-Boga tożsamego ze światem, zaś Parmenides sformułował oryginalną teorię bytu transcendującego świat cielesny, (...) ale stanowiącego jego rację tożsamości jako całości. Przedstawiona w artykule interpretacja poglądów Parmenidesa stanowi ujęcie odmienne od powszechnie przyjmowanego. Melissos natomiast wykorzystując Parmenidejski sposób rozumienia bytu jako czegoś jednego umieszcza go w świecie. Zbliża to poglądy Melissosa do poglądów Ksenofanesa. Każda z tych teorii nastręcza jednak wielu problemów interpretacyjnych, wynikających przede wszystkim z niewielkiej ilości tekstów źródłowych. ------------------------- Zgłoszono: 06/11/2022. Zrecenzowano: 13/12/2022. Zaakceptowano do publikacji: 20/12/2022. (shrink)

In the domain of information systems ontologies, the notion of completeness refers to ontological contents by demanding that they be exhaustive with respect to the domain that the ontology aims to represent. The purpose of this paper is to analyze such a notion, by distinguishing different varieties of completeness and by questioning its consistency with the open-world assumption, which formally assumes the incompleteness of conceptualizations on information systems ontologies.

RESUMEN La concepción de la persona se ha trasladado a una discusión sobre la teoría republicana de la autodeterminación política. Hito fundamental es lo "político", introducido por J. Rawls para definir una región artificial, no metafísica, de la organización de la vida humana en sociedad. Es un concepto normativo para definir ciudadanía que incluye una concepción moral del hombre. Se sostiene que, en la articulación de este concepto y sus nociones asociadas de autonomía plena y razonabilidad de los agentes, el (...) constructivismo político recoge la concepción del hombre como sujeto de sentidos, tema central del comunitarismo. ABSTRACT The conception of person has shifted to the discussion on the republican theory of political self-determination. A fundamental milestone was the concept of the "political", introduced by J. Rawls to define an artificial, non-metaphysical region of organization of human life in society. It is a normative concept to define citizenship, which includes a moral conception of human beings- The article claims that, in the articulation of this concept and its associated notions of full autonomy and rationality of agents, political constructivism takes up the conception of human being as a subject of meanings, which is central to communitarianism. (shrink)

This paper uses Lawrence Venuti's writings on foreignising translation as a point of departure to examine the relevance of Deleuze's work to the discipline of translation studies. It begins by using Deleuze's earlier work to define translation as a problem of difference, drawing on concepts such as the simulacrum, the Virtual and the Actual, before using ideas from his collaborative works with Guattari, such as the minor and the nomad, to consider more practical aspects in terms of language. It concludes (...) by introducing the concept of the texture of prose as a means to apply these ideas to literary texts. (shrink)

Формування рефлексії як схеми мислення та тригера практичної дії у стародавньому світі було важливим чинником виникнення феномена «вісьового часу» (К.Ясперс). У цей період виникли мораль як рефлексія та регулятор вольової діяльності, логіка як рефлексивне відслідковування істинності руху думки, демократія як рефлексивне взаємовизнання громадянами гідності один одного, монотеїстичні релігії (юдаїзм, брахманізм, веданта, християнство, деякі школи будизму), а також класична філософія. Рефлексія як компонент самосвідомості стала важливим механізмом самоорганізації ідентичності, починаючи з вісьового часу. Сократ виявив необхідність рефлексивного усвідомлення відмінності загального від одиничного (...) у процесі мислення та сприяв усвідомленню моралі як форми суспільної свідомості. Платон сформулював ідею мислення як бесіди душі із самою собою та рефлексивного осмисленного переходу від однієї ідеї до іншої у процесі мислення. Аристотель з’ясував, що відчуття, сприйняття, уява супроводжуються своєрідним сприйняттям-мисленням (усвідомленням, рефлексією), але останнє є вищим за природою, ніж перші, та, на противагу цьому, розум мислить божественне, що є однією природою з ним, і є мисленням мислення. (shrink)