Faces of liberalism: formation of a Christian liberal community in Krakow: The aim of the essay is to show the birth of the Kraków liberal community in the years 1977–1980. An attempt is made to reconstruct the main ideological assumptions of the liberal entourage in the context of the opposition activities of Robert Kaczmarek and Mirosław Dzielski. The author refers to the main events occurring in this period, such as the establishment of the Prywatna Inicjatywa Krakowska and the magazine (...) Merkuryusz Krakowski i Światowy, as well as paying special attention to the program texts that were published in it. The article also contains a reconstruction of the debate aimed at classifying the views presented by Mirosław Dzielski. (shrink)

On certain plausible views, if humanity were to unanimously decide to cause its own extinction, this would not be wrong, since there is no one whom this act would wrong. We argue this is incorrect. Causing human extinction would still wrong someone; namely, our forebears who sacrificed life, limb and livelihood for the good of posterity, and whose sacrifices would be made less morally worthwhile by this heinous act.

Zjawisko autotranslacji czy autoprzekładu zawiera się w schemacie komunikacji dwujęzycznej przy udziale nowej instancji tłumacza = autora. Ważne staje się pytanie o inwariancję translatorską, tym bardziej że lego rodzaju przekładowi przypisuje się większą swobodę i częstszą tendencję do przetworzeń. Postulowana przez Christiane Nord lojalność tłumacza wobec tekstu wyjściowego oraz odbiorcy docelowego nabiera w tym kontekście innego wymiaru. Autoprzekład porusza się, podobnie jak przekład tradycyjny, na płaszczyźnie interlingwalnej, która niesie czasem większe ryzyko „melanżu” językowego w przypadku, jeśli autor poza tym, że (...) jest osobą bilingwalną, to jeszcze publikuje dwujęzycznie. Porównanie wersji paralelných T. Rittnera pokazuje przykładowe pomyłki interlingwalne, pojawiające się w tekstach autorskich. (shrink)

An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic CLuN and its extensions CLuNs and mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...) authors knowledge, this is the first account of resolution for mbC. Last but not least, as the method is grounded in IEL, it constitutes an important tool for the so-called question-processing. (shrink)

We introduce a notion of ideal type such that any two ideals with the same ideal type are isomorphic. From this we infer, under the axiom t = h, that each ideal which consists of all nowhere Ramsey sets contained in some family of infinite subsets of natural numbers is isomorphic with the ideal of all nowhere Ramsey sets.

In the article the author rejects traditional, logical interpretation of the famous “Is-Ought Paragraph” from David Hume’s A Treatise of Human Nature. He argues that most of the interpreters failed to grasp the wide philosophical background of the IsOP, which is, generally speaking, a passionate discussion between ethical rationalists and ethical anti-rationalists in the 17th and 18th century British philosophy. The author shows that the Hume’s main aim in the IsOP is to strengthen his previous arguments against ethical rationalism and (...) to reinforce (and not subvert at all) the common-sense (vulgar) systems of morality, likewise he did in the first book of the Treatise… in case of the theory of knowledge. The author argues that there is no putative thesis of logic in the IsOP, which some scholars call “Hume’s Law”. (shrink)

The article aims to present issues arising out of differences in the way that the terms chimera and hybrid are defined in legal systems and by natural sciences in the context of mixing human and animal DNA. The author analyses the different approaches to defining these terms used in various legal systems, dividing them into groups in light of conclusions reached from examining definitions used in natural sciences. The distinction is used to answer the question of which approach to definitions (...) applied by legislators is the best way to handle the subject of human-animal organisms, given the need to balance their impact on medicine and the ethical concerns that arise. (shrink)

Za Arystotelesem logika postrzegana jest jako narzędzie filozofii. Po blisko 2 i pół tysiąca lat dostrzegamy, że nie tylko logika, ale także różne formalne narzędzia i struktury są narzędziami namysłu filozoficznego – i również – naukowego. Zwolennikiem takiego postrzegania sprawy był Jan F. Drewnowski. Narzędzia, o których mówię w tytule, to różnego rodzaju techniki i reguły wypracowane w naukach formalnych. Zaliczyć do nich możemy np. regułę modus ponens czy technikę dowodu rozgałęzionego. Z kolei przez strukturę formalną rozumiem pewien obiekt formalny (...) np. algebrę Boole’a albo przestrzeń topologiczną, które pozwalają modelować przedmioty różnych dziedzin naukowych, w tym filozofii. W niniejszym artykule zarysuję główne idee Drewnowskiego i w jaki sposób przestrzeń topologiczna pozwala na analizę tak różnych pojęć filozoficznych jak możliwy świat czy monada. Przykłady te posłużą do argumentacji za prawdziwością metodologicznych tez Drewnowskiego, że stosowanie logiki symbolicznej służy uściślaniu dowolnych dziedzin wiedzy i – jak sądzę – nie narusza bogactwa treści właściwych danej dziedzinie. (shrink)

