In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost (...) from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of stratification is concerned only with variables, but we extend it to abstraction terms in order to simplify further development. We reflect on nested abstraction terms, proving that they get the expected types. These extensions enable us to check whether some complex formula (...) is stratified without rewriting it in the basic language. We also introduce natural numbers and a variant of the axiom of infinity, in order to precisely introduce type level ordered pairs, which are crucial in simplifying the definitions in the last part of the article. Using these notions we can easily define the sets of ordinal and cardinal numbers, which we show at the end of the article. The same approach can be readily applied to NF. (shrink)

New Foundations with Urelements (NFU) is a theory that extends Quine’s original theory (New Foundations) by adding “urelements” (atoms). It was discovered by Jensen in 1969, who proved that NFU is relatively consistent with Peano arithmetic and consequently with Zermelo–Fraenkel set theory (ZF). Jensen’s proof is rather hard to follow, so Boffa introduced a more straightforward method of constructing models for NFU from a model of ZF. However, Boffa’s presentation of his construction is extremely terse with many essential details omitted, (...) since he probably only wanted to emphasize the differences from Jensen’s construction. Our main goal is to elaborate on this construction in great detail, and also to prove that the said construction yields some results that are either not present in the contemporary literature, or are accepted as true at face value. Namely, besides proving that this construction gives a model for NFU, we will also use it to define models for NFU with the Axiom of Infinity, NFU with the Axiom of Choice, and NFU with both of those axioms. (shrink)

One of the important topics in the field of philosophy of religion is the relationship between the various forms of the Divine, in particular the wellknown distinction between "philosophical God" and personalist understandings of God (Blaise Pascal). Spinoza's ethics is oriented mainly to the argumentation of the first understanding and is its consistent implementation. Hegel's interpretation of Spinoza is reconstructed here in view of the question of pantheism and atheism in Spinoza's system and whether and to what extent Hegel rehabilitated (...) and "justified" Spinoza. Our thesis is that Hegel's position on too many God in Spinoza is incomplete and imprecise. (shrink)

Although Slovenia is a small, relatively new nation-state, it has been justifiably called “neocorporatist” and a “coordinated market economy,” making it unique among postcommunist societies, including ten new EU member states. The authors explore how it became so, and in the process shed light on the debate between varieties of capitalism and power resources theories about how coordinated or neocorporatist economies emerge. Although several of the elements predicted by the varieties of capitalism perspective were present in Slovenia, others were not. (...) The authors also find that a significant mobilization by organized labor at a crucial point played an essential role, and overall find that power resources theory has greater explanatory power in this case. However, in turning from explaining how the Slovenian model was formed to why it was so unique among postcommunist cases, they find that specific historical legacies were critical, particularly those from the distinct Yugoslav form of communism. (shrink)

Objektivistická filosofie Ayn Randové je i v současnosti myšlenkový směr, k němuž se někteří lidé aktivně hlásí a který zároveň představuje ideovou inspiraci některých směrů politických. Předkládaný text se zabývá kritickým zhodnocením konceptu ctnosti v kontextu objektivistické etiky, tzv. etiky egoismu. Nejprve se věnujeme tomu, jak sama Randová tyto předchozí etické koncepce hodnotí, a jejím vlastním základním východiskům – především principu sebezáchovy a racionálního lidského života. Další část textu se zabývá otázkou mezilidské interakce, ve které Randová odmítá jakékoli obětování a (...) altruismus. Centrální roli hraje v autorčině koncepci produktivní práce, k tvůrčí práci jako ke svému základnímu těžišti se vztahuje také její nauka o ctnostech. Specifický problém pak představuje koncepce žádosti a racionálního zájmu, která, jak se domníváme, vede k určitým kontraintuitivním důsledkům. Text je uzavřen srovnáním s koncepcí R. Nozicka a stručným závěrem. (shrink)

