The Logic of Conceivability

Heinrich Wansing and Christopher Badura


Heinrich Wansing (Bochum) on Substructural negations as normal modal operators and 

and Christopher Badura (Bochum) on Conditional Belief and Imaginative Episodes

 

LoC seminar: Wednesday, February 12, 10:00-15:00, at OTM 141, Faculteitskamer. 

Location:  Faculty Room
Time: 10-12 (Wansing), 13-15 (Badura)

Heinrich Wansing

Title: Substructural negations as normal modal operators

Abstract: A theory of substructural negations as impossibility and as unnecessity
based on bi-intuitionistic logic has been developed by Takuro Onishi
(2015). Onishi notes two problems for this theory and offers the
identification of the two negations as a solution to both problems. The
first problem is a lack of a corresponding structural rule, the second
problem is a lack of correspondence between certain sequents and a
characterizing frame property. While the identification of negation as
impossibility and negation as unnecessity does solve Onishi's problems,
it seems desirable to keep the two notions separate. The present paper
gives another solution to the correspondence problem, namely a
reformulation of Onishi's display calculus. This solution avoids the
identification of negation as impossibility and negation as unnecessity,
and it has an independent motivation by considerations on
proof-theoretic semantics.

Takuro Onishi, Substructural negations, Australasian Journal of Logic
12(4) (2015), 1-27.

 

Christopher Badura 

 

Title: Conditional Belief and Imaginative Episodes

Abstract: Conditional beliefs and belief in conditionals are different. The
questions arise, what conditional beliefs are and how they are
justified. Following Leitgeb, it is assumed that conditional beliefs are
dispositions to believe. I argue that conditional beliefs thus
understood can be generated and justified by a particular class of
imaginative episodes, namely ``guided chosen imaginings'' (GCIs)
(Langland-Hassan, 2016). This is due to GCIs' being constrained by the
offline analogues of belief revision postulates governing our
conditional beliefs. From a functionalist point of view, GCIs can thus
be seen as a composition of two functions: one establishing the output
of the imaginative episode given a voluntary input, and the other
generating a disposition given a whole imaginative episode.

 

 

 

 

News

  • Jonathan Phillips


     

    [CANCELLED] Jonathan Phillips (Dartmouth) on Now we know what not to think

     

    LoC-DIP seminar session: Wednesday, March 11, 16:00- 17.30, at F1.15 @ ILLC

  • Heinrich Wansing and Christopher Badura


    Heinrich Wansing (Bochum) on Substructural negations as normal modal operators and 

    and Christopher Badura (Bochum) on Conditional Belief and Imaginative Episodes

     

    LoC seminar: Wednesday, February 12, 10:00-15:00, at OTM 141, Faculteitskamer. 

  • Talk by Fabrizio Cariani


    Fabrizio Cariani (Northwestern) on Indirect Evidence and the Easy Foreknowledge Puzzle. LoC seminar: Tuesday, December 17, 2019, 16:00-18:00, at the ILLC.

  • Talk by Barbara Vetter (Berlin)


    Barbara Vetter on agency-based approach to modal knowledge. Joint LoC/LIRa session: Thu, November 14, 2019, 16.30-18.00 at the ILLC. 

  • Talk by Dominic Gregory (Sheffield)


    Dominic Gregory on counterfactuals and beliefs about possibility. LoC seminar: Wed, October 16, 2019, 10:00-12:00 in Oude Turfmarkt 141. 

  • Talk by Igor Douven (CNRS, Paris)


    Igor Douven on abductive conditionals and Inferentialism: LoC seminar: Wed, April 24, 2019, 16.30-18.00 at the ILLC.

  • Talk by Margot Strohminger (Oxford)


    Margot Strohminger on belief in conditionals: LoC seminar: Wed, March 20, 2019, 10 am-12am in  Oude Turfmarkt 141-143.

  • Talk by Bjørn Jespersen (Utrecht)


    Bjørn Jespersen on Fregean semantics: LoC seminar: Wed, Oct 31, 2018, 2 pm-4pm at the ILLC
  • Talk by Catarina Dutilh Novaes


    Catarina Dutilh Novaes on deduction and cognition: LoC seminar: Wed, Oct 3, 2018, 2pm-4pm at the ILLC

  • Franz to St Andrews!


    LoC's PI Franz moves to St Andrews, but the LoC work continues as before.

Events