The purpose of the text is to engage in a well thought critique of the Enlightenment project carried out by Nicholas Maxwell and to reflect upon the proposal of its reconstruction. Maxwell’s intellectual position is not at all obvious: he is neither a radical rationalist, nor a defender of scientific rationality, nor a postmodern and social constructivist. Postmodernists and social constructivists opposed the very idea of reason and rational inquiry, and have been thoroughly critical of what knowledge-inquiry represents. Indeed, such (...) criticisms could not be further from Maxwell’s position. According to Maxwell, what is wrong with knowledge-inquiry is not its embodiment of reason but, to the contrary, its gross and damaging irrationality. From Maxwell’s point of view we suffer not that much from the excess of rationality, but its deficit. Maxwell does not share open criticism of anti-Enlightenment thinkers from Nietzsche to Foucault, but more so he escapes the beliefs of a scientifically focused group of philosophers who see the main force of emancipation of humanity in a narrowly understood science followed by physics, the methodology of verification, and naturalism as a basic ideology. The author of the text thus poses the question: what can save our culture if it is neither sciencenor the rejection of science? Does the replacement of the category of knowledgeinquiry with wisdom-inquiry—which Maxwell converts us to—bring us any closer to a solution in our consideration of knowledge and life, science and politics, facts and values, nature and society? In Western culture wisdom has always been an object of desire, and it was so, inter alia, because unlike knowledge it has never been precisely defined and further specified. Philosophers developed a warm feeling towards wisdom and sought for wisdom, but had they lived by wisdom? Finally, the author challenges the most difficult question: can we rationally excuse our hopes for wisdom and hope that it may one day be embodied in the work of institutions and the actions of individuals? (shrink)

-/- Medytacje filozoficzne, Fundacja na Rzecz Myślenia im. Barbary Skargi, Warszawa 2015. -/- Publikacja współfinansowana przez Muzeum Łazienki Królewskie w Warszawie. -/- Zbiór tekstów powstałych na podstawie wykładów, które zostały wygłoszone w ramach cyklu "Medytacje filozoficzne w Łazienkach" w latach 2013-2015. -/- -/- Spis treści: -/- Cezary Wodziński, Premedytacja Krzysztof Pomian, O wyjątkowości człowieka Zygmunt Bauman, O miłości i nienawiści… Tropami Barbary Skargi Tadeusz Sławek, Ciemne liturgie. Język, historia i gest błogosławieństwa Lech Witkowski, Rozprawa z autorytetem: w strone autorytu przejścia (...) Władysław Stróżewski, Doświadczenie czasu, doświadczenie istnienia Juliusz Domański, „Pradawna waśń filozofów z poetami” a kłopoty z dziedzictwem antycznym Serhij Żadan, Wolność jako odpowiedzialność Marcin Poręba, Co to jest rzeczywistość? Szymon Wróbel, Co to jest historia filozofii? Magdalena Środa, Moralność życia publicznego Kostiantyn Tyszczenko, Po co językoznawstwu metateoria? (shrink)

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)

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)

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 article offers an analysis of texts which were written in 1802-3 and published in 1812 under the title Panopticon versus New South Wales, namely Jeremy Bentham’s first two letters to Lord Pelham and A Plea for the Constitution, arguing that, in his attempt to show the superiority of his Panopticon plan over the transportation scheme, the reformer depicted New South Wales as a Gothic dystopia. ‘Gothic’ is here understood as a literary genre, an ideological term and a critical tool. (...) Bentham upset the conventional cartography of his time by showing that the ‘archaic’ or ‘barbarian’ practices that Gothic novels located in Catholic Europe were actually present in British penal policies. In addition to drawing on the rhetoric and the dichotomies which underlay the Gothic novels published during his lifetime, Bentham anticipated scenarios – such as reverse colonization and contamination – which would be explored in Victorian fiction. By extrapolating in dystopian fashion from trends which were present in the British body politic, Bentham’s Australian writings show how a historical period may be haunted by its future potentialities. (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.

The COVID-19 pandemic caused university education to transition from face-to-face contacts to virtual learning environments. Young adults were forced to live an entirely new life online, without valuable and enjoyable social interaction. We examined subjective perspectives towards life online during the pandemic. We identified four viewpoints about life mediated by computers. Two viewpoints express “struggling”: Viewpoint 1 (Angry, Depressed and Overwhelmed), and Viewpoint 3 (Restricted to and Overwhelmed by Virtuality). A third feeling-state conveys experiences of “surviving”: Viewpoint 4 (Isolated and (...) Powerless in Convenience). Surprisingly, Viewpoint 2 is about “thriving” (Comfortable and Convenient Routine with Computers). The research shows that virtualization, confinement, and anxiety are taking a toll on the mental health of some members of the younger generation, while at the same time other members feel they are thriving in a situation of limited resources, virtuality, and reduced face-to-face human interaction. (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)

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.

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 my paper I present David Hume's philosophy from the perspective of Charles Sanders Peirce's theory of signs. I argue that by interpreting impressions and ideas as iconic signs it is possible to avoid many inconsistencies in Hume's philosophy. Apart from that it makes possible to avoid Hume's scepticism about the existence of the external world by introducing Peirce's concept of the dynamic and immediate object. What is more, the generative structure of signs helps us to deal with the "gmissing (...) shade of blue" problem. (shrink)

As the author himself notes in the prologue, the book – An Advanced Introduction to Law and Literature – seeks to “advance” the discussion. Written by Peter Goodrich, one of the leading and most prolific scholars on the topic, the work may not be suitable for first-comers to the Law and Literature movement looking for a systematic overview of the field. The latter may be found in the numerous already-existing handbooks, research guides or critical introductions. While the prologue mentions la...

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)