Gizon maskaratuaren falazia

Logika filosofikoan, gizon maskaratuaren falazia (konprentsiozko falazia edo falazia epistemikoa ere esaten zaio) Leibnizen legea argudio batean modu ez onargarrian erabiltzen denean egiten da. Leibnizen legeak ezartzen duenez, A eta B objektu bera badira, orduan A eta B bereizezinak dira (hau da, propietate berak dituzte). Modus tollens, horrek esan nahi du objektu batek propietate jakin bat badu, eta beste objektu batek propietate bera ez badu, bi objektuak ezin direla berdinak izan. Falazia "epistemikoa" da, objektu baten subjektua objektuarekin berarekin ezagutzearen arteko berehalako identitatea postulatzen baitu, Leibnizen legea konprentsio testuinguruen berri emateko gai ez dela onartu gabe.

Adibideak 
Falaziaren izena adibidetik dator:

 1. premisa: Badakit nor den Xabier.
 2. premisa: Ez dakit nor den maskaratutako gizona.
 Ondorioa: Beraz, Xabier ez da maskaradun gizona.

Premisak egiazkoak izan daitezke, eta ondorio faltsua, baldin eta Xabier maskaratutako gizona bada eta hizlariak ez badaki. Beraz, argumentua faltsua da.

Sinbolikoki, hauek dira argudio horiek:

 1. premisa: Badakit nor den X.
 2. premisa: Ez dakit nor den Y.
 Ondorioa: Beraz, X ez da Y.

Ohar bedi, hala ere, silogismo hori "I" hiztunaren arrazozinioan gertatzen dela; beraz, forma logiko modal formalean,

 1. premisa: Hizlariak uste du badakiela nor den X.
 2. premisa: Hizlariak uste du ez dakiela nor den Y.
 Ondorioa: Beraz, hizlariak uste du X ez dela Y.

1. premisa  oso indartsua da, logikoki honen baliokidea baita: . Oso litekeena da hori sineste faltsua izatea:  litekeena da proposamen faltsua izatea, proposamenari  buruzko ezjakintasunak ez baitakar hura ukatzea.

Beste adibide bat:

 1. premisa: Lois Lanek uste du Supermanek hegan egin dezakeela.
 2. premisa: Lois Lanek uste du Clark Kentek ezin duela hegan egin.
 Ondorioa: Beraz, Superman eta Clark Kent ez dira pertsona bera.

Logika doxastikoan adierazita, hau da aurreko silogismoa:

 1. premisa: 
 2. premisa: 
 Ondorioa: 

Aurreko arrazoibidea ez da tinkoa (egia ez gordetzea). Ondorio koherenteak izan behar du .

Antzeko argudio hau baliozkoa da:

 X Z da.
 Y ez da Z
 Beraz, X ez da Y

Hori baliozkoa da zerbait izatea ez delako jakintzaz (edo sinestea, etab.) bestelakoa. Inferentzia baliozkoak eta baliogabeak inferentzia formal baliogabea behatzean konpara daitezke:

 X Z da.
 Y Z da, edo Y ez da Z.
 Beraz, X ez da Y.

Ikus, gainera 

 Kaxa beltza
 Identitatearen iragankortasuna
 Metonimia

Erreferentziak

Kanpo estekak 

Falazia formalak