19 found
Sort by:
Disambiguations:
Andrzej Wiśniewski [18]Andrzej Wisniewski [1]
  1. Andrzej Wiśniewski (2014). Support and Sets of Situations. Journal of Logic, Language and Information 23 (3):383-396.
    An alternative conceptual setting of the basic system of inquisitive semantics is presented. A situational interpretation of the proposed formalism is discussed.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski (2013). Socratic Trees. Studia Logica 101 (5):959-986.
    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. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Andrzej Wiśniewski (2011). Propositions, Possible Worlds, and Recursion. Logic and Logical Philosophy 20 (1-2):73-79.
    The issue of reduction of propositions to sets of possible worlds is addressed. It is shown that, under some natural assumptions, there always exist recursive propositions, i.e. decidable sets of possible worlds, which are not assigned to any sentence of a language. Some consequences of this result are discussed.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  4. Paweł Łupkowski & Andrzej Wiśniewski (2011). Turing Interrogative Games. Minds and Machines 21 (3):435-448.
    The issue of adequacy of the Turing Test (TT) is addressed. The concept of Turing Interrogative Game (TIG) is introduced. We show that if some conditions hold, then each machine, even a thinking one, loses a certain TIG and thus an instance of TT. If, however, the conditions do not hold, the success of a machine need not constitute a convincing argument for the claim that the machine thinks.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  5. Andrzej Wiśniewski & Jerzy Pogonowski (2010). Diagonalization in Double Frames. Logica Universalis 4 (1):31-39.
    We consider structures of the form (Φ, Ψ, R ), where Φ and Ψ are non-empty sets and is a relation whose domain is Ψ. In particular, by using a special kind of a diagonal argument, we prove that if Φ is a denumerable recursive set, Ψ is a denumerable r.e. set, and R is an r.e. relation, then there exists an infinite family of infinite recursive subsets of Φ which are not R -images of elements of Ψ. The (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Andrzej Wiśniewski & Vasilyi Shangin (2006). Socratic Proofs for Quantifiers★. Journal of Philosophical Logic 35 (2):147 - 178.
    First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Adam Grobler & Andrzej Wiśniewski (2005). Explanation and Theory Evaluation. Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):299-310.
    It is claimed that Kuipers' approach to explanation opens the possibility for a further refinement of his own refined HD method for the evaluation of theories. One severe problem for the HD method, refined or not, is theory-ladeness. Given that experimental results are theory-laden, the comparative evaluation of alternative hypotheses is always relative to background knowledge. This difficulty can be avoided by supplementing HD considerations with the principle of inference to the best explanation. The authors sketch a program for doing (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska (2005). Socratic Proofs and Paraconsistency: A Case Study. Studia Logica 80 (2-3):431 - 466.
    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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Andrzej Wiśniewski (2004). Socratic Proofs. Journal of Philosophical Logic 33 (3):299-326.
    Our aim is to express in exact terms the old idea of solving problems by pure questioning. We consider the problem of derivability: "Is A derivable from Δ by classical propositional logic?". We develop a calculus of questions E*; a proof (called a Socratic proof) is a sequence of questions ending with a question whose affirmative answer is, in a sense, evident. The calculus is sound and complete with respect to classical propositional logic. A Socratic proof in E* can be (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. Andrzej Wiśniewski (2003). Erotetic Search Scenarios. Synthese 134 (3):389 - 427.
    The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Andrzej Wiśniewski (1999). Erotetic Logic and Explanation by Abnormic Hypotheses. Synthese 120 (3):295-309.
    A relativized concept of a possiblecorrect answer to a why-question is introduced. Acertain procedure of looking for acceptable answers towhy-questions is analyzed in terms of erotetic logic,i.e., the logic of questions.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Andrzej Wisniewski (1997). Some Foundational Concepts of Erotetic Semantics. Poznan Studies in the Philosophy of the Sciences and the Humanities 51:181-212.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Andrzej Wiśniewski (1996). The Logic of Questions as a Theory of Erotetic Arguments. Synthese 109 (1):1 - 25.
    This paper argues for the idea that the logic of questions should focus its attention on the analysis of arguments in which questions play the role of conclusions. The relevant concepts of validity are discussed and the concept of the logic of questions of a semantically interpreted formalized language is introduced.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Kuipers, Theo A. F. & Wisniewski, Andrzej (1994). An Erotetic Approach to Explanation by Specification. Erkenntnis 40 (3):377-402.
    In earlier publicationss of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by specification under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  15. Theo A. F. Kuipers & Andrzej Wiśniewski (1994). An Erotetic Approach to Explanation by Specification. Erkenntnis 40 (3):377 - 402.
    In earlier publications of the first author it was shown that intentional explanation of actions, functional explanation of biological traits and causal explanation of abnormal events share a common structure. They are called explanation by specification (of a goal, a biological function, an abnormal causal factor, respectively) as opposed to explanation by subsumption under a law. Explanation by specification is guided by a schematic train of thought, of which the argumentative steps not concerning questions were already shown to be logically (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Andrzej Wiśniewski (1994). Erotetic Implications. Journal of Philosophical Logic 23 (2):173 - 195.
    Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Andrzej Wiśniewski (1994). On the Reducibility of Questions. Erkenntnis 40 (2):265-284.
    The concepta question is reducible to a non-empty set of questions is defined and examined. The basic results are: (1) each question which is sound relative to some of its presuppositions is reducible to some set of binary (i.e. having exactly two direct answers) questions; (b) each question which has a finite number of direct answers is reducible to some finite set of binary questions; (c) if entailment is compact, then each normal question (i.e. sound relative to its presuppositions) is (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Andrzej Wisniewski (1994). On the Reducibility of Questions. Erkenntnis 40 (2):265 - 284.
    The concept a question is reducible to a non-empty set of questions is defined and examined. The basic results are: (1) each question which is sound relative to some of its presuppositions is reducible to some set of binary (i.e. having exactly two direct answers) questions; (b) each question which has a finite number of direct answers is reducible to some finite set of binary questions; (c) if entailment is compact, then each normal question (i.e. sound relative to its presuppositions) (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Andrzej Wiśniewski (1991). Erotetic Arguments: A Preliminary Analysis. Studia Logica 50 (2):261 - 274.
    The concept of erotetic argument is introduced. Two relations between sets of declarative sentences and questions are analysed; and two classes of erotetic arguments are characterized.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation