We discuss circumscription, a logical formalization of non-monotonic reasoning, introduced by John McCarthy and Vladimir Lifschitz. First section contains presentation of assumptions of logic-based artificial intelligence, problem of non-monotonicity in commonsense reasoning and informal formulation of circumscription. In section two, a formal definition of circumscription is given. The idea of circumscription is discussed from syntactic and semantic point of view. Theoretical investigations are supplemented with examples. In section three, methods of computing circumscription are discussed. Section four contains exemplary circumscription-based formalization (...) of simple non-monotonic reasoning. Finally, not only a comment about the role of logic in artificial intelligence is made but a piece of information about implementation of circumscription is given as well. (shrink)

The skeptical solution is based on two assumptions — the rejection of semantic facts and the denial of semantic nihilism. On the basis of the non-factualist interpretation of this solution, these two assumptions are reconciled by stating that meaning ascriptions possess non-descriptive function. Nonetheless, Alexander Miller argues that this position is self-refuting since, as despite its non-descriptivism, by rejecting any kind of semantic facts, it inevitably leads to semantic nihilism. In this text, I demonstrate that Miller’s argument is not sound. (...) I argue that a coherent non-factualist way of formulating the conditions of correct use of meaning ascriptions may be performed by rejecting the closure principle of assertibility of meaning ascriptions. On this basis, I demonstrate that argument formulated against non-factualist interpretation by Miller may be refuted. What is more, I argue that rejection of the closure principle should be regarded as the central aspect of Kripke’s skeptical solution. (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...) the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and (...) completeness -- Why is first order logic "First Order"? (shrink)

The purpose of this article is to discuss Kant’s concept of juridical state as the foundation of the contemporary rule of law. Therefore, the article tries to answer two questions: (1) what character can be attributed to Kant’s concept of juridical state taking into account the obligations arising from it; (2) can the analysis of the Kantian juridical state have any impact on the contemporary understanding of the rule of law and if so, what can this impact be. In order (...) to accomplish this task, moral presuppositions of Kant’s juridical state are discussed, according to the commonly accepted view that Kant’s political philosophy is closely linked with his moral and ethical reflection. Then, two interpretations of Kant’s juridical state – the liberal one and the authoritarian one – are analysed. The crucial difference between these interpretations lies in establishing the circumstances in which the duty of obedience to state power should be carried out. Then, Kantian juridical state is compared with two ways of understanding the rule of law – the material one and the formal one – in order to evaluate whether the rule of law should be considered as continuity of or rupture with the Kantian concept. (shrink)

In a recent series of papers, Jane Friedman argues that suspended judgment is a sui generis first-order attitude, with a question as its content. In this paper, I offer a critique of Friedman’s project. I begin by responding to her arguments against reductive higher-order propositional accounts of suspended judgment, and thus undercut the negative case for her own view. Further, I raise worries about the details of her positive account, and in particular about her claim that one suspends judgment about (...) some matter if and only if one inquires into this matter. Subsequently, I use conclusions drawn from the preceding discussion to offer a tentative account: S suspends judgment about p iff S believes that she neither believes nor disbelieves that p, S neither believes nor disbelieves that p, and S intends to judge that p or not-p. (shrink)

Responding to the increasingly influential role of Hannah Arendt's political philosophy in recent years, Hannah Arendt and the Limits of Total Domination: The Holocaust, Plurality, and Resistance, critically engages with Arendt's understanding of totalitarianism. According to Arendt, the main goal of totalitarianism was total domination; namely, the virtual eradication of human legality, morality, individuality, and plurality. This attempt, in her view, was most fully realized in the concentration camps, which served as the major "laboratories" for the regime. While Arendt focused (...) on the perpetrators' logic and drive, Michal Aharony examines the perspectives and experiences of the victims and their ability to resist such an experiment. The first book-length study to juxtapose Arendt's concept of total domination with actual testimonies of Holocaust survivors, this book calls for methodological pluralism and the integration of the voices and narratives of the actors in the construction of political concepts and theoretical systems. To achieve this, Aharony engages with both well-known and non-canonical intellectuals and writers who survived Auschwitz and Buchenwald concentration camps. Additionally, she analyzes the oral testimonies of survivors who are largely unknown, drawing from interviews conducted in Israel and in the U.S., as well as from videotaped interviews from archives around the world. Revealing various manifestations of unarmed resistance in the camps, this study demonstrates the persistence of morality and free agency even under the most extreme and de-humanizing conditions, while cautiously suggesting that absolute domination is never as absolute as it claims or wishes to be. Scholars of political philosophy, political science, history, and Holocaust studies will find this an original and compelling book. (shrink)