University study can be a life period of heightened psychological distress for many students. The development of new preventive and intervention programs to support well-being in university students is a fundamental challenge for mental health professionals. We designed an 8-week online mindfulness-based program combining a face-to-face approach, text, audio, video components, and support psychotherapy principles with a unique intensive reminder system using the Facebook Messenger and Slack applications in two separate runs. We assessed the program’s effect on mindful experiencing, perceived (...) stress, emotion regulation strategies, self-compassion, negative affect, and quality of life. The results of the presented pilot study confirmed that eMBP is a feasible and effective tool in university students’ mental health support. The students who completed the eMBP reported a reduction of perceived stress with a large effect size as well as a decrease of negative affect experience frequency and intensity, an increase of being mindful in their life, and a higher rate of self-compassion with a medium effect size. A small effect size was found in the frequency of using a cognitive reappraisal strategy. One new result is the observation of an eMBP effect on the decrease in attributed importance to the quality-of-life components replicated in two consecutive runs of the program. The study affirms that mindfulness-based interventions can be effectively delivered in an eHealth form to university students. (shrink)

World Rugby (WR) announced in 2020 that transwomen should not be competing at the elite level because of safety and fairness concerns. WR and Jon Pike, a philosopher of sport advising them, adopted a lexical approach to get a grip on the three values in play: safety, fairness, and inclusion. Previously, governing bodies tried to balance these competing values. Michael Burke recently published a paper taking aim at Pike’s lexical approach. This is a reply to Burke.

Over the last decades we have witnessed a proliferation of new human rights claims (e.g. the ‘human right’ to internet access) . But Milan Kundera (1991) reminds us that not all desires are human rights. Trans women athletes (and their supporters) often claim that there is a human right to sport and they derive a further ‘human right’ from this: the right to compete in the sex category with which they identify (i.e. the female category). The purpose of this article (...) is to critically assess these two claims: 1. every person has a human right to compete in sport; 2. trans women have a human right to compete in the female category in sport. (shrink)

One of the buzzwords of today is ‘inclusion’. But the idea that everyone should be ‘included’ is a mistake, thoughtlessly reproduced by many. This holds in the private sphere, as well as in the institutional settings of the public sphere. There is very little conceptual analysis of the term, although there is plenty of literature on ‘social inclusion’ and the political vision of including the marginalized. My aim is to show that there are constraints on inclusion – particularly in institutional (...) settings. Participation in social life is a kaleidoscope of inclusion and exclusion practices; this actually makes social life possible. Without inclusion/exclusion practices social life would be chaotic – if not impossible. Even philosophy journals have submission criteria which permit exclusion: e.g. the paper must not be under consideration by any other journal. Thus, exclusion is not per se a denial of someone’s dignity or a failure to recognize them as a fellow human being. The aim of this short essay is to raise awareness about inclusion and two of its constraints (eligibility and forfeiture), thereby starting a long overdue debate in the humanities. [open access]. (shrink)

Prior research has suggested that perceptual disfluency activates analytical processing and increases the solution rate of mathematical problems with appealing but incorrect answers (i.e., the Cogn...

What does it mean to subvert the rules? One way of doing so is to interfere with or curb the display of skill of your opponent by a) breaking the rules deliberately and openly or b) by acting contrary to the idea of sportspersonship. In both instances you violate the norm that displaying/exercising your game-related skills is central for a good contest. In the former you incorporate the penalty rules into the playing rules, i.e. you act as if breaking the (...) rules is part of playing the game. In the latter you adopt a (new) strategy which curbs the display of skill by your opponent, a strategy about which the rules are silent. The motivation for such acts is not to make the game better, but to ensure a win. The former suffers from a conceptual error, because it attempts to make transcendental elements of the game into part of play (e.g. strategic fouling). The latter strategy exploits the fact that the rules are ‘silent’ on many possible actions, because the gamewright cannot envision everything and/or because such actions are contrary to the spirit of the game (e.g. Bianca Walkden’s pushing strategy in Taekwondo; the underarm bowling incident from 1981). In this paper I will illustrate and analyse such rule subversion, combined with some reflections on game rules and the good contest. [There is also a Portuguese translation available on the Movimento website.] Resumo: O que significa subverter as regras no esporte? Uma forma de fazer isso é interferir ou restringir a exibição das habilidades do adversário, o que pode ocorrer de duas maneiras: a) violando deliberada e abertamente as regras, ou b) agindo de forma contrária ao espírito esportivo. Em ambos os casos, ocorre uma transgressão da norma que valoriza a demonstração/exercício de habilidades como elemento essencial para uma boa competição. No primeiro caso, você integra as penalidades às regras do jogo, como se infringir as regras fosse parte da própria dinâmica do jogo. No segundo caso, adota-se uma (nova) estratégia que limita a exibição das habilidades do adversário sobre a qual as regras nada estabelecem. A motivação por trás desses atos não é o aprimoramento do jogo, mas garantir a vitória. Neste artigo, ilustro e analiso essa subversão das regras, trazendo reflexões sobre o papel das regras no jogo e uma boa competição. (shrink)

The paper deals with cognitive interview, a method for pre-testing survey questions that is used in pilot testing to develop new measures and/or adapt ones in foreign languages. The aim is to explore the usefulness of the method by looking at two questionnaires measuring anti-Roma prejudice. The first, the Stereotype Content Model (SCM), contains questions that are dominantly used to test two dimensions of social perceptions of various groups: warmth and competence. The second, Interventions for Reducing Prejudice against Stigmatized Minorities (...) (INTERMIN) consists of the items most frequently used in contact research to measure attitudes, social distance, anxiety, trust and behavioural intentions towards outgroups. Two rounds of cognitive interviews were held on both questionnaires to verbally evaluate participants’ understanding and/or interpretation of the draft questions. The first round was attended by university students, while the second round (with improved versions of the questionnaires) was done with high school students, as they are the target group for planned interventions based on the contact paradigm. The paper explains the problems/difficulties the participants had answering some of the questions and our attempts at improving the questionnaires. The problems can be grouped around six issues: The first two deal with the strategies participants used to answer our questions – whom exactly did they have in mind when answering the questionnaires and whose viewpoint did they represent in their answers. The next four problems are around nuances in the formulations of our questions and generally have to do with how the participants interpreted our questions – they concern assumptions that distinct items were logically interconnected, the period of time and locality referred to in our questions, translation and transferability of meanings from one language to another and double negation. (shrink)

The Significance of Business Localization Factors in the Czech Republic This article is concerned with the significance of individual localization factors during the decision-making of economic subjects regarding the location of their businesses. In the first phase of the research, the investigated localization factors were divided into four groups into regional, local, business, labor and infrastructure. The selected localization factors were investigated with the help of an empirical examination of thirteen selected economic branches in the secondary and tertiary sectors. In (...) subsequent stages, a statistical analysis of the acquired data was performed; the selected economic sections were compared among themselves; and with the help of a diffusion analysis, the dependence of the evaluation on the size of the enterprise and on the economic activities of the selected respondents was investigated. The main goal of the research was to identify the current localization factors associated with supplier and customer markets and to determine their significance. In the context of the research, the hypothesis was verified that despite the existence of various approaches to determining localization factors, in part there are localization factors that act universally in all economic branches and further factors that specifically manifest themselves only in some branches. In the context of each factor, investigated was whether the evaluation of a factor depends on the economic branch and whether it is possible to consider an investigated factor as universal. It was also determined whether or not the evaluation of a factor is directly proportionate to the size of the business. From the research results, it follows that during localization, businesses place the greatest significance on the availability of information and communications technologies, geographic proximity to customers, availability of qualified human resources and on transportation costs. Localization decision-making is affected by many factors and depends on a large number of circumstances. (shrink)

In life there can be good reasons to break the rules. Some sports philosophers have suggested that this also holds for games. In this essay I will compare and contrast reasons for rule-breaking in life and in sports. Some of my focus will be on recent attempts to defend strategic fouling (by Eylon & Horowitz, Russell, and Flynn). Supporters of strategic fouling try to provide a philosophical underpinning for the practice, but they ignore the genealogy of such rule-violations. I will (...) also discuss how some legal theorists view rule-breaking and contrast this with sport. Lastly, I will introduce the idea of ‘transcendental rules’ in games. They are the conditions for the possibility of playing a game. Following Aurel Kolnai, I will argue that strategic fouling violates a transcendental rule – it is not just a moral error, it is also a conceptual error. (shrink)

The problem of logical omniscience breaks down to the problems of the closure of knowledge under implication and of the distribution of knowledge over implication. In late medieval scholasticism these two related issues were engaged in various genres, in particular in general analysis of validity, games of obligationes, solution to self-referential antinomies and semantics of terms. The present study analyses the corpus of fourteenth-century texts with some overreaches to the subsequent two centuries, attempting to cover representatives of both the “British” (...) and the “Continental” tradition. With some degree of simplification, this results in a range of four basic positions: 1. knowledge is closed under “analytic entailment” (Buridan), 2. knowledge distributes over implication (Heytesbury), 3. knowledge distributes over implication provided that its consequent’s truth is being taken into consideration (Peter of Mantua), 4. knowledge does not distribute overimplication (Wyclif). (shrink)

