Spatial localization, often demarcated by food miles, has emerged as the dominant theme in movements for more socially just and environmentally benign alternative food systems, especially in industrialized countries such as the United States. We analyze how an emphasis on spatial localization, combined with the difficulty of defining and measuring adequate indicators for alternative food systems, can challenge efforts by food system researchers, environmental writers, the engaged public, and advocacy groups wanting to contribute to alternative food systems, and facilitates exploitation (...) by the mainstream players using “localwash” to maintain the status quo. New indicators are urgently needed because research shows that spatial localization in general and minimized food miles in particular are not adequate or even required for most of the goals of alternative food systems. Creating indicators to operationalize goals for alternative, local food systems requires asking the right questions to make sure indicators are not misleading us: What are the goals of alternative food systems? What actions and policies will most effectively achieve those goals? What is the potential of reducing food miles as an action and a policy for achieving goals? What are the best indicators for measuring progress toward goals? We discuss how these questions can be answered for a wide range of alternative food system goals via four categories according to the role of food miles reduction as an action and policy in promoting them: necessary and sufficient, necessary but not sufficient, potentially important, and potentially supportive. (shrink)

Examining a variety of bio-objects in contexts beyond the laboratory, Bio-Objects: Life in the 21st Century explores new ways of thinking about how novel bio-objects enter contemporary life, analysing the manner in which the boundaries between human and animal, organic and non-organic, and being 'alive' and the suspension of living, are questioned, destabilised and in some cases re-established.

Education professionals, such as teachers, policymakers, and school leaders, come to ethical deliberation with diverse views based not only on their different role obligations but also on different epistemic and moral norms. In this paper Daniella Forster argues that mental normativity — the ethics of belief — has professional implications especially significant in education, given the narrowing of teacher education and the polarization of public discourse about educational issues. Using case studies may be useful method for increasing interpersonal reflective (...) equilibrium about ethical issues in education; moreover, Forster suggests here that the moral evaluation of belief practices may also be amendable. Readers are invited to consider how generating insights into the moral evaluation of diverse beliefs and belief practices in education provides additional conceptual tools for elevating public dialogue through normative case-based dilemmas. (shrink)

From the 1981 “Sexuality and Solitude” to the 1982 “Le combat de la chasteté” to the 1984 History of Sexuality, Volume 2, Michel Foucault’s published works have long recognized the influence of the historian of late antiquity, Peter Brown. With the 2018 publication of Foucault’s draft of Les Aveux de la chair (Confessions of the Flesh) bearing no mention of Brown, the depth of this influence requires further elaboration. Despite Brown not appearing in the “Index of Modern Authors,” Confessions of (...) the Flesh reflects Foucault’s debt to Brown for his readings of Augustine of Hippo and his conceptualizations of sexuality and subjectivity. Analyzing archival evidence alongside biographical narratives helps us better understand Brown’s vital influence as Foucault was shifting his History of Sexuality project, his archival practices, and his genealogy of subjectivity. Appreciating the textual and conceptual engagement between Foucault and Brown thus illuminates not only Confessions of the Flesh as Volume 4 in the History of Sexuality series but also the conceptual and methodological developments of both scholars in their disciplinary intersections. (shrink)

This paper examines moral dilemmas faced by family caregivers of older adults who employ live-in migrant care workers. Being both a family caregiver as well as an employer of a live-in migrant care worker often puts family members at a crossroad, where moral decisions must be made. Lacking a formal role, family members do not have a professional code of ethics or other clear rules that can guide their actions, and their choices are rooted in cultural, community, familial, and personal (...) values. This paper discusses moral dilemmas that result from family caregivers’ dual commitment, to the wellbeing of their older sick relative who is the recipient of care, and to the wellbeing of the live-in care worker whom they employ. The paper uses relational ethics as a theoretical framework to discuss three cases that involve complex moral decision making in real life. (shrink)

