Formális tévedés

Gondolkodom, tehát vagyok
Logika és retorika
Ikon logic.svg
Főbb cikkek
Általános logika
Rossz logika
Nem tévesztendő össze nem következik - amikor egy érvelés érvényes lehet, de a következtetés nem következik a gyenge premisszák miatt.

NAK NEK formális tévedés egy logikus tévedés amely megsérti a propozíciós számítás egy bizonyos szabályát, mint pl A határ tétele . Ezeket a tévedéseket érvénytelennek lehet megállapítani pusztán az érvelés formájának vagy felépítésének vizsgálatával - a formális tévedés lényegében valamifélenem következik. Ez nem feltétlenül jelenti azt, hogy a következtetés igenrossz, de ez azt jelenti, hogy jobb következtetésre vagy érvre lesz szükségünk a következtetés levezetéséhez.


A hivatalos tévedések propozíciós, mennyiségi, szillogisztikai , modális vagy tévedés tévedés .

Tartalom

Példák

Például, tekintettel a következők szillogizmusára:


P1: X jelentése Y.
P2: Y azt jelenti, hogy Z.
C: X ezért Z.

Nem számít, mi X, Y és Zvalójában azok. Ha az állítás X, Y vagy Z tartalma miatt helytelen, akkor egy informális tévedés , nem hivatalos tévedés, mert a logika beválik. A különbséget gyakran nehéz észrevenni, mert problémáink lehetnek az érvelés tartalmának a formájától való elválasztásával.

Vegye figyelembe a következő javaslatot:

P1: Néhány férfi orvos.
P2: Néhány orvos magas.
C: Ezért néhány férfi magas.

Vannak, akik erre válaszul azonnal igent akarnak mondani, és helyesnek tartják a javaslatot, mert a valóság ezt tükrözi. Ez azonban valójában egy következtetés, azon túl, amit a logikai felépítés lehetővé tesz számunkra, ami akár néhány férfiakik orvosokmagasak vagy hogy néhány magas férfiorvosok, mivel az orvosok magassága és neme külön tulajdonság; sem az érvet nem tenné érvényesebbé, mint a másik, mivel van egy Fantom megkülönböztetés a két megfogalmazás között, mivel a III. mód vagy az IEE elosztatlan közepe van, bár lehetséges következtetést vonhat le. Mondván, hogy „néhány férfi magas”, vagy technikailag akár ez isnéhány férfi akik orvosok magasakvagy aznéhány magas férfi orvosok mivel az első két helyiség egyhivataloslogikus tévedés. Hogy miért így van, azt könnyebben ki lehet emelni, ha a „magas” szót más tulajdonságra cseréljük, például a „nők” kifejezéssel:



P1: Néhány férfi orvos.
P2: Néhány orvos nő.
C: Ezért néhány férfi nő.

Ez nem változtatja meg alogikai felépítésAz érvelés azonban könnyebben észrevehető, mert a tartalom nyilvánvalóbb abszurditássá változtatja, és még akkor is így lenne, ha a következtetés azon belül lenne, amit a logikai felépítés lehetővé tesz számunkra.


Formálisabban ez aznemérvényes következtetési szabály az állítmány-logikában:

 cfrac { létezik x (P (x)  és Q (x))  qquad  létezik x (Q (x)  és R (x))} { létezik x (P (x)  és R (x) ))}

míg ezvan:


 cfrac { létezik x (P (x)  és Q (x))  qquad  létezik x (Q (x)  és R (x))} { létezik x (P (x)  és Q (x) ) és R (x))}

mert az első és a másodikxkülönböző kötött változók.

Subfallacies

Lásd a témáról szóló fő cikket: Logikai tévedés § Formális