According to the orthodox view, the goodness of a life depends exclusively on the things that actually happened within it, such as its pleasures and pains, the satisfaction of its subject’s preferences, or the presence of various objective goods and bads. In this paper, I argue that the goodness of a life also depends on what could have happened, but didn’t. I then propose that this view helps us resolve ethical puzzles concerning the standards for a life worth living for (...) animals and the significance of a life’s shape. (shrink)

The purpose of this study was to measure professional and personal values among nurses, and to identify the factors affecting these values. The participants were 323 Israeli nurses, who were asked about 36 personal values and 20 professional values. The three fundamental professional nursing values of human dignity, equality among patients, and prevention of suffering, were rated first. The top 10 rated values all concerned nurses' responsibility towards patients. Altruism and confidentiality were not highly rated, and health promotion and nursing (...) research were rated among the last three professional values. For personal (instrumental) values, honesty, responsibility and intelligence were rated first, while ambition and imagination were rated 14th and 16th respectively out of 18. Significant differences (P < 0.05) were found among some personal and professional values rated as functions of culture, education, professional seniority, position and field of expertise. The results may assist in understanding the motives of nurses with different characteristics and help to promote their work according to professional ethical values. (shrink)

This paper critically assesses the possibility of moral enhancement with ambient intelligence technologies and artificial intelligence presented in Savulescu and Maslen (2015). The main problem with their proposal is that it is not robust enough to play a normative role in users’ behavior. A more promising approach, and the one presented in the paper, relies on an artifi-cial moral reasoning engine, which is designed to present its users with moral arguments grounded in first-order normative theories, such as Kantianism or utilitarianism, (...) that reason-responsive people can be persuaded by. This proposal can play a normative role and it is also a more promising avenue towards moral enhancement. It is more promising because such a system can be designed to take advantage of the sometimes undue trust that people put in automated technologies. We could therefore expect a well-designed moral reasoner system to be able to persuade people that may not be persuaded by similar arguments from other people. So, all things considered, there is hope in artificial intelli-gence for moral enhancement, but not in artificial intelligence that relies solely on ambient intelligence technologies. (shrink)

While mainstream CSR research has generally explored and argued for positive ethical, social and environmental performance, critical CSR scholars argue that change has been superficial—at best, and not possible in any substantial way within the current capitalist system. Both views, however, only address the role of business within larger systems. Little attention has been paid to the everyday material CSR practice of individual managers. We go inside the firm to investigate how the micro-level acts of individual managers can aggregate to (...) drive transformation of the macro-level business logic. We draw on the strategy-as-practice approach to organize our research. The study reveals two orientations towards the integration of personal ethics into the workplace: abdication and activism. These orientations are supported by managerial practice such as reproductive and coping tactics and covert and overt tactics ; and, three enabling conditions of activist practice: empowerment and psychological safety, moral shock, and morality praxis. While our findings illustrate the tremendous challenges managers face when attempting to influence organizational practices towards their ethical and environmental aspirations, we also show that under specific conditions, individual managers can become fully engaged advocates and drivers of positive change from the inside. In so doing, our individual-level analysis of intrapreneurship provides a more complex picture of the possibilities for positive change than have been previously put forth by mainstream and critical CSR research. (shrink)

