Šis izskaidro, kāpēc man ne pirmo un ne otro reizi grib lekt līdz griestiem, kad Tu piesauc formālo loģiku. Manā visumā tikai otrā teikuma A atrastos kategorijā "pretrunā ar formālo loģiku", un arī te neredzu, kā tieši kāds būtu pierādījis pirmā teikuma A neiespējamību.

Piekrītu, ka neprecīzajām zinātnēm arī ir nepieciešami kaut kādi spriešanas principi, lai vispār kustētos uz priekšu, bet tas ļoooti maldina visus neiesaistītos, ja kāds šos prinipus sāk saukt par formālo loģiku.