We discuss O&C's probabilistic approach from a probability logical point of view. Specifically, we comment on subjective probability, the indispensability of logic, the Ramsey test, the consequence relation, human nonmonotonic reasoning, intervals, generalized quantifiers, and rational analysis.

‘Bad’ epistemic behaviour is unfortunately commonplace. Take, for example, those who believe in conspiracy theories, trust untrustworthy news sites or refuse to take seriously the opinion of their epistemic peers. Sometimes this kind of behaviour is sporadic or “out of character”; however, more concerning are those cases that display deeply embedded character traits, attitudes and thinking styles (Cassam 2016). When this is the case, these character traits, attitudes and thinking styles are identified by vice epistemologists as epistemic or intellectual vices. (...) Considering that these vices often block or subvert the acquisition of epistemic goods such as knowledge or truth, it is important for epistemologists to understand how these kinds of traits can be most effectively mitigated. One currently unexplored way in which we might go about doing so is by employing epistemically paternalistic strategies, particularly the strategy of “epistemic nudging” (here on EN)—the practice of altering an agent’s decision-making capacities toward a desired outcome (Thaler and Sunstein 2009). -/- By bringing together two underexplored areas of epistemology yet to be discussed in connection to one another, this chapter will examine whether epistemic nudging can be employed as a successful practice to combat our epistemic vices. Despite prima facie appeal, I will argue that epistemic nudging at the very best amounts to a superficial and short-lived way of addressing epistemic vices. Additionally, I argue that the practice of EN can often lead to the creation of further vices, specifically the vice of epistemic laziness, as identified by Ian Kidd (2017). (shrink)

Object-Oriented Ontology (OOO) is a contemporary form of realism concerned with the investigation of “objects” broadly construed. It may be characterised in terms of a metaphysical pluralism to the extent that it recognises infinitely many different kinds of emergent entities, and this fact in turn leads to a number of questions concerning the nature of objects and emergence in OOO: what is the precise meaning of an emergent entity in OOO? How has emergence been denied throughout the history of Western (...) thought? Is there a specific object-oriented account of emergence? What is the causal mechanism which provides the conditions of possibility for the generation of emergent entities? In this article, I aim to answer all these questions by constructing the first extensive account of real emergence in the context of Object-Oriented Ontology, and I also seek to tie this analysis to the notion of “vicarious” or indirect causation. (shrink)

This paper explores Victoria Welby's fundamental assumption of meaning process (“semiosis” sensu Peirce) as translation, and some implications for the development of a general model of intersemiotic translation.

In her comprehensive and ambitious book, The Mismeasure of the Self: A Study in Vice Epistemology, Alessandra Tanesini offers an insightful analysis of the intellectual vices of self-evaluation and...

We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.

96 Normal 0 false false false PT-BR JA X-NONE : Recorre-se aqui à história, aos construtos teóricos e às políticas curriculares com vistas a apreender como o que é historicizado, almejado e prescrito impacta a materialização desse conjunto na elaboração da dimensão do planejamento de ensino do Componente Curricular Língua Estrangeira-Inglês do Ensino Médio Integrado ao Técnico. Para tanto, o presente trabalho caracteriza-se como exploratório e descritivo e faz uso das pesquisas bibliográfica e documental. No total, são analisados, qualitativa e (...) quantitavamente, vinte e dois planos de cursos e quatorze ementários, os quais foram catalogados nos sítios eletrônicos de IFs. Os resultados da análise evidenciam que o EMIT 1) singulariza-se pelos fundamentos oriundos da concepção de educação onilateral e politécnica e de escola unitária, pelos fundamentos de currículo integrado e mostra-se inclinada a superar a dualidade histórica entre formação geral e formação profissional; 2) tem seus fundamentos hibridizados no âmbito das recentes políticas curriculares de modo que o horizonte da politecnia acaba ficando a cargo das próprias instituições que o adotarem e 3) e o CCLEI podem sincronizar-se caso os objetivos linguísticos e instrumentais se conjuguem com os objetivos educacionais o que pode ser feito à luz abordagem de letramento crítico integrada às outras abordagens de ensino hegemônicas no Brasil. Palavras-chave: Ensino Médio. Educação profissional técnica. Educação politécnica. Língua estrangeira. (shrink)

