We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

Esta obra, que podemos encontrar dentro de la oportuna colección de Humanidades de las Prensas de la Universidad de Zaragoza es la primera traducción en castellano que se ha realizado de Eraclito e la sua legenda publicada en 1979, que hasta 2018 solo estaba al alcance de quienes hablaran italiano. Como su título indica, es un trabajo realmente útil para la investigación e interpretación de los textos de Heráclito de Éfeso. Su tesis es una propuesta de interpretación sustentada en una (...) rigurosa contextualización de la que se da cuenta a lo largo de la obra, cuya conclusión es que las lecturas que se han venido realizando han extraído y descontextualizado los ejemplos de carácter físico que el filósofo usa para explicar el objeto político de su obra, con lo que la tradición habría perdido de vista el sentido de la misma: la política del momento. Su autor, Antonio Capizzi desarrolló su docencia en la Universidad de La Sapienza de Roma, en la que se especializó en la historia de la filosofía griega. Sus trabajos se caracterizan por una detallada contextualización histórica, alejándose de otras interpretaciones heredadas de la tradición. Destacan sus trabajos Introduzione a Parmenide y Platone nel suo tempo, dedicados a Parménides y a Platón, respectivamente. (shrink)

The reasons conception is the most prominent account of the nature of critical thinking. It consists in responding appropriately to reasons. Responding to reasons can be following a rule, it can be making an exception to a rule, it can be responding to a situation that is unique. It depends on the context each time what is the appropriate response. Critical thinking is the educational cognate of rationality and is a sine qua non for a reasonable life in a modern (...) democratic society. Reasons are generally normative. If this is true then it is to be expected that critical thinking is normative and also rationality. Critical thinking consists in being appropriately moved by reasons. The normative element of reasons moves us to beliefs or actions. It depends on our character how reasons move us. This indicates that our character must be well formed to enable us to be appropriately moved. (shrink)

This article discusses the way humans value nature, with a focus on the way they value nature aesthetically. Of particular interest are the values of children and adolescents and the role of aesthetics in scientific studies. The discussion is based on philosophical writings, especially aesthetic sources, and current environmental education empirical research. Our aim is to show the necessity the science lessons have of an unambiguous aesthetic dimension. With flexible teaching methods that partly take place outdoor, the students' own values (...) and aesthetic experiences become a prompting starting point for understanding humankind’s role in nature. (shrink)

1347’den itibaren İslâm ve Batı coğrafyalarında yeni bir literatür ortaya çıktı, taun ya da Türkçede daha çok kullandığımız şekliyle veba risaleleri. İslâm coğrafyasındaki literatür şu üç şeyden beslendi: Jüstinyanus Salgının İslâm’ın doğuşundan beri yaşanan bir olgu olması sayesinde taun, haliyle hadis kaynaklarının, siyer ve tarih eserlerinin gündeminde oldu. Bu gündem, risalelere özel olarak taun ve salgınlar, daha genel olarak da hastalıklarla mücadelenin itikadî ve fıkhî bir zeminde tartışılması şeklinde yansıdı. Taunu ya da hıyarcık vebasını tanımlamayı ve bununla bir şekilde başa (...) çıkmayı hedefleyen eserler hastalığı Galenos-İbn Sînâ tıbbı temelinde miyazma doktrini ekseninde açıklamaya çalıştı ve dayanaklarını bu tıp paradigmasından devşirdi. Ve nihayet amansız bir hastalıkla karşı karşıya kalınması okültist kültüre başvurmak da dâhil olmak üzere tüm çarelerin aranmasına kapı araladı. Bu arka planın tümü farklı seviyelerde de olsa risalelerin dilini ve muhtevasını belirledi. Bu makalede öncelikle modern araştırmalarda İslâm coğrafyasında yazılan veba risaleleri hakkındaki çalışmalara dair bir değerlendirme yapıldı. Ardından bazı İslâm tarihi kaynakları “veba” ve “taun” kavramlarına nasıl bir anlam yükledikleri açısından süzgeçten geçirildi. Veba risalelerine tıbbî doktrinler ve terminoloji açısından kaynaklık eden tıp eserlerinin bir kısmı da bu iki kavram ekseninde aynı şekilde değerlendirmeye konu oldu. Böylece Kara Ölüm öncesi İslâm dünyasında genel olarak “salgın”, “veba” ve “taun” hakkındaki tasavvurun anlaşılması hedeflendi. Makalenin asıl konusu olan taun/veba risaleleri literatürü hem özellikleri itibariyle tartışıldı ve analiz edildi hem de literatüre dair bir veri tabanı oluşturuldu. Memlük ve Osmanlı dönemleri eserleri başta içerik olmak üzere bazı açılardan bir süreklilik ilişkisi arz ederken Osmanlı risaleleri belli hususiyetleriyle Memlük eserlerinden ayrılmaktadır. Bu çalışmada iki dönemdeki eserlerin ortak yönlerine de temas edilmekle birlikte literatürün ayrıştıkları noktalar da tahlil edildi. (shrink)

