# 192.094 Refutation Systems Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2023W 2022W 2020W 2019W

2023W, VO, 2.0h, 3.0EC, wird geblockt abgehalten

## Merkmale

• Semesterwochenstunden: 2.0
• ECTS: 3.0
• Typ: VO Vorlesung
• Format der Abhaltung: Präsenz

## Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

• unterschiedliche Systeme zur logischen Verwerfung zu benennen und zu erläutern,
• Methoden und Techniken für eine vorgegebene Aufgabenstellung zielgerichtet auszuwählen, sowie
• Lösungen und Formalismen kritisch zu bewerten.

## Inhalt der Lehrveranstaltung

The course deals with systems for the axiomatic rejection of propositions, i.e., with proof systems which characterise the invalid formulas of a logic. Rejection systems, also called refutation systems,  therefore axiomatise the complement of the valid formulas of a given logic and in this sense they are also often referred to as complementary calculi. Thus, in a formal derivation in a complementary calculus, invalid statements are deduced from other invalid statements.

The first mention of the term rejection in modern logic was done by Jan Lukasiewicz in 1920 and he subsequently developed the first axiomatic rejection system in the context of his study on Aristotelian syllogistic.

In this course, we will discuss rejection calculi for different logics, like classical logic, many-valued logics, modal logics, etc. Moreover, we also discuss the concept of an anti-consequence operator,  as introduced by Lukasiewicz's student Jerzy Slupecki and subsequently studied, e.g., also together with Grzegorz Bryll and Urszula Wybraniec-Skardowska, all well-known researchers from the famous Lvov-Warsaw school of logic. Finally, we also discuss applications of rejection systems for nonmonotonic logics.

Frontal lecture.

Mündlich

## Weitere Informationen

Attention:

• No lecture October 11!

ECTS breakdown: 3 ECTS = 75 hours

• Lecture 24h
• Lecture introduction 0.5h
• Preparation for exam 50h
• Oral exam 0.5h

## LVA Termine

TagZeitDatumOrtBeschreibung
Mi.16:00 - 18:0004.10.2023 - 24.01.2024EI 3A Hörsaal Vorlesung
Mi.18:00 - 19:0004.10.2023 - 20.12.2023EI 3A Hörsaal Vorlesung
Refutation Systems - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.04.10.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.04.10.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.11.10.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.11.10.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.18.10.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.18.10.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.25.10.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.25.10.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.08.11.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.08.11.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.22.11.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.22.11.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.29.11.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.29.11.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.06.12.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.06.12.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.13.12.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.13.12.202318:00 - 19:00EI 3A Hörsaal Vorlesung
Mi.20.12.202316:00 - 18:00EI 3A Hörsaal Vorlesung
Mi.20.12.202318:00 - 19:00EI 3A Hörsaal Vorlesung
LVA wird geblockt abgehalten

Oral exam.

## LVA-Anmeldung

Von Bis Abmeldung bis
12.08.2023 08:00 04.01.2024 23:55 04.01.2024 23:55

## Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 931 Logic and Computation Gebundenes Wahlfach

## Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Englisch