This book is a revised translation of two works by Miroslav Hroch, which together form a pioneering comparative analysis of the various struggles for national identity in nineteenth-century Europe. It is concerned with the decisive phase of 'national renaissance', when small groups of committed patriots successfully generated mass support. When and why was their propaganda effective? The author attempts to answer this fundamental question by locating the patriots within the contemporary social structure, and uses data derived from many different (...) nationalisms. The work is divided into three sections; a theoretical examination of the origins of nationalism and nation-hood, a quantitative survey of the social and territorial structure of the patriots of eight representative national movements, and a comparative analysis of the social and professional groups that formed the milieu of patriotism. Numerous statistical tables and maps illuminate the text, which forms one of the most significant studies of the nationalist phenomenon to be published in recent years. (shrink)

The author points out that the moral condemnation of “nationalism” that is common in contemporary Anglo-Saxon literature does not hold up once we subject it to historical and, by extension, sociolinguistic criticism. This term, originally nebulous and confusing, has become meaningless as a result of forgetting that it is the designation of the relationship of an individual (or social group) to the entity of a nation, an entity that is the result of the empirically well grasped historical process of nation (...) formation under conditions that were specifically European. This circumstance is especially important in the case of the category “small nation”, by which the author means those nations whose formation took place in the form of a national movement – a purposeful effort to acquire all relevant attributes of a nation for one’s own ethnic community. This movement, in its scholarly and agitational phase, was based on a selfless effort to develop and ennoble the nation as an abstract community of cultural values and should be designated by the term “patriotism” and possibly its translations into (some) central European languages, which were and are used with a morally positive connotation. The pejorative label “nationalism” is justified only where the national movement has progressed to its mass phase, when a substantial part, if not most, of the members of the ethnic group have identified with the nation. Since then, it has been necessary to talk about the nation in a dual position. Not only in the position of an abstract community of values but also in the position of “sociological fact”, where it also acquired the morally ambivalent nature of the struggle for power. This ambivalence – the tension between altruism and egoism – is still preserved today even where the national interest is discussed. (shrink)

Continuing the tradition of Oxford Calculatorial physics, the late fourteenth-century British Carmelite Richard Lavenham authored an amplification of the popular short textbook commonly referred to as Termini naturales. A copy of this amplification, preserved in a late fourteenth-century manuscript (Venezia, Biblioteca Nazionale Marciana, ms Lat. Z. 300 [= 1872]), is followed by a short series of notes and comments on some of the principles introduced in Lavenham’s treatise (drawn from the first four books of Aristotle’s Physics). The present article offers (...) an edition of the text, and analyses its content and relationship with fourteenth-century physics, especially with the physical doctrines of Richard Lavenham. (shrink)

The paper endeavours to identify three fundamental approaches to the depiction of the urban space. The first is that of the chronicling traveller, for whom thespace is always identified with the aid of events and operations which transmute into performative markings. This approach was replaced at the beginning of the modern period by representation in the form of the map. The third approach is Barthes' perceptions of the city as the Argo and of the urban centre as the place of (...) encounter. Here the urban space is determined through the active participant in play and by his body. (shrink)

The paper deals with the concept of text, showing its transformations in semiotic studies. First the text is excluded from semiotics in favor of the system and its paradigmatic perspective, as shown in the works of L. Hjemslev. Then the meaning of the text is reconsidered as in later works of Barthes and mainly in the text theory of J. Kristeva. Both of them mark the transition to the further, poststructuralist stage of semiotics. This transformation made the text close to (...) the image of a network. The paper goes even further: Following B. Latour it tries to justify the acceptation of hybrids and impurities. Moreover, it requires not only a reconsideration of the philosophical method, but also an acceptation together with impurities the effects of balkanization. (shrink)

Recently, David Boonin has put forward several objections to Carlos S. Nino's 'Consensual Theory of Punishment'. In this paper I will defend Nino against the 'explicit denial objection'. I will discuss whether Boonin's interpretation of Nino as a tacit consent theorist is right. I will argue that the offender's consent is neither tacit nor express, but a special category of implicit consent. Further, for Nino the legal-normative consequences of an act (of crime) are 'irrevocable', i.e. one cannot (expressly and successfully) (...) deny liability to them. I will suggest an explanation for Nino's irrevocability claim. (shrink)

