
* *
Ryszard Dziewulski
* *
Zanim zaczniemy o czymś mówić należy wyjaśnić O CZYM tak naprawdę mówimy. Pytanie elementarne – bez względu na to czego dotyczy – brzmi zawsze tak samo: CO TO JEST? Zwrot ‘CO TO JEST’ – jest pytaniem o definicję.
CO TO JEST LOGIKA?
Standardowa, podręcznikowa odpowiedź na to pytanie brzmi:
„LOGIKA jest nauką o poprawnym wnioskowaniu/rozumowaniu. Poprawne rozumowanie/wnioskowanie to takie, które podczas przekształceń językowych – od przesłanek do wniosku – zachowuje prawdę.”
Definicja ta jest błędna, gdyż nie podaje istoty przedmiotu symbolizowanego wyrazem ‘LOGIKA’ w elementarnym znaczeniu tego wyrazu. Aby to udowodnić, przywołam ustalenia Kazimierza Ajdukiewicza z książki ‘Zarys logiki’ (str. 29-47 – rozdz. I. §7 ‘Definicja’); będą one stanowić wstęp niniejszego opracowania (wyróżniony kolorem zielonym).
* *
WSTĘP
Definiowanie (formułowanie definicji) jest to podanie równoznacznika danego pojęcia.
Tak więc definicja – jest to równanie. Po lewej stronie równania umieszczamy definiendum (człon definiowany) po prawej definiens (jego równoznacznik; człon definiujący) a pomiędzy nimi – stawiamy znak równości (pod postacią zwrotu ”jest to”).
TO = CO
to – jest – co
Jeśli definiendum składa się tylko z definiowanego pojęcia – jest to tzw. definicja WYRAŹNA. Czasem trudno wyjaśnić dane pojęcie w oderwaniu od kontekstu, w którym zwykle ono występuje; wtedy w definicji podajemy równoznacznik całego zwrotu, w który uwikłane jest to pojęcie. (tzw. definicja KONTEKSTOWA)
ADEKWATNOŚĆ DEFINICJI
Najważniejszym warunkiem definicji jest ADEKWATNOŚĆ (aequus – równy; adaequatus – wyrównany). Definicja „A jest B” jest adekwatna, gdy każde A jest B i każde B jest A. Czyli: oba człony mają mieć ten sam zakres. Np.: Kwadrat jest to prostokąt równoboczny.
Jeśli ten postulat nie jest spełniony, mamy do czynienia z definicją:
– ZA SZEROKĄ (definiens ma zakres za szeroki) Np.: Kwadrat jest to czworobok równoboczny.
– ZA CIASNĄ (definiens ma zakres za wąski) Np.: Czworobok jest to prostokąt równoboczny.
Oba człony definicji nie mogą się też KRZYŻOWAĆ ani WYKLUCZAĆ.
BŁĘDY DEFINIOWANIA
A)idem per idem
Definiujemy to samo przez to samo (np. ‘kura jest to kura’)
B)ignotum per ignotum
Definiujemy niezrozumiałe przez niezrozumiałe (np. ‘myrmyłeć jest to puziaty mrymlać’)
C) Chwiejność znaczeń
Wyraz (pojęcie) o znaczeniu CHWIEJNYM to taki wyraz, który posiada kilka podobnych znaczeń. Błędy i nieporozumienia wynikają z mylenia znaczeń. Załóżmy, że przy jednym znaczeniu wyrazu, przedmiotowi nim oznaczonemu przysługuje jakaś cecha, a przy drugim znaczeniu – nie przysługuje. Mylenie znaczeń zachodzi wtedy, gdy – przy znaczeniu drugim – przypisujemy wyrazowi cechę przysługującą mu jedynie przy znaczeniu pierwszym.
Od chwiejności znaczeń uwalniamy się ustalając znaczenie wyrazu za pomocą definicji SYNTETYCZNEJ.
Nowe pojęcia w języku – definiowane czasem poprzez ustanowienia terminologiczne (nie są one ani prawdą, ani fałszem, czyli nie są zdaniami w sensie logicznym; są oświadczeniem woli o używaniu danej nazwy/pojęcia). Definicje mające oparcie w takich ustanowieniach terminologicznych to definicje SYNTETYCZNE (PROJEKTUJĄCE). Są one arbitralne (liberum arbitrium – wolna/swobodna decyzja).
STYLIZACJA DEFINICJI
Należy odróżnić, czy mówimy o danym wyrazie, czy o ‘przedmiocie’, który on symbolizuje (oznacza). Jeśli definicja dotyczy wyrazu – mowa o definicji w stylizacji JĘZYKOWEJ (semantycznej). Jeśli definicja dotyczy tego, co wyraz ten symbolizuje – mamy do czynienia ze stylizacją PRZEDMIOTOWĄ.
DEFINICJE REALNE
(definicje PRZEDMIOTÓW)
Definicje realne – są odpowiedziami na pytanie ‘co to jest …’
„Definicja realna jakiegoś przedmiotu jest to wszelka jego jednoznaczna charakterystyka, tzn. takie zdanie, w którym o tym przedmiocie stwierdza się coś takiego, co o jednym i tylko jednym przedmiocie może być wypowiedziane zgodnie z prawdą” /Ajdukiewicz/
Definicje realne są albo twierdzeniami definicyjnymi albo twierdzeniami rzeczowymi.
TWIERDZENIA DEFINICYJNE
Definicja realna przedmiotu symbolizowanego za pomocą wyrażenia o znaczeniu ustanowionym (tj. nadanym przez postanowienie) – jest TWIERDZENIEM DEFINICYJNYM, tj. zdaniem, którego prawdziwość jest zagwarantowana przez umowę terminologiczną. W takim wypadku nie wymaga osobnego uzasadnienia. Mówimy wtedy o TAUTOLOGII DEFINICYJNEJ; zachodzi ona wtedy, gdy definicja w stylizacji przedmiotowej znajduje swoją całkowitą gwarancję prawdziwości (adekwatności) w swoim ustanowieniu terminologicznym.
Np.
Metr jest to długość 1 / 10 000 000 ćwiartki południka ziemskiego.
Centymetr jest to setna część metra.
Kwadrat jest to prostokąt równoboczny.
Jeśli twierdzenie nie jest definicyjne (tj. nie daje się go wywieść z tautologii definicyjnej), to musi być twierdzeniem rzeczowym.
TWIERDZENIA RZECZOWE
Definicja realna przedmiotu symbolizowanego za pomocą wyrażenia o znaczeniu zwyczajowym (tj. nadanym przez zwyczaj językowy) – jest zawsze TWIERDZENIEM RZECZOWYM, wymagającym uzasadnienia (odwołania się do doświadczenia), czyli jednoznacznej charakterystyki utworzonej na gruncie pewnego słownika, tj. zbudowanej z wyrazów tego słownika.
Definicje wyrazów o znaczeniu zwyczajowym nazywamy SPRAWOZDAWCZYMI (ANALITYCZNYMI).
TRUDNOŚCI FORMUŁOWANIA
DEFINICJI REALNYCH;
‘ISTOTA RZECZY’
Znaczenia nadawane przez zwyczaj językowy dość często nie posiadają wyraźnie ustalonego zakresu. Z tego powodu definiowanie (ustalanie jednoznacznej charakterystyki) przedmiotów symbolizowanych wyrażeniami zwyczajowymi bywa kłopotliwe (np. definiowanie wyrażenia ‘młody człowiek’).
Aby naprawić tę trudność, stosujemy tzw. ustanowienia regulujące – mniej ostre od ustanowień terminologicznych, jednak zawężające zakres znaczeniowy wyrażenia.
Mówiąc o definicji realnej przedmiotu – mamy na myśli nie byle jaką jego jednoznaczną charakterystykę, ale tylko taką, która podaje ISTOTĘ tego przedmiotu.
Pojęcie ‘istoty rzeczy’ należy do pojęć filozoficznych. Po raz pierwszy pojęcia tego użył Arystoteles twierdząc, że istotę jakiegoś gatunku wyłuszczymy wtedy, gdy wskażemy dla tego gatunku zakres dla niego nadrzędny (rodzaj) i jakąś cechę, która w obrębie tego rodzaju wyróżnia przedmioty należące do tego gatunku od innych. (Definitio fit per genus proximum et differentiam specificam.) Definicje mające taką budowę nazywamy definicjami klasycznymi.
Dzisiaj nie wymagamy już od definicji realnych, aby miały postać definicji klasycznej, jednak wciąż oczekujemy, aby wyłuszczały one ISTOTĘ definiowanego przedmiotu: oczekujemy nie tylko jego charakterystyki jednoznacznej, ale też najbardziej istotnej – stanowiącej syntezę naszej wiedzy o nim.
KONIEC WSTĘPU
* *
Przypomnijmy standardową, powszechnie stosowaną definicję logiki:
„LOGIKA jest nauką o poprawnym wnioskowaniu/rozumowaniu.
Poprawne rozumowanie/wnioskowanie to takie, które podczas
przekształceń językowych – od przesłanek do wniosku – zachowuje prawdę.”
Definicja ta:
A. Nie jest adekwatna (jest za ciasna), ponieważ:
B. Nie uwzględnia chwiejności znaczeń wyrazu LOGIKA, przez co:
C. Nie jest twierdzeniem realnym odsłaniającym istotę definiowanego przedmiotu dla jego elementarnego, podstawowego znaczenia, a jedynie:
D. Jest twierdzeniem definicyjnym (tautologicznym) dotyczącym drugiego i trzeciego ze znaczeń, będących mniej istotnymi od znaczenia elementarnego.
Wyraz ‘LOGIKA’ jest wyrazem o znaczeniu chwiejnym (czyli takim, który ma więcej niż jedno znaczenie). W naszym przypadku ma on (co najmniej) trzy znaczenia, co oznacza, że mamy do czynienia z czterema różnymi elementami:
Elementem pierwszym jest sam wyraz ‘LOGIKA’ – (symbol / słowo / znak / oznaczenie) którym się posługujemy, aby nazwać = symbolizować trzy pozostałe elementy, czyli trzy znaczenia tego wyrazu:
1-wsze znaczenie: fenomen, o którego istotę pytamy
2-gie znaczenie: nazwa nauki, która powstała za przyczyną tego fenomenu
3-cie znaczenie: zakres zainteresowań tej nauki.
Mówiąc ‘LOGIKA jest nauką’ (’LOGIKA jest to nauka’) stwierdzamy, że istnieje nauka, na oznaczenie (nazwanie) której używamy wyrazu ‘LOGIKA’ (’LOGIKA jest to nazwa pewnej nauki’). Jest to definicja w stylizacji semantycznej (językowej), gdyż dotyczy wyrazu, a nie przedmiotu nim symbolizowanego.
Mówiąc ‘LOGIKA jest nauką o poprawnym wnioskowaniu/rozumowaniu’ – tylko pozornie formułujemy definicję klasyczną LOGIKI. Tu właśnie mamy do czynienia z chwiejnością i myleniem znaczeń 2-giego i 3-ciego z 1-wszym.
Jedynie na pozór ‘LOGIKA’ jest tu członem definiowanym w znaczeniu 1-wszym (fenomen; przedmiot), a człon definiujący ’nauka o poprawnym wnioskowaniu’ – na pozór jest definicją realną istoty tego przedmiotu (tj. definicją o budowie klasycznej, gdzie ‘nauka’ byłaby rodzajem, a ‘poprawne wnioskowanie’ – różnicą gatunkową).
Tymczasem wciąż pozostajemy na gruncie stylizacji semantycznej, gdyż – jak sami to kiedyś arbitralnie ustaliliśmy w ustanowieniu terminologicznym: ’LOGIKA jest to nazwa pewnej nauki’ – i tylko w tym znaczeniu (znaczeniu 2-gim) używamy w powyższej definicji symbolu ‘LOGIKA’.
Tak naprawdę mamy tu do czynienia jedynie z twierdzeniem definicyjnym dotyczącym pewnej nauki. Zakres zainteresowań tej nauki, a więc to, czym ta nauka się zajmuje (poprawność wnioskowania) – jest również arbitralnym oświadczeniem naszej woli. Oznacza to, że po obu stronach równania mamy dwa człony definicji, które wzajemnie znajdują swoją całkowitą gwarancję prawdziwości w naszych ustaleniach terminologicznych. Jest to więc tautologia.
Ostatecznie:
Definicja ‘LOGIKA jest nauką o poprawnym wnioskowaniu/rozumowaniu’ – w swym precyzyjnym zapisie brzmi następująco:
‘Nauka, którą nazywamy wyrazem ‘LOGIKA’ – jest nauką o poprawnym wnioskowaniu/rozumowaniu’.
Powyższa tautologią definicyjna jest syntetyczną definicją realną, której przedmiotem jest pewna nauka (znaczenie 2-gie: ‘LOGIKA” jest to nazwa pewnej nauki.) a członem definiującym zakres jej zainteresowań (znaczenie 3-cie: ‘LOGIKA’ jest to poprawne wnioskowanie.).
Definicje syntetyczne mają nas chronić przed chwiejnością znaczeń, jednak nie uchronią nas przed myleniem znaczeń, jeśli dla każdego ze znaczeń nie sformułujemy odrębnej definicji. Wciąż bowiem nie wiemy jaka jest definicja pierwszego ze znaczeń – definicja fenomenu, który nazywamy ‘LOGIKĄ’ – tego, który stał się przyczyną powołania pewnej nauki.
Druga część podręcznikowej definicji brzmi:
„Poprawne rozumowanie/wnioskowanie to takie, które podczas
przekształceń językowych – od przesłanek do wniosku – zachowuje prawdę.”
Jest to realna definicja wyrażenia ‘poprawność wnioskowania’, która ma wyjaśniać w jakim znaczeniu użyliśmy tego wyrażenia w definicji nauki o nazwie ‘LOGIKA’; definicja ta jest uzupełnieniem (doprecyzowaniem) definicji tej nauki.
‘Poprawność wnioskowania’ (podobnie jak sformułowanie ‘młody człowiek’) jest wyrażeniem zwyczajowym, a przedmioty symbolizowane takimi wyrażeniami często wymagają ustalenia jednoznacznej charakterystyki poprzez ustanowienia regulujące.
Jeśli wbudujemy powyższe ustanowienie regulujące dotyczące wyrażenia ‘poprawność wnioskowania’ w brzmienie definicji nauki otrzymamy:
‘Nauka, którą nazywamy wyrazem ‘LOGIKA’ – jest nauką o takim wnioskowaniu,
które zachowuje prawdę podczas przekształceń językowych od przesłanek do wniosku.’
Wyrażenia ‘wnioskowanie’, prawda’, ‘zachowywanie prawdy’, ‘przekształcenia językowe’, przesłanki’ i ‘wniosek’ – są nazwami przedmiotów stanowiących korpus narzędzi stosowanych przez naukę zwaną ‘LOGIKA’; właśnie z tego powodu, nieprzypadkowo, znalazły swoje miejsce w jej definicji.
Można by wnioskować, że skoro nauka, która powstała wyłącznie za przyczyną fenomenu o nazwie ‘LOGIKA’ (i która przejęła od niego nazwę) posiada swój przedmiot badań – to przedmiotem jej badań jest właśnie ów fenomen. Wtedy znaczenie 3-cie byłoby tożsame ze znaczeniem 1-wszym, tym elementarnym, a więc najgłębszą istotą fenomenu który mamy na myśli pytając: CO TO JEST LOGIKA?
Sformułowanie: ’LOGIKA jest to poprawne wnioskowanie’ nie wzbudza w nas sprzeciwu, gdyż jest to 3-cie, poprawne, znaczenie wyrazu ‘LOGIKA’ – znaczenie, które sami wybraliśmy oświadczeniem naszej woli, na zasadzie:
‘Przedmiotem badań nauki, którą nazywamy wyrazem ‘LOGIKA’ – jest poprawne wnioskowanie,
dlatego wyrazem ‘LOGIKA’ nazywać też będziemy poprawne wnioskowanie’.
Zakładanie, że fenomen o nazwie ‘LOGIKA’ jest tożsamy z przedmiotem badań nauki o nazwie ’LOGIKA’ – byłoby jednak myleniem znaczeń, gdyż definicja realna fenomenu nie może być twierdzeniem definicyjnym (nie wymagającym żadnego uzasadnienia). Musi być twierdzeniem rzeczowym UZASADNIONYM, a więc takim, które odwołuje się do jakiegoś doświadczenia.
Z drugiej strony, nie wydaje się możliwym, abyśmy – powołując do życia naukę i definiując jej przedmiot dociekań – całkowicie ominęli fenomen, który stał się przyczyną jej powstania. Istota tego fenomenu musi więc tkwić gdzieś w naszych ustanowieniach.
Poszukajmy różnicy pomiędzy istotą nauki i istotą fenomenu, zestawiając ze sobą następujące sformułowania:
wnioskowanie poprawne / wnioskowanie niepoprawne
wnioskowanie logiczne / wnioskowanie nielogiczne
Analiza powyższych wyrażeń nie tylko przybliża nas do zdefiniowania istoty fenomenu, a więc elementarnego znaczenia wyrazu ‘LOGIKA’ ale też skłania do nieznacznej modyfikacji definicji nauki o nazwie ‘LOGIKA’. Powinna ona brzmieć:
‘LOGIKA’ jest to nauka o poprawności wnioskowania.
Skoro bowiem wnioskowanie/rozumowanie może być i poprawne i niepoprawne, nie może istnieć nauka zajmująca się tylko jednym z nich. Istota nauki o wnioskowaniu musi mieć związek z oceną jego jakości; znaczenie wyrazu ‘poprawność’ wzbogaca definicję o element oceny jakości wnioskowania.
Jeśli cztery zestawione wcześniej wyrażenia zredukujemy o słowo ‘wnioskowanie’ (a więc o to, co ma związek jedynie z nauką o nazwie ‘LOGIKA’) – pozostanie sam fenomen, którego definicji poszukujemy.
poprawne/niepoprawne
logiczne/nielogiczne
Wyrażenia ‘logiczne’ używamy w znaczeniu ‘poprawne’, a ‘nielogiczne’ – w znaczeniu ‘niepoprawne’. Istota fenomenu logiki musi więc kryć się gdzieś w definicji poprawności. Jest to zgodne z ustaleniami Ajdukiewicza, który podkreślał, że niektóre, trudne do zdefiniowania pojęcia – „uwikłane są” niekiedy w całe zwroty, stanowiące wtedy tzw. definicje kontekstowe.
Przypomnijmy definicję poprawności wnioskowania:
„Poprawne rozumowanie/wnioskowanie to takie, które
podczas przekształceń językowych – od przesłanek do wniosku – zachowuje prawdę.”
I zredukujmy o elementy dotyczące wnioskowania, pozostawiając istotę:
„Poprawne (…) to takie, które (…) zachowuje prawdę.”
Skoro ‘poprawne’ ma dla nas to samo (adekwatne) znaczenie, co ‘logiczne’, więc i:
Logiczne to takie, które zachowuje prawdę. Stąd:
’LOGIKA’ jest to zachowywanie prawdy
Jest to definicja fenomenu, czyli symbolu ‘LOGIKA’ w jego elementarnym znaczeniu.
Podsumujmy:
Wyraz ‘LOGIKA’ symbolizuje trzy znaczenia:
1-wsze znaczenie: fenomen, o który pytamy w zapytaniu elementarnym: CO TO JEST LOGIKA?
Definicja znaczenia 1-wszego:
‘LOGIKA’ jest to zachowywanie prawdy.
2-gie znaczenie: nazwa nauki, która bada ten fenomen.
Definicja znaczenia 2-giego:
’LOGIKA’ jest to nazwa pewnej nauki.
3-cie znaczenie: zakres zainteresowania nauki o nazwie ‘LOGIKA’.
Definicja znaczenia 3-ciego:
’LOGIKA’ jest to poprawne wnioskowanie.
Na koniec: kontekstowa definicja zakresu zainteresowania nauki o nazwie ‘LOGIKA’, będąca zwrotem, w którym uwikłane jest znaczenie elementarne wyrazu ‘LOGIKA’:
NAUKA o nazwie ‘logika’ jest nauką o poprawności wnioskowania;
przedmiotem jej badań jest ocena tego, czy wnioskowanie zachowuje prawdę.
* *
Powiedzieliśmy, że definicja realna fenomenu musi być twierdzeniem rzeczowym uzasadnionym, którego jednoznaczna charakterystyka odwołuje się do jakiegoś doświadczenia. Nie musi mieć ono charakteru opisowego, jednak istotność poruszanego tematu uprawnia do rozbudowanej formuły uzasadnienia.
Wyraz ‘LOGIKA’ pochodzi od greckiego ‘LOGOS’, używanego nie tylko w znaczeniu słowo, ale też w znaczeniach zasada, rozum, rozumność, prawo, sąd, proporcja; symbolizowało więc różne przejawy uporządkowania.
Wyrazu ‘LOGOS’ w wymiarze ontologicznym po raz pierwszy użył Heraklit z Efezu (~ 540-480 p.n.e.), nazywając nim Arche. Według Heraklita ‘LOGOS’ jest to Zasada Nadrzędna Świata, nadająca mu porządek: Cokolwiek się dzieje – dzieje się według ‘LOGOS’, a więc zgodnie z Rozumnością Świata.
Relacją łączącą ‘LOGIKĘ’ (w jej znaczeniu elementarnym) i ‘LOGOS’ (rozumiany jako porządek świata) jest PRAWDA. Jeśli ‘prawdę’ zdefiniujemy klasycznie, a więc jako ‘zgodność idei z rzeczywistością’, to definicja ‘LOGIKI’ brzmi:
‘LOGIKA’ jest to zachowywanie zgodności idei z rzeczywistością.
Pojęcie ‘rzeczywistość’ współcześni filozofowie utożsamiają z pojęciem oznaczanym wyrażeniem ‘świat zewnętrzny’ – dla odróżnienia go od ‘świata wewnętrznego’ czyli ‘świata idei’ (‘świata pojęć’). Świat zewnętrzny jest uporządkowany według zasad, na które nie mamy wpływu – tych właśnie, które Heraklit nazwał rozumnością świata: ‘LOGOS’. Świat idei jest światem, któremu porządek nadajemy (lub nie nadajemy) – my sami.