This article utilises the concept of ‘race trouble’ as an overarching framework for examining an interview between Ms Vanessa Nakate and a South African news broadcaster. The interview describes an incident involving Ms Nakate’s attendance at a global climate change conference and her exclusion from a media report about a press briefing that she held along with four other youth activists at the conference. The analysis focuses on the collaborative and interactional production of Ms Nakate’s claim that her exclusion was (...) racially motivated and the discursive mechanisms by which race is mobilised as a common-sense explanation for the incident that occurred. My analysis demonstrates the sanctionability of producing an accusation of racism and identifies the rhetorical functions of stake and facticity in its production, and concludes with a discussion of the relevance of these findings in the context of studies on race and racism in interaction. (shrink)

There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability theory provide (...) appropriate rationality norms for uncertain conditionals. I advocate coherence based probability logic as an appropriate framework for investigating uncertain conditionals. Detailed proofs of the probabilistic non-informativeness of a paradox of the material conditional illustrate the approach from a formal point of view. I survey selected data on human reasoning about uncertain conditionals which additionally support the plausibility of the approach from an empirical point of view. (shrink)

Two experiments (N1 = 141, N2 = 40) investigate two versions of Aristotle’s Thesis for the first time. Aristotle’s Thesis is a negated conditional, which consists of one propositional variable with a negation either in the antecedent (version 1) or in the consequent (version 2). This task allows us to infer if people interpret indicative conditionals as material conditionals or as conditional events. In the first experiment I investigate between-participants the two versions of Aristotle’s Thesis crossed with abstract versus concrete (...) task material. The modal response for all four groups is consistent with the conditional event and inconsistentwith the material conditional interpretation. This observation is replicated in the second experiment. Moreover, the second experiment rules out scope ambiguities of the negation of conditionals. Both experiments provide new evidence against thematerial conditional interpretation of conditionals and support the conditional event interpretation. Finally, I discuss implications formodeling indicative conditionals and the relevance of this work for experimental philosophy. (shrink)

In Graham Harman’s Object-Oriented Ontology (OOO), an apparent tension arises between his pursuit of a self-proclaimed “new theory of everything,” or general ontology, and his assertion that any ontology must be able to account for distinctions among various regions of being. This paper delves into this tension between universality and specificity, particularly concerning the question of animal ontology, and examines the potential for constructing an object-oriented animal ontology. By juxtaposing Harman’s perspectives with those of Matthew Calarco and other scholars, I (...) aim to demonstrate the feasibility of developing an animal ontology using the framework of OOO. (shrink)

Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, have investigated this claim empirically. We report four experiments which investigate three rules of SYSTEMP, namely the AND, the LEFT LOGICAL EQUIVALENCE, and the OR rule. The actual inferences of the subjects are compared with the coherent normative upper and lower probability bounds derived from a non-infinitesimal probability semantics of SYSTEM P. We found a relatively good agreement of human reasoning and principles of nonmonotonic (...) reasoning. Contrary to the results reported in the ‘heuristics and biases’ tradition, the subjects committed relatively few upper bound violations (conjunction fallacies). (shrink)