In 2004 in Prague, I met Slovak philosopher Miroslav Marcelli, who had attended Foucault's lectures in Paris in 80s. We talked about the legacy of Foucault and contemporary philosophy. Mr. Marcelli taught me philosophy at Comenius University in 1995.. I never visited his lectures, I only passed the exam.. The most interesting point was his answer to my 'provocations' replicating the common prejudice about impracticability of the philosophy. He answered "Do you think that e.g. Descartes didn't know about it?" (...) In fact, people tend to think that philosophers or mathematicians, are "asocial" without "social" intelligence, while their occasional isolation (e.g. Nietzsche) is a product of social exclusion, rather than their choice. In 2013 I applied Foucault's concept of Discontinuity to short 10 minutes movie: Discontinuity, projected in my exhibition "From Animation" in Holland Park, London. The film has 3 parts, ends as it starts to show the significant historical events in 4 windows, when the same idea appears to disappear to re-appear.. Foucault's philosophy doesn't seem to me so unique now, e.g. the idea that many historical changes or progress itself is often illusionary - masking the power structure, had already been explored 515 BC, in depth by Parmenides who concluded: the change is impossible. (shrink)

A guide to defining and then creating a flourishing life, based on the popular class at Yale What makes a good life? The question is inherent to the human condition, asked by people across generations, professions, and social classes, and addressed by all schools of philosophy and religions. This search for meaning, as Yale professors Miroslav Volf, Matthew Croasmun, and Ryan McAnnally-Linz argue, is at the crux of a crisis that is facing Western culture, a crisis that, they propose, (...) can be ameliorated by searching, in one's own life, for the underlying truth. In A Life Worth Living, named after its authors' highly sought-after undergraduate course, Volf, Croasmun, and McAnnally-Linz chart out this question, providing readers with jumping-off points, road maps, and habits of reflection for figuring out where their lives hold meaning and where things need to change. Drawing from the major world religions and from impressively truthful and courageous secular figures, A Life Worth Living is a guide to life's most pressing question, the one asked of all of us: How are we to live? (shrink)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

Background: -/- Having colonised the social role ‘woman’, and entering female-only spaces, there is one bastion of womanhood left which has always been closed off to men who claim to be women: the inner life, the phenomenology of inhabiting a female sexed body. This bastion has come under attack; trans women claim that they ‘feel like a woman’ or that they are ‘a woman inside’. The aim of this essay is to assess such claims. -/- The appropriation of ‘womanhood’ by (...) males leads to the sidelining of women. Trans women are lauded as exemplars of womanhood. They are crowned ‘woman of the year’, become university women’s officers, represent women in political parties, or are being nominated for a women’s prize for fiction. The message is that trans women make for better ‘women’. The philosophical underpinnings for this view can be found in the work of Talia Mae Bettcher. -/- Road Map: -/- Part I: Recently, trans women have been claiming to have the phenomenal experience of women (I am a woman inside; I feel like a woman). Relying on Thomas Nagel[1] and Frank Jackson,[2] I will argue that they are in error. The inner life of trans women is fundamentally different from that of women, because the former cannot take up the female perspective. Being a woman means, among other things, to have a female body and, consequently, to experience yourself and the world through a female body. This is the core of being a woman, and trans women can never satisfy this condition, because they are – and remain – male-bodied (regardless of any bodily modifications). Thus, such claims are simply wrong. Trans women are not physiologically equipped to share in the female phenomenal experience. -/- Without a female body there is no female experience; the latter relies on the presence of the former.[3] This means that trans women are not women because a) they lack the respective body, and b) they lack the respective phenomenal experience. Their imitations of the female (experience) don’t make them into women. -/- Part II: Trans theory offers a way out, by sidelining the body. Talia Mae Bettcher’s account of ‘first-person authority’ (henceforth, FPA) about gender as well as the ‘liberatory project’ constitutes the strongest defence available to take the avowals of trans people (about sex, gender and their phenomenal experience) seriously. Bettcher’s theory has two advantages. It doesn’t matter whether you have a female body or not, and it doesn’t matter whether you are mistaken about your avowals or not (i.e. the epistemic question). The avowals of transgender people have ‘ethical force’, rather than epistemic force. This would mean that we need to affirm trans women in their belief that ‘trans women are women’, and it would follow that the ethical force would underwrite their claims of feeling like a woman inside. I will subject Bettcher’s cogitations to philosophical scrutiny; this is something that, surprisingly, is missing in the literature. Most subsequent writers adopt Bettcher’s FPA uncritically. I will conclude that Bettcher’s project fails, and that trans claims about having the phenomenal experience of women cannot find support from Bettcher’s FPA. -/- [1] Nagel, T. 1974. What is it like to be a bat?, The Philosophical Review, Vol. 83:4, pp. 435–450. -/- [2] Jackson, F. 1986. What Mary didn’t know, The Journal of Philosophy, Vol. 83:5, pp. 291–295. -/- [3] A stillborn girl is female, although she will never have female experiences. Her body is the condition of the possibility for having female experiences, i.e. for ‘being’ a woman. (shrink)

