25106

8.    Jeśli logika formalna jest jedynym rodzajem logiki, to jeśli rozważania etyczne nie nadają się do formalizacji, to rozważania etyczne nie podlegają żadnym rygorom logicznym. Jednak nie jest prawdą, że logika formalna jest jedynym rodzajem logiki, bądź nie jest prawdą, że rozważania etyczne nie nadają się do formalizacji. A zatem nie jest prawdą, że rozważania etyczne nie podlegają żadnym rygorom logicznym.

9.    Jeśli logika jest jedna, to nie może istnieć logika prawnicza jako odmienny rodzaj logiki. Jeśli jednak nie jest prawdą, że logika jest jedna, to może i śmieć logika prawnicza jako odmienny rodzaj logiki. Zatem logika jest jedna, bądź nie jest prawdą, że nie może istnieć logika prawnicza jako odmienny rodzaj logiki.

10.    Skoro sędziowie stosuję wyłącznie „ literę prawa”, to wydając wyroki nie odwołują się do innych systemów normatywnych. Podstawą wyroku jest tylko prawo pozytywne. A zatem, jeśli sędziowie wydając wyroki odwołują się do innych systemów normatywnych, to podstawą wyroku nie jest tylko prawo pozytywne.

11.    Jeżeli matematyka jest nauką empiryczną, to doświadczenie może obalić jej twierdzenia i matematyka znajduje zastosowanie w technice. Jednak doświadczenie nie może obalić twierdzeń matematyki, ale matematyka znajduje zastosowanie w technice. Zatem matematyka nie jest nauką empiryczną.

12.    Jeżeli matematyka jest nauką empiryczną, to doświadczenie może obalić jej twierdzenia i matematyka znajduje zastosowanie w technice. Jednak albo nieprawda, że doświadczenie może obalić twierdzenia matematyki, albo nieprawda, że matematyka znajduje zastosowanie w technice. Zatem jeśli matematyka znajduje zastosowanie w technice, ale doświadczenie nie może obalić jej twierdzeń, to matematyka nie jest nauką empiryczną.

13.    Albo szczęście jest czymś obiektywnym, albo szczęście jest czymś subiektywnym Jeśli szczęście jest czymś subiektywnym, to nie ma uniwersalnych przepisów na jego osiągnięcie; a jeśli szczęście jest czymś obiektywnym, to można ustalić powszechnie ważne przepisy na bycie szczęśliwym A zatem jeśli szczęście nie jest czymś obiektywnym, to nie ma uniwersalnych przepisów na jego osiągnięcie.

14.    Jeśli Jan jest przyjacielem Kasi, a Kasia przyjaciółką Ani, to z tego wynika, że jeśli prawdą jest, że przyjaciel mojego przyjaciela jest moim przyjacielem, to Jan jest przyjacielem Ani. Lecz nie jest prawdą, że przyjaciel mojego przyjaciela jest moim przyjacielem Zatem jeśli Jan jest przyjacielem Kasi lub Kasia przyjaciółką Ani, to Jan nie jest przyjacielem Ani.

15.    Jeśli Sokrates mówił „wiem, że nic nie wiem” i jeśli mędrcy zawsze mówią prawdę, to Sokrates nic nie wiedział. Jednak nie jest prawdą, że Sokrates nic nie wiedział. Zatem jeśli Sokrates mówił „ wiem, że nic nie wiem”, to nie jest prawdą, że nic nie wiedział.

16.    Jeżeli żadne zdanie nie jest prawdziwe, to nie jest także prawdziwe zdanie poprzednie. Jeśli zaś ono nie jest prawdziwe, to nieprawda, że żadne zdanie nie jest prawdziwe. Tak więc nieprawdą jest, że żadne zdanie nie jest prawdziwe.

2