Technology tends toward perpetual innovation. Technology, enabled by both political and economic structures, propels society forward in a kind of technological evolution. The moment a novel piece of technology is in place, immediately innovations are attempted in a process of unending betterment. Bernard Stiegler suggests that, contra Heidegger, it is not being-toward-death that shapes human perception of time, life, death, and meaning. Rather, it is technological innovation that shapes human perception of time, life, death, and meaning. In fact, for Stiegler, (...) human evolution has always been part of technological evolution. While one can quibble with the notion of human-technology co-evolution, there is something to be said for the way in which human perception of time, of ageing, and of death seems to be judged against the horizon of perpetual evolution of technological innovation. In this technological imaginary, of which modern medicine is constituent, ageing and death seemingly may be infinitely deferred, and it is this innovating deferral that shapes the contemporary social imaginary around ageing and death in modern medicine. Yet, the reality of living and dying always manifests itself differently than the scripts given to us by the technological imaginary with its myth of endless innovation. In fact, I shall argue that, where the Church created an ars moriendi, the technological imaginary gives us an ars ad mortem when it becomes clear that ageing and death cannot be infinitely deferred. And further, I shall argue that the Church must revivify its ars vivendi—that is to say, its liturgies, its arts, its technics—as a counter narrative to the myth of perpetual innovation that shapes the technological imaginary. (shrink)

Bovine tuberculosis is an important and controversial animal health policy issue in England, which impacts humans, cattle and badgers. The government policy of badger culling has led to widespread opposition, in part due to the conclusions of a large field trial recommending against culling, and in part because badgers are a cherished wildlife species. Animal rights theorists argue that sentient nonhumans should be accorded fundamental rights against killing and suffering. In bovine TB policy, however, pro-culling actors claim that badgers must (...) be culled to avoid the slaughter of cattle. The first part of the paper compares AR theories of Regan, Francione, Cochrane, Garner and Donaldson and Kymlicka in the context of wildlife species. The second part of the paper applies these AR theories to bovine TB and badger control. AR theories are applied to badger control policy options of do nothing, badger culling, and badger vaccination. We conclude that AR theories are strongly opposed to badger culling. In general, culling is prohibited due to a badger’s right to life and its rights against suffering. The AR theories support a do-nothing, i.e. non-culling, non-vaccination approach to badger control. In the case of the AR theories of Regan and Francione, this is based on abolitionist positions with respect to farming. For Cochrane, Garner, and Donaldson and Kymlicka, the do-nothing policy option is preferred because badger vaccination causes a degree of suffering which generally is not for the individual’s benefit. (shrink)

Enligt ett realistiskt synsätt kan ett påstående vara sant trots att det inte ens i princip är möjligt att veta att det är sant. En sanningsteoretisk antirealist kan inte godta denna möjlighet utan accepterar en eller annan version av Dummetts vetbarhetsprincip: (K) Om ett påstående är sant, så måste det i princip vara möjligt att veta att det är sant. Det kan dock förefalla rimligt, även för en antirealist, att gå̊ med på̊ att det kan finnas sanningar som ingen faktiskt (...) vet (har vetat, eller kommer att veta) är sanna. Man kan därför tänka sig att en antirealist skulle acceptera principen (K) utan att därför gå med på den till synes starkare principen: (SK) Om ett påstående är sant, så måste det faktiskt finnas någon som vet att det är sant. Ett mycket omdiskuterat argument – som ytterst går tillbaka till Alonzo Church, men som först publicerades i en uppsats av Frederic Fitch i Journal of Symbolic Logic 1963 – tycks emellertid visa att principen (K) implicerar principen (SK). Anta nämligen att (K) är sann, medan (SK) inte är det. Men om (SK) är falsk, så finns det ett påstående som är sant men som ingen faktiskt vet är sant. Anta nu att p är ett sådant påstående. Låt Kp betyda att någon vet att p är sant. Det galler alltså̊ att p är sant samtidigt som Kp inte är det. Betrakta nu påståendet (p ∧ −Kp). Enligt antagandet är detta påstående sant. Enligt (K) måste det då vara möjligt att någon vet att (p ∧ −Kp). D.v.s., det måste vara möjligt att påståendet K(p ∧ −Kp) är sant. Men i så fall är det också̊ möjligt att påståendet Kp ∧ K−Kp är sant, vilket i sin tur implicerar att det är möjligt att Kp ∧ −Kp är sant, vilket ju är absurt. Således kan inte (K) vara sann samtidigt som (SK) är falsk. Vi tycks således kunna sluta oss till att (K) implicerar (SK). I uppsatsen diskuterar jag några olika sätt att undgå̊ Church-Fitch paradoxala slutsats. Ett tillvägagångssätt är att ersätta kunskapsoperatorn med en hierarki av kunskapspredikat. Ett annat är baserat på distinktionen mellan faktisk och potentiell kunskap och ett förkastande av den vanliga modallogiska formaliseringen av principen (K). Den senare typen av lösning betraktas både från ett realistiskt och ett icke-realistiskt perspektiv. Utifrån denna analys kommer jag fram till slutsatsen att vi, vare sig vi är realister eller antirealister rörande sanning, kan sluta oroa oss för vetbarhetsparadoxen och ändå uppskatta Church-Fitchs argument. (shrink)

In his ‘Review of Belief’s Own Ethics,’ Ars Disputandi 3 , Igor Douven argued that ‘P, but I lack sufficient evidence for p’ is heard as odd not for conceptual reasons, but for pragmatic reasons. We hear this sentence as odd, because we are not regularly exposed to it. In this reply, the author argues that the assertion ‘P, but I lack sufficient evidence for p’ sounds contradictory, because the two parts of the assertion refuse combination on conceptual grounds. We (...) are not regularly exposed to such assertions, because people normally find that a speaker can only be taken to assert p, if she beliefs that p. And people normally find that if one believes that p, then this is because, by one’s own lights, one has sufficient evidence for p. One may not be fully aware of this evidence. But it would certainly be contradictory to believe sincerely that p, while also believing that one lacks sufficient evidence for p. (shrink)

Students of the Orestes are fortunate to have two excellent commentaries at their disposal, by C. W. Willink and M. L. West . Neither will help them to understand this line, which is ‘the only allusion to Ganymede's horsemanship’ , because ‘no story of riding by Ganymede is known’ . But we are repeatedly reminded that the scene with the Phrygian has far fewer affinities with tragedy than with comedy, and εριπιδαριστοφαíζεται Comedy provides the clue, specifically at Ar. Vesp. 50If. (...) and Lys. 676ff. The reference is to the variety of equestrianism for which Ganymede is far from unknown . For Innoavvr) here describes a σχμα ρωτικóν and the line means Ganymedes concubinus, Iovis supini inguini insidens et equitans, sc. inter causas fuit malorum propter Iunonis invidiam Troianis immissorum. (shrink)

