Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. The Conference on Hypothetical Reasoning focussed on its logical aspects, such as assumption-based calculi and their proof theory, logical consequence from a proof-theoretic or model-theoretic point of view, logics of conditionals, proof systems, structure of assumption-based proofs, hypotheses in proof-theoretic semantics, notions of implication, substructural logics, hypotheses in categorial logic, logical aspects of scientific explanation, hypothetical reasoning in mathematics and reasoning from definitions and axioms. The conference took place 23–24 August, 2014 in Tübingen at the Department of Philosophy, in conjunct...
The conditional, if...then, is probably the most important term in natural language and forms the co...
Preface For many years the British and the German automated reasoning communities have successfully ...
This paper shows that classical logic is inappropriate for hypothetical reasoning and develops an al...
The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond ...
The workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018....
The third Tübingen conference on proof-theoretic semantics took place in the Alte Aula of the Univer...
In the last decades, with the emergence of artificial intelligence, a large number of logics calle...
This paper reviews the psychological investigation of reasoning with conditionals, putting an emphas...
Logical reasoning plays a key role in fields as diverse as verification and synthesis, programming l...
Vít Punčochář Dissertation: Hypothetical Judgements, Truth and Assertibility Abstract: The main topi...
Revised version of a conference given under title "From Natural Deduction to the nature of reasoning...
In this chapter, it is discussed to which extent hypothetical reasoning can be modeled by formal log...
MasterThese are the lecture notes of a course on logic and commonsense reasoning given to master stu...
In this paper, it is discussed to which extent hypothetical reasoning can be modeled by formal logic...
A crucial question here is what, exactly, the conditional in the naive truth/set comprehension princ...
The conditional, if...then, is probably the most important term in natural language and forms the co...
Preface For many years the British and the German automated reasoning communities have successfully ...
This paper shows that classical logic is inappropriate for hypothetical reasoning and develops an al...
The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond ...
The workshop on proof theory took place in Vichy at the Pôle Universitaire de Vichy on 25 June 2018....
The third Tübingen conference on proof-theoretic semantics took place in the Alte Aula of the Univer...
In the last decades, with the emergence of artificial intelligence, a large number of logics calle...
This paper reviews the psychological investigation of reasoning with conditionals, putting an emphas...
Logical reasoning plays a key role in fields as diverse as verification and synthesis, programming l...
Vít Punčochář Dissertation: Hypothetical Judgements, Truth and Assertibility Abstract: The main topi...
Revised version of a conference given under title "From Natural Deduction to the nature of reasoning...
In this chapter, it is discussed to which extent hypothetical reasoning can be modeled by formal log...
MasterThese are the lecture notes of a course on logic and commonsense reasoning given to master stu...
In this paper, it is discussed to which extent hypothetical reasoning can be modeled by formal logic...
A crucial question here is what, exactly, the conditional in the naive truth/set comprehension princ...
The conditional, if...then, is probably the most important term in natural language and forms the co...
Preface For many years the British and the German automated reasoning communities have successfully ...
This paper shows that classical logic is inappropriate for hypothetical reasoning and develops an al...