Hallo Freunde,

da wir hier ja jede Menge schlaue Köpfe haben, möchte ich euch mal um Hilfe bitten.

Es geht um folgendes:

Ich hab in diesem Semester den "Grundkurs Sprachphilosophie" an der Uni belegt.
Dort lesen wir das Buch "Philosophy of Languages" von A. Miller
Wir sind noch im ersten Kapitel, wo es darum geht, die Sprache in eine logische Form zu bringen.

Bsp: ( A. Miller: Philosophy of Languages, S. 4 - 5)
( 7 ) Socrates is a man;
( 8 ) All men are mortal, therefore
( 9 ) Socrates is mortal.

m: Socrates
F: ... is a man
G: ... is mortal

Fm; (x) (Fx --> Gx), therefore, Gm

Und ich muss nun folgende Sätze in eine ähnliche logische Form bringen:

( A. Miller: Philosophy of Languages, S. 7)
(12) All horses are animals; therefore,
(13) All horses heads are animals' heads.

meine Lösungsvorschläge wären bis jetzt:



F: ... ist .... von ...
P: ist ein Pferd
K: ist ein Kopf
T: ist ein Tier

(z)(y)(x)(Px ’ Tx) ^ (Ty) ^ (Kz) ’ Fxyz

---------------------------------------------------------------------------------------------------------------------

(Wenn x ein Pferd ist, dann ist x ein Tier) (wenn x ein Pferd ist und y ein Kopf ist und y von x) dann ist y von x gleich y von Tier)

P: ... ist ein Pferd
T: ... ist ein Tier
K: ... ist ein Kopf
M: ... ist vom ...

(x)(y)(z) (Px ’ Tx) ’ ((Px ^ Ky ^ Tz ^ Myx) ’ Myz)

------------------------------------------------------------------------------------------------------------------

Wenn der Kopf ein Pfederkopf ist dann ist der Kopf ein Tierkopf

M: ... ist ... von ...
P: ist Pferd
T: ist ein Tier
K: ist ein Kopf

(x)(y)(z) ((Px ’ Tx) ^ Ky ^Tz ^ Myyx) ’ Myyz)


Hat jemand einen Vorschlag?? oder kann mir bestätigen, dass eine meiner Ideen richtig ist???

okay, ich denke ich erläutere euch mal die Zeichen
den diese Antwort ist schon vom System her falsch.

Wer antwortet sagt bitte auch, ob das rein spekulativ ist, oder ob er Erfahrung mit diesem logischen System hat ^^"
sonnst kann ich den Wert der Antworten ja garnicht entscheiden XD

(ich seh gerade, bei dem x, y und z fehlt jeweils etwas. da sollte eigentlich ein umgedrehtes A drinne stehen. aber das Forum akzeptiert das Symbol scheinbar nicht.

Also hier die Erläuterung der Zeichen:

--> / Wenn .... dann ....

^ / und

v / oder

- / nicht

E / es existiert ein (Variable) für das gilt: (das E ist eigentlich nach links gerichtet. das akzeptiert das Forum aber nicht)

A / für alle (Variable) gilt: (Das A ist eigentlich auf dem Kopf. das akzeptiert das Forum aber nicht)

m, n / damit werden logische Prädikate bezeichnet. (logische Prädikate sind z.B. "ist ein Pferd" oder "... ist Kopf von ..."

P, G, F / damit werden Eigennamen bezeichnet. (Eigennamen beziehen sich nur Auf Existente Dinge. Keine Objektiven Gruppen)

Es hängen immer ein logisches Prädikat und mindestens ein Eigenname zusammen.
logische prädikate können mehrere Stellen haben.

z.B.
M: ... ist zwischen ... und ...
d: Duisburg
e: Essen
g: Düsseldorf

dann wäre die logische Form: Mdeg

was hier besonders hilft ist die "diskrete Mathematik" die u.a. Informatiker oft als Kurs an der Uni belegen müssen.

Original von Redrum8

Original von Lupus
okay, ich denke ich erläutere euch mal die Zeichen
den diese Antwort ist schon vom System her falsch.

kann nicht sein zeig ma das buch

Ich würd ja gern XD hab das teil schon bestellt, aber da man es NUR vom Englischen verlag bekommt, hat das teil ne Lieferzeit von ca. 2 Wochen (das teil ist auch 100% auf englisch T_T )

Original von Redrum8

Wer antwortet sagt bitte auch, ob das rein spekulativ ist, oder ob er Erfahrung mit diesem logischen System hat ^^"
sonnst kann ich den Wert der Antworten ja garnicht entscheiden XD

Absolut 100%ig rein spekulativ

lol XD

Ich bring in jedem Fall meine Kopie vom Prof. mit.
Ist eine Ungemein spannende Sache, wenn man spaß am basteln mit Variablen und logiken hat

habe ich in dir etwa einen Informatiker gefunden, Redrum?

bin ex Informatik Student deswegen hab ich vermutlich so nen spaß an dem Zeug XD

jipi, das wäre echt nett, Endless nichmal mein Tutor kennt die Lösung dafür

Wenn die beide Dr. Phil. sind, kennen die mit sicherheit das Buch Philosophy of Languages von Alexander Miller.
Ich mein, wir MÜSSEn die Lösung nicht wissen, aber mich narrt es ungemein, wenn ich soetwas nicht raus bekomm, wo es doch eigentlich nur auf logischen Grundsätzen beruht.

erstmal vielen Dank, für deinen versuch

aber ich muss den leider auseinander nehmen, weil der (wie meine vermutlich auch) total falsch ist.

Original von kathor

(Px ^ Ky--> Myx)

das würde heißen: "Wenn x ein Pferd ist und y ein Kopf, dann ist der Kopf von einem Pferd"

Ich mein, das ist zwar möglich, aber so ist es kein logischer Zusammenhang.
nur weil x ein Pferd ist und y ein Kopf, heißt es nicht, das der Kopf zwangsweise vom Pferd ist.
kann ja auch ein menschlicher Kopf sein.

d.h. du musst festlegen, dass der Kopf y vom Pferd ist.


Schade, Endless. Naja, dann muss halt mein Prof. dran glauben und mir eine Lösung nennen *gfg*

was du da sagst würde so aussehen:

---------------------------------

P: ist ein Pferd
K: hat einen Kopf
T: ist ein Tierkopf

(x) (Px ^ Kx) -> Tx

---------------------------------

so ungefähr richtig?

also
1. Fehler: wenn x ein Pferd ist und einen kopf hat, dann ist x immer noch ein Pferd und kein Tierkopf.

2. Fehler: zwischen der linken und der rechten Seite des Wenn-Dann-Pfeiles, besteht kein Zusammenhang auf Prädikat-Ebene.
Das ist wie die mathematische Formel -> yx + zx = tx
macht mathematisch null Sinn

Also irgendwie läuft dass gerade auf ein Raten eurer Seits und Fehler suchen meiner Seits herraus, anstatt auf Hilfe für mich, wie es ursprünglich gedacht war XDD

Aber ihr sehr, dass ist gar nicht so einfach