‘[Valerius'] Argonautica is a story of high adventure, not a poème à thèse’: so stated Garson in 1965. Strand later added that the essential nature of this poem and the choice of subject-matter was determined by poetic inability; he describes the prooemium to Valerius' Argonautica as ‘a recusatio: the theme of the fall of Jerusalem is beyond his powers, and it would instead be treated by Domitian who was fit for such an arduous task; Valerius had to content himself with (...) the theme of an old myth’. It is these two opinions that I wish to question in this article. Indeed, alarm bells immediately sound at Strand's interpretation of the poet's recusatio. It has long been recognized that the original Callimachean recusatio was twisted by the Augustan poets. Gordon Williams analyses their practice thus: ‘They sadly regret that their poor talents will not rise to great subjects – and the subjects to which they will not rise are not the old mythological tales but the great affairs of contemporary Roman history and, in particular, the deeds of Augustus. It is clear, however, that they are using this form of poem to enumerate and praise the great deeds of Augustus, under the guise of proposing their own inability.’ No-one hesitates to agree that Valerius was well versed in the Augustan poets. It is dangerous, therefore, to assume without question that he was deceived by their insincerity. There is in fact good reason to examine the alternative possibility, namely that Valerius understood well the practice of his literary predecessors, that he dared to tread in their footsteps and that he succeeded in the supreme duty of a poet, that is to say, the business of ensuring that ars celavit artem. (shrink)

In C.Q. xliii , p. 39, Mr. J. H. Quincey quotes the opening lines of Catalepton 5 as, Ite hinc,-inanes, ite, rhetorum ampullae, inflata rhoso* non Achaico verba, and adds, ‘the second line is corrupt and no satisfactory emendation has been proposed’. The MS. readings are: rhorso B, roso Mu, om. in lacuna Ar. In face of these voces nihili many have fallen back on the rore of the Aldine edition of 1517. But this does not really help, for one (...) does not inflate with dew: orators are not dew-bags, but wind-bags. It occurred to me some years ago that what is needed is some word meaning breath or wind to go with inflata, and that in view of the rh in rhorso it was probably a Greek word which a scribe had failed to recognize. I conjectured οζ, and found subsequently that this had been proposed by K. Münscher in Hermes, xlvii , pp. 153–4. οȋζος used of any rushing sound, is applied to speech by Philostratus , and by Pollux . It is easy to see how rhoezo could degenerate into rhoeso-rhoso-roso. (shrink)

Those supporting laws permitting assisted suicide seem to enact a thin morality, one that permits people who desire AS to get it in the terminal stages of an illness, and that provide safeguards both for those who desire AS and do not desire it. This article explores the way in which all AS legislation subtly frames the question of AS such that AS becomes the clearest option; ensconcing AS in law also gives a moral legitimacy to suicide. Thus, the morality (...) of laws permitting AS are not morally thin. I describe how AS laws create a different social imaginary for dying in Western cultures, one that competes with the traditional Christian understanding. Legalized AS is inevitable in Western liberal democracies, and I claim that the Church, which transformed the ancient Greco-Roman culture, will once again have to create alternative structures, creating a new Ars moriendi, in order to challenge the modern statecraft for killing. (shrink)

This article has two objectives: the first, to analyze the professionalization process of assisted reproduction in order to see how AR is consolidating into an independent field within medicine, and the second, to see how AR arrived and was assimilated into Mexican culture. As opposed to other projects that have traced back the story of a particular specialty to see how it emerged as such, this article looks at an ongoing process: specialization in action. By analyzing the data collected through (...) three years of multisited ethnography using tools offered by the sociology of professions and the history of medical specialization, I identify specific moments in which AR is gaining cognitive, normative, and evaluative consolidation, structure, and independence. This leads me to suggest that AR might separate from gynecology and become an independent specialty within medicine. I offer examples to support this argument and show how AR has developed into a biomedical service, a professional biomedical field, and a biomedical business. (shrink)

Artiklen perspektiverer på den almene pædagogiks aktuelle, pressede tilstand, i lyset af de centrale, transnationale udviklingstendenser inden for uddannelsesstyring der har gjort sig gældende de sidste ca. 25-30 år. Dette gøres, ved at tage afsæt i de såkaldte antinomier, som en række pædagogiske forskere har forholdt sig til som definerende for moderne pædagogik. Denne tematik blevet sat på dagsordenen af aktuelle uddannelsesforskere som bl.a. Alexander von Oettingen; Michael Uljens; Lars Løvlie; Gert Biesta, Birgit Schaffar og Dietrich Benner. Oettingen ser nærmere (...) bestemt spørgsmålet om pædagogisk professionalitet som spaltet i fire antinomiske paradokser, der angår Rationalisering ; Pluralisering ; Individualisering og Civilisering. Disse pædagogiske paradoksaliteter har en rod bl.a. hos Kant, Rousseau og Herbart. Artiklen søger gennem fokusering af sådanne pædagogiske antinomier eller paradokser at vise, hvorledes den transnationale uddannelsesrevolution de sidste 25-30 år har udtyndet den almenpædagogiske undermuring af begreberne: I. professionalitet, II. læring, III. autenticitet og IV. dannelse. Dermed fokuseres de almenpædagogiske problemstillinger der kendetegner disse fire begreber. Dette gøres for at vise, hvorledes den transnationale uddannelsesstyring i dette lys udgør en bekymrende afvikling eller sammenklapning af pædagogikkens almene grundtræk. (shrink)

In a review of Adler’s Belief’s Own Ethics , I had challenged the book’s main argument for the thesis that we cannot but believe in accordance with our evidence. Van Willigenburg replied to the review , defending Adler’s argument against my critique. In the present note, I briefly respond to van Willigenburg.

Todo encaja en todo armoniosamenteEl macho encaja en la hembra y la hembra en el machoTal como el cuchillo encaja en los labios de la herida sangranteY el árbol de corteza arrugada en el paisaje que lo rodea.Se me antoja comenzar estas palabras con un fragmento de la notable ars poética de Hernán Miranda “Todo encaja en todo armoniosamente”; y se me ocurre este inicio porque este libro de casi 300 páginas se me antoja encaje. Este juego de palabras se (...) percibe desde que comenzamos a dar lectur.. (shrink)

Le professeur B. Pouderon (Université de Tours, Institut Universitaire de France), qui compte aujourd’hui parmi les meilleurs connaisseurs de la litté­rature apologétique grecque chrétienne, était certainement le mieux placé pour rédiger ce volume d’initiation aux Pères de l’Église. Ses nombreux tra­vaux antérieurs sur cette littérature ainsi que ses éditions critiques de la Sup­plique au sujet des Chrétiens et du Traité sur la résurrection des morts d’Athénagore d’Athènes, de Y Apologie d’Ar..

I n Citizenshi p an d Migration : Globalizatio n an d th e Politic s o f Belongin g publishe d in 2000 , Alastai r Davidso n an d I showe d tha t globalisatio n an d migratio n thro w u p serious challenge s fo r citizenship . Thi s articl e goe s further , b y examinin g change s resultin g from th e emergenc e o f a ne w constellatio n (...) o f internationa l politics , whic h I refe r t o a s the hierarchica l nation-stat e syste m . Th e bipola r syste m o f th e Col d Wa r i s bein g superseded b y a ne w dichotom y betwee n Nort h an d South , bu t wit h a singl e super-powe r dominating both . Fo r th e firs t tim e i n history , mos t o f th e world ’ s peopl e hav e th e lega l statu s of citizenshi p an d liv e i n politie s wit h th e lega l for m o f democrati c nation-states . Althoug h all nation-state s ar e formall y equa l i n status , ther e i s i n realit y a hierarch y wit h regar d t o such factor s a s internationa l law , rule s o n trade , monopol y o f th e mean s o f mas s destructio n and influenc e o n globa l governance . Thi s make s i t necessar y t o mov e fro m th e notio n of differentiated and contradictory citizenship tha t w e outline d i n 200 0 t o a notio n o f hierarchical citizenship, base d o n shar p difference s i n th e degre e o f empowermen t an d right s tha t citizenship o f variou s type s o f state s confers . Hierarchica l citizenshi p help s t o shap e th e right s and life-chanc e o f differen t group s a t bot h th e nationa l an d internationa l levels . I t i s closely linke d t o discourse s o n th e naturalnes s o f violenc e an d chao s i n th e South , whic h help s to legitimat e Norther n dominance. (shrink)

Dominic McIver Lopes’ Four Arts of Photography and Diarmuid Costello’s On Photography: A Philosophical Inquiry examine the state of the art in analytic philosophy of photography and present a new approach to the study of the medium. As opposed to the orthodox and prevalent view, which emphasizes its epistemic capacities, the new theory reconsiders the nature of photography, and redirects focus towards the aesthetic potential of the medium. This symposium comprises two papers that critically examine central questions addressed in the (...) two books, with responses by the two authors in defence of their respective positions. (shrink)

La cuestión de si los lenguajes intensionalesson más expresivos que los lenguajes nointensionalessurge en el marco de unaperspect i va semánt i ca de l as t eorí as.Desde esta perspectiva, la cuestión esesta. ¿Hay clases modelo que se puedencaracterizar mediante teorías que usanconceptos intensionales que no se puedencaracterizar mediante teorías que no usanconceptos intensionales? Se sugiere unaformulación precisa de esta cuestión, perono se ofrece una respuesta.Para aproxi marse a est a cuest i ón, seresume la teoría de modelos de (...) primerorden [II] y se revisa el enfoque semánticode las teorías que emplea incrementost eóri cos, no i nt ensi onal es, de pri merorden [III].Los i nc r e me nt os t e ór i c os de pr i me rorden se bosquejan pero no se definenr i g u r o s a me n t e [ I V] . E s t e l e n g u a j ei n t e n s i o n a l pr o po r c i o n a e l a p a r a t op a r a a t r i b u i r u s o d e l l e n g u a j e yact i t udes i nt ens i onal es a i ndi vi duoscuyo comportami ento es el obj eto deinvestigación. También proporciona elaparato para habl ar sobre traducci óndel lenguaj e atribuido al lenguaj e delinvestigador.La cuestión inicial se convierte entoncesen si hay clases modelo que se puedanc a r a c t e r i z a r me d i a n t e i n c r e me n t o sintencionales de lógica de primer ordenq ue n o pue de n s e r c a pt ur a do s po rincrementos teóricos no-intensionales [V].The ques t i on of whet her i nt ens i onallanguages are more expressive than nonintensional languages is raised within the framework of a semantic view of theories. Fromthis perspective, the question isthis. Are there model classes that can becharacterized by theories using intensionalconcepts that cannot be characterizedby theories that do not use intensionalconcepts? A precise formulation of thisquestion is suggested, but no answer isgiven.To approach this question, model theory offirst order theories is summarized [II] andthe semantic approach to theories usingnon-intensional, theoretical augmentationsof first order theories is reviewed [III].I n t e n s i o n a l a u g me n t a t i o n s o f f i r s torder theories are sketched [IV] but notr i gor ous l y de f i ne d. Thi s i nt e ns i onall anguage provi des t he apparat us f orattributing language use and intensionalattitudes to individuals whose behavioris the object investigation. It also providesapparatus for talking about translationf r om t he at t r i but e d l anguage t o t heinvestigator’s language.T h e i n i t i a l q u e s t i o n t h e n b e c o me swhet her t here are model cl asses t hatc a n be c ha r a c t e r i z e d by i nt e ns i ona laugmentations of first order logic thatcannot be captured by non-intensionaltheoretical augmentations [V]. (shrink)

Pa ul Boghos s i a n’ s ‘ Me mor y Ar gume nt ’ a l l ege dl y s hows , us i ng t he f ami l i a r s l ow-switching scenario, that externalism and authoritative self-knowledge are incompatible. The aim of this paper is to undermine the argument by examining..

This book offers a comprehensive philosophical investigation of ignorance. Using a set of cognitive tools and models, it discusses features that can describe a state of ignorance if linked to a particular type of cognition affecting the agent’s social behavior, belief system, and inferential capacity. The author defines ignorance as a cognitive condition that can be either passively borne by an agent or actively nurtured by him or her, and a condition that entails epistemic limitations that affect the agent’s behavior, (...) belief system, and inferential capacity. The author subsequently describes the ephemeral nature of ignorance, its tenacity in the development of human inferential and cognitive performance, and the possibility of sharing ignorance among human agents within the social dimension. By combining previous frameworks such as the naturalization of logic, the eco-cognitive perspective in philosophy and concepts from Peircean epistemology, and adding original ideas derived from the author’s own research and reflections, the book develops a new cognitive framework to help understand the nature of ignorance and its influence on the human condition. (shrink)

It is fortunate for my purposes that English has the two words ‘almighty’ and ‘omnipotent’, and that apart from any stipulation by me the words have rather different associations and suggestions. ‘Almighty’ is the familiar word that comes in the creeds of the Church; ‘omnipotent’ is at home rather in formal theological discussions and controversies, e.g. about miracles and about the problem of evil. ‘Almighty’ derives by way of Latin ‘omnipotens’ from the Greek word ‘ pantokratōr ’; and both this (...) Greek word, like the more classical ‘ pankratēs ’, and ‘almighty’ itself suggest God's having power over all things. On the other hand the English word ‘omnipotent’ would ordinarily be taken to imply ability to do everything; the Latin word ‘omnipotens’ also predominantly has this meaning in Scholastic writers, even though in origin it is a Latinization of ‘ pantocratōr ’. So there already is a tendency to distinguish the two words; and in this paper I shall make the distinction a strict one. I shall use the word ‘almighty’ to express God's power over all things, and I shall take ‘omnipotence’ to mean ability to do everything. (shrink)

Th e basi c pu r pos e o f thi s w or k consist s o f eliminatin g som e o f th e m yth s an d paradigms tha t cu r rent ly info r m th e assessmen t o f scienti f i c e vidence . I n orde r t o accomplis h this object i v e , th e autho r sta r t s fro m th e (...) premis e tha t thes e m yth s an d paradigms , produce d with th e d ev elopmen t o f forensi c science , ar e minimizin g th e rol e o f judge s i n judicia l proceedings fo r th e bene f i t o f e xpe r ts . Thi s ca n lea d t o a violatio n o f du e proces s an d n e glectin g that judicia l processe s ar e aime d a t resolvin g conflicts . Th e autho r refer s speci f ical l y t o th e m yth o f in f allibilit y an d th e pa r adig m o f identi f ication , accordin g t o w hic h scienti f i c e vidence ca n posit i v e ly identif y a n ind i vidua l o r objec t throug h p h ysica l traces . B y ana l yzin g the recen t doctrin e o n th e assessmen t o f scienti f i c e vidence , th e autho r conclude s o n th e need t o adop t th e pa r adig m o f likelihood . Thus , th e judg e stil l hold s th e rol e i n th e ev aluation o f e vidence , an d guarantee s tha t th e goal s o f th e proces s wil l b e respected. (shrink)

In the book “Freedom of the Will”, Jonathan Edwards put forward a strong ar-gument for theological fatalism. This argument, I suppose, can be considered as the universal basis for discussion between Fatalists and Anti-Fatalists in the 20th century, especially in the context of the most powerful argument for fatalism, introduced by Nelson Pike. The argument of Edwards rests upon the following principles: if something has been the case in the past, it has been the case necessarily ; if God knows (...) something, it is not the case that ~A is possible. Hence, Edwards infers that if God had foreknowledge that A, then A is necessary, and it is not the case that someone could voluntarily choose ~A. The article argues that the Edwards` inference Kgp → □p rests upon the modal fallacy; the inference „God had a knowledge that p will happen, therefore „God had a knowledge that p will happen” is the proposition about the past, and hence, the necessarily true proposition“ is ambiguous; thus, it is not the case that this proposition necessarily entails the impossibility of ~p; it is not the case that p, being known by God, turns out to be necessary. Thus, we can avoid the inference of Edwards that if Kgp is a fact of the past, then we cannot freely choose ~p. It has also been shown that the main provisions of the argument of Edwards remain significant in the context of contemporary debates about free will and foreknowledge. Additionally, I introduce a new challenge for fatalism – argument from Brouwerian axiom. (shrink)

El presente estudio, centrado en el análisis del círculo he r menéutico de los t e xtos s e gún la f ilosofía de P aul Ricoeu r , tiene como f inalidad última la e xplicitación de la dob l e ta r e a que se le supone a toda filosofía hermenéutica que trate de superar de f init iv amente las presuposiciones psicológicas y e xistenciales en las que cae la vieja hermenéutica tradi- cional: por un lado, (...) se trata de buscar en el texto mismo , y no fuera de él, la " dinámica interna " de sentido que preside la est r uctura de toda obra de lenguaje; por el otro, el poder que tiene ésta de "p ro yectarse fue r a de sí misma y de engend r ar un mundo que será ve r dade r amente la "cosa" del text o ", y que lo distinguirá claramente de las relaciones orales. Esta do b le tarea hermenéutica, especi f icada en nuestro caso en el ámbito jurídic o , nos permitirá defender aquí una concepción textual del de r e c h o. (shrink)