Zgodność, o której mowa w definicji PRAWDY odnosi się do dwóch porządków: porządku świata zewnętrznego i porządku świata naszych idei. ‘LOGIKA’ (zachowywanie prawdy) stoi na straży zgodności obu porządków.
Umysł i język służą nam nie tylko do porozumiewania się pomiędzy sobą, ale – być może przede wszystkim – do porozumiewania się ze światem zewnętrznym.
Chcąc skutecznie funkcjonować w świecie zewnętrznym musimy w jakiś sposób kopiować zasady w nim panujące (‘LOGOS’) i wbudowywać je w struktury naszego umysłu, w tym – w korpus naszego języka. W naszym umyśle i języku istnieje więc pewien wzorzec reguł świata, pewien algorytm, dzięki któremu jesteśmy w stanie „rozumieć” porządek świata zewnętrznego.
Wnioskowanie/rozumowanie jest właśnie symulowaniem ‘LOGOS’; jeśli symulujemy wiernie – mówimy o rozumowaniu poprawnym, a więc LOGICZNYM, czyli zachowującym zgodność porządków obu światów.
Na zakończenie:
Nauka o nazwie ‘LOGIKA’ – zgodnie ze swoją definicją – odnosi się jedynie do wnioskowania/rozumowania w znaczeniu ‘przekształceń językowych’. Jednakże… wnioskowaniom ‘pozajęzykowym’ nie możemy przecież odmówić zachowywania zgodności z porządkiem świata zewnętrznego.
Odskakując odruchowo na widok spadającej czapy śniegu, grając w ping-ponga czy kopiąc piłkę tak, by ‘rogalem’ wpadła do bramki, czy też improwizując jazzowo – nie dokonujemy przekształceń językowych. Mimo to, decyzje podejmowane w ułamkach sekund bywają skuteczne, a więc zgodne z porządkiem świata zewnętrznego – czyli logiczne.
Sądzę, że ‘LOGIKA’ – rozumiana jako nauka – nie powinna ograniczać zakresu swego zainteresowania jedynie do przekształceń językowych.
**************************************
18 stycznia 2023 /Ryszard Dziewulski/


Musisz być zalogowany, aby dodać komentarz.