We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give (...) its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones. (shrink)

[…] redaktorom udała się rzecz dość rzadka w tego typu publikacjach, mianowicie stworzyli imponujących rozmiarów księgę pamiątkową, która jednak, poza walorami okolicznościowymi, charakteryzuje się wysokim poziomem naukowym i zawiera sporo oryginalnych, wartościowych treści, z konieczności prezentowanych w krótkich formach, co jednak nie obniża ich rangi teoretycznej. Ponadto […] udało się w tej publikacji zgromadzić bardzo liczne, a jednocześnie reprezentatywne grono najwybitniejszych polskich filozofów, którzy ofiarowali profesorowi Tyburskiemu swoje cenne teksty, co czyni tę książkę tym bardziej wartościową i spowoduje, jak można (...) przypuszczać, że jeszcze po wielu latach będzie się do niej sięgało jako o źródła oryginalnych i bardzo ciekawych przemyśleń. Prof. dr hab. Jarosław Rolewski. (shrink)

This essay presents the Aestheticism of the 19th century as the foundational movement of modernist-formalist aesthetics of the 20th century. The main principle of this movement is what I denominate “productive opacity”. Aestheticism has not been recognized as a philosophical aesthetic theory. However, its definition of artwork as an exclusive kind of form—a deep, opaque form—is among the most precise ever given in the discipline. This essay offers an interpretation of aestheticism as a formalist theory, referred to here as “deep (...) formalism”, focusing on the thinking of leading aestheticists, Walter Pater, Oscar Wilde, and James Whistler. These three thinkers defined artwork as a form saturated with an inextricable content, viz. opaque form. (shrink)

We analyze the structure of strongly dominating sets of reals introduced in Goldstern et al. (Proc Am Math Soc 123(5):1573–1581, 1995). We prove that for every κ (...) class l of Baire sets for the Laver category base and compare the σ-ideal of sets which are not strongly dominating with the Laver ideal l0. (shrink)

Despite their ethical intentions, ethically minded consumers rarely purchase ethical products (Auger and Devinney: 2007, Journal of Business Ethics76, 361–383). This intentions–behaviour gap is important to researchers and industry, yet poorly understood (Belk et al.: 2005, Consumption, Markets and Culture8(3), 275–289). In order to push the understanding of ethical consumption forward, we draw on what is known about the intention–behaviour gap from the social psychology and consumer behaviour literatures and apply these insights to ethical consumerism. We bring together three separate (...) insights – implementation intentions (Gollwitzer: 1999, American Psychologist54(7), 493–503), actual behavioural control (ABC) (Ajzen and Madden: 1986, Journal of Experimental Social Psychology22, 453–474; Sheeran et al.: 2003, Journal of Social Psychology, 42, 393–410) and situational context (SC) (Belk: 1975, Journal of Consumer Research2, 157–164) – to construct an integrated, holistic conceptual model of the intention–behaviour gap of ethically minded consumers. This holistic conceptual model addresses significant limitations within the ethical consumerism literature, and moves the understanding of ethical consumer behaviour forward. Further, the operationalisation of this model offers insight and strategic direction for marketing managers attempting to bridge the intention–behaviour gap of the ethically minded consumer. (shrink)

The War Inside is a groundbreaking history of the contribution of British psychoanalysis to the making of social democracy, childhood, and the family during World War II and the postwar reconstruction. Psychoanalysts informed understandings not only of individuals, but also of broader political questions. By asserting a link between a real 'war outside' and an emotional 'war inside', psychoanalysts contributed to an increased state responsibility for citizens' mental health. They made understanding children and the mother-child relationship key to the successful (...) creation of a democratic citizenry. Using rich archival sources, the book revises the common view of psychoanalysis as an elite discipline by taking it out of the clinic and into the war nursery, the juvenile court, the state welfare committee, and the children's hospital. It traces the work of the second generation of psychoanalysts after Freud in response to total war and explores its broad postwar effects on British society. (shrink)

In this essay, I examine the usage of the term “just-so story.” I attempt to show that just-so storytelling can be seen as an epistemic concept that, in various ways, tackles the epistemological an...

Over the last two decades, social scientists across disciplines have been researching how value is extracted and governed in the reproductive bioeconomy, which broadly refers to the various ways reproductive tissues, bodies, services, customers, workers, and data are inserted into capitalist modes of accumulation. While many of these studies are empirically grounded in single country–based analyses, this paper proposes an integrative political economy framework, structured around the concept of “global fertility chains.” The latter articulates the reproductive bioeconomy as a nexus (...) of intraconnected practices, operations, and transactions between enterprises, states, and households across the globe, through which reproductive services and commodities are produced, distributed, and consumed. Employing a diffractive reading of the literature on commodity chains and care chains, this unified approach scrutinizes the coproduction of value, biology, and technoscience and their governance mechanisms in the accumulation of capital by taking into account the unevenly developed geographies of global fertility chains, their reliance on women’s waged and unwaged reproductive labor, and the networked role of multiple actors at multiple scales without losing sight of the constitutive role of national states in creating demand, organizing supply, and accommodating the distribution of surplus value. We empirically ground this integrative political economy approach of the reproductive bioeconomy through collaborative, multisited fieldwork on transnational reproduction networks in Israel/palestine, Romania, Georgia, and Spain. (shrink)

ABSTRACTFacial mimicry has long been considered a main mechanism underlying emotional contagion. A closer look at the empirical evidence, however, rev...

ABSTRACT Schopenhauer's argument against suicide has served as a punching bag for many modern-day commentators. Dale Jacquette, Sandra Shapshay, and David Hamlyn all argue that the premises of this argument or its conclusion are inconsistent with Schopenhauer's wider metaphysical and ethical project. This paper defends Schopenhauer from these charges. Along the way, it examines the relations between suicide, death by voluntary starvation, negation of the will, compassion, and Schopenhauer's critiques of cynicism and stoicism. The paper concludes that there may be (...) gaps in Schopenhauer's system, but not where the aforementioned commentators tried to locate them. (shrink)

The chapter is devoted to the probability and acceptability of indicative conditionals. Focusing on three influential theses, the Equation, Adams’ thesis, and the qualitative version of Adams’ thesis, Sikorski argues that none of them is well supported by the available empirical evidence. In the most controversial case of the Equation, the results of many studies which support it are, at least to some degree, undermined by some recent experimental findings. Sikorski discusses the Ramsey Test, and Lewis’s triviality proof, with special (...) attention dedicated to the popular ways of blocking it. Sikorski concludes that the role of the three theses in future studies of conditionals should be re-thought, and he presents alternative proposals. (shrink)

Under the continuum hypothesis we prove that for any tall P-ideal Ionω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I} \,{\rm on}\,\, \omega}$$\end{document} and for any ordinal γ≤ω1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\gamma \leq \omega_1}$$\end{document} there is an I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document}-ultrafilter in the sense of Baumgartner, which belongs to the class Pγ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_{\gamma}}$$\end{document} of the P-hierarchy of ultrafilters. Since the class (...) of P2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_2}$$\end{document} ultrafilters coincides with the class of P-points, our result generalizes the theorem of Flašková, which states that there are I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document}-ultrafilters which are not P-points. (shrink)

Epistemic consequentialism has been challenged on the grounds that it is overly demanding. According to the Epistemic Junk Problem, this view implies that we are often required to believe junk propositions such as ‘the Great Bear Lake is the largest lake entirely in Canada’ and long disjunctions of things we already believe. According to the Numerosity Problem, this view implies that we are frequently required to have an enormous number of beliefs. This paper puts forward a novel version of epistemic (...) consequentialism which avoids these twin demandingness problems. The key is to recognise, first, that the final epistemic value of a true belief depends at least in part on the duration for which it is retained by the agent and, second, that our cognitive makeup places important constraints on which beliefs are retained and for how long. (shrink)

This paper offers a theoretical framework that can be used to derive viable engineering strategies for the design and development of robots that can nudge people towards moral improvement. The framework relies on research in developmental psychology and insights from Stoic ethics. Stoicism recommends contemplative practices that over time help one develop dispositions to behave in ways that improve the functioning of mechanisms that are constitutive of moral cognition. Robots can nudge individuals towards these practices and can therefore help develop (...) the dispositions to, for example, extend concern to others, avoid parochialism, etc. (shrink)

We generalize the notions of strongly dominating and strongly unbounded subset of the Baire space. We compare the corresponding ideals and tree ideals, in particular we present a condition which implies that some of those ideals are distinct. We also introduce DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property, where I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document} is an ideal on cardinal κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, to capture these two (...) generalized notions at once. We use two player game defined in a Kechris’s paper to show that every λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}-Suslin set with DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property contains a perfect subset with DUI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathrm{DU}_\mathcal{I}}$$\end{document}-property, provided that λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document} is sufficiently small. (shrink)

Today, scholars employ the label ‘narrative Christology’ with relative frequency, though they mean different things when they do so. In this article, I argue that to date, narrative Christology has not yet fully explored the parameters of what it means to attend closely to the narrative form of the Gospels’ presentations of Jesus. I propose, further, that recent developments in literary theory’s so-called ‘New Formalism’ offer useful tools and concepts for moving in that direction. The first part of the article (...) briefly outlines previous scholarship, identifying similarities and differences between various approaches labelled ‘narrative Christology’. The second section introduces the major concepts of New Formalism and how they might extend narrative Christology’s capacity to take narrative form seriously as an object of analysis. The third section of the article offers a case study of a passage that appears in the triple tradition – the intercalated healing stories of Jairus’ daughter and the haemorrhaging woman in Mark 5.21–43; Luke 8.40–56; and Matthew 9.18–26 – in order to explore narrative structure on the micro-level. My ultimate goal is to show how New Formalism can contribute to a more robust narrative Christology and, in so doing, advance our understanding of the distinctive ways in which the Synoptic Gospels construct the figure of Jesus. (shrink)

We give an equivalent formulation of topological algebras, interpreting S4, as boolean algebras equipped with intuitionistic negation. The intuitionistic substructure—Heyting algebra—of such an algebra can be then seen as an “epistemic subuniverse”, and modalities arise from the interaction between the intuitionistic and classical negations or, we might perhaps say, between the epistemic and the ontological aspects: they are not relations between arbitrary alternatives but between intuitionistic substructures and one common world governed by the classical (propositional) logic. As an example of (...) the generality of the obtained view, we apply it also to S5. We give a sound, complete and decidable sequent calculus, extending a classical system with the rules for handling the intuitionistic negation, in which one can prove all classical, intuitionistic and S4 valid sequents. (shrink)

Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsistent theories, specializing to the classical semantics for the consistent ones. Direct reasoning with classical resolution is sound and complete for this semantics, when augmented with a specific weakening which, in particular, excludes Ex Falso. Dropping all forms of weakening yields reasoning which also avoids typical fallacies of relevance.

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2010, Hejnice, the Czech Republic. the articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

This book offers a new definition of metaphor-as an ontological and visual construction, whose roots are external visual forms, and its motivation is our attachment to forms. This definition, which Michalle Gal names “visualist,” challenges the ruling conceptualist theory of metaphors and places a new emphasis on how we experience rather than understand metaphors. In doing so, she responds to the visual turn that is taking place in literature and the media, demanding that the visual become a site of philosophical (...) analysis. This focus on the external visual world allows Gal to employ visual theories to capture the essence of metaphor. She looks beyond conceptual or semantic mechanism, and returns to theories of Arnheim and Gombrich and the current evolution of ideas about the visual or material and embodied cognition. Proposing to see visual metaphors in their basic form, she uses a new externalist terminology of ontology, visuality, composition, affordance, construction, and emergence. Setting out a new theory that takes into account that humans are visual no less than cognitive creatures, Visual Metaphors and Aesthetics lays the foundation for a new vocabulary to talk about metaphors. (shrink)

