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)

In this paper two concepts of psychologism in logic are outlined: the one which Frege and Husserl fought against and the new psychologism, or cognitivism, which underlies a cognitive turn in contemporary logic. Four issues such cognitively oriented logic should be interested in are indicated. They concern: new fields opened for logical analysis, new methods and tools needed to address these fields, neural basis of logical reasoning, and an educational problem: how to teach such logic? Several challenging questions, which arise (...) in the context of these issues, are listed. (shrink)

An Introduction to the Special Issue on Question Processing.

Na przykładzie koncepcji rozumowania abdukcyjnego, autorstwa Paula Thagarda, w artykule niniejszym omawia się sposób pojmowania abdukcji charakterystyczny dla eksplanacyjno-koherencyjnego modelu tego typu rozumowań, który w chwili obecnej oferuje najbardziej satysfakcjonujące połączenie psychologicznej adekwatności oraz efektywności obliczeniowej definiowanych w jego ramach procedur generowania i oceny hipotez abdukcyjnych.

Recently, it has become a custom to treat questions as a game between two subjects. Unfortunately, one rarely goesbeyond the scheme of Questioner-Scientist and Answerer-Nature, althoughthe Interlocutor so conceived displays some undesirable features. This paperargues for the idea that logic of questions can be build as a logic of the gamebetween “knowledge resources” persons or theories, rather than errant Scientist and omniscient Nature. To this end the concept of epistemically-possibleworlds is discussed, which is conceived as analogous to that of possible (...) worldsin modal logic. And, furthermore, the concepts of relation of epistemic alternativeness and of epistemically-alternative worlds are introduced. On thisbasis a version of semantics for propositional, three-valued logic of questionsis offered and semantic proofs of some theses are given. (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 present preliminary results on modelling structure of solutions to a task involving abductive reasoning. Research data were gathered using our new tool—Find Out, which has been designed in order to account empirically for abduction relatively close to everyday reasoning processes, with the necessary level of procedure standardization. The tool enables to capture abduction as a compound form of reasoning, from both product and process perspective. Find Out is set up as a game that requires playing the role of an (...) investigator seeking an explanation of what has happened in the presented enigmatic situation. The task consists of three time-limited stages that require different reasoning activities. In the paper, we present quantitative models of structures of solutions to the task proposed by the subjects in the form of situational graphs. We present also some ideas concerning qualitative characteristics of these solutions. (shrink)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

This article describes the process of modification and Polish adaptation of an instrument constructed to assess the level of epistemological understanding. The original tool was developed by Kuhn et al. in order to account for transitions between, and coordination of, subjective and objective dimensions of knowing across different judgement domains. Our aim was to improve its psychometric properties. The main changes included extending the list of test items, a new administration procedure and the introduction of a quantitative scoring method. The (...) outcome is a valid, reliable and standardised instrument—the Standardized Epistemological Understanding Assessment. (shrink)

The aim of this paper is to introduce erotetic search scenarios known from Inferential Erotetic Logic by using the framework of epistemic erotetic logic. The key notions used in this system are those of askability and epistemic erotetic implication. Scenarios are supposed to represent all rational strategies of an agent solving the problem posed by the initial question where the interaction with an external information source is seen as a series of updates of the agent’s knowledge.

In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day ‘week’ featured a five day graduate school on computational and linguistic perspectives on argumentation (3rd SSA school); five workshops: on systems and algorithms for formal argumentation (2nd SAFA), argumentation in relation to society (1st ArgSoc), philosophical approaches to argumentation (1st ArgPhil), legal argumentation (2ndMET-ARG) (...) and argumentation in rhetoric (1st MET-RhET); and two conferences: on computational models of argumentation (7th COMMA conference) and on argumentation and corpus linguistics (16th ArgDiaP conference). WAW hosted twelve tutorials and eight invited talks as well as welcoming over 130 participants. All the conferences and workshops publish pre- or post-proceedings in the top journals and book series in the field. (shrink)

Making more accurate marketing decisions by managers requires building effective predictive models. Typically, these models specify the probability of customer belonging to a particular category, group or segment. The analytical CRM categories refer to customers interested in starting cooperation with the company, customers who purchase additional products or customers intending to resign from the cooperation. During building predictive models researchers use analytical tools from various disciplines with an emphasis on their best performance. This article attempts to build a hybrid predictive (...) model combining decision trees and cluster analysis. During experiments five different cluster validity indices and eight datasets were used. The performance of models was evaluated by using popular measures such as: accuracy, precision, recall, G-mean, F-measure and lift in the first and in the second decile. The authors tried to find a connection between the number of clusters and models' quality. (shrink)

A survey of the main approaches in a mind study -oriented part of Artificial Intelligence is made focusing on controversial issues and extreme hypotheses. Various meanings of terms: "intelligence" and "artificial intelligence" are discussed. Limitations for constructing intelligent systems resulting from the lack of formalized models of cognitive activity are shown. The approaches surveyed are then recapitulated in the light of these limitations.

Over the years, the Austrian School of Economics has created the image of a thinker associated with ideas of liberalism. The views of members of this school are often considered controversial. However, the concept of freedom clearly displayed by the Austrians is very popular among economists. Carl Menger is said to be the founder and a leading member of the Austrian School of Economics, and his works are mostly devoted to methodology and economic theory. Nevertheless, you can also find his (...) views on the sphere of economic liberalism and freedom. Almost 150 years after the publication of Menger’s main works, it emerged that he had created not only the timeless foundations of the theory and methodology of economics, but his theory of subjective value had become the bedrock which is used to this day in deliberations on economic liberalism. The economy pursued by Menger (based primarily on the ideas of subjectivism and individualism) continues to be an important and timeless foundation for the development of the doctrine of economic liberalism. This article is a review based on an analysis of the literature on the subject. (shrink)

Dialectical contradictions influence organizational processes in distinct ways and create a unique dynamics in terms of leadership process in entrepreneurialorganizations. We integrate research from charismatic, transformational, and organizational literature, as well as entrepreneurship literature, to create a generalized model of entrepreneurial leadership that is descriptively robust and conceptually distinct from existing concepts. We focus specifically on visionary, transformational, and motivational contradictions of entrepreneurial leadership and conclude by discussing the implications of organizational reconciliation of these three contradictions for leadership research and (...) practice. (shrink)

The aim of the work is to present the conservative views of the journalist and historian Henryk Lisicki and the role he played in the community with which he collaborated, i.e. the Krakow conservatives called the Stańczyk Circle. The source of the article are monographs, brochures, dissertations, essays and articles published in „Przegląd Polski“ by Lisicki. In order to evaluate to what extent Lisicki’s political thought was original, and to what extent it was in conformity with the Stańczyk Circle, the (...) publications of Walerian Kalinka, Stanisław Tarnowski, Michał Bobczyński, Józef Szujski and Stanisław Koźmian were also used. While working on the topic, the author made use of the works specializing in the history of Polish and Western conservative thought published by Ryszard Ludwikowski, Bogdan Szlachta, Jacek Bartyzel, Józef Szacki and the views expressed by the members of the Stańczyk Circle such as Michał Jaskólski, Wojciech Dutka, Stanisław Filipowicz, Henryk Michalak. When examining the above issues, a comparative method was used, tracing both the similarities and differences in the ideas of Lisicki and his colleagues from the Stańczyk Circle. The main thesis formulated in the work is that although Lisicki did not belong to the group of leaders, his close intellectual ties with Stanisław Koźmian gave him a respected position among Krakow conservatives. The analysis of his works confirmed that he was also capable of original reflections which focused on the attitude of the conservatives to the nineteenth-century democratization processes, the evolution of Western absolute monarchies towards the constitution democracies and the expansion of electoral rights. Hence, it was symptomatic for Lisicki and his community to argue, inter alia, for the necessity of rapprochement with moderate liberals, the aim of which was to weaken the danger coming from the revolted masses which were being under the influence of radicals. (shrink)

It is consistent that for every function there is an uncountable set and two continuous functions such that f {f0, f1} for every A2,α≠β.

The aim of the article is to explain the relationship between the ethical evaluation of scientific research involving personal data and the assessment of compliance with data protection law. The article presents the mutual relationship between the protection of personal data and scientific activity from a dogmatic perspective, the legal regulation of the processing of personal data in scientific research, and the so-called research exceptions that apply when data are processed for scientific research. It also covers the importance of meeting (...) the ethical requirements of scientific research in order to profit from the indicated exceptions. Finally, it provides a comparison between the ethical and the legal systems of personal data protection in research (objectives, criteria, authorities, and procedures). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Evolution and Creation—A Response to Michael Chaberek's Critique of Theistic EvolutionMariusz Tabaczek O.P.Translated by Monika Metlerska-ColerickIntroductionMichael Chaberek's critique of my "Afterword" to the Polish edition of Thomistic Evolution: A Catholic Approach to Understanding Evolution in the Light of Faith is essentially focused on three points. First of all, Chaberek questions my thesis supporting the compatibility of evolutionary theory with the Christian faith in creation. Secondly he discounts the possibility (...) of reconciling evolution with the Aristotelian-Thomistic philosophical tradition. Finally he provides arguments undermining the theory of evolution as the best scientific explanation for the diversity of species observable in the world.1 Because I do not undertake an analysis [End Page 255] of strictly biological problems in the "Afterword," in the present response I will concentrate on the first two points only.2 I trust that engaging in a discussion with Chaberek's views in this respect provides an opportunity to broaden and clarify my position regarding the issue which is the subject of our dispute. To begin with, I would like to stress that, in exploring the topic from the perspective of the Aristotelian-Thomistic tradition of philosophy and theology, I am moving in the sphere of possible interpretations and new approaches. Therefore, I do not treat the aforementioned tradition in an inflexible and dogmatic manner.3 [End Page 256]The Definition of CreationI should start my response to Chaberek's critique by invoking the definition of creation as elaborated by Aquinas. After all, it seems that the disagreement referred to in the present article focuses, to a large extent, on the comprehension of the divine act of creation. My views on this matter are not, in my estimation, a significant alteration of the teaching of St. Thomas. Rather, they are an attempt at drawing conclusions from some of his intuitions regarding creation, which appear in various sections of the body of his work.4According to St. Thomas, the word "creation" (creatio) has two crucial and inextricably linked meanings: (I) creation in an active sense (divine action) and (II) creation in a passive sense (receiving divine action). Within the scope of the first meaning, St. Thomas distinguishes between: (Ia) the primary act of creation, defined as bringing the entirety of being into existence out of nothing (ex nihilo), without any prior existing matter, and (Ib) maintaining contingent beings in their existence and essence. The consequence of (Ia) and (Ib) is contingent beings' full dependence on God regarding what they are and the fact that they are (exist), which determines the essence of creation in the passive sense (II).Regarding (Ia), St. Thomas—in a neo-Platonic vein, in support of the claim that nothingness cannot be the object of God's action in the act of creation—states that "we must consider not only the emanation of a particular being from a particular agent, but also the emanation of all being from the universal cause, which is God; and this emanation we designate by the name of creation" (ST I, q 45, a. 1, corp.). It is worth adding here that, according to St. Thomas, the matter, which is the result of the act of creation, is not indefinite, as is assumed by Chaberek when he refers to creation as the bringing out of nothing "of a certain primordial matter of an indefinite form."5 On the contrary, Aquinas states explicitly that "primary matter was not created altogether formless, nor under any one common form, but under [End Page 257] distinct forms" (ST I, q. 66, a. 1, corp., ad 2), enumerating, at this point, the forms of the four elements: earth, water, air, and fire.In reference to (Ib), St. Thomas defines the divine act of maintaining contingent beings in existence and essence (in the fact that they are, as well as in what they are) as conservatio rerum. What is more, even though he emphasizes that "the preservation of things by God is a continuation of that action whereby He gives existence" (ST I, q. 104, a. 1, ad 4), Aquinas does not employ the currently popular concept of continual creation (creatio continua). It seems that... (shrink)

A compelling approach among works on temporality, phenomenology, and the ecologies of the new sound worlds, Enacting Musical Time argues that musical time is itself the site of the interaction between musical sounds and a situated, embodied listener, created by the moving bodies of participants engaged in musical activities.

Approximately one in six top economic research papers draws an explicitly causal conclusion. But what do economists mean when they conclude that A 'causes' B? Does 'cause' say that we can influence B by intervening on A, or is it only a label for the correlation of variables? Do quantitative analyses of observational data followed by such causal inferences constitute sufficient grounds for guiding economic policymaking? The Philosophy of Causality in Economics addresses these questions by analyzing the meaning of causal (...) claims made by economists and the philosophical presuppositions underlying the research methods used. The book considers five key causal approaches: the regularity approach, probabilistic theories, counterfactual theories, mechanisms, and interventions and manipulability. Each chapter opens with a summary of literature on the relevant approach and discusses its reception amongst economists. The text details case studies, and goes on to examine papers which have adopted the approach in order to highlight the methods of causal inference used in contemporary economics. It analyses the meaning of the causal claim put forward, and finally reconstructs the philosophical presuppositions accepted implicitly by economists. The strengths and limitations of each method of causal inference are also considered in the context of using the results as evidence for policymaking. This book is essential reading to those interested in literature on the philosophy of economics, as well as the philosophy of causality and economic methodology in general. (shrink)

The article presents the discussion which begins with a semantic clarification of the Polish terms of ‘sens’ [meaning] and ‘znaczenie’ [reference] in Polish linguistic usus, starting with the basic dictionary and corpus-based determinations, which indicate the subjective dominant element of ‘sens’ and the objective dominant element of ‘znaczenie’. Next, the author indicated the elements of philosophical discourse, which defined additional conditions of meaning as “the meaning of life” and “meaning of action” and which emphasise the subjective and performative nature of (...) meaning, particularly associated with the expressions “meaning of life”. The philosophical context of the discussion was supported by the findings of cognitive sciences which refer to the impact of the subconscious and its cognitive-performative potential introduced using the categories of the “subliminal” and “tacit knowledge”. The final part of the discussion was mainly devoted to the concept of the “cognitive-performative horizon”, it emphasised the dominant impact of the unrealised dimension of individual knowledge about existence and action in the world for meaning-building cognitive and performative activities. (shrink)

Artykuł stanowi krytyczne omówienie książki Kevina Duttona zatytułowanej Mądrość psychopatów. Lekcja życia pobrana od świętych, szpiegów i seryjnych morderców. Celem pracy jest przybliżenie zasadniczych tez stawianych przez autora oraz zaproszenie do namysłu nad psychopatią – zarówno jako fenomenem naukowym, jak i egzystencjalnym.

Joseph Ratzinger has never produced one theological opus that would encompass his whole theological vision and its corollaries in particular matters. However, despite this, during his long and prolific theological career, in his many publications and interventions he has touched upon nearly every conceivable theological topic. Although these topics are often very diverse, they are also interrelated by the general intellectual framework on which Ratzinger operates. By analysing his insights about particular issues that, at first glance, may appear to have (...) little relationship with each other, it is possible to find some interesting connections that point to the existence of a greater vision. This article will examine the questions of power, authority and truth in Ratzinger's theology and will link the notions of politics and liturgy to demonstrate the existence of such a single, holistic approach. Questions that will be asked in this short study include: How does Ratzinger understand authority and power in general? What are some limits of power that, according to him, both secular and ecclesiastical authorities must recognise and respect? What are some threats to the correct understanding of legitimate authority in the church and in politics today? How do all these issues relate to the main principles of his theology as a whole? (shrink)

The wound inflicted by the clerical sexual abuse scandal and its cover-up runs so deep that it is sometimes deemed impossible to talk about the church at the beginning of the twenty-first century in a credible way without making at least some reference to this problem. This opinion is seemingly partially shared by current and previous pontiffs, who, on many occasions and in various contexts, have touched upon this issue. In the many interventions in which Benedict XVI and Francis have (...) raised this sad topic, they have apologised on behalf of the leaders of the church for the cases of abuse and for the following cover-up. They have offered words of regret and consolation to victims, their families, the entire church and the world, and have promised to do everything possible to prevent it from happening again. Further, they have attempted to identify the causes of the problem to understand how it could have taken place and the actions required to prevent this tragedy from recurring. Their analyses bear signs of similarities and dissimilarities. The purpose of this article is to ask what the church in Australia, and the church in general, can learn from the two popes' approaches to this problem, not only with regard to handling possible future cases of abuse, but also with regard to the general ways of existing as a church in the twenty-first century. Behind Francis's and Benedict's conclusions lie their own theologies of the church, which are worth exploring since they contain important lessons and signposts for the church at the beginning of the third millennium. (shrink)

Peter Singer is one of the most famous bioethicists in the world. His controversial opinions disseminated in his countless publications and his undoubtedly good erudition made him very popular. Using logical arguments he always tries to prove that only a conscious being, a person, has the right to live. No wonder that his opponents call him "the famous death messenger". Australian philosopher is an ethic relativist in the way that he resigns from objective values in his conception. Moreover, he doesn't (...) approve unchangeable moral principles. According to him such moral values as 'good' and 'bad' are relative, depending on consequences which decide what is right in particular situation. He is polemical to traditional ethic adherents who value every human life. There is no objective life category in his conception. Life can be only considered according to its quality and, therefore, only beings possessing feelings and consciousness are subjects of morality. They only have the right to live. (shrink)

The author’s firm belief is that transitional humanity is not yet humanity proper but pre-humanity. He is especially intrigued by the essence and purpose of today’s contradiction between humanity’s immense advancement in micro-electronics, digital technology and social lore and its shocking moral shortcomings, best visible in its stagnant unchangeability—especially regarding the passionate quest for ever-better weaponry. Will our transience turn out to be nothing more but a phase on the road to human perfection, or will it petrify into an “inborn” (...) scar? These are the main questions the author attempts to answer.As a species we are praehomine, pre-humans, a natural phase of ethical and esthetic imperfection. Typical for transitional humanity is the coexistence of progress. Nonetheless transitional humanity also carries the potential necessary to attain Wisdom, Good, Completeness and Perfection. (shrink)

Based on case studies prepared at the Harvard Business School, the article analyses the content of university courses on business history. Its aim is to answer the question whether or not business history courses are used for discussing the problems of CSR or moral dilemmas behind strategic decisions made by managers. The article argues that the chance of enhancing the understanding of social problems on the part of the managers and shaping their responsiveness to them, created by the presence of (...) courses on history in the academic curriculum, remains, to a large extent, unrealised. Teaching materials are still influenced by the Chandlerian paradigm and thus focus on changes in organisational structures and strategies of large multinational companies. They pay little attention to the social environment of business, rarely pose questions on the motivations of human actions or value hierarchies and avoid discussions on the social consequences of management decisions. (shrink)

[The paper is in Polish, an English abstract is given only for information.] This article is intended for philosophers and logicians as a short partial introduction to category theory and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an (...) intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies. (shrink)