In one of his papers, Moti Mizrahi argues that arguments from an expert opinion are weak arguments. His thesis may seem controversial due to the consensus on this topic in the field of informal logic. I argue that its controversy is framework-dependent, and if translated into a different framework, it appears to be a correct, however trivial, claim. I will use a framework based on Douglas Walton’s argumentation scheme theory and his conception of examination dialogue to demonstrate that it is (...) so. It appears that Mizrahi’s idiosyncratic framework provides an excessively restrictive conception of an argument from expert opinion than Walton’s scheme does. There is no quarrel between both frameworks, as they yield analogous, almost identical, outcomes of argument evaluation. The actual and crucial disagreement is on the topic of argument classification. Mizrahi’s conception of arguments from an expert opinion imposes exact conditions that such argument must fulfil: an expert’s opinion o truth-value must be unknown; o must be unsupported by any evidence; an expert’s peers neither accept o nor reject it. These exclude, by definition, every possible strong, in Walton’s terms, variant of such an argument. Therefore, if rephrased with the notions of the examination dialogue framework, Mizrahi’s thesis sounds as follows: weak arguments from expert opinion are weak arguments. (shrink)

The article reviews the book Hannah Arendt: An Intellectual Biography, by Michelle-Irene Brudny.

Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction (svavacanavirodha). That is, self-contradictions such as ‘everything said is false’ and ‘my mother is barren’ cannot be known to be true or false. The contemporary scholar Tillemans challenges Dharmakīrti by arguing that we can know that self-contradictions are false by means of a formal logical inference. The aims of the paper are to answer Tillemans’ challenge from what we (...) take to be Dharmakīrti’s or Dharmakīrtian (someone who is like Dharmakīrti) perspective and to demonstrate the unique features of Dharmakīrti’s view of inference. By so doing, we show that the epistemology in relation to the formal conception of logic that underlies Tillemans’ challenge is problematic from Dharmakīrti’s or Dharmakīrtian perspective. The paper, thus, presents Dharmakīrti’s view of inference and logical reasoning as well as a Dharmakīrtian challenge to the formal conception of logic that is the dominant contemporary conception. (shrink)

Assume that there is no quasi-measurable cardinal not greater than 2ω. We show that for a c. c. c. σ -ideal [MATHEMATICAL DOUBLE-STRUCK CAPITAL I] with a Borel base of subsets of an uncountable Polish space, if [MATHEMATICAL SCRIPT CAPITAL A] is a point-finite family of subsets from [MATHEMATICAL DOUBLE-STRUCK CAPITAL I], then there is a subfamily of [MATHEMATICAL SCRIPT CAPITAL A] whose union is completely nonmeasurable, i.e. its intersection with every non-small Borel set does not belong to the σ (...) -field generated by Borel sets and the ideal [MATHEMATICAL DOUBLE-STRUCK CAPITAL I]. This result is a generalization of the Four Poles Theorem and a result from [3]. (shrink)

The liar paradox is still an open philosophical problem. Most contemporary answers to the paradox target the logical principles underlying the reasoning from the liar sentence to the paradoxical conclusion that the liar sentence is both true and false. In contrast to these answers, Buddhist epistemology offers resources to devise a distinctively epistemological approach to the liar paradox. In this paper, I mobilise these resources and argue that the liar sentence is what Buddhist epistemologists call a contradiction with one’s own (...) words. I situate my argument in the works of Dignāga and Dharmakīrti and show how Buddhist epistemology answers the paradox. (shrink)

Stereotype accuracy is a contentious topic. Part of the problem is that typically stereotypes are generic statements whose truth status is unclear due to the fact that they are ill-defined quantitatively. The article focuses on the epistemic aspect of stereotypical beliefs. In the ongoing debate, I side with those who argue against stereotypes being wrong or inaccurate by virtue of definition alone. I propose that, when possible, stereotype accuracy should be assessed in probabilistic terms by inspecting how likely a generic (...) statement is to be true when applied to individual representative of the relevant group. This approach applies equally well to investigating the actual and the perceived accuracy of stereotypes. (shrink)

