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 method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. (...) Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction. (shrink)

Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set of rules characterizing a two-argument Boolean function to the negation fragment of classical propositional logic. The properties of soundness and completeness (...) of the calculi are demonstrated. The proof of completeness is conducted by Kalmár's method. Most of the presented sequent-calculus rules have been obtained automatically, by a rule-generating algorithm implemented in Python. Correctness of the algorithm is demonstrated. This automated approach allowed us to analyse thousands of possible rules' schemes, hundreds of rules corresponding to Boolean functions, and to nd dozens of those invertible. Interestingly, the analysis revealed that the presented proof-theoretic framework provides a syntactic characteristics of such an important semantic property as functional completeness. (shrink)

Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how (...) an agent could solve the initial problem despite the fact that the sub-problems remain unsolved. Thus our model not only indicates missing information but also specifies the contexts in which the problem-solving process may end in success despite the lack of information. We will also show that this model of problem solving may find use in an analysis of natural language dialogues. (shrink)

The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.

The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof systems. (...) In this paper it is used to consider sequent calculi with non-branching, invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions. (shrink)

The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.

The concept of cooperative question-responses as an extension of cooperative behaviours used by interfaces for databases and information systems is proposed. A procedure to generate question-responses based on question dependency and erotetic search scenarios is presented. The procedure is implemented in Prolog.

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.

Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.

The aim of the paper is to present a reconstruction of the constitutive theses of cognitive relativism. The reconstruction is based on some examples of well-known theses and statements that are conceived to be relativistic. I distinguish three constituents of cognitive relativism: 1) the thesis of constructive character of cognition, 2) the thesis of pluralism of cognitive schemes, 3) the thesis of incommensurability of cognitive schemes. The rest of the article aims at, first, proving that Quine's philosophical standpoint is not (...) relativistic as it clashes with the third thesis of relativism. And, second, I try to argue that a relativist may avoid the consequence of agnosticism but, which is not surprising, he/she has to radically reject the idea of the objective truth as the purpose of our cognition. (shrink)

This paper presents Rasiowa–Sikorski deduction systems for logics \, \, \ and \. For each of the logics two systems are developed: an R–S system that can be supplemented with admissible cut rule, and a \-version of R–S system in which the non-admissible rule of cut is the only branching rule. The systems are presented in a Smullyan-like uniform notation, extended and adjusted to the aims of this paper. Completeness is proved by the use of abstract refutability properties which are (...) dual to consistency properties used by Fitting. Also the notion of admissibility of a rule in an R–S-system is analysed. (shrink)

I consider two cognitive phenomena: inquiring and justifying, as complementary processes running in opposite directions. I explain on an example that the former process is driven by questions and the latter is a codification of the results of the first one. Traditionally, proof theory focuses on the latter process, and thus describes the former, at best, as an example of a backward proof search. I argue that this is not the best way to analyze cognitive processes driven by questions, and (...) that proof-theoretical analysis of questions can bring mutual benefits for both proof theory and erotetic logic. In the second part of my paper (sect. 6.3) I introduce the structural rules of weakening and contraction. Results concerning their admissibility are discussed. I also sketch an erotetic interpretation of the rule of weakening as reducing information noise, and that of contraction as securing information. (shrink)

Author: Angutek Dorota Title: ON THE ROLE OF JERZY KMITA’S SEMIOTIC CONCEPTS IN DESCRIPTION OF NONVERBAL COMMUNICATION (O wykorzystaniu pojęć semiotycznych Jerzego Kmity w opisie komunikowania niewerbalnego) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 329-346 Keywords: SEMIOTICS, SIGN, NONVERBAL COMMUNICATION, HAPTIC COMMUNICATION, CULTURE, CONVENTION Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The author discusses various approaches to nonverbal communication and tries to provide a general descriptive account of the problem in (...) order to confront it with Jerzy Kmita’s theory of culture, signs, and symbolic communication. On the base of semiotic conception of Kmita, the author sketches theoretical background which opens the possibility of conventional interpretation of nonverbal communicates and presupposes their social and cultural relativization. (shrink)

When does eating become art? Can a cook be an artist? This book answers these questions by exploring the position of taste in contemporary culture and the manners in which taste meanders its way into the realm of art.

The paper analyzes a handful of works for children and youth that are based on mythology and deal with depression, a topic that is becoming more frequent in contemporary children’s and young adults’ culture, mainly because of the need to break the mental he­alth taboo. These are the newest edition of Laura Orvieto’s Storie di bambini molto antichi, Rachel Smythe’s digital comics Lore Olympus, Patricia Satjawatcha­raphong’s short animation Reflection, and the webcomic series Therapy created by Anastasia Gorshkova. They provide examples (...) from literary and audio-visual culture for very young re­aders and more adult teenagers and youth, raising the issue of deep sadness utilizing storytelling and not in a didactic way. Some of the protagonists struggling with the problem are far from lively chara­cters in conventional interpretations of the myths, so the texts play upon stereotypes entrenched in the culture. It appears that children’s works inspired by classical antiquity have significant interpretative potential and educational value – as well as the ability to surprise the audience. (shrink)

