INSTITUT FÜR PHILOSOPHIE I
LOGIK UND ERKENNTNISTHEORIE

"If… she… weighs… the same as a duck,… she’s made of wood."

 

      
  

KONTAKT

DANIEL SKURT       

Ruhr-Universität Bochum
Institut für Philosophie I
Universitätsstraße 150
D-44780 Bochum
Deutschland

Raum GA 3/156
+49-234-32-22714
vorname[dot]
nachname[at]rub.de

 

 

 

Aktuelle Informationen

Workshop Logic in Bochum 19. - 21. Oktober 2018

Sprechstunde nach Vereinbarung

 

Veranstaltungen

  Veranstaltung Raum/Zeit
 Ws18/19
 Beweistheorie für Philosophen
 GABF 04/358 Di 16 - 18 Uhr
 Ws18/19
 Übung Grundzüge der Logik
 Mo 16 - 18 Uhr
     

 

 

 

Über mich

  • Seit 2013 Wissenschaftlicher Mitarbeiter bei Heinrich Wansing
  • Dr. phil. in Logik 2017, Ruhr-Universität Bochum
  • M.A. in Logik, 2012, Universität Leipzig
  • Dipl.-Ing. in Elektrotechnik, 2007, TU Chemnitz

CV

 

 

 

 Forschungsinteressen

  • Implikationsstrukturen und partielle Algebren
  • Nicht-deterministische Semantiken für Modallogiken

 

 

 

Projekte

  • FDE-based modal logics (DFG Projekt)

 

 

 

Publikationen

2016

  • Omori, H., Skurt, D.: More modal semantics without possible worlds. IfCoLog Journal of Logics and their Applications, 3,(5):815-846. [pdf]

2017

  • Skurt, D.: FDE Circumscription. The Australasian Journal of Logic. 2,(14):326-355. [pdf]
  • Skurt, D.: A note on Two's company: "The humbug of many logical values". Logica Universalis. 3,(11):401-407 [pdf]

2018

  • Skurt, D.: Bi-intuitionistic implication structures. Journal of Applied Non-Classical Logic. Online first [pdf]
  • Wansing, H., Skurt, D.: Negation as cancellation, connexive logic, and pLPm. The Australasian Journal of Logic. 2,(15): 476-488. [pdf]

Eingereicht

  • Wansing, H., Skurt, D. (2017): On non-transitive 'identity'. Erscheint in: C. Baskent and T.M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer

In Vorbereitung

  • Odintsov, S., Skurt, D., Wansing, H. (2018): Logical Connectives for some FDE-based Modal Logics
  • Omori, H., Skurt, D.: A note on the Modal Logic K with a primitive possibility operator