INSTITUT FÜR PHILOSOPHIE II
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 II
Universitätsstraße 150
D-44780 Bochum
Deutschland

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

 

 

 

Aktuelle Informationen

Sprechstunde nach Vereinbarung

 

Veranstaltungen

  Veranstaltung Raum/Zeit Materialien
 Ss 18
 Mengenlehre für Philosophen
 GABF 04/358 Di 16-18 Uhr  
 Ss 18
 Strukturelle Beweistheorie
 Uni Leipzig 14.06. - 17.06.  
       

 

 

 

Ü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. (2016): More modal semantics without possible worlds. IfCoLog Journal of Logics and their Applications, 3,(5):815-846. [pdf]

2017

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

2018

  • Skurt, D. (2017): Bi-intuitionistic implication structures. Journal of Applied Non-Classical Logic. Online first [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
  • Wansing, H., Skurt, D. (2018): Negation as cancellation, connexive logic, and pLPm. Erscheint in: Australasian Journal of Logic

 

 

 

Vorträge

  • "Operatoren und Akkorde - eine musikologische Beschreibung", Workshop Darstellungsformen von Musik, Bild und Text, Leipzig, Juni 2012
  • "Suszko-Reduzierte Logiken", Kolloquium Logik und Erkenntnistheorie, Bochum, Januar 2013
  • "Suszko-reduced logics and truth-functionality", 4th UniLog, Rio de Janeiro, April 2013
  • "Inconsistencies in Non-Monotonic Contexts", Workshop Logical Consequence and Paradox, Bochum, Dezember 2013
  • "Nichtmonotones Parakonsistentes Schließen", Leipzig, Januar 2014
  • "Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic", 5th World Congress on Paraconsistency, Kolkata, Februar 2014
  • "A Chord Calculus", 1. International Conference Logic of Music - Musical Logic, Cottbus, Juni 2014
  • "More modal semantics without possible worlds", Kolloquium Logik und Erkenntnistheorie, Bochum, Oktober 2014
  • "Paracomplistent Circumscription", Kolloquium Logik und Erkenntnistheorie, Bochum, November 2014
  • "Paracomplistent Circumscription", Seminaire interuniversitaire de recherche, Namur, Februar 2015
  • "Paracomplistent Circumscription", Colloquium at CUNY, New York, März 2015
  • "Beyond Arnold Koslow's Implication Relation", Workshop "Logic in Bochum I", Bochum, Juni 2015
  • "Dualizing q-consequence operations", 5th World Congress on Universal Logic, Istanbul, Juni 2015
  • "Non-monotonic implication relations", Kolloquium Logik und Erkenntnistheorie, Bochum, Februar 2016
  • "Non-Monotonic Operators", XXI Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, Mai 2016
  • "Operators in Non-Monotonic Systems", Workshop "Logic in Bochum II", Raesfeld, Juni 2016
  • "A survey on Kearns' modal semantics without possible worlds", AIML 2016, Budapest, August 2016
  • "Paraconsistency from a structural point of view", Kyoto Workshop on Dialetheism and Paraconsistency, Kyoto, Oktober 2016
  • "Paraconsistency and Implication Relations", Kolloquium Logik und Erkenntnistheorie, Bochum, Januar 2017
  • "Something about Partial Algebras", Kolloquium Logik und Erkenntnistheorie, Bochum, Juli 2017
  • "Beyond Kearns Semantics without Possible Worlds", Kolloquium Logik, Tübingen, Oktober 2017
  • "Primitive Connectives Matter in Non-Deterministic Semantics", Kolloquium Logik und Erkenntnistheorie, Bochum, Januar 2018