Pythagorean Women Philosophers argues for a rewriting of Greek philosophical history so as to include female intellectuals. Dutsch presents testimonies regarding the role of women in the Pythagorean school as demonstrating their active contribution to the philosophical tradition.

Język nauk pedagogicznych wielokrotnie poddawany był krytyce. Jego porządkowanie należy rozpocząć od sprecyzowania pojęć: „wychowanie”, „kształcenie” i „nauczanie”, uważanych za podstawowe pojęcia pedagogiczne, a dotąd nieokreślone w sposób zyskujący aprobatę przynajmniej większości pedagogów. Większość kontrowersji i sporów dotyczy przede wszystkim treści i zakresu pojęcia „wychowanie ". Różnorodność ujęć i sposobów użycia tego terminu powoduje trudności w porozumiewaniu się, wieloznaczność i chaos w dyskusjach i rozważaniach pedagogicznych. Analiza literatury ze zwróceniem szczególnej uwagi na definicje omawianego pojęcia i codzienna praktyka pedagogiczna pozwoliły (...) na przeprowadzenie próby uświadomienia wszystkim posługującym się językiem nauk pedagogicznych trudności, z jakimi borykają się pedagodzy teoretycy w precyzowaniu swego języka. (shrink)

On the Non-atheistic and Acosmic Character of Pantheistic Philosophy of Spinoza According to Salomon Maimon The article presents Salomon Maimon’s view on the pantheistic philosophy of Baruch Spinoza and Maimon’s conviction that the system in question cannot be defined as atheism. The Jewish thinker states that Spinozian philosophy should be rather called acosmism which term is suggested by Maimon due to the fact that this system of thought affirms the sole reality of God – what, on the other hand, denies (...) the credibility of defining Spinoza’s philosophy as atheism. However, the article shows that the more addequate term with regard to the pantheistic philosophy of Spinoza would be pancosmism. The last seems to better correspond to the theses of pantheism – the determinant common for both the pantheism and pancosmism is namely the real status of reality. (shrink)

Artykuł zawiera rozważania nad zróżnicowaniem tekstów eseistycznych dotyczących problematyki polskości, wynikającym z różnorodnej roli pamięci w poszczególnych koncepcjach narodowej tożsamości. Celem szkicu jest podjęcie refleksji nad relacją, w jaką wchodzą teksty, dające się określić jako tradycjonalistyczne oraz modernizacyjne, z orientacjami esencjalistycznymi i kontruktywistycznymi. Przedmiot analizy zawartej w tekście stanowią przede wszystkim dwie publikacje: Awangardowy konserwatyzm Pawła Rojka oraz Polska: wspólnota fantazmatyczna Agaty Bielik-Robson. Eseje te pozwalają się traktować jako reprezentatywne przykłady złożonych zależności ideowych występujących w obszarze refleksji nad polskością.

Dilemma one, Between the theoretical concepts and authorial intention -- Dilemma two, Good manners and eristic -- Dilemma three, Between strangeness and familiarity -- Dilemma four, Between scholarly research and faith.

The study was designed to examine whether trait emotional intelligence would moderate the impact of negative emotions at work on job burnout. A total of 188 female nurses participated in this study and completed measures of trait affectivity, emotional intelligence, anger and sadness at work [over five consecutive days, nurses rated the extent to which they experienced anger-related emotions (i.e., irritation, embitterment and anger) and sadness-related emotions (i.e., depression, disappointment and sadness)], and burnout. The results revealed significant and positive relationships (...) between both types of negative emotions and burnout above and beyond demographics and the nurses’ trait affectivity. Importantly, the study demonstrated that trait emotional intelligence buffers the effects of negative emotions on burnout. Specifically, anger- and sadness-related emotions predicted greater burnout among nurses with low trait emotional intelligence but not among nurses with high trait emotional intelligence. These results suggest that emotional intelligence training could be implemented to prevent the adverse effect of negative emotions felt at work on job burnout. (shrink)

The aim of this article is to focus on pragmatic teaching in a modern school. Getting knowledge should always be connected with improving certain skills (linguistic, analytic, critical etc.). Firstly, in this work the methods of teaching and forms of statement of pragmatic aims were shown. It is pointed out what kind of skills students acquire when particular methods of leaching are used (e.g. discussions, methods of plan, dramas, press conferences, or projects) and how teaching various forms of expressing ideas (...) influences gaining competence of a sender and a receiver of messages. It is also presented how the methods let the young people develop their minds, imagination, and critical attitudes. In other words, all this allows the students to use their knowledge functionally. Moreover, the article raises the importan issue of linguistic, literary and cultural education in the sense of pragmatic teaching. Learning about a language should predominantly provide the students with learning the language (M. Nagajowa). Literary education demands some analytic skills, and encouraging to participate in culture, improving the abilities of reception of various forms of art by creative activities aim at making the young people be aware of practical usage of their knowledge. The article also underlines reading comprehension skills – extremely important with a view to the new linal secondary-school exams (Matura 2002) coming soon, and it has, according to S. Bortnowski, some ‘utilitarian dimension’. To sum up, the modern school should educate pragmatists, who experiment, initiate and use. (shrink)

The 7th of September 2013 was a significant day from a point of view of the public manifestation of the history of philosophy: the reconstructed monument of the eighteenth-century Jewish philosopher Salomon Maimon [Salomon ben Jehoshua] (1753–1800) was unveiled in Kożuchów (Lower Silesia, Poland). The unveiled memorial of Maimon is the only one worldwide.That event was significant on a number of dimensions:First, it commemorated the person that was influential in philosophy in general: Maimon was the representative of epistemological rationalism. Secondly, (...) it honoured a prominent representative of European philosophy. Thirdly, it memorialized an important representative of a German philosophical system: Maimon was in fact Kantian, Kant’s critic, and the representative of transcendental idealism.As such Maimon is the author of Essay on Transcendental Philosophy (London-New York 2010; in original: Versuch über die Transcendentalphilosophie. Mit einem Anhang über die symbolische Erkenntni .. (shrink)

This book is the first essay collection on Richard Shusterman, the foremost representative of contemporary pragmatist aesthetics, a philosopher whose books have been translated into more than fifteen languages. The 12 essays, which cover the wide-ranging scope of Shusterman’s pragmatist thought, divide into three sections: Literary Theory and Philosophy of Art; Epistemology, Metaphysics, Ethics, and Politics; and Somaesthetics. Written by an international group of authors from different philosophical perspectives, the book’s essays not only provide a good introduction to Shusterman’s innovative (...) pragmatist theories, but show their useful applications to important and controversial topics in philosophy, politics, religious and gender studies, the arts, and somaesthetics. The book also includes two new texts by Shusterman: an introductory essay in which he explains the trajectory of his intellectual development and a detailed response to the other contributors, which closes the book. (shrink)

This book is the first essay collection on Richard Shusterman, the foremost representative of contemporary pragmatist aesthetics, a philosopher whose books have been translated into more than fifteen languages. The 12 essays, which cover the wide-ranging scope of Shusterman’s pragmatist thought, divide into three sections: Literary Theory and Philosophy of Art; Epistemology, Metaphysics, Ethics, and Politics; and Somaesthetics. Written by an international group of authors from different philosophical perspectives, the book’s essays not only provide a good introduction to Shusterman’s innovative (...) pragmatist theories, but show their useful applications to important and controversial topics in philosophy, politics, religious and gender studies, the arts, and somaesthetics. The book also includes two new texts by Shusterman: an introductory essay in which he explains the trajectory of his intellectual development and a detailed response to the other contributors, which closes the book. (shrink)

The aim of this paper is to characterize a non-standard use of the method of market basket analysis in one of the areas of economy, i.e. public transport. Generally, one of the aims of the market basket analysis method is associating the consumer's market basket – in the case of public transport this being the choice of bus stops in the city area made by passengers. Owing to a new, practical use of this method, it was possible to build an (...) efficient model characterizing the movement of flows of public transport passengers, and assess the degree of transferring, thus making it possible to adapt the routes of buses to the needs of people using this particular means of transport, as well as to plot new communication lines. The data analysis was performed using the Statistica statistical package and its SAL application, i.e. the algorithms used in Data Mining. (shrink)

Looking at a number of memorials, memory sites and artworks relating to the Holocaust the book uses this idea of synaesthetic perception to explore trauma, memory and the production of art in relation to painful memories.

This study contributes to the constantly accumulating evidence on the effects of customer incivility (CI) on service employee exhaustion. Previous research has demonstrated that surface acting (SA) acts as a mediating variable in the relationship between CI and exhaustion. This study extended prior findings in two ways. The results of Study 1 (315 retail sales employees, 62.2% female) demonstrated that SA mediates the positive relationship between CI and exhaustion while controlling for employees’ trait positive and negative affectivity (NA). The results (...) of Study 2 (292 customer service representatives, 51% female) supported a moderated mediation model demonstrating that trait emotional intelligence (EI) buffers the direct and indirect (through SA) effects of CI on exhaustion. Specifically, it was found that employees exposed to many uncivil customer behaviors but high in trait EI reported using less SA and, thus, experienced fewer exhaustion symptoms than their low in trait EI counterparts. These results highlight EI as an important personal resource that mitigates the adverse effects of CI on service employees’ exhaustion, and suggest that organizations should consider implementing EI training programmes for their frontline service employees. (shrink)