Logik und Argumentation: Grundlagen, formale und informelle Logik

1. Logik und Gegenstand

Begründung

Begründung (QE) ist der Prozess, der es uns ermöglicht, neue Erkenntnisse aus anderen zu gewinnen. Beispiel: <Avui Tage vor magnific>, <la Gras mullada> -> <avui ist ein herrlicher Tag und das Gras ist mullada> -> tant, neue coneximent <By jemand regat>.

Raonamnt

Beziehung zwischen QE propos entfernt 1 Schlussfolgerung.

Logik

Aber kann passieren Sie das Gras ist nass, aber aus einem anderen Grund 1: <els meine Brüder haben einen Krieg Ballon d'aigua>. Logic beschäftigt sich mit bestimmten Daten zu sichern, denn wenn wir die Wahrheit zu gewährleisten wollen die Schlussfolgerung, die wir beziehen sich diese Daten geeignet ist, dh, logisches Denken correctament.La als die philosophische Disziplin, die Studien die Korrektur oder die Gültigkeit der Argumentation.

Jede Folgerung (Begründung) besteht aus:

Lokale

Eine Reihe von Aussagen express yourself QE Daten, die Strömung partim.Ex: Der Dieb Mo. Käse ist eine Katze oder Ratolí. / Die Spuren ke dmostren keine Maus.

Fazit

Schlussabrechnung q drückt die neuen Infos von prtir der premisses.Ex: Der Dieb Mo. Käse ist eine Katze.

Abzug

Consistex Übertragung von Immobilien zu einem Abschluss weniger allgemein general.Quan Akester Typinferenz richtig ist, ist die Schlussfolgerung abgeleitet necesariament der Räumlichkeiten: Es ist unmöglich, wenn k Akester erfüllt sind, die Konklusion falsch ist.

Induktion

Erreichen eine allgemeine Schlussfolgerung aus den allgemeinen weniger info Qe sind auf dem Gelände.

Abschließend Abzug die notwendigerweise aus den Betrieben, bei der Induktion und Tans nur vor Ort, um eine gewisse Wahrscheinlichkeit sprechen, denn die Wahrheit der Prämissen nicht k ke sorgt für die endgültige Entscheidung ist sich selbst treu.

Die Gültigkeit Mo. raonmnts

Spreche nicht über die wirklichen Gründe, sondern Begründung richtig oder gültig, Esad, der raonmnts kann nicht wahr oder falsch sein, da que keinen Anspruch noch dementieren nichts. Die Fairness Mo. snostres raonmnts ist ein wichtiger rekisit x vertaderes.Tanmateix nicht ausreichen, um Schlussfolgerungen zu ziehen, x Sterne sicher die Wahrheit über den Abschluss sollte sowohl von zwei Bedingungen geben: Mo raonamnt die Fairness und die Wahrheit der Prämissen.

Logic beschäftigt sich mit der Gültigkeit der exclusivamnt DLS raonmnts. Die Wahrheit liegt in den Räumlichkeiten der anderen Disziplinen.

Unterschiede zwischen Wahrheit und Gültigkeit

Die Räumlichkeiten und den Abschluss als echt oder gefälscht QE werden kann, ist diese Argumentation nicht wahr oder falsch, gültig oder nicht, sondern beziehen sich valid.es gültig, wenn die Lokale mit dem Abschluss. Die Prämisse wahr ist oder nicht, er nähert sich der Realität.

2. Die informelle Logik

Beide informellen und formalen Logik zielt darauf ab, die Gültigkeit der Notro raonaments.Tanmateix sie von difrnts Gesichtspunkte bringen zu studieren.

Formale Logik

Konzentriert sich ausschließlich festzustellen, ob die Argumente gut gebaut oder no.Analitza Beziehungen q mantene den Betrieben und den Abschluss (raonamnt Struktur), nicht ncesita Mo. ocuparse Sinne des Lokals und den Abschluss.

Die Logik des informellen

Angebote Facts q tnen nichts mit forma.Per bestimmen die Gültigkeit von 1 raonmnt konzentriert sich auf Fragen nichts mit der Struktur: Wenn die Räumlichkeiten geeignet sind oder nicht, ob die Daten .. Fragen geschlossen rechtfertigen nicht-formale.

Die Studie der großen Irrtümer asumpte + x logica informelle (invalid raonmnts)

Formale Irrtümer

Die Studie der formalen Logik, sind consekuencia XK incomplimnt einige der Steuerrechts.

Informelles Irrtümer

Logische Studien informellen XK nicht auf formale Aspekte ab, sondern der Inhalt der Fragen im Zusammenhang mab, elsignificat ...

3. Die Sprache der formalen Logik

Natürliche Sprache

Die Verwendung diariamnt q, sind das Ergebnis der Veränderungen erlitten q Sprachen, die kommen, um seiner derzeitigen Form zu erreichen, hat nichts nicht speziell dafür geschaffenen cntnen viele ekívocs Modalitäten, Regeln mit Ausnahmen sintàctikes . q Das verursacht den Sprachen der aktuellen stiguin plnes und ambgüitats Ungenauigkeiten.

Die Sprache der Logik und Mathematik sind künstliche

Xqe sha conscienmnt Dissens wurde behoben, und amiguita Ungenauigkeit der natürlichen Sprache. Akester formal sein + (q ist der Unterschied zwischen der Logik der lenguatge andere als die ehemalige Morse.) XK ist alles gibt es eine formale Reihe von genauen und strengen: Sowohl das Vokabular und die richtige Form Phrasen rgles x). Symbole sein Wortschatz ist nicht dazu gedacht tnen (p, A, T, r.). difrncia DLS Mo. Vokabular Zeichen sagen nichts llngua natural.No sbre der Welt.

4. Die Logik Aussagen

Statements atomaren einfach

Sie können nicht in anderen Erklärungen zu brechen, kann in Subjekt und Prädikat, nicht enthalten xro zerlegt werden + Kinder.

Statements oder molekularen Komplexes

Sie können in einfache Aussagen zerlegt werden.

Die Symbole der Logik enthalten

Logische Symbole

Variablen

Kleinbuchstaben (p, q, r, s, t) x Aussagen zu ersetzen. Snomnen Variablen ersetzt xqe erklärte bestimmten Grund qpoden variieren von 1 bis 1 von altre.Substiucio piq Aussagen 1altre raonmnt noch difrnt.2valors Inhalt der Wahrheit oder Falschheit vrtader = V/Fo1/0.

Auxiliary-Symbole

Halterungen und Klammern verwendet werden, x q das Lesen zu vereinfachen und das Verständnis für einige komplexe Anweisungen. Grcies zu akstos pdem SBER s, was die dominante Beziehung kann festgestellt werden, interptar q divrses Weise. Allgemeine Regel -> k werden die wichtigsten im Zusammenhang kedi außerhalb Unterbrechung Mo, ix oben Kesten, k außerhalb der Klammern MO

SIGNS Logiken

Q erlauben uns Akella Partikel werden von der molekularen enthalten einfache Anweisungen gebildet:

Leugner (¬)

X dient dazu, etwaige enunciat.Es leugne nicht, mit der natürlichen llanguatge entsprechen. <Nicht Plou> = ¬ p.

Connectiva

X srveixen beizutreten oder verbinden und einfache Aussagen zu relacionants moleculars.Ekivalen Mo. natural.4tipus Sprache:

• Konjunktion (): + oder-in Verbindung
• Disjunktion (): <o>
• bedingte (?) im Zusammenhang bedingte <si...aleshores>
• Bicondicional (?): <, ob und nur, wenn> Mo natürlicher Sprache.