Logik an der Universität Erfurt

Karteikarten und Zusammenfassungen für Logik im Lehramt Berufsbildende Schulen Studiengang an der Universität Erfurt in Erfurt

CitySTADT: Erfurt

CountryLAND: Deutschland

Kommilitonen im Kurs Logik an der Universität Erfurt erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp.

Schaue jetzt auf StudySmarter nach, welche Lernmaterialien bereits für deine Kurse von deinen Kommilitonen erstellt wurden. Los geht’s!

Kommilitonen im Kurs Logik an der Universität Erfurt erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp.

Schaue jetzt auf StudySmarter nach, welche Lernmaterialien bereits für deine Kurse von deinen Kommilitonen erstellt wurden. Los geht’s!

Lerne jetzt mit Karteikarten und Zusammenfassungen für den Kurs Logik an der Universität Erfurt.

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Epistemologie vs. Ontologie

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

klassische Paradoxien der Implikationen

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Korrektheit einer Logik

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Was heißt „die Verknüpfung zweier Aussagen ist extensional“?

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Was ist eine Kontradiktion?

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Was bedeutet „Zweiwertigkeit der Aussagenlogik“?

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

„Logik ist die Schule des Denkens“

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Semantisch und synthaktisch gültig

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Was bedeutet „syntaktisch gültig“?

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Was ist Logik?

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Wann ist eine Aussage logisch wahr, logisch falsch oder kontingent?

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Definieren Sie: Entscheidbarkeit einer Logik.

Beispielhafte Karteikarten für Logik an der Universität Erfurt auf StudySmarter:

Logik

Epistemologie vs. Ontologie

Epistemologie = Erkenntnistheorie („Wir sind so verkabelt, darum sind wir so.“)

Ontologie = Sein als solches, ohne sich damit auseinanderzusetzen, zielt mehr auf notwendige Zusammenhänge

Logik

klassische Paradoxien der Implikationen

– ex falso quod libet: aus etwas falschem kann man schließen, worauf immer man will.

– verum ex quod libet: ist der Hintersatz wahr, ist der Vordersatz auch wahr. –> Man kan von allem was man will auf etwas wahres schließen

Logik

Korrektheit einer Logik

Jeder beweisbare Schluss muss logisch gültig sein. Ich kann nichts beweisen, das semantisch ungültig ist. 

Logik

Was heißt „die Verknüpfung zweier Aussagen ist extensional“?

Der Wahrheitswert der Verknüpfung hängt nur von den Wahrheitswerten der einzelnen Aussagen ab. –> „und.“

intensional: „weil“

Logik

Was ist eine Kontradiktion?

Eine aussagenlogische Formel, die unter allen Interpretationen falsch ist.

Logik

Was bedeutet „Zweiwertigkeit der Aussagenlogik“?

Es gibt nur zwei mögliche Wahrheitswerte. Wahr oder falsch.

Logik

„Logik ist die Schule des Denkens“

-?

Logik

Semantisch und synthaktisch gültig

Semantisch: Konklusion folgt logisch aus den Prämissen. Zum Beispiel Ergebnis bei Wahrheitstafeln. 

Synthaktisch: Konklusion ist aus den Prämissen ableitbar. Ergebnis nach Beweis.

Alles was semantisch gültig ist, ist auch synthaktisch gültig. Ist es ableitbar, folgt es auch logisch aus den Prämissen.

Misslingt aber der Versuch des Ableitens, kann es sein, dass es ungültig ist oder dass ich einen Fehler gemacht habe. 

Logik

Was bedeutet „syntaktisch gültig“?

mit Hilfe der Schlussregeln ableitbar

Logik

Was ist Logik?

– Einem rationalen Maßstab entsprechend zu argumentieren

– Überzeugungen überprüfen –> Aber wie rechtfertigt man eine Überzeugung?

– Logik hat ein Begründungsproblem, sie hängt mit etwas zusammen, das per se nicht Teil der Logik ist (z.B. Sprache, Kultur,…)

Logik

Wann ist eine Aussage logisch wahr, logisch falsch oder kontingent?

Logisch wahr: unter allen Interpretationen Wahrheitswert w→Tautologie

Logisch falsch: unter allen Interpretationen Wahrheitswert f→Kontradiktion

Kontingent: sowohl Wahrheitswert w als auch f kommt vor

Logik

Definieren Sie: Entscheidbarkeit einer Logik.

Wenn eine aus elementaren Rechenschritten bestehende Methode existiert, mit der für jede beliebige Aussage nach einer endlichen Zahl von Schritten herausgefunden werden kann, ob sie logisch wahr ist oder nicht.

Auch komplexe Probleme lassen sich mit dieser Methode lösen. 

Gradient

Melde dich jetzt kostenfrei an um alle Karteikarten und Zusammenfassungen für Logik an der Universität Erfurt zu sehen

Singup Image Singup Image

Andere Kurse aus deinem Studiengang

Für deinen Studiengang Lehramt Berufsbildende Schulen an der Universität Erfurt gibt es bereits viele Kurse auf StudySmarter, denen du beitreten kannst. Karteikarten, Zusammenfassungen und vieles mehr warten auf dich.

Zurück zur Universität Erfurt Übersichtsseite

Was ist StudySmarter?

Was ist StudySmarter?

StudySmarter ist eine intelligente Lernapp für Studenten. Mit StudySmarter kannst du dir effizient und spielerisch Karteikarten, Zusammenfassungen, Mind-Maps, Lernpläne und mehr erstellen. Erstelle deine eigenen Karteikarten z.B. für Logik an der Universität Erfurt oder greife auf tausende Lernmaterialien deiner Kommilitonen zu. Egal, ob an deiner Uni oder an anderen Universitäten. Hunderttausende Studierende bereiten sich mit StudySmarter effizient auf ihre Klausuren vor. Erhältlich auf Web, Android & iOS. Komplett kostenfrei. Keine Haken.

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

StudySmarter Tools

Individueller Lernplan

StudySmarter erstellt dir einen individuellen Lernplan, abgestimmt auf deinen Lerntyp.

Erstelle Karteikarten

Erstelle dir Karteikarten mit Hilfe der Screenshot-, und Markierfunktion, direkt aus deinen Inhalten.

Erstelle Zusammenfassungen

Markiere die wichtigsten Passagen in deinen Dokumenten und bekomme deine Zusammenfassung.

Lerne alleine oder im Team

StudySmarter findet deine Lerngruppe automatisch. Teile deine Lerninhalte mit Freunden und erhalte Antworten auf deine Fragen.

Statistiken und Feedback

Behalte immer den Überblick über deinen Lernfortschritt. StudySmarter führt dich zur Traumnote.

1

Lernplan

2

Karteikarten

3

Zusammenfassungen

4

Teamwork

5

Feedback

Nichts für dich dabei?

Kein Problem! Melde dich kostenfrei auf StudySmarter an und erstelle deine individuellen Karteikarten und Zusammenfassungen für deinen Kurs Logik an der Universität Erfurt - so schnell und effizient wie noch nie zuvor.