Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
Hughes I 65
System/Teil/Hughes/Cresswell/(s): Teile von Formeln sind nicht selbst schon Teile des Systems, zu dem die Formeln gehören.((s) Anderswo: p kann niemals ein Axiom sein, da sonst alle Sätze wahr wären.)
Hughes I 237
Nicht-reguläre Systeme/Modallogik/Hughes/Cresswell: Nicht-reguläre Systeme können Formeln der Form
p . ~ p
enthalten.
Wo die Tilgung der Modaloperatoren einfach p ergibt, Bsp Systeme mit z.B. C 13 MMp - "keine Aussage ist notwendigerweise notwendig".
>Modaloperatoren, >Tilgung.
Aus MMp wird einfach
p - p . ~p.
I 243
>"nicht-normale Welten"/Kripke: (hier auch mit 0 bewertet).
I 258
Def regulär: ist ein System, in dem der modale Status aufrechterhalten wird.
>Modalitäten.
Hughes I 238
Nicht-reguläre Systeme/Modallogik/Hughes/Cresswell: Problem: in S1 - S3 sind weder a noch b selbst eine These. - Sie haben auch keine gemeinsame Variable.
Problem im Fall von (a v b): a v b könnte gültig sein, während weder a noch b gültig wäre.
Lösung/Halldén: "Normale Interpretation": Hier ist entweder a oder b gültig, es gilt jedoch weder I-a noch I- b.
Also gibt es gültige Formeln, die keine Thesen (Theoreme) sind.
>Theoreme, >Logik, >Formeln.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.