Movatterモバイル変換

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)

Direct download(4 more)   Export citation   Bookmark   8 citations  

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)

Direct download(2 more)   Export citation   Bookmark   5 citations  

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)

Direct download(7 more)   Export citation   Bookmark   5 citations  

We claim that abduction should primarily be studied from the perspective of its use. The big question “What is abduction?” is most often interpreted substantively and this distracts attention from the instrumental aspect of this form of reasoning. We propose to address the problem by asking “How abduction is used?”. As a result of our approach we see the fact that abduction needs to be construed as concerned with both generation and evaluation of hypotheses, and, furthermore, that abduction is a (...) compound form of reasoning. (shrink)

Direct download(3 more)   Export citation   Bookmark   3 citations  

No categories

Direct download(2 more)   Export citation   Bookmark   1 citation  

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.

Direct download(4 more)   Export citation   Bookmark   1 citation  

An Introduction to the Special Issue on Question Processing.

Direct download(4 more)   Export citation   Bookmark   1 citation  

In this paper, we consider how an agent may manage a questioning agenda in a situation where multiple information sources are available. We work within the framework of formal dialogue systems with the underpinning of Inferential Erotetic Logic. Firstly, we present the formal dialogue system DL(IEL)mult for managing multi-agent information retrieval. Then, we extend the proposed system so that it is capable of representing group and individual levels for the question decomposition process. We also propose two measures for evaluating information (...) sources: their cooperativeness and success levels; next, we analyse how the choice of agents may influence the way in which a solution for a given problem is reached. (shrink)

Direct download(2 more)   Export citation   Bookmark  

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.

Direct download(3 more)   Export citation   Bookmark  

Direct download   Export citation   Bookmark   2 citations  

In recent years we have witnessed a cognitive or ‘practical’ turn in logic [Gabbay and Woods, 2005; Urbański, 2011]. The most fundamental claim of its proponents is that logic has much to say about actual reasoning and argumentation. This cognitively-orientated logic. It acquires a new task of “systematically keeping track of changing representations of information” [van Benthem, 2008, p. 73], and, due to all the achievements of the mathematisation of logic, is fully up to this task. It also contests the (...) claim that distinction between a descriptive and a normative account of the analysis of reasoning is disjoint and exhaustive [Gabbay and Woods, 2003, p. 37]. (shrink)

Direct download(3 more)   Export citation   Bookmark  

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.

Export citation   Bookmark  

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)

Direct download(5 more)   Export citation   Bookmark  

Export citation   Bookmark  

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)

Direct download(3 more)   Export citation   Bookmark  

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)

Direct download(2 more)   Export citation   Bookmark  

The article describes the construction process of Deductive Flexibility Test  considered a difficult deductive reasoning measure – and the research on correlations between fluency in difficult deductive reasoning and other cognitive abilities. The main goal in the research was to examine the relations between Deductive Flexibility Test scores and results of Raven’s Advanced Progressive Matrices – fluid intelligence test. Additionally, the measures of the need for cognitive closure and epistemological understanding were included in the study. The results of the (...) study revealed that Deductive Flexibility Test is a reliable instrument and thus can be used for research purposes. We found low or even no statistically significant correlations between the chosen variables. The directions of further research are discussed. (shrink)

Direct download(2 more)   Export citation   Bookmark  

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)

No categories

Direct download(4 more)   Export citation   Bookmark