Recenzja książki: J. Fodor, M. Piattelli-Palmarini, _Błąd Darwina_, Wydawnictwo Naukowe PWN 2018.

p-consequence is intended as a formalization of non-deductive reasoning. So far semantical or general properties have been presented more thoroughly ([2]–[5]). In the present paper we would like to focus on its syntactic properties.

This paper aims to present how logic may undermine a parliamentary assault on democratic institutions based on the analysis conducted with reference to the so-called Polish constitutional crisis. I analyse whether a law can be reviewed on the basis of this law itself. The Polish Constitutional Tribunal faced such a problem while passing the verdict of 9th March, 2016, regarding the constitutionality of the amendment to the Statute on the Constitutional Tribunal from 22nd December, 2015. This problem, called a ‘verdict (...) paradox’, was claimed to be a type of the Liar paradox. I argue that, contrary to the common view, the problem of the verdict paradox is not based on the Liar paradox; for this purpose, a logical analysis is applied to four variants of a reasoning with regard to the constitutionality of the said amendment. The distinction between two levels of analysis concerning emerging reasonings, namely an abstract level and a concrete level placed in the context of the legal system, is also introduced. This paper demonstrates that although only two variants of the reasoning concerning a law’s judicial review based on the law itself involve logical contradiction, the possibility of employing reasonings from other variants must be excluded, albeit due to alternative reasons. Therefore, the Constitutional Tribunal’s decision to avoid the verdict paradox by passing over the reviewed provisions in the review process was correct and might be perceived as an example of how logic and reason can defend the institutional guarantees of political freedom. (shrink)

The aim of the paper is to present two natural deduction systems for Intuitionistic Sentential Calculus with Identity ( ISCI ); a syntactically motivated \(\mathsf {ND}^1_{\mathsf {ISCI}}\) and a semantically motivated \(\mathsf {ND}^2_{\mathsf {ISCI}}\). The formulation of \(\mathsf {ND}^1_{\mathsf {ISCI}}\) is based on the axiomatic formulation of ISCI. Its rules cannot be straightforwardly classified as introduction or elimination rules; ISCI -specific rules are based on axioms characterizing the identity connective. The system does not enjoy the standard subformula property, but due (...) to the normalization procedure non-subformulas can label only leaves of proofs. In \(\mathsf {ND}^2_{\mathsf {ISCI}}\), we propose only two general identity-related rules, in reference to the treatment of the identity connective in First-Order Logic. (shrink)

We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity. We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.

Celem artykułu jest porównanie szczególnej odmiany teorii spiskowych, tzw. globalnej teorii spiskowej do sławnego eksperymentu myślowego autorstwa H. Putnama o mózgach w naczyniu. Uznanie istnienia złowrogiego spisku światowego stawia wierzącą weń osobę w podobnej sytuacji do tej, w której znajduje się człowiek próbujący rozstrzygnąć, czy jest mózgiem w naczyniu. Dzieje się tak, ponieważ conspiratio maligna ma niczym nieograniczoną moc wywierania wpływu, kontrolowania, a nawet tworzenia dowolnych aspektów naszego społecznego, politycznego i ekonomicznego życia. Wszechmoc tej tajemniczej organizacji jest powodem, dla którego (...) jej ofiary nie mogą nikomu ufać, ani rządowi, ani naukowcom, a nawet innym wyznawcom teorii spiskowych. Wszystkich – ludzi i instytucje – podejrzewa się o to, że są przekupieni, kontrolowani lub zastraszeni przez spisek. Zachować sceptycyzm wobec wszystkiego, to jedyne wyjście z tej sytuacji. (shrink)

The aim of this paper is to present two arguments against the dialectical interpretation of Nagarjuna's philosophy. This interpretation understands Nagarjuna's philosophy as a method of deconstruction, abstracting from Nagarjuna's own standpoint. The first argument refers to the metaphysical presuppositions of this method. The second argument refers to the positive statements asserted by Nagarjuna and focuses mainly on those concerning Buddhist practice. Furthermore, the conception of 'skilful means' and 'the two truths' will be discussed. The conclusion of this paper is (...) that Nagarjuna's philosophy is based upon determining the conditions of the possibility of the Buddhist practice rather than on a dialectic without any metaphysical assumptions. (shrink)