Both of Gettier's examples are not representative of situations in which we would claim knowledge – we do not use language in this way. Therefore, Gettier has not shown that justified true belief is insufficient for knowledge. I am not denying that there is a problem about the definition of knowledge. Several decades earlier, Russell dealt with this problem, using a stopped clock to illustrate it.

The debate about the Strategic Foul has been rumbling on for several decades and it has predominantly been fought on moral grounds. The defenders claim that the rules of a game must be supplemented by the ‘ethos’ of the game, by its conventions or informal rules. Critics of the Strategic Foul argue that to break the rules deliberately, in order to gain an advantage, is morally wrong, spoils the game, or is a form of cheating. Rather than entering the moral (...) maze I will argue that the Strategic Foul rests on a conceptual mistake. I will contrast the Strategic Foul with the idea of Efficient Breach in the economic approach to law in order to bring out some of the salient features. While doing so I will attempt some cross-fertilisation between jurisprudential insights and philosophical reflection on game rules. Finally, I will re-cast Searle’s distinction between constitutive and regulative rules in order to bring out the conceptual mistake more clearly. (shrink)

Given Bernard Suits’ stature in the philosophy of sport, his take on strategic fouling, surprisingly, hasn’t been given much attention in the literature. Rather than relying on a purely empirical or ‘ethos’ approach to justify the Strategic Foul he provides a mixed justification. Suits’ account combines a priori and a posteriori elements. He introduces a third kind of rule, which appears to be unlike rules of skill or constitutive rules, into his conceptual scheme. Suits claims that it is sometimes tactically (...) correct to break such a rule in order to gain an advantage. I will argue that the a priori element in his justification of strategic fouling is unconvincing because there is nothing special about ‘third type’ rule-violations, which incur a ‘fixed penalty’. Furthermore, the a posteriori element ultimately reduces to a rule of skill, and it is doubtful whether it has sufficient normative force to warrant breaking a rule. But, most importantly, the a posteriori element degrades the power of the a priori element. (shrink)

Partant du constat que l’évolution biologique, qui privilégie les naissances et les disparitions rapides, et l’évolution culturelle, qui exige un temps de vie adulte long, sont en conflit d’intérêts, l’auteur montre les moyens de lutter contre le vieillissement. Toutefois en rappelant que la survie, même prolongée, n’implique pas la valeur de la vie, il pose la question de la finalité et des risques du processus.

Johann Eck (1486–1543) has been introduced to modern scholarship as a prominent figure of the pre-Tridentine Counter-Reformation. As part of the curricular transformations of the University of Ingolstadt, he wrote commentaries on logical and scientific works by Aristotle and Peter of Spain. Utilising a variety of sources, the two volumes dedicated to physics and natural philosophy published in 1518 and 1519 were self-contained textbooks including annotated translations of the texts and quaestio-commentaries. These developed the doctrines of the Oxford Calculators mediated (...) through Continental sources, reproducing their conceptual and mathematical apparatus, including the famous middle degree theorem and Bradwardine’s law. (shrink)

Grammatische Ausdrucksmittel der Hierarchisierung der semantischen Struktur des Satzes.