This study investigates the impact of Securities and Exchange Commission enforcement actions on individuals holding Certified Public Accountant accreditation. While prior research has investigated both the characteristics of companies that have been investigated by the SEC and litigation against audit firms, it has not addressed the ways in which SEC investigations impact CPAs. Using a sample of 262 CPAs, we find that the most common CPA breach was associated with overstating revenues/income or earnings. The study finds serious consequences for CPAs (...) in terms of employment restrictions and SEC actions, incorporating suspension, which is often permanent. We find that the primary factors relating to the severity of actions by the SEC is whether the CPA intentionally breached the professional code of conduct, the age of the CPA, whether the CPA is still a member of the AICPA with CPA status and whether the CPA was operating as an external auditor or in a corporate accounting role. Our findings have implications for accounting practitioners, the AICPA and boards of directors. (shrink)

Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of such systems even possesses pairs of a formula and its negation as theorems, without becoming trivial. How should these provable contradictions be understood? The present paper aims to shed light on aspects of this phenomenon by taking as samples the constructive connexive logic C, which is obtained by a simple modification of a system of constructible falsity, namely (...) N4, as well as its non-constructive extension C3. For these systems, various observations concerning provable contradictions are made, using mainly a proof-theoretic approach. The topics covered in this paper include: how new contradictions are found from parts of provable contradictions; how to characterise provable contradictions in C3 that are constructive; how contradictions can be seen from the relative viewpoint of strong implication; and as an appendix an attempt at generating provable contradictions in C3. (shrink)

‘Bad’ epistemic behavior is unfortunately commonplace. Take, for example, those who believe in conspiracy theories, trust untrustworthy news sites or refuse to take seriously the opinion of their epistemic peers. Sometimes this kind of behavior is sporadic or “out of character”; however, more concerning are those cases that display deeply embedded character traits, attitudes and thinking styles. When this is the case, these character traits, attitudes and thinking styles are identified by vice epistemologists as epistemic or intellectual vices. Considering that (...) these vices often block or subvert the acquisition of epistemic goods such as knowledge or truth, it is important for epistemologists to understand how these kinds of traits can be most effectively mitigated. One currently unexplored way in which we might go about doing so is by employing epistemically paternalistic strategies, particularly the strategy of “epistemic nudging” —the practice of altering an agent’s decision-making capacities toward a desired outcome... (shrink)

The article considers the question of the study of satire in philosophy. The study found that satire is an underdeveloped topic in the field of Ukrainian philosophy and the philosophy of Englishspeaking countries. For instance, the works of the last five to six years by such philosophers as D. Ab rahams and D. Declercq, who echoed the opinion of C. W. Mendell concerning the close connection of satire with philosophy. In the work “Satire as Popular Philosophy” created at the be (...) ginning of the 20th century Mendell proved that ancient satire was a type of philosophy. Ne vertheless, the issue of the first place of appearance of the genre of satire in the period of Antiquity, whether in ancient Roman or ancient Greek art, needs to be clarified. Therefore, the purpose of the article is to solve a number of related questions, namely: where previously appeared satire as a genre — in Ancient Rome or in Ancient Greece, why it got such a name, and what metamorphoses took place with it over time Antiquities. One of the primary sources about the history of satire was Aristotle’s work “Poetics”, which describes iambic (humorous) and satirical poetry. According to Aristotle, the nature of satiric poetry undergo metamorphosis from the “dance” tetra meter to the iambic meter characteristic of mocking poetry. In this regard, the main part of the work is devoted to proving that satiric poetry got its name from mythological goat-like satyrs and if the performers of iambic (derisive lyrics) could be ordinary people, then the performers of satirical poems — only mythological goat-like satyrs. As a result of the research, it was found that initially the genre called satire had a poetic form and was borrowed by ancient Roman poets from ancient Greek artists. The adopted type of satire received the name “satura”, in Latin meaning “miscellany or medley” of prose and verse form of presentation of the creation. (shrink)

A recent report by the Swedish National Council for Crime Prevention in cooperation with the Swedish Security Service shows that the Internet has been extensively used to spread propaganda by proponents of violent political extremism, characterized by a worldview painted in black and white, an anti-democratic viewpoint, and intolerance towards persons with opposing ideas. We provide five arguments suggesting that philosophical dialogue with young persons would be beneficial to their acquisition of insights, attitudes and thinking tools for encountering such propaganda. (...) The arguments are based on stated requirements for problem solutions given by experts in violent political extremism, recent research about the effects of philosophical dialogue in young persons’ thinking skills, and parts of the basic theoretical framework of Philosophy for Children. Philosophical dialogues seem a promising way for young people to achieve a stronger democratic awareness and a more tenacious resistance against extremist views online. (shrink)

Speculative Realism (SR) has often been characterised as a heterogeneous group of thinkers, united almost exclusively in their commitment to the critique of what Quentin Meillassoux terms ‘correlationism’ or what Graham Harman calls the ‘philosophy of (human) access.’ The terms ‘correlationism’ and ‘philosophy of access’ are in turn often treated – at times even by Meillassoux and Harman themselves – as synonymous. In this paper, I seek to analyse these terms to evaluate their similarities, but also possible differences. I shall (...) argue that the difference between the two terms ought to be retained and emphasised, since it hints at important differences between the positions of Harman and Meillassoux. (shrink)

Of the practices John Cassian brings from Egyptian desert elders to southern Gallic monks, his scriptural hermeneutics best reflects the dynamic link between exegesis and askēsis, reflection and action, and authority and agency. His four-fold method reinforces the view that scripture is absolutely authoritative but incredibly obscure and therefore requires interpretation. Riddled with contradictions, acts of violence, and the plainly nonsensical, scripture provides foundations in early Christianity only through the complex interplay of interpretation, authority, and power. To read exegesis only (...) as an intellectual exercise or assertion of power, however, neglects its relation to other forms of askēsis in Cassian’s Conferences and Institutes. For Cassian, scriptural interpretation renders lived practice and practical knowledge inseparable from contemplative knowledge. Cassian’s view of scriptural meditātiō is shaped in late antique Christian milieus where interpretive reading practices shape ascetic habits alongside practices of manual labor, fasting, and prayer. For Cassian and the Egyptian desert ascetics with whom he trained, scriptural interpretation does not lead to keen description or reflection alone, but must impact one’s practices, one’s tropos, one’s very way of life. Such a perspective allows us to see not only the relevance of Cassian’s ethics to Christian thought and practice, but also to approach Cassian’s texts with a critical eye for how they enable reflection on contemporary religious ethics beyond the particulars of Christian predicates. (shrink)

Recent developments in epistemology have shifted away from idealised perspectives on knowledge acquisition towards an examination of the myriad of ways in which our epistemic practices go astray. This evolution has given rise to the field of non-ideal epistemology, which explores the realities that emerge when individuals and communities falter in their epistemic practices (Barker et al. 2018; Bernecker et al. 2021; Mckenna 2023). This focus extends across various dimensions of applied and social epistemology, addressing issues such as bad epistemic (...) characters, the erosion of trust, epistemic injustice, ignorance, fake news, and corruption. A significant manifestation of this recent shift in non-ideal epistemology is evident in the burgeoning field of vice epistemology. Epistemic vices are dispositions, attitudes and ways of thinking that make us bad thinkers, in so far as they prevent us from acquiring and sharing knowledge, manifest bad motives, and desires, or disrupt both individual and collective epistemic functioning (Kidd et al. 2020). These vices are harmful to the vice-bearer in so far as they distort and impair cognitive faculties, leading to flawed reasoning, and biased judgement, hindering the attainment of epistemic goods such as genuine understanding and knowledge (Cassam 2019a; Medina 2012, 2020; Priest 2020). These harms also extend beyond the individual, contributing to the perpetuation of misinformation and the erosion of trust within social networks and communities (Baird and Calvard 2018; Fricker 2020; Medina 2020; Sullivan and Alfano 2020). The acknowledgement of the social nature of epistemic vices is being increasingly recognised. This recognition underscores that epistemic vices can extend beyond individuals and be held by collectives, including educational institutions, online environments, and prisons (Kidd 2019, 2020; Fricker 2020; Medina 2020; Tanesini 2021). In light of the harms arising from these bad epistemic practices, inquiries into how to respond to and address these wrongs have been crucial. This has led to considerations of responsibility and ameliorative solutions, seeking to rectify these adverse effects (Cassam 2019a; Holroyd 2016; Sherman and Goguen 2019; Tanesini 2021). These ameliorative solutions also extend beyond individual-based strategies to include structural and social solutions. This thesis contributes to these growing debates by focusing on the harms associated with epistemic vices and exploring ways to address them. In Chapters 2 and 3, I focus on some foundational aims in vice epistemology, evaluating three prominent accounts of epistemic vice: obstructivism, motivationalism and personalism (Battaly 2016a, 2018a; Cassam 2016, 2019a; Tanesini 2018, 2021). Within these chapters, I also focus on the harmful nature of epistemic vices and whether vice-bearers should be held responsible for their vices, and if so, what form this responsibility would take. In Chapter 4, I evaluate the role of blame as a response to vice more closely, focusing on its epistemic and ameliorative nature. In Chapters 5, 6 and 7, I turn to assess themes in applied epistemology. Still focusing on the harms of epistemic vices and possible solutions, I examine whether epistemic nudging, a paternalistic method of nudging individuals towards epistemically desirable outcomes, may assist in the mitigation of epistemic vice (Adams and Niker 2021; Grundmann, 2021:213; Miyazono 2023:2). I then focus on how epistemic vices are manifested in online environments, particularly those where information disorder is present (Wardle 2019). Finally, I conclude with an examination of institutional vices, which I argue can act as indicators of institutional trustworthiness. (shrink)

This position paper advocates combining formal epistemology and the new paradigm psychology of reasoning in the studies of conditionals and reasoning with uncertainty. The new paradigm psychology of reasoning is characterized by the use of probability theory as a rationality framework instead of classical logic, used by more traditional approaches to the psychology of reasoning. This paper presents a new interdisciplinary research program which involves both formal and experimental work. To illustrate the program, the paper discusses recent work on the (...) paradoxes of the material conditional, nonmonotonic reasoning, and Adams’ Thesis. It also identifies the issue of updating on conditionals as an area which seems to call for a combined formal and empirical approach. (shrink)

Strong negation is a well-known alternative to the standard negation in intuitionistic logic. It is defined virtually by giving falsity conditions to each of the connectives. Among these, the falsity condition for implication appears to unnecessarily deviate from the standard negation. In this paper, we introduce a slight modification to strong negation, and observe its comparative advantages over the original notion. In addition, we consider the paraconsistent variants of our modification, and study their relationship with non-constructive principles and connexivity.

H. Omori and H. Wansing introduced in a recent paper possible alternatives for the negation of the logic of first-degree entailment. One of their observations with regard to these alternative negations is that some of them turn out to induce negation inconsistency, meaning that some contradictions become provable (under an arbitrary premise) when used in place of the original negation. Omori and Wansing also considered a non-deterministic generalisation of such operators, but it was left open whether the generalised negation similarly (...) induces negation inconsistency. In this paper, we provide an answer to this question in the positive, and moreover look into further generalisation and characterisation of non-deterministic operators which satisfy the formal criteria of negation inconsistency and its pair notion of negation incompleteness in the setting of Omori and Wansing. (shrink)

In contemporary epistemology, recent attempts have been made to resist the notion of epistemic blame. This view, which I refer to as ‘epistemic blame skepticism,’ seems to challenge the notion of epistemic blame by reducing apparent cases of the phenomenon to examples of moral or practical blame. The purpose of this paper is to defend the notion of epistemic blame against a reductionist objection to epistemic blame, offered by Trent Dougherty in “Reducing Responsibility.” This paper will object to Dougherty’s position (...) by examining an account in favour of epistemic blame and demonstrate concerns over the reductionist methodology employed by Dougherty to argue for his sceptical position. (shrink)

We take coherence based probability logic as the basic reference theory to model human deductive reasoning. The conditional and probabilistic argument forms are explored. We give a brief overview of recent developments of combining logic and probability in psychology. A study on conditional inferences illustrates our approach. First steps towards a process model of conditional inferences conclude the paper.

Intuitionistic logic formalises the foundational ideas of L.E.J. Brouwer’s mathematical programme of intuitionism. It is one of the earliest non-classical logics, and the difference between classical and intuitionistic logic may be interpreted to lie in the law of the excluded middle, which asserts that either a proposition is true or its negation is true. This principle is deemed unacceptable from the constructive point of view, in whose understanding the law means that there is an effective procedure to determine the truth (...) of all propositions. This understanding of the distinction between the two logics supports the view that negation plays a vital role in the formulation of intuitionistic logic.Nonetheless, the formalisation of negation in intuitionistic logic has not been universally accepted, and many alternative accounts of negation have been proposed. Some seek to weaken or strengthen the negation, and others actively supporting negative inferences that are impossible with it.This thesis follows this tradition and investigates various aspects of negation in intuitionistic logic. Firstly, we look at a problem proposed by H. Ishihara, which asks how effectively one can conserve the deducibility of classical theorems into intuitionistic logic, by assuming atomic classes of non-constructive principles. The classes given in this section improve a previous class given by K. Ishii in two respects: (a) instead of a single class for the law of the excluded middle, two classes are given in terms of weaker principles, allowing a finer analysis and (b) the conservation now extends to a subsystem of intuitionistic logic called Glivenko’s logic. This section also discusses the extension of Ishihara’s problem to minimal logic.Secondly, we study the relationship between two frameworks for weak constructive negation, the approach of D. Vakarelov on one hand and the framework of subminimal negation by A. Colacito, D. de Jongh, and A. L. Vargas on the other hand. We capture a version of Vakarelov’s logic with the semantics of the latter framework, and clarify the relationship between the two semantics. This also provides proof-theoretic insights, which results in the formulation of a cut-free sequent calculus for the aforementioned system.Thirdly, we investigate the ways to unify the formalisations of some logics with contra-intuitionistic inferences. The enquiry concerns paraconsistent logics by R. Sylvan and A. B. Gordienko, as well as the logic of co-negation by G. Priest and of empirical negation by M. De and H. Omori. We take Sylvan’s system as basic, and formulate the frame conditions of the defining axioms of the other systems. The conditions are then used to obtain cut-free labelled sequent calculi for the systems.Finally, we consider L. Humberstone’s actuality operator for intuitionistic logic, which can be seen as the dualisation of a contra-intuitionistic negation. A compete axiomatisation of intuitionistic logic with actuality operator is given, and comparisons are made for some related operators.Abstract prepared by Satoru Niki.E-mail:Satoru.Niki@rub.de. (shrink)

Conditionals are basic for human reasoning. In our paper, we present two experiments, which for the first time systematically compare how people reason about indicative conditionals (Experiment 1) and counterfactual conditionals (Experiment 2) in causal and non-causal task settings (N = 80). The main result of both experiments is that conditional probability is the dominant response pattern and thus a key ingredient for modeling causal, indicative, and counterfactual conditionals. In the paper, we will give an overview of the main experimental (...) results and discuss their relevance for understanding how people reason about conditionals. (shrink)

The present chapter describes a probabilistic framework of human reasoning. It is based on probability logic. While there are several approaches to probability logic, we adopt the coherence based approach.

N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial. The present paper aims at giving insights into this phenomenon by investigating subsystems of Kamide’s logics, with a focus on a system in which the double negation behaves as the negation of minimal logic. We establish the negation inconsistency of the (...) system and embeddability of contradictions from other systems. In addition, we attempt at an informational interpretation of the negation using the dimathematical framework of H. Wansing. (shrink)

Abstract:Niki Young speaks with Graham Harman about his Object-Oriented Philosophy in relation to his understanding of Heidegger's tool-analysis, and more.