Using “big data” from sensors worn continuously outside the lab, researchers have observed patterns of objective physiology that challenge some of the long-standing theoretical concepts of emotion and its measurement. One challenge is that emotional arousal, when measured as sympathetic nervous system activation through electrodermal activity, can sometimes differ significantly across the two halves of the upper body. We show that traditional measures on only one side may lead to misjudgment of arousal. This article presents daily life and controlled study (...) data, as well as existing evidence from neuroscience, supporting the influence of multiple emotional substrates in the brain causing innervation on different sides of the body. We describe how a theory of multiple arousals explains the asymmetric EDA findings. (shrink)

The contour of a family of filters along a filter is a set-theoretic lower limit. Topologicity and regularity of convergences can be characterized with the aid of the contour operation. Contour inversion is studied, in particular, for iterated contours of sequential cascades. A related problem of continuous extension of maps between maximal elements of sequential cascades to full subcascades is solved in full generality.

This paper’s primary purpose is to show that there is a peculiar alternative to scientism whose central thesis is not about sources of knowledge or the existence of various objects, but it aims at setting out a strategy to help decide which of the two mutually exclusive beliefs is the better one to adopt. Scientophilia, to coin a term, recommends preferring, without any discussion, a position consistent with the consensus of credible and reliable experts in a given domain. In case (...) there is no such agreement, mainly because peers disagree with each other, or experts are difficult to identify, it is recommended for a scientophile to suspend judgment. Scientophilia is not a position on science or human knowledge boundaries, but it deals with the practical side of belief change. Verdicts made by this approach are partially similar to those offered by mild scientism, as scientophilia puts scientific knowledge as one of the most reliable sources. However, it is also consistent with mild antiscientism, as in some particular cases (for example, Moorean truths), it assigns reliable expertise to non-scientific experts. Therefore it is a third way. (shrink)

The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency \. As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas. We integrated the generation of and the evaluation of hypotheses via constraints of consistency and significance being imposed on the system rules.

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

E. T. A. Hoffmann is one of the most famous representatives of early German horror literature. He has been both, inspired by its predecessors, as well as having influenced the work of many of his successors, and hence the development of the whole genre. The present article examines a story by E. T. A. Hoffmann, “Vampirismus” from the collection of short stories “Serapions Brüder”. Emphases are, on the one hand, on the mechanisms that cause readers’ fear and uncertainty and, on (...) the other hand, the peculiarity of the vampire or Nachzehrer figure and their function in the story. Firstly, it will be shown that the vampire depicted in the work is not actually a vampire. We find here a ghoul; that is a demon from Arab culture. However, the ghoul has more to do with the monster outlined by Antoine Galland in his translation of the “One Thousand and One Nights” than with traditional folk beliefs. Secondly, the author comes to the conclusion that Hoffmann has functionalized the Horrible. This element does not work by itself, but serves the author as the background of the action. And he is using this background to let the characters reveal all their weaknesses and dark sides. The violation of the order ruling in the world as it is represented engages the reader and at the same time raises his fear. The resulting excited feelings and general alienation are further reinforced for the figure of the Nachzehrer that occurs instead of a formerly innocent, graceful girl. The emergence of the supernatural – the final confirmation of the breach of order – is responsible for the effect just described. (shrink)

Our main inspiration is the work in paper (Gitik and Shelah in Isr J Math 124(1):221–242, 2001). We will prove that for a partition \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} of the real line into meager sets and for any sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}_n}$$\end{document} of subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} one can find a sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_n}$$\end{document} such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_{n}}$$\end{document}’s are pairwise disjoint and have the same “outer measure with respect to the ideal of meager sets”. We get also generalization of this result to a class of σ-ideals posessing Suslin property. However, in that case we use additional set-theoretical assumption about non-existing of quasi-measurable cardinal below continuum. (shrink)

The aim of the paper is to compare the role played by logical analysis in Wittgenstein’s Tractatus logico-philosophicus and Russell’s On Denoting. Whereas in Russell’s work it is an important element of his argument in support of description theory, in his pupil’s it does not function this way. Russell, while analysing various propositions, including descriptions translates them into formal language, indicating that those propositions, despite the appearances, in fact do not denote. Logical analysis shall be a tool decisive in favour (...) of Russell’s thesis. Wittgenstein similarly analyses some troublesome propositions and claims that they are meaningless. The difference is that Russell’s final conclusion is derived from logical analysis, whereas Wittgenstein’s from pure speculation. In Tractatus logico-philosophicus logical analysis is not a method thanks to which the author gets certain result, just as it was the case with his teacher and his On Denoting. In Wittgenstein’s early philosophy logical analysis concerns just a few technical problems connected only to some ideas from Principia mathematica, and not to the main subject of his work, which is the analysis of philosophical theses. (shrink)