Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: inferential erotetic logic

Sortuj według:

Ogranicz wyniki do:

The Method of Socratic Proofs Meets Correspondence Analysis

100%

Leszczyńska-Jasion D. , Petrukhin Y. , Shangin V.

nr 2

99-116

The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic (i.e. pertaining to the logic of questions) 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 (the only exception being the rule of cut), invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions.

Question dependency in terms of compliance and erotetic implication

100%

Łupkowski P.

nr 3

357–376

The dependency relation between questions is discussed in terms of compliance (developed within inquisitive semantics – INQ) and erotetic implication (developed within Inferential Erotetic Logic – IEL). I show that INQ approach to questions’ dependency is more narrow and strict than the one offered by IEL.