In the first half of the fifteenth century, the Italian logician, natural philosopher, and doctor of medicine Cajetan of Thiene wrote a commentary on William Heytesbury’s Regulae solvendi sophismata, which later became a part of the printed edition of Heytesbury’s treatises. Several late fifteenth century reprints sustained its circulation and further influence. Following Heytesbury, Cajetan listed four alternative treatments of paradoxes, where the first three were formulated in general logico-semantic terms and the last one in terms of obligationes. The present (...) analysis reconstructs the first three positions in terms of the theories of logical operators endorsed as part of the solution to paradoxes. This reconstruction uncovers different underlying views of operators, namely context-sensitive, value-functional, and supervaluationist.Priore dimidia parte saeculi 15 Caietanus de Thiena, logicus, physicus et medicus, commentarium super G. Hentisberi Regulis solvendi sophismata conscripsit, quod posterius una cum Hentisberi tractatibus typis impressum est. Cuius commentarii notitiam auctoritatemque continuam iteratae nonnullae eius editiones in fi ne 15 saeculi factae sustinebant. Caietanus quattuor vias tractandi insolubilia distinxit, quarum tres primae conceptibus generalibus logico-semanticis, quarta doctrina de obligationibus innixae sunt. In analysi hic proposita auctor primas tres vias reconstruit, doctrinas varias de logicis coniunctionibus vel notis reserans, super quibus illae viae solvendi paradoxa fundantur. Quarum prima vim notarum a contextu sermonis dependentem facit. Altera notas pure “compositionaliter” tractat. Tertia iuxta modum doctrinae de “supervaluatione” omnes formales tautologias servat, aliis considerationibus neglectis. (shrink)

Insolubilia novissima is a short anonymous fifteenth-century treatise on semantic paradoxes printed in the Cambridge compendium Libellus sophistarum. Along with a working edition of this treatise, basic information about its content and historical and systematic context is offered. Insolubilia novissima endorses the Swyneshedian contextualist solution to paradoxes based on distinguishing between compositional and contextual meaning of sentences.

Fourteenth-century logic gave rise, among others, to the genre De scire et dubitare, which offered a unified framework for discussing different forms of epistemic sophisms by utilising the underlying systems of epistemic logic. One of the problems introduced in this context already by the founding father of this genre, William Heytesbury, was the so-called axiom of positive introspection, i.e., the principle that an agent who knows that something is the case, knows that she knows that it is the case. Owing (...) to Heytesbury’s enormous popularity in the subsequent centuries, discussion of this problem became relatively widespread. This debate was addressed already in Boh’s seminal Epistemic Logic in the Later Middle Ages, which, despite its limitations acknowledged by its author, is a standard source. The present study elaborates on Boh by extending the corpus of his works and drawing new connections based on that. The core of the survey consists of an analysis of the positions of William Heytesbury and John Wyclif, their Italian reception by Peter of Mantua, and the “continental” reception of Heytesbury by John of Holland. The main goals of this study are to formalise the key arguments, which makes it possible to address the underlying systems of epistemic logic and their respective “strength”, and to articulate the conceptual background of those arguments and systems. The gist of the debate is, on one of the sides, an attempt to prove that it is impossible to doubt whether one knows that something is the case by employing whether the principles of positive introspection and of distribution of knowledge over implication, or the principles of positive and negative introspection combined. (shrink)

The Bradwardine-Read multiple-meanings solution to paradoxes invented in 1320s and formally reconstructed and developed in 2000s is based on the so-called “closure principle for signification”, in particular, for sentential meaning. According to this principle, sentences are assumed to signify whatever they imply. As a consequence, paradoxical sentences are proved to signify their own truth and thereby are reduced to simply false self-contradictions. One of the problems of this solution to paradoxes is that the closure principle over-generates if sentences are closed (...) under unrestricted entailment. The present proposal will introduce a restriction based on what will be called the “dynamic closure principle”: sentential meaning will be regarded as closed under the inference steps performed in the (actual or optimal) process of evaluating the respective sentence’s truth-value. (shrink)

Since the late thirteenth century, the counterfactual Filioque debate, i.e., the question whether the Son and the Holy Spirit were distinct persons in the Trinity if the Holy Spirit only proceeded from the Father and not also from the Son, was an interesting context for developing the methodology of extreme thought experiments and the logic of conditionals with impossible antecedents and paradoxes of implication. In the mid-1620s, Puente Hurtado de Mendoza introduced a strongly critical approach towards the scientific merits of (...) positing certain types of impossible scenarios while joining this traditional debate in his Tractatus de Trinitate. He argued that the counterfactual Filioque problem is a needless detour and either shifts to unreliable discussions of properties of fictional entities or is outright trivial for logical reasons. The present article offers a modern edition of the ninth disputation of Hurtado’s Tractatus de Trinitate and analyses logical and methodological aspects of Hurtado’s position in the counterfactual Filioque debate. (shrink)