Stanley Cavell (1926–2018) jest jednym z tych filozofów, którzy świadomie wychodząc od założenia wzajemnego dopełniania się filozofii i literatury, rozwijają swą refleksję teoretyczną na przecięciu obu tych dziedzin, traktując ową refleksję jako formę pisarstwa. W opinii Cavella literatura w niczym nie ustępuje poznawczo filozofii w kategoriach wartości poznawczych. Cavell posuwa się nawet do zakwestionowania zasadności sztywnego, nieprzezwyciężalnego podziału na te dwie dziedziny, zaś własne pisarstwo określa mianem krytyki epistemicznej, będącej swego rodzaju krytyką literacką. Choć sam wywodzi się ze szkoły analitycznej, (...) Cavell pozostaje niezwykle krytyczny wobec tej tradycji filozofowania, zarzucając jej, jak sam to ujmuje, „zapomnienie o ludzkim głosie”, utratę kontaktu z rzeczywistością, jak również wyalienowanie się z życia – ostatecznie nazywając filozofię analityczną „dyscypliną najbardziej obcą życiu i pisaniu”. Równocześnie sam zwraca się ku tradycji kontynentalnej, próbując połączyć te dwie odmienne tradycje intelektualne w ramach własnej refleksji filozoficznej. Tak oto Cavell sytuuje się na skrzyżowaniu rozmaitych obszarów i nurtów intelektualnych, zaś jego pole badawcze jest niezwykle szerokie i zróżnicowane – obejmuje filozofię, literaturę, film, teatr i muzykę. W niniejszym artykule zamierzam skupić się na kilku wybranych aspektach dzieła Cavella, nadal nie do końca rozpoznanych w ramach poświęconych mu studiów – takich jak użytek z pojęć filozoficznych oraz wybrane metody, wykorzystywane przez Cavella do interpretacji tekstów literackich, jak problem parafraz, metoda literalizacji języka (w kontekście Cavellowskiej analizy _Końcówki _Becketta), problem dzieła otwartego, zagadnienie zwyczajności związane z Cavellowską wersją filozofii języka potocznego (w kontekście wybranych cech filozofii Wittgensteina). Pod koniec tekstu kilka uwag poświęcam również hermeneutyce Cavella i sugeruję kontekst, w jakim można ją powiązać z innymi nurtami filozofii, zwłaszcza z filozofią Innego, wypracowaną przez Emmanuela Levinasa. (shrink)

The main purpose of the article is to compare the originally Greek, Plato\'s concept of dialogue and its function in the procedure of philosophying to the one developed by the 20-century \"philosophy of dialogue\" (F. Rosenzweig, M. Buber, F. Ebner, E. Levinas). It seems quite astounding that philosophy of dialogue, a trend which consistently and persistently defends the privileged position of dialogue in the structure of reality and uses it as an essential factor in the understanding of the relation between (...) God and Man, has not developed any solid methodological perspective. What is even worse, it failed to observe its presence in the very core of philosophical thinking, i.e. in Plato\'s thought. We are capable of reconstructing Plato\'s modus philosophandi with its essential conditions: the philosopher must not only \'see\' the truth (the noetical function), but must also tell it to the others, choose the partners of the dialogue and defend his logos if necessary (the apophantical function). The article consists of two complementary analyses: the first one is devoted to the presentation of the dialogical factor in Plato\'s noetics and apophantics, and the second one focuses on Rosenzweig\'s criticism of the whole European philosophy. The author tries to indicate its doubtful moments by -putting forward the question whether Plato\'s philosophy may be justly ascribed to the tradition under Rosenzweig\'s criticism, and if so, to what extent. (shrink)