METODOLOGIA
Wyk艂ad 1 (28.09.04)
Metodologia nauk, w臋偶sze rozumienie:
* zajmuje si臋 metodami (sposobami) post臋powania stosowanymi w poznawaniu 艣wiata, a przede wszystkim sposobami uzasadniania zda艅.
* zajmuje si臋 te偶 rozmaitymi czynno艣ciami my艣lowymi (porz膮dkowanie wiadomo艣ci w sp贸jny zbi贸r, zdanitorz膮cych dorobek jakiej艣 dyscypliny)
* tak jak nauki techniczne opisuje wykorzystywanie, sprawdzanie, a jednocze艣nie uczy jak te czynno艣ci wykonywa膰, aby osi膮gn膮膰 osi膮gany cel (poznanie prawdy)
Aby sprawnie my艣le膰 trzeba umie膰 jasno i jednoznacznie formu艂owa膰 my艣li w s艂owa, trzeba zna膰 zwi膮zki zachodz膮ce mi臋dzy zdaniami (wynikania logicznego), umie膰 wykorzysta膰 wymienione elementy we wnioskowaniu, sprawdzaniu, i innych czynno艣ciach my艣lowych.
Metodologia mo偶e by膰 w r贸偶ny spos贸b uprawiana:
- og贸lna, szczeg贸艂owa
- opisowa, normatywna
- pragmatyczna, pragmatyczna
- rekonstrukcjonistyczna, dyskrypcjonistyczna
- synchroniczna, diakoniczna
- uzasadniania, odkrywania
- empiryczna
- poszczeg贸lnych dyscyplin (logiki, fizyki, chemii)
- poszczeg贸lnych autor贸w
Opisowa:
Rejestruje jedynie pewne fakty:
`w jaki spos贸b uzasadniano i uzasadnia si臋 jakie艣 twierdzenia
`w jaki spos贸b stosuje si臋 pewne schematy wnioskowania oraz regu艂y inferencyjne
`w jaki spos贸b przeprowadza si臋 takie operacje, jak: obserwacja, jak si臋 definiuje
Normatywna:
Formu艂uje pewne zalecenia
`,,tak i tak,, nale偶y pos艂ugiwa膰 si臋 schematami
`,,tak i tak,, nale偶y obserwowa膰, wyja艣nia膰, klasyfikowa膰
Og贸lna metodologia nauk zajmuje si臋, w spos贸b opisowy czy normatywny zasadniczymi typami czynno艣ci poznawczych, kt贸re powtarzaj膮 si臋 w wielu naukach cho膰 w r贸偶nego rodzaju naukach odgrywaj膮 cz臋sto odmienn膮 rol臋. Np.:
(definiowanie i obserwacja)pe艂ni膮 r贸偶n膮 rol臋 w r贸偶nych naukach.
Obok og贸lnej wyr贸偶nia si臋 szczeg贸艂ow膮 metodologi臋 nauk, kt贸ra zajmuje si臋 opisywaniem czynno艣ci poznawczych, stosowanych w r贸偶nych dyscyplinach:
- metodologia logiki formalnej
- matematyka
- logika
Metodologie szczeg贸艂owe:
Ustalaj膮 przedmiot bada艅 danej nauki, oraz jej problematyk臋 poznawcz膮
Ustalaj膮 aparatur臋 poj臋ciow膮 danej nauki
Ustalaj膮 dopuszczalne w danej nauce metody uzasadniania twierdze艅 oraz ich odrzucania
-zweryfikowania
-falsyfikacji
4. Ustala tzw.: za艂o偶enia wst臋pne
-aksjomaty (nauki formalne)
-pewne podstawowe za艂o偶enia co do struktury badanego fragmentu rzeczywisto艣ci, b bez kt贸rych badanie nie by艂oby mo偶liwe (nauki realne, przyrodnicze)
Wieloznaczno艣膰 terminu NAUKA:
(termin ten mo偶e by膰 rozumiany):
` w sensie dynamicznym (jako zesp贸艂 czynno艣ci wykonywanych przez uczonych „jako takich”)
` jest to „tw贸r” tych czynno艣ci (system twierdze艅, do kt贸rych uznania doszli uczeni w swym d膮偶eniu do poznania rzeczywisto艣ci)
` w sensie socjologicznym (wszystkie instytucje naukowe, szko艂y, laboratoria, biblioteki, itp.)
nauka jako proces kszta艂towania, powi臋kszania zakresu swojej wiedzy
` jako dyscypliny, przedmioty wyk艂adane na uczelniach, w szko艂ach
Og贸lna metodologia nauk jest metanauk膮, istnieje wiele r贸偶nych rodzaj贸w metanauk:
- nauki8 zajmuj膮 si臋 okre艣lonymi obiektami
* fizyczne (fizyka, biologia, chemia)
- nauki zajmuj膮 si臋 obiektami psychicznymi
* psychologia
- nauki zajmuj膮ce si臋 obiektami konstruowalnymi
* logika, matematyka
Metanauki:
I humanistyczne (historia, psychologia, socjologia, ekonomia, polityka)
II filozoficzne (ontologia, epistemologia lub teoria poznania)
III formalne (rozpatruj膮 od strony formy; logika j臋zyka naukowego, logika metod naukowych, logika wiedzy, poznania naukowego obejmuje:
`metodologia nauki (w膮sko rozumiana)
`teori臋 nauki (traktuje nauk臋 jako wytw贸r czynno艣ci, tzn.: systemowe)
IV kompleksowe (naukoznawstwo-teoria kierowania nauk膮, logiczna teoria nauki-bada natur臋 poznania naukowego, jego zr贸偶nicowanie oraz warto艣ci poznawcze czy filozofia nauki, filozoficzne i logiczne dociekanie,
Metodologia nauk >szersze rozumienie<
` semiotyka (logiczna teoria j臋zyka)
` teoria rozumowa艅 (argumentacji 艂膮czne erystyk膮)
` og贸lna metodologia nauk w sensie w臋偶szym
` teoria nauki (mo偶e by膰 ujmowana dwojako, w sensie historycznym i systemowym
Hist. Analizuje 4 podstawowe koncepcje uprawiania nauki w dziejach jej rozwoju:
1. Arystotelesowsko-Plato艅ska
2. Wielkiego prze艂omu (Kopernik, Galileusz, Newton, Leibniz, Kartezjusz, Kant)
3. Pozytywistyczna (Ko艂o wiede艅skie, Comte; szko艂o Lwowsko-Warszawska: Twardowski, Tarski, Le艣niewski)
4. Popper i postPopperowska
Systemowa Analiza samego poj臋cia nauki, zagadnienia przedmiotu nauki, zwi膮zk贸w mi臋dzy dyscyplinami naukowymi, traktowania nauki jako dzia艂u kultury)
P. Ramus wyodr臋bnia kilka dzia艂贸w logiki:
1. o poj臋ciu (wyra偶enia i s艂owa)
2. o s膮dzie
3. o rozumowaniu (teoria argumentacji)
4. rozwa偶ania o metodzie
Metodologi臋 wi膮zano z:
-logik膮
-filozofi膮
-histori膮 i psychologi膮
-prakseologi膮 oraz teori膮 decyzji
Metodologia nauk zajmuje si臋 procesami bud. nauki (aspekt dynamiczny) a dopiero wt贸rnie rezultatem tego procesu, tym aspektem czynno艣ciowym r贸偶ni si臋 metodologia od teorii nauki.
R贸偶ne s膮 opinie, co do przydatno艣ci metodologii nauki:
- nie ma metody, kt贸ra w spos贸b algorytmiczny kierowa艂a by nauk膮, nauka rozwija si臋 spontanicznie a nie metodycznie
- uprawianie nauki jest ca艂kowicie mechaniczne, bo da si臋 sformu艂owa膰 pe艂ny algorytm post臋powania naukowego
- procedura budowania nauki posiada wiele cech indywidualnych, ale te偶 wiele cech niezmiennych, niezale偶nych od osobowo艣ci badacza. Budowanie nauki nie jest wi臋c ca艂kowicie zdeterminowane przez regu艂y, ale mo偶e by膰 przez nie kontrolowane. Metody naukowej nie mo偶na uzna膰 za co艣 zb臋dnego. Metoda w nauce jest nieodzowna ale odkrycia dokonuj膮 si臋 w du偶ej mie偶e spontanicznie i inwencyjnie.
Spos贸b uprawiania metodologii:
najpierw opisuje si臋 wsp贸艂czesne i historyczne metody naukowe
analiza poprawno艣ci oraz specyficzno艣ci postulat贸w teoretycznych teorii nauki a tak偶e rygor贸w praktycznych stawianych przez prakseologi臋
konstruuje si臋 system metodologiczny. Metodologia nie jest wi臋c zbiorem um贸w ani odgadywaniem prawd post臋powania w nauce, jest teori膮 o charakterze logicznym, cho膰 jako ca艂o艣膰 nie jest jedynie formalna. Stanowi przed艂u偶enie logiki, uwzgl臋dniaj膮c zastosowanie teorii oraz zastosowanie w prakseologii.
Prakseologia- teoria „dobrej roboty”
Wyk艂ad 2 (05.10.04)
Metodologia ma charakter opisowo-warto艣ciuj膮cy oraz:
opisuje jak si臋 nauk臋 uprawia, a zarazem wyja艣nia post臋powanie badawcze (jak jest? Jak by艂o?). jak faktycznie post臋powali badacze?
warto艣ciuje od strony prakseologicznej (optymalizacja metody). D膮偶y do podania norm uprawiania nauki. Normy te nie maj膮 jednak charakteru aksjologicznego (moralnego) ale tetyczny (z ustanowienia). D膮偶膮c do podania teorii dzia艂ania w nauce , metodologia ma charakter projektuj膮cy (dzia艂anie to, ma by膰 racjonalne)
Metodologia nauk w膮sko rozumiana:
Jest teori膮 metod naukowych, kt贸ra opisuje i wymy艣la faktycznie stosowane metody, warto艣ciuje prakseologicznie uzasadnione i projektowane metody uprawiania r贸偶nych typ贸w nauki.
Potrzeba uprawiania metodologii:
I dyscypliny naukowe si臋 rozwijaj膮, chodzi o podanie takiej metody, kt贸re gwarantowa艂a by odpowiedni post臋p
II znajomo艣膰 met. Zw艂aszcza semiotyki logicznej j臋zyka naukowego usprawnia zrozumienie j臋zyka nauki „w og贸le”
III bogactwo form rozumowania obecnych w nauce wymaga ich charakterystyki, opisania ich poprawno艣ci oraz ich modyfikacji
IV stan zaawansowania nauki (danej dyscypliny) mirzy si臋 poprawno艣ci膮 metodologiczn膮
V zachodz膮 faktyczne zwi膮zki mi臋dzy naukami, potrzeba wi臋c wskazania na pozycj臋 czy rang臋 danej nauki w艣r贸d innych nauk
Metodologia a metodyka
>Opr贸cz norm post臋powania naukowego, kt贸re kodyfikuje metodologi臋, spotyka si臋 adept danej nauki, z pewnymi przepisami, kt贸re mu dyktuje znawca (specjalista) w danej dyscyplinie.
>Spotykamy si臋 wi臋c , w ka偶dej nauce z normami dotycz膮cymi post臋powania przy uprawianiu nauki, kt贸re wykraczaj膮 poza kompetencje metodologa, a nale偶膮 do kompetencji specjalisty. Dyscyplin膮 obejmuj膮ca takie przepisy nazywa si臋 metodyk膮 danej nauki.
>Granica mi臋dzy metodologia a metodyk膮 b臋dzie zawsze w pewnej mierze dowolna gdy偶 rozgraniczenie mi臋dzy tymi dyscyplinami jest nieostre. (wg Ajdukiewicza) Zaliczy膰 do metodologii danej nauki te normy badania dla kt贸rych uzasadnienia nie trzeba apelowa膰 do 偶adnej innej nauki, natomiast do metodyki danej nauki te normy, kt贸re przy ich uzasadnieniu odwo艂uj膮 si臋 do twierdze艅 danej, konkretnej nauki.
Metodologia a metoda
(ksero)
Metod臋 okre艣lamy w 2 uj臋ciach;
I filozoficzne
II j臋zykowe
adI
Jest to spos贸b systematycznie stosowany, czyli jest to dob贸r i uk艂ad czynno艣ci, przyporz膮dkowany okre艣lonemu celowi i nadaj膮cy si臋 do powtarzania (wielokrotnego stosowania). Je艣li nie ma celu, nie ma metody.
Metoda to 艣wiadomy, wzorcowy, systematycznie stosowany uk艂ad czynno艣ci zwi臋kszaj膮cy skuteczno艣膰 dzia艂ania i jego ekonomiczno艣膰. Metoda ma w sobie r贸wnie偶 element normatywny: narzuca spos贸b dzia艂ania, m贸wi膮c o „dobrej robocie”, czasami przez metod臋 rozumie si臋 r贸wnie偶 艣rodki zastosowane w dzia艂aniu.
`dla jeszcze innych to spos贸b dzia艂ania
`艣rodki
`zesp贸艂 za艂o偶e艅 przyj臋tych jako ramowe, wytyczne dzia艂ania
adII
Jest to zesp贸艂 regu艂 wyznaczaj膮ce spos贸b post臋powania (dzia艂ania) w danej sprawie
Metod臋 nale偶y odr贸偶ni膰 od:
-techniki dzia艂ania
-strategii dzia艂ania
-taktyki dzia艂ania
Rodzaje metody:
badawcze
ze wzgl臋du na pierwsze 藕r贸d艂o wiedzy
ze wzgl臋du na struktur臋
ze wzgl臋du na etapy
dydaktyczne - r贸偶ne sposoby, koncepcja uk艂adu
Metodologia a logika
Metodologia og贸lna jest jednym z dzia艂贸w logiki og贸lnej. Ten dzia艂 bada poznawcze procesy my艣lowe i ustala warunki ich realizacji i poprawno艣ci. Og贸lna metodologia nauk to logika stosowana, gdy偶 rozumowania s膮 zastosowaniem praw logiki formalnej a ich og贸lna teoria nale偶y do metodologii og贸lnej.
Metodologia a teoria poznania
Teoria poznania interesuje si臋 poznaniem „w og贸le” i stawia takie pyt: jaka jest istota poznania? 殴r贸d艂a poznania? Natomiast metodologia traktuje o sposobach poznania naukowego.
CZYNNO艢CI WIEDZOTW脫RCZE
Wst臋pne w艂a艣ciwe budowanie teorii system贸w
podzia艂 logiczna porz膮dkow. definicje
logiczny analiza i szeregowanie
i klasyfik. Pyta艅 dedukcyjne empiryczne
uzasadnianie zda艅
bezpo艣rednie po艣rednie
1.do艣wiadczenie (teoria rozumowa艅)
2.konwencja
terminologiczna prosta z艂o偶ona
3.intuicja | 1.wyci膮ganie konsekwencji
intelektualna wnioskowanie dob贸r zda艅 2.dowodzenie
4.autorytet dedukcyjne 3.wyja艣nianie
i redukcyjne (t艂umaczenie)
4.sprawdzanie
Wyk艂ad (12.10.04)
Do powt贸rzenia: podzia艂 logiczny zda艅.
Logiczna analiza pyta艅
Przy analizie tekst贸w naukowych szczeg贸ln膮 rol臋 odgrywa analiza pyta艅. Pokazuje ona, drog臋 prowadz膮c膮 od problemu do ostatecznych wynik贸w.
Wynikami mo偶e by膰:
--dobrze uzasadnione twierdzenie
--dobrze postawione nowe pytanie
T. Kubi艅ski w swojej monografii „Wst臋p do logicznej teorii pyta艅) uzasadnia i podkre艣la wa偶no艣膰 stawiania pyta艅 w post臋powaniu poznawczym.
„Stawianie pyta艅 jest momentem decyduj膮cym dla tw贸rczego my艣lenia” - T. Loese.
Istnieje jednak sp贸r mi臋dzy idiogeniczn膮 a allogeniczn膮 teori膮 pyta艅.
Teoria allgoeniczna sprowadza pytania do wypowiedzenia innego typu: jedne do zda艅 rozkazuj膮cych, inne do zda艅 oznajmuj膮cych.
Teoria Idiogeniczna traktuje natomiast pytania jako swoisty i do innych niesprowadzalny rodzaj wypowiedzi.
Je偶eli s艂uszno艣膰 jest po stronie Teorii Alogenicznej, kt贸ra redukuje pytania do zda艅 oznajmuj膮cych, to, cokolwiek da si臋 wyrazi膰 w formie pytania da si臋 r贸wnie偶 wyrazi膰 w formie zdania oznajmuj膮cego. Wtedy logika pyta艅 pyta艅 nie by艂aby konieczna z teoretycznego punktu widzenia.
Wed艂ug Witolda Marciszewskiego pytania daj膮 si臋 sprowadzi膰 do innych wypowiedzi, ale nie w ten spos贸b, jak to postuluj膮 teorie allogeniczne, tzn. pytania nie mo偶na bowiem prze艂o偶y膰 na wypowiedz jednego tylko rodzaju(tylko na zdanie rozkazuj膮ce lub tylko na zdanie oznajmiaj膮ce)
Pytanie jest tworem bardziej z艂o偶onym, kt贸ry po dok艂adnej analizie rozpada si臋 na co najmniej trojakiego rodzaju wypowiedzi
Zdanie z tego samego j臋zyka, w kt贸rym sformu艂owane jest pytanie
Sk艂adnikiem oznajmuj膮cym jest alternatywa b臋d膮ca za艂o偶eniem pytania i brzmi ona: „Yeti istnieje” lub „nieprawda, 偶e yeti istnieje”
Zdanie wyra偶aj膮ce przekonanie autora pytania daj膮ce si臋 te偶 interpretowa膰 jako zdanie z metaj臋zyka
Sk艂adnikiem epistemicznym dotycz膮cym wiedzy lub przekonania autora jest zawarte w pytaniu stwierdzenie, 偶e nie wiadomo lub, 偶e nie jest si臋 przekonanym, czy yeti istnieje
Zdanie oceniaj膮ce lub rozkazuj膮ce, czy te偶 tzw. optatywne, np.: Czy istnieje yeti??
Sk艂adnikiem wolitywnym, kt贸ry da si臋 wyrazi膰 w formie rozkazu, normy lub oceny jest postulat usuni臋cia owej niewiedzy:
--niech b臋dzie wiadomo, czy Yeti istnieje - rozkaz
--powinno by膰 wiadomo, czy Yeti istnieje - sugestia
--dobrze jest wiedzie膰, czy Yeti istnieje - ocena
Elementy 2 i 3 mo偶na by obj膮膰 艂膮cznym mianem sk艂adnik贸w modalnych, poniewa偶 logika epistemiczna i logika modalna s膮 r贸偶nymi interpretacjami pewnych sytuacji logicznych.
Pytanie i jego rola w badaniach naukowych
W logicznej teorii j臋zyka (taka, kt贸ra interesuje si臋 j臋zykiem jako narz臋dziem poznawczym) niewiele uwagi po艣wi臋ca si臋 zdaniom pytaj膮cym. By膰 mo偶e z tego powodu, ze wyra偶enia te nie s膮 zdaniami w sensie logicznym. Nie b臋d膮c wyra偶eniem ani prawdziwym ani fa艂szywym nie stanowi膮 jednostek, z kt贸rych zbudowana jest wiedza ludzka (przede wszystkim naukowa i przednaukowa)
Istniej膮 pr贸by sprowadzania zda艅 pytaj膮cych do zda艅 oznajmuj膮cych, inaczej deklaratywnych, wi臋c wyeliminowanie znaku pytania jakkolwiek przewa偶a stanowisko zachowuj膮ce tradycyjne rozr贸偶nienie mimo niewyg贸d zwi膮zane z potrzeb膮 budowania specjalnej logiki zda艅 pytaj膮cych.
Potrzeb臋 t膮 odczuwa si臋 zw艂aszcza pod wp艂ywem powszechnego zainteresowania procesami komunikowania si臋 oraz rozwijaj膮c膮 si臋 teori臋 komunikacji, informacji, czy cybernetyk臋.
Logik臋 pyta艅 zalicza si臋 do narz臋dzi og贸lnej teorii komunikacji
Chocia偶 pytania nie stanowi膮 materia艂u budulcowego nauki, to jednak pe艂ni膮 istotn膮 rol臋 sterownicz膮 w procesie uzyskiwania informacji w tym r贸wnie偶 informacji semantycznej (naukowej).
Wszelkie badania naukowe prowadzi si臋 dla rozwi膮zania jakiego艣 problemu, a ka偶dy problem to pytanie(problemy teoretyczne i praktyczne)
Post臋p w nauce polega nie tylko na zmianie (modyfikacji redukcji twierdze艅, eliminacji zda艅 fa艂szywych przyjmowanych jako twierdzenia lepszemu uzasadnieniu zda艅), ale r贸wnie偶 na eliminacji, modyfikacji i redukcji problem贸w i pyta艅. Historia nauki jest nie tylko histori膮 przeciwstawnych pr贸b rozwi膮zywania danych problem贸w, lecz r贸wnie偶 histori膮 spor贸w o problemy
Nie we wszystkich naukach mamy teorie, kt贸re mog膮 stanowi膰 przedmiot bada艅 metodologicznych. Zw艂aszcza wi臋c tam, gdzie teorii nie ma, naturaln膮 jednostk膮 bada艅 metodologicznych winna sta膰 si臋 sytuacja problemowa.
Pytania i odpowiedzi s膮 wypowiedziami i nale偶膮 do werbalnego zachowania si臋 cz艂owieka. Zachowanie si臋 osoby daj膮cej odpowied藕 na pytanie(respondenta) mo偶e mie膰 b膮d藕 warto艣膰 informacyjn膮 b膮d藕 diagnostyczn膮(terapeutyczn膮).
Pierwszymi zajmuje si臋 teoria wiarygodno艣ci b臋d膮c膮 cz臋艣ci膮 teori膮 komunikacji
Drugimi zajmuje si臋 psychologia, socjologia
Typowe sytuacje badawcze obejmuj膮 zwykle co najmniej kilku ludzi oraz przedmiot badania(偶ywy lub martwy). Pytania i odpowiedzi stanowi膮 mi臋dzy nimi tzw. sie膰 komunikacyjn膮 a w pewnych przypadkach programuj膮 wsp贸lne badania
Na czym koncentruje si臋 logiczna analiza pyta艅??
Koncentruje sw膮 uwag臋 na pytaniach poznawczych a nie diagnostycznych lub terapeutycznych. A wi臋c b臋dzie jej chodzi艂o o:
--charakterystyk臋 pytajnika jako symbolu szukania
--konstrukcj臋 aparatury poj臋ciowej pozwalaj膮cej bada膰 sterownicz膮 rol臋 pyta艅 w post臋powaniu poznania
--ustalenie przyczyny zak艂贸ce艅 tej funkcji oraz b臋dzie chodzi艂o o formu艂owanie wskaz贸wek racjonalnego stawiania pyta艅 i dochodzenia do odpowiedzi.
Metoda budowania odpowiedzi na pytania lub rozstrzygania, czy jakie艣 wyra偶enie jest odpowiedzi膮, lub nie - jest efektywna, je艣li pozwala w praktyce (tzn. w kr贸tkim a w ka偶dym razie sko艅czonym czasie) zbudowa膰 zdanie b臋d膮ce odpowiedzi膮 lub rozstrzygni臋ciem, czy jakie艣 wyra偶enie jest lub nie jest dopuszczaln膮 odpowiedzi膮 na dane pytanie.
Pytania otwarte i zamkni臋te”
Czy sk艂onno艣膰 do gniewu jest dziedziczna?
Kto by艂 autorem „Pana Tadeusza”?
Jak dosz艂o do wybuchu II wojny 艣wiatowej?
Dlaczego Newton interesowa艂 si臋 prawem powszechnej grawitacji?
Co prze偶ywasz patrz膮c na wzburzone morze?
Wydaje si臋, 偶e niezb臋dnym warunkiem rozwi膮zania danego pytania jest znajomo艣膰 zda艅 kwalifikuj膮cych si臋 jako odpowied藕 na to pytanie.
Dwie osoby jednakowo rozumiej膮 pewne zdanie pytaj膮ce wtedy i tylko wtedy, gdy maj膮 te same lub podobne oczekiwania odno艣nie do przypuszczalnych odpowiedzi.
Rozumie膰 mo偶na z r贸偶nym stopniem dok艂adno艣ci lub precyzji a za miar臋 precyzji uwa偶a si臋 dok艂adno艣膰 z jak膮 okre艣lany jest zbi贸r zda艅 nadaj膮cych si臋 na odpowied藕 na dane pytanie.
Zdanie nadaj膮ce si臋 na odpowied藕 na dane pytanie s膮 temu pytaniu przyporz膮dkowane.
W zachowaniu werbalnym sprz臋偶enie to zawodzi dzi臋ki r贸偶nemu rozumieniu pytania przez r贸偶nych ludzi.
Dla osoby, kt贸ra nie rozumie pytania - nie jest ono sprz臋偶eniem z dopuszczaln膮 odpowiedzi膮
Rozumienie niedok艂adne, wieloznaczne, nieostre prowadzi do zaburze艅 sprz臋偶enia objawiaj膮cego si臋 niezrozumieniem lub sporem s艂ownym
Pytanie niedok艂adne sformu艂owane i zrozumiane zawodzi w niekt贸rych okoliczno艣ciach tzn podsuwa z艂e wskaz贸wki co do tego, w艣r贸d jakich zda艅 nale偶y szuka膰 odpowiedzi.
Nie na ka偶de pytanie oczekujemy odpowiedzi w jednym zdaniu. Niekiedy odpowied藕 mo偶e lub musi by膰 narracj膮.
Typowe pytanie na kt贸re oczekujemy narracji to pytanie nr 3: Jak dosz艂o do wybuchu II wojny 艣wiatowej?
Pytanie to jest te偶 pytaniem typu: jak to si臋 sta艂o - wymagaj膮 one narracji.
Zwykle jest bardzo wiele sposob贸w opisywania przy pomocy narracji zdarze艅, kt贸re zosta艂y w pewnym przedziale czasowym. Nie istnieje te偶 mo偶liwo艣膰 podania warunk贸w formalnych, kt贸re musz膮 by膰 spe艂nione, aby narracja taka zosta艂a uznana za dopuszczaln膮 odpowied藕 na pytanie „Jak to si臋 sta艂o”.
Pytanie, dla kt贸rego nie potrafimy poda膰:
--ani wyczerpuj膮cej listy dopuszczalnych odpowiedzi
--ani schematu lub efektywnej metody budowania dopuszczalnych odpowiedzi
nazywamy pytaniami otwartymi lub pytaniami, dla kt贸rych odpowiedzi nie s膮 efektywnie konstruowalne.
Pytanie zamkni臋te - przeciwstawne do otwartego:
Podanych jest kilka wyczerpuj膮cych odpowiedzi,
Efektywna metoda budowania odpowiedzi
Lub mo偶e zbudowa膰 schemat
Rozr贸偶nienie pyta艅 zamkni臋tych i otwartych dotyczy precyzji sprz臋偶enia dopuszczalnych odpowiedzi zwanych pytaniem.
W pyt zamkni臋tym odpowiedzi s膮 sprz臋偶one w spos贸b jednoznaczny i efektywny natomiast w pytaniu otwartym odpowiedzi s膮 sprz臋偶one niedok艂adnie, nie jednoznacznie w spos贸b zawodny tak, 偶e w skrajnych przypadkach nie wiemy w og贸le, czy odpowied藕 jest pytaniu przyporz膮dkowana, czy nie.
Pytanie 偶膮daj膮ce narracji np.:
--pyt 3 Jak dosz艂o do wybuchu II wojny 艣wiatowej?
--pyt 5 Co prze偶ywasz patrz膮c na wzburzone morze?
Oraz pytanie typu „dlaczego”:
-- Dlaczego Newton interesowa艂 si臋 prawem powszechnej grawitacji?
Zaliczamy do pyta艅 otwartych natomiast pytania typu:
--czy, kto, np. pyt 1: Czy sk艂onno艣膰 do gniewu jest dziedziczna? Lub pyt 2: Kto by艂 autorem „Pana Tadeusza”?
zaliczamy do pyta艅 zamkni臋tych cho膰 z pewnymi zastrze偶eniami.
Wyk艂ad 4 (19.10.04)
Traktuj膮c rygorystycznie warunki efektywno艣ci metody wyr贸偶niania odpowiedzi na pytanie, trzeba by wszystkie pytania w j臋zykach naturalnych zaliczy膰 do pyta艅 otwartych. Ze wzgl臋du na nieprecyzyjno艣膰 i r贸偶norodno艣膰 rozumienia j臋zyka naturalnego, ma艂o albo w og贸le nie znajdujemy w nich pyta艅, dla kt贸rych odpowiedzi by艂yby efektywnie dane. Dopiero w j臋zykach sztucznych spotyka si臋 pytania zamkni臋te w 艣cis艂ym tego s艂owa znaczeniu. W j臋zyku naturalnym mo偶emy jedynie m贸wi膰 o pytaniach w przybli偶eniu zamkni臋tym.
Podzia艂 pyta艅 ze wzgl臋du na struktur臋 pyta艅, na rodzaj pytajnika- partyku艂y pytajnej:
1.pytania rozstrzygni臋cia (decyzyjne) ,,CZY”
2.pytania dope艂nienia:
2.1. pytania problemowe
2.2. pytania kompletywne ,,KTO”, ,,KOMU”, ,,KIEDY”, ,,JAK”, ,,GDZIE”
2.1.1.pyt kauzalne (przyczynowe) ,,DLACZEGO”, ,,JAK TO SI臉 STA艁O”
2.1.2.PYT TELICZNE (CELOWE) ,,PO CO”, ,,W JAKIM CELU”
Pytamy ilekro膰 d膮偶ymy do uzyskania pewnej wiadomo艣ci okre艣lonej z g贸ry, do pewnego stopnia, ale nie ca艂kowicie.
,,Kto jest premierem RP?”- na to pytanie nie oczekujemy jakiejkolwiek odpowiedzi tylko w konkretnej postaci. Odp.: ,,X jest premierem RP”
Wiadomo艣膰, kt贸ra pytaj膮cy pragnie otrzyma膰 jest wi臋c s膮dem (zdaniem) z g贸ry okre艣lonym. Jest to jeden spo艣r贸d wielu s膮d贸w daj膮cych si臋 wypowiedzie膰 za pomoc膮 jednego za zda艅 o postaci ,,X jest premierem RP”. Wyra偶enia s艂u偶膮ce przy pewnym swym znaczeniu do wypowiadania pyta艅 nazywa si臋 przy tym ich znaczeniu zdaniami pytajnymi.
Ad1. Pytania rozstrzygni臋cia (decyzyjne)- to takie, kt贸re sk艂adaj膮 si臋 z 3 cz臋艣ci: a. partyku艂y pytajnej ,,CZY”
b. ca艂ego zdania oznajmuj膮cego obj臋tego t膮 partyku艂膮
c. znaku pytania
np.: Czy s艂o艅ce jest gwiazda ?
Ad2. Pytania dope艂nienia sk艂adaj膮 si臋 z:
a. partyku艂y pytajnej (partyku艂 pytajnych r贸偶nych od ,,czy”!)
b. znaku pytania
c. fragmentu zdania oznajmuj膮cego
np.: Kto skonstruowa艂 teori臋 wzgl臋dno艣ci?
Istniej膮 te偶 pytania dope艂nienia, w kt贸rych wyst臋puje ca艂e zdanie oznajmuj膮ce.
Jak si臋 zako艅czy艂 mecz pi艂karski Polski z Austri膮?
Jak poruszaj膮 si臋 drzewa na wietrze?
Kto skonstruowa艂 teorie wzgl臋dno艣ci? Odp.: X skonstruowa艂 teorie wzgl臋dno艣ci. (to schemat odpowiedzi. Podstawiaj膮c za X r贸偶ne nazwy ludzi mamy zdania)
W艣r贸d odpowiedzi trafiaj膮 si臋 obok zda艅 prawdziwych te偶 zdania fa艂szywe. Wszystkie zdania, kt贸re s膮 odpowiedziami na pytanie ,,kto skonstruowa艂 teorie wzgl臋dno艣ci?”- maj膮 ten sam schemat, a kt贸rego dadz膮 si臋 wyprowadzi膰 przez podstawienia odpowiednich nazw za zmienn膮 X. Schemat odpowiedzi na pytanie jest wskazany jednoznacznie przez samo zdanie pytajne. Schemat ten wyznaczony jest cz臋艣ciowo przez fragment zdania oznajmuj膮cego (zawarty w zdaniu pytajnym) po cz臋艣ci za艣 przez partyku艂臋 pytajn膮, kt贸ra wskazuje w kt贸rym miejscu ma by膰 ten fragment zdania uzupe艂niony przez zmienn膮 aby powsta艂 schemat odpowiedzi na to pytanie. `
Np.: ,,kogo zabi艂 Brutus?”, odp.: ,,Brutus zabi艂 X”
Wyznaczony w ten spos贸b przez zdanie pytajne schemat odpowiedzi na to pytanie nazywa si臋 datum questionis ( z 艂ac. dana pytania). Zawart膮 w datum questionis zmienn膮 nazywamy niewiadom膮 pytania (tych zmiennych mo偶e by膰 kilka w zale偶no艣ci od tego ile w pytaniu jest partyku艂 pytajnych, np. „kogo, kiedy, gdzie i za ile zabi艂 Brutus?”). Zdania otrzymane z datum questionis jakiego艣 zdania pytajnego przez podstawienie odpowiedniej sta艂ej za zmienn膮 pytania nazywamy odpowiedziami w艂a艣ciwymi na dane pytanie. [odpowied藕 w艂a艣ciwa nie musi by膰 odpowiedzi膮 prawdziw膮!]
Partyku艂a pytajna (wraz ze swoimi ewentualnymi bli偶szymi okre艣leniami) spe艂nia podw贸jn膮 funkcj臋: 1. wskazuje miejsce sk艂adowe na kt贸rym nale偶y niewiadom膮 pytania postawi膰 w datum questionis. 2. spo艣r贸d wszystkich warto艣ci, kt贸re wstawione za niewiadom膮 pytania przekszta艂caj膮 datum questionis w zdanie prawdziwe lub fa艂szywe wyr贸偶nia zazwyczaj tylko niekt贸re, np. zaimek osobowy ,,kto” u偶yty w zdaniu pytajnym- ,,kto skonstruowa艂…?”- wyr贸偶nia spo艣r贸d wszystkich nazw jedynie nazwy os贸b. Te nazwy os贸b wstawione w miejsce X przekszta艂caj膮 ten schemat w zdanie prawdziwe lub fa艂szywe.
W pytaniu ,,kto z Polak贸w walczy艂 pod Monte Casino?” zaimek pytajny wraz ze swoim bli偶szym okre艣leniem wyr贸偶nia nazwy polak贸w. Zbi贸r tych warto艣ci wyr贸偶nionych dla niewiadomej pytania przez zaimek lub przys艂贸wek pytajny nazywamy zakresem niewiadomej pytania. To samo co powiedziano odno艣nie datum questionis zda艅 dope艂nienia zawieraj膮cych tylko fragment zdania oznajmuj膮cego mo偶na utrzyma膰 o zdaniach pytajnych dope艂nienia sk艂adaj膮cych si臋 z ca艂ego zdania oznajmuj膮cego. Np. ,,jak poruszaj膮 si臋 drzewa?”- datum questionis b臋dzie- ,,drzewa poruszaj膮 si臋 X”. zakresem niewiadomej pytania s膮 przys艂贸wki tj. 艂agodnie, gwa艂townie, tanecznie itp.
Osnowa pytania-fragment pytania bez partyku艂y ,,Czy s艂o艅ce jest gwiazd膮?”.
Niekiedy trudno nam odr贸偶ni膰 pytania kauzalne od telicznych. Kauzalne- ,,dlaczego, meliczne- ,,po co?”. K: ,,dlaczego dosz艂o do konfliktu mi臋dzy Irakiem a Stanami Zjednoczonymi?” T: ,,po co Karol poszed艂 do sekretariatu?”
Pewn膮 pomoc podsuwa struktura odpowiedzi w艂a艣ciwych na pytania. Odpowied藕 w艂a艣ciwa na pytanie kauzalne ma posta膰: ,,p, bo q” . trudno艣膰 polega na tym, 偶e odpowied藕 schematu telicznego zawsze mo偶na przekszta艂ci膰 w odpowiedzi kauzalne o kszta艂cie ,,p, bo kto艣 chce aby q”.
Pytania rozstrzygni臋cia ,,czy…”- charakterystyczn膮 cech膮 tych pyta艅 jest to, 偶e ka偶de z nich ma tylko 2 odpowiedzi w艂a艣ciwe b臋d膮ce odpowiednio nawzajem odpowiedziami sprzecznymi. Odpowiedzi膮 w艂a艣ciw膮 na pytanie ,,czy pada deszcz?” s膮 2 zdania: ,,tak, deszcz pada:, ,,nie, deszcz nie pada” lub ,,nieprawda, 偶e pada deszcz”. Datum questionis dla tego zdania pytajnego musi by膰 schematem zdaniowym, kt贸rego podstawieniami s膮 powy偶sze 2 zdania, lub ich r贸wnowa偶niki. Dla takich pyta艅 istnieje datum questionis, chocia偶 z punktu praktycznego nie ma on wielkiego znaczenia.
Kiedy pytanie jest postawione jasno? - gdy od zdania pytajnego wymaga si臋 aby by艂o postawione jasno to obok innych warunk贸w jasno艣ci, kt贸re nak艂adamy na wszystkie wypowiedzi przy zdaniach pytajnych domagamy si臋 przede wszystkim aby wskazywa艂y wyra藕nie datum questionis oraz zakres niewiadomej pytania. Gdy te 2 warunki nie s膮 wskazane, w贸wczas odbiorca pytanie nie wie o co si臋 go pyta- wtedy mamy pytanie niejasno postawione.
Za艂o偶enia pyta艅. Nie zawsze jako odzew na pytanie otrzymujemy odpowied藕 w艂a艣ciw膮. Za艂o偶enie pytania mo偶e by膰 pozytywne i negatywne.
Przez pozytywne rozumie si臋 stwierdzenie, 偶e przynajmniej jedna odpowied藕 na to pytanie jest prawd膮. To twierdzenie jest r贸wnowa偶ne z alternatyw膮 wszystkich odpowiedzi w艂a艣ciwych na to pytanie.
Przez negatywne za艂o偶enie pyta艅 rozumie si臋 stwierdzenie, 偶e przynajmniej jedna z odpowiedzi w艂a艣ciwych na to pytanie nie jest prawdziwa. To jest r贸wnowa偶ne alternatywie zaprzecze艅 wszystkich odpowiedzi w艂a艣ciwych. M贸wimy tu o za艂o偶eniach gdy偶 wydaje si臋, 偶e ktokolwiek na serio stawia jakie艣 pytanie to wierzy i偶 jaka艣 w艂a艣ciwa odpowied藕 na nie jest prawdziwa, ale nie wierzy aby wszystkie by艂y prawdziwe.
Pytanie, kt贸rego pozytywne lub negatywne za艂o偶enie nie jest prawdziwe nazywamy pytaniem niew艂a艣ciwie postawionym. Np. pytania rozstrzygni臋cia s膮 zawsze w艂a艣ciwie postawione, maj膮 one bowiem tylko 2 odpowiedzi w艂a艣ciwe b臋d膮ce zdaniami nawzajem sprzecznymi. Z tych zda艅 zawsze jedno jest prawdziwe a drugie fa艂szywe.
Presupozycje pyta艅: od za艂o偶enia pytania nale偶y odr贸偶ni膰 presupozycje. S膮 to zdania r贸偶ne od za艂o偶e艅, ale z tych samych za艂o偶e艅 wynikaj膮ce (tre艣ciowo, merytorycznie). ,,kto skosi艂 wreszcie t膮 艂膮k臋?” - za艂o偶eniem jest to, 偶e kto艣 j膮 skosi艂… to pytanie ma m.in. 6 presupozycji:
1. kosz膮cy nie by艂 niemowl臋ciem czy dzieckiem
2. kosz膮cy nie by艂 niedo艂臋偶nym starcem
3. kosz膮cy umia艂 pos艂ugiwa膰 si臋 sprawnie kos膮
4. 艂膮ka istnieje
5. trawa na 艂膮ce nadawa艂a si臋 do koszenia
6. na koszenie 艂膮ki przez pewien czas oczekiwano
Fa艂szywo艣膰 dowolnej presupozycji poci膮ga za sob膮 fa艂szywo艣膰 odpowiedniego za艂o偶enia. Mo偶na wi臋c powiedzie膰, 偶e niew艂a艣ciwie postawione pytanie, to pytanie z co najmniej jedn膮 presupozycj膮 fa艂szyw膮. Za艂o偶enia pyta艅 wraz z presupozycjami tworz膮 tzw. zawarto艣膰 poznawcz膮 pytania. Zawarto艣膰 ta zale偶y od zakresu zmienno艣ci niewiadomej- im wi臋kszy jest ten zakres, tym mniejsza jest zawarto艣膰 poznawcza danego pytania.
kto odkry艂 Ameryk臋?
kto z europejczyk贸w odkry艂 Ameryk臋?
kto z W艂och贸w odkry艂 Ameryk臋?
Najmniejsz膮 zawarto艣膰 poznawcz膮 ma pytanie 1. najmniejszy zakres niewiadomej jest w pytaniu 3.
Wyk艂ad 5 (26.10.04)
PYTANIA PROSTE I Z艁O呕ONE
Pytania z艂o偶one mog膮 by膰:
Wsp贸艂rz臋dnie z艂o偶one - pytanie to jest po艂膮czeniem 2-贸ch lub wi臋cej pyta艅 tego samego rodzaju lub r贸偶nych za pomoc膮 operatora „i”; za艂o偶eniami pyta艅 wsp贸艂rz臋dnie z艂o偶onych s膮 koniunkcje za艂o偶e艅 pytania prostego,
Warunkowe - po艂膮czenie zdania (w sensie logicznym - prawda lub fa艂sz) i pytania za pomoc膮 nast臋puj膮cych operator贸w: „Je偶eli... to...”, „Skoro... to...”, „Gdyby... to by...”. W zale偶no艣ci od rodzaju funktora mamy pytania warunkowe:
potencjalne
realne
irrealne
Pierwszy argument tych operator贸w to warunek pytania, a drugi to pytanie w艂a艣ciwe.
POTENCJALNE:
„Je偶eli pojedziesz do Cz臋stochowy, to gdzie udasz si臋 najpierw?”
W tym zdaniu za艂o偶eniem jest implikacja, kt贸rej poprzednikiem jest warunek pytania, a nast臋pnikiem za艂o偶enie pytania w艂a艣ciwego.
REALNE:
„Skoro Ko艣ciuszko by艂 Polakiem, to dlaczego walczy艂 w Ameryce?”
Za艂o偶enie pytania to koniunkcja warunku pytania i odpowiednich implikacji.
IRREALNE:
„Gdyby艣 by艂 prezydentem USA, to jakby艣 rozwi膮za艂 problem wojny z Irakiem?”
Za艂o偶eniami pytania s膮 koniunkcje negacji warunku pytania i odpowiednich implikacji.
Podzia艂 pyta艅 ze wzgl臋du na INTENCJ臉 STAWIANIA PYTANIA:
merytoryczne - gdy chcemy uzyska膰 od respondenta informacje o pewnych stanach rzeczy,
dydaktyczne - aby zbada膰 wiedz臋 respondenta (pytaj膮cy ma odpowied藕 na to pytanie),
sugestywne - aby przekaza膰 respondentowi informacj臋 zawart膮 w za艂o偶eniach lub presupozycjach pytania.
(o sugestywnych)
Ze wzgl臋du na to, 偶e ustawiaj膮cego na serio pytania domy艣lamy si臋 wiary w pozytywne oraz negatywne za艂o偶enia. Pytania mog膮 s艂u偶y膰 do komunikowania drugim pewnych wiadomo艣ci. T臋 w艂asno艣膰 pyta艅 (to, 偶e komunikuj膮 one pewne wiadomo艣ci wyra偶alne przy pomocy za艂o偶enia pytania) wystawiamy przy pomocy pyta艅 sugestywnych, czyli pyta艅 stawianych w celu udzielenia osobie pytaj膮cej informacji, kt贸rej osoba ta nie zna. Sugestywne mo偶e by膰 ka偶de pytanie je艣li jest wypowiedziane z takim aparatem s艂贸w i gest贸w, z kt贸rych mo偶na si臋 domy艣le膰 po偶膮danej przez pytaj膮cego odpowiedzi. Szczeg贸lnie dobrze nadaj膮 si臋 do tego pytania roztrzygni臋cia, dla kt贸rych jako dopuszczaj膮cych tylko 2 odpowiedzi 艂atwo przez intonacj臋, gesty, mimik臋 wskaza膰 odpowied藕 w艂a艣ciw膮. Pytania sugestywne mog膮 by膰:
z艂o艣liwe - je艣li intencj膮 pytaj膮cego jest zasugerowanie odpowiadaj膮cemu fa艂szywej odpowiedzi,
podchwytliwe - (podobne do z艂o艣liwego) intencj膮 pytaj膮cego jest sk艂oni膰 odpowiadaj膮cego do odpowiedzi, z kt贸rej:
w spos贸b niedostrzegalny dla odpowiadaj膮cego wynika co艣, co stoi w sprzeczno艣ci z innymi jego poprzednimi wypowiedziami,
w spos贸b niedostrzegalny dla odpowiadaj膮cego wynika co艣, co odpowiadaj膮cy chcia艂 ukry膰 (zatai膰).
retoryczne - s膮 to przyk艂adowe pytania:
„Czy偶 Ludwik mo偶e 偶y膰 bez samochodu?”
„Po c贸偶 Roman wchodzi艂 jeszcze do tego p艂on膮cego domu?”
„Kt贸偶 jest 艣wi臋ty? Kt贸偶 jest wszechwiedz膮cy?”
analiza: Stawiaj膮c tego rodzaju pytanie chcemy wyrazi膰 pewne przekonania: 1 - Ludwik nie mo偶e 偶y膰 bez samochodu. Pytania retoryczne s膮 r贸wnowa偶ne pewnym zdaniom:
negacji osnowy pytania - w pytaniach retorycznych quasi-dope艂nieniowych,
zdaniu wyra偶aj膮cemu dezaprobat臋 faktu opisywanego w osnowie (dzi臋ki operatorowi „szkoda, 偶e” [tak jest w przypadku pyta艅 quasi-problemowych]),
zdaniu negacji za艂o偶enia pozytywnego pytania (w przypadku pyta艅 retorycznych quasi-kompleksowych).
Cech膮 charakterystyczn膮 pyta艅 retorycznych jest sufix, czyli ko艅c贸wka „-偶”.
PO呕膭DANE W艁A艢CIWO艢CI PYTA艃:
Pytania powinny by膰 dobrze (w艂a艣ciwie) postawione, maksymalnie jasno okre艣lone i szczeg贸艂owe. Pytanie jest dobrze postawione, gdy wszystkie jego za艂o偶enia i presupozycje s膮 prawdziwe. Maksymalnie jasno jest postawione (tym bardziej jest okre艣lone) im wi臋kszy jest zakres jego niewiadomej. Pytanie jest tym bardziej szczeg贸艂owe im mniej dopuszcza odpowiedzi w艂a艣ciwych.
Podzia艂 pyta艅 ze wzgl臋du na RODZAJ PARTYKU艁Y:
roztrzygni臋cia (nie dziel膮 si臋)
dope艂nienia
problemowe
ka艂uzalne (dlaczego?)
telliczne (po co?)
kompletywne
Podzia艂 pyta艅 ze wzgl臋du na INTENCJ臉:
merytoryczne
dydaktyczne
sugestywne
z艂o艣liwe
kompletywne
Podzia艂 pyta艅 ze wzgl臋du na Z艁O呕ONO艢膯:
proste
z艂o偶one
wsp贸艂rz臋dnie
warunkowe
potencjalne
realne
irrealne
Podzia艂 pyta艅 ze wzgl臋du na SPRZ臉呕ENIE ODPOWIEDZI Z PYTANIEM:
otwarte
zamkni臋te
Pytania retoryczne - pseudopytania - s膮 r贸wnowa偶ne innym zdaniom, wypowiedziom.
ODPOWIEDZI NA PYTANIA:
Podzia艂 odpowiedzi ze wzgl臋du na STOSUNEK DATUM QUESTIONIS:
w艂a艣ciwe - wszystkie odpowiedzi powstaj膮 przez podstawienie odpowiednich warto艣ci za zmienn膮,
niew艂a艣ciwe - zdania nie b臋d膮ce odpowiedzi膮 w艂a艣ciw膮, ale czyni膮ce w wi臋kszym lub mniejszym stopniu za do艣膰 intencjom pytaj膮cego.
dostrojone - takie, w kt贸rych podstawienie dostosowane jest do zakresu zmienno艣ci zmiennej,
niedostrojone.
Przez podstawienie odpowiednich warto艣ci za zmienn膮.
„Kto odkry艂 Ameryk臋?” - „X odkry艂 Ameryk臋”.
Podzia艂 ze wzgl臋du na STOSUNEK DO ODPOWIEDZI:
rzeczowe - (dziel膮 si臋 ze wzgl臋du na kierunek wynikania)
ca艂kowite
wprost - odpowied藕, z kt贸rej wynika pewna odpowied藕 w艂a艣ciwa. Do tej grupy nale偶膮 r贸wnie偶 odpowiedzi to偶same z pewn膮 odpowiedzi膮 w艂a艣ciw膮 (np.: „Kto zabi艂 Cezara?” - „X zabi艂 Cezara”),
nie wprost - odpowiedzi nie to偶same z 偶adn膮 odpowiedzi膮 w艂a艣ciw膮, ale z niej wynikaj膮 odpowiedzi w艂a艣ciwe na gruncie wiedzy pytaj膮cego.
Cz臋艣ciowe - zdania, z kt贸rych nie wynika 偶adna odpowied藕 w艂a艣ciwa, ale kt贸re wykluczaj膮 spo艣r贸d wszystkich mo偶liwych odpowiedzi w艂a艣ciwych niekt贸re oraz zdania wynikaj膮ce z pewnej odpowiedzi w艂a艣ciwej.
wymijajace
„Czy wieloryb jest ryb膮?” - „Wieloryb jest ssakiem”
Odpowied藕 nie jest odpowiedzi膮 w艂a艣ciw膮, ale na gruncie wiedzy posiadanej przez pytaj膮cego mo偶e on za pomoc膮 rozumowania doj艣膰 do odpowiedzi w艂a艣ciwej.
„呕aden ssak nie jest ryb膮” MeP
„Ka偶dy wieloryb jest ssakiem” SaM
„呕aden wieloryb nie jest ryb膮” SeP
Odpowied藕 cz臋艣ciowa - nie w艂a艣ciwa.
„Kto zdoby艂 mistrzostwo Europy w pi艂ce no偶nej w 2004r.?
„Pa艅stwo p贸艂wyspu Ba艂ka艅skiego zdoby艂o mistrzostwo Europy”
Wyk艂ad 6 (2.11.04)
Podzia艂 odpowiedzi ze wzgl臋du na WARTO艢膯 LOGICZN膭:
Prawdziwe
Fa艂szywe
Prawdziwo艣膰 - zamierzona b膮d藕 niezamierzona.
Podzia艂 odpowiedzi ze wzgl臋du na WARTO艢膯 METODOLOGICZN膭:
Trafne - ca艂kowita-wprost i prawdziwa,
Wyczerpuj膮ce - prawdziwa, ca艂kowita, z kt贸rej wynika ka偶da odpowied藕 trafna,
Nie wyczerpuj膮ca - wszystkie inne odpowiedzi (nie trafne, nie ca艂kowite itd.)
ODPOWIEDZI NIEW艁A艢CIWE, PROTESTUJ膭CE:
Je偶eli jakie艣 pytanie jest 藕le postawione (fa艂szywe za艂o偶enia lub presupozycje), to nie mo偶na na nie udzieli膰 trafnej ani wyczerpuj膮cej odpowiedzi. Prawdziwa odpowied藕 na takie pytanie 9je偶eli nie ma to by膰 odpowied藕 wymijaj膮ca) powinna by膰 odpowiedzi膮 protestuj膮c膮 tj. znosz膮c膮 (odrzucaj膮c膮) fa艂szywe za艂o偶enia i presupozycje.
„Kt贸ra z c贸rek Kopernika nazywa艂a si臋 Maria?”
Prawdziwe odpowiedzi rzeczowe s膮 nast臋puj膮ce:
„呕adna z c贸rek Kopernika nie nazywa艂a si臋 Maria”
Kopernik nie mia艂 c贸rki”.
Je艣li nie jest spe艂nione negatywne za艂o偶enie pytania tzn. je艣li wszystkie odpowiedzi w艂a艣ciwe na to pytanie s膮 w艂a艣ciwe, w贸wczas jedyn膮 odpowiedzi膮 prawdziw膮 b臋dzie odpowied藕 znosz膮ca negatywne za艂o偶enia pytania. Odpowied藕 taka jest zawsze odpowiedzi膮 ca艂kowit膮 nie-wprost.
Przyk艂.: „Kto z ludzi oddycha powietrzem?” - nie ma odpowiedzi fa艂szywej na to pytanie.
Rys historyczny i sprawa zastosowania pyta艅:
Logika pyta艅 jest stosunkowo m艂od膮 dyscyplin膮 logiczn膮. Za prekursora uwa偶any jest B. Bolzano. W 1837 r. ukaza艂a si臋 jego ksi膮偶ka „Wissenschaftslerry”.
Wsp贸艂czesne analizy pyta艅 by艂y oparte najpierw na terminologii wzi臋tej z logiki predykat贸w.
K. Ajdukiewicz, Analiza semantyczna znania pytajnego, Ruch Filozoficzny, X(1926), 194-195,
K. Ajdukiewicz, Zdania pytajne, w: Logiczne podstawy nauczania, Warszawa 1934 r.,
K. Ajdukiewicz, Logika pragmatyczna, Warszawa 1965, 86-94,
F. S. Cohen, What is a question, Monist XXXIX(1929), 350-364,
A. Prior, M. Prior, Erotelic Logic, Philosophical Review LXIV(1955), 43-59.
Prace Ajdukiewicza to najbardziej wyczerpuj膮ca charakterystyka semiotyczna i metodologiczna pyta艅 w literaturze polskiej.
Zastosowanie - problematyka pyta艅 odgrywa wa偶n膮 rol臋 pomocnicz膮 w zagadnieniach:
Logiczna teoria j臋zyka - np. struktura syntaktyczna zda艅 w sensie logicznym mo偶e by膰 analizowana za pomoc膮 pyta艅, na kt贸re odpowiedzi膮 s膮 pewne zdania.
„Jan lubi Ann臋” - zdanie to jest odpowiedzi膮 na 2 r贸偶ne pytania: „Kto lubi Ann臋?” oraz „Kogo lubi Jan?”. Datum questionis pytania pierwszego brzmi: „X lubi Ann臋”, natomiast datum questionis pytania drugiego brzmi: „Jan lubi X”. Wyja艣niaj膮c ten fakt w terminach gramatyki kategorialnej mo偶emy przyj膮膰, 偶e odpowied藕 na pierwsze pytanie sk艂ada si臋 z funktora „lubi Ann臋” i argumentu „Jan”. Podczas gdy odpowied藕 na drugie pytanie sk艂ada si臋 z funktora „Jan lubi” i argumentu „Anna”.
Metodologia - metodologiczne aspekty pyta艅 omawiaj膮 Ajdukiewicz, Giedymin i Hinttika. Analizuje si臋 tutaj kwestie informacji zawartej w pytaniach. Rol臋 pyta艅 w badaniu naukowym ze szczeg贸lnym uwzgl臋dnieniem problematyki pyta艅 w heurystyce omawia Witold Marcinkiewicz.
Dydaktyka - pytaniami w dydaktyce zajmowa艂 si臋 Ajdukiewicz.
Teoria system贸w informacyjnych - logiczna teoria pyta艅 odgrywa istotn膮 rol臋 w rozwi膮zywaniu zagadnie艅 z zakresu teorii system贸w informacyjnych (Belnap, Steel 1976). Autorzy ci pisz膮 r贸wnie偶 og贸lnie na temat zastosowania teorii pyta艅.
Konstrukcji logiki pyta艅 jako dzia艂u logiki formalnej mo偶na dokona膰 2-ma drogami.
Na podstawie klasycznego rachunku predykat贸w (dominuje w literaturze),
Na podstawie nieklasycznych rachunk贸w predykat贸w.
Podstawowym zagadnieniem formalnej teorii pyta艅 staje si臋 problem czy pytania s膮 redukowalne do wyra偶e艅 innych rodzaj贸w czy te偶 nale偶y je uwa偶a膰 za kategori臋 odr臋bn膮 i nieredukowaln膮. Zagadnienie to wi膮偶e si臋 z problemem konstruowania logiki pyta艅 w postaci systemu dedukcyjnego tzn. je艣li pytania s膮 redukowalne do zda艅 twierdz膮cych, to logika pyta艅 mo偶e by膰 zbudowana jako system dedukcyjny:
Stanowiska:
Pogl膮d, 偶e pytania s膮 redukowalne do zda艅 twierdz膮cych, a niekt贸rzy uwa偶aj膮, 偶e pytanie mo偶na uto偶sami膰 z jego za艂o偶eniami,
Pytanie nie jest wyra偶eniem j臋zykowym lecz klas膮 wszystkich odpowiedzi bezpo艣rednich na to pytanie. Uto偶samianie si臋 pytania ze zbiorem okre艣lonego rodzaju odpowiedzi na nie.
Uto偶samianie pytania z rozkazem udzielenia informacji mog膮cej zaspokoi膰 pragnienie wiedzy pytaj膮cego (imperatywne uj臋cie teorii pyta艅). To uj臋cie zapocz膮tkowa艂 Bolzano uto偶samiaj膮c znaczenie zdania pytajnego P ze znaczeniem zdania rozkazuj膮cego: „偶膮dam informacji P”. To stanowisko reprezentuj膮 Belnap i Steel stwierdzaj膮c, 偶e pytania stanowi膮 specjaln膮 i nieredukowaln膮 kategori臋. Om贸wieniem propozycji i rozwi膮za艅 Belnapa i Steela jest monografia T. Kubickiego, Wst臋p do logicznej teorii pyta艅, Warszawa 1970. Monografia ta jest najobszerniejsz膮 w literaturze polskiej prezentacj膮 formalnych system贸w pyta艅. Odznacza si臋 przy tym oryginalno艣ci膮 i zaletami dydaktycznymi.
Problem warto艣ci logicznej pyta艅:
Niekt贸rzy twierdz膮, 偶e pytaniom nie przys艂uguje warto艣膰 logiczna, poniewa偶 nie s膮 one r贸wnowa偶ne swoim odpowiedziom. Belnap twierdzi, 偶e warto艣ci膮 logiczn膮 pytania jest warto艣膰 logiczna za艂o偶e艅 tego pytania w okre艣lonej klasie modeli odpowiedniego j臋zyka sformalizowanego. Przy takim uj臋ciu mo偶na m贸wi膰 o pytaniach prawdziwych lub fa艂szywych w danej klasie modeli. Z zagadnieniem tym wi膮偶e si臋 analiza pyta艅 dobrze i 藕le postawionych.
W teorii pyta艅 Kubickiego pytaniem danego j臋zyka sformalizowanego jest wyra偶enie rozpoczynaj膮ce si臋 od operatora pytajnego. W sk艂ad operatora wchodzi pewna sta艂a i pewna zmienna (zmienna je艣li pytamy o wi臋cej ni偶 jeden obiekt czy zdarzenie), nast臋puje po operatorze funkcja zdaniowa zawieraj膮ca jako zmienne wolne wszystkie zmienne wyst臋puj膮ce w operatorze. Tak rozumiane pytanie przyporz膮dkowuje si臋 zdaniom pytajnym j臋zyk贸w naturalnych.
Pytanie mo偶na wi臋c uwa偶a膰 za formalizacj臋 zda艅 pytajnych j臋zyk贸w naturalnych. Charakterystyka formalna nie przes膮dza jednak o interpretacji. Pytanie w powy偶szym sensie mo偶na uwa偶a膰:
za szczeg贸lnego rodzaju zdanie oznajmuj膮ce,
za skr贸ty takich zda艅,
za nazwy jednostkowe pewnych klas wyra偶e艅,
za nazwy pewnych zda艅
Kzi桅zi K =< zi桅zi Czi桅zi
Odpowiedzi bezpo艣rednie na pytania wyra偶one w j臋zyku sformalizowanym jest to pewne zdanie tego j臋zyka, kt贸re mo偶na otrzyma膰 przez wykonanie sko艅czonej ilo艣ci przekszta艂ce艅 formalnych.
Proces porz膮dkowania pytaniom ma wi臋c charakter efektywny. W zale偶no艣ci od operatora mo偶na dokona膰 podzia艂u pyta艅.
Np. pytania kt贸rych operator zawiera 1 zmienn膮 nazywa si臋 pytaniami prostymi, pozosta艂e to pytanie z艂o偶one.
Jednorodne pytania - wszystkie zmienne wyst臋puj膮ce w operatorze s膮 tej samej kategorii,
Niejednorodne pytania - gdy operator zawiera co najmniej 2 zmienne nale偶膮ce do r贸偶nych kategorii.
Wyk艂ad 7 (9.11.04)
DEFINICJE
W obecnej teorii definicji panuje wielki chaos. Brak og贸lnego okre艣lenia, czym jest definicja (definicji s艂owa „definicja”). Wyst臋puje niejednolito艣膰 terminologiczna, podzia艂y definicji bywaj膮 dokonywane bez uwzgl臋dnienia w艂a艣ciwych kryteri贸w podzia艂u.
殴r贸d艂em tego teoretycznego zam臋tu s膮:
niebywa艂a wr臋cz wieloznaczno艣膰 s艂owa definicja (prawo przyrody - 10 r贸偶nych znacze艅; osobowo艣膰 - 40 r贸偶nych znacze艅 w psychologii; kultura - 150 r贸偶nych znacze艅 w naukach o spo艂ecze艅stwie),
r贸偶ne funkcje, jakie definicje pe艂ni膮 w nauce i poza nauk膮:
semantyczne
syntaktyczne
metodologiczne
prakseologiczne
teoriopoznawcze
ontologiczne,
podejmowane pr贸by unifikacji sensu termin贸w u偶ywanych do oznaczania r贸偶nych rodzaj贸w definiowania, a nast臋pnie ekstrapolacji (przenoszenia) pocz膮tkowo wyr贸偶nianego tylko definiowania realnego na nowo odkrywamy formy definicji (podci膮ganie definicji pod definicj臋 arystotelesowsk膮),
r贸偶norodne cele, kt贸re wg teoretyk贸w definicje maja realizowa膰:
okre艣lenie istoty rzeczy
determinowanie poj臋膰 (Kant)
zdawanie sprawy z istniej膮cego znaczenia s艂贸w
umowne narzucanie sensu tzn. ustalanie znacze艅 w stosunku do s艂贸w, kt贸re ju偶 istniej膮 lub wprowadzanie nowych s艂贸w.
Te powody przyczyniaj膮 si臋 do tego, 偶e jest brak og贸lnej definicji s艂owa „definicja”.
Jedni twierdz膮, 偶e trzeba dalej jej szuka膰, a inni - 偶e te przyczyny powoduj膮 niemo偶no艣膰 zdefiniowania tego poj臋cia.
R贸偶norodno艣膰 definicji jest tak du偶a i rozbie偶na, 偶e trudno r贸wnie偶 ustali膰 klasyfikacj臋 dla podzia艂u definicji.
Definicja - okre艣lenie, przedstawienie, wyja艣nianie, obja艣nianie.
Trudno poda膰 kryteria kwalifikowania definicji. W tej sytuacji wydaje si臋, 偶e trzeba zrezygnowa膰 z szukania okre艣lenia og贸lnego znaczenia definicji, a przedstawienie teorii definicji rozpocz膮膰 od prezentowania wyr贸偶nianych wsp贸艂cze艣nie w literaturze odmian definicji, kt贸rych sprawozdawcza charakterystyka jest ju偶 mo偶liwa.
Rodzaje definicji:
Je艣li, jak powszechnie wiadomo, pierwszy teoretyk i tw贸rca teorii definicji - Arystoteles, wyr贸偶nia 2 rodzaje definicji (realne i nominalne), to wsp贸艂czesna teoria definicji wyr贸偶nia ju偶 kilkadziesi膮t rodzaj贸w.
Helmut M眉nke w artykule z roku 1978 zamieszcza list臋 rodzaj贸w definicji, kt贸ra obejmuje 71 nazw definicyjnych (rodzaj贸w definicji). W praktyce pr贸by kwalifikowania danego wyra偶enia okre艣laj膮cego jakie艣 poj臋cie do jednego z wyr贸偶nionych rodzaj贸w definicji jest czynno艣ci膮 bardzo skomplikowan膮. Pojawiaj膮ce si臋 trudno艣ci s膮 wywo艂ane przede wszystkim: wielo艣ci膮 kryteri贸w kwalifikacji oraz mo偶liwo艣ci膮 wyst臋powania r贸偶nych podstaw podzia艂u.
Gdyby jednak zredukowa膰 wielo艣膰 mo偶liwych podstaw podzia艂u do 4-ech wzajemnie uzupe艂niaj膮cych si臋 „fundamenta divisionis” (kryterium podzia艂u), to otrzymamy nast臋puj膮ce podstawy podzia艂u i kwalifikacje.
Kryteria podzia艂u definicji:
Budowa definicji
R贸wno艣ciowe
Wyra藕ne
Kontekstowe
Zwyk艂e
Przez abstrakcj臋
Indukcyjne (rekurencyjne)
Uwik艂ane
Supozycja definiendum
Nominalne
S艂ownikowe
Semantyczne
Realne
Klasyczne
Nieklasyczne
Pochodzenie (geneza) znaczenia definiendum
Sprawozdawcze (analityczne)
Projektuj膮ce (syntetyczne)
Konstruktywne
Reguluj膮ce
Zakres stosowalno艣ci definicji
Warunkowe
Warunkowe w naukach formalnych
Redukcyjne
Operacyjne
Dejktyczne (ostensywne)
Warunkowe w naukach realnych
Bezwarunkowe
Je偶eli na t膮 propozycj臋 si臋 zgodzimy, to zabieg ten pozwoli na sformu艂owanie diagnostycznych kryteri贸w kwalifikowania danych okre艣le艅 do poszczeg贸lnych rodzaj贸w definicji z zachowaniem warunku zupe艂no艣ci podzia艂u.
Definicja r贸wno艣ciowa
Wyst臋puje w niej tzw. Funktor definicyjny. Funktory definicyjne to: „jest to”, „to”, „=”, „”, „znaczy tyle samo co”, „oznacza”, „denotuje”, „nazywamy” i ich synonimy. Definicja r贸wno艣ciowa sk艂ada si臋 z 3 cz臋艣ci: definiendum, definiens i funktora definicyjnego. Definicja r贸wno艣ciowa jakiego艣 wyra偶enia W na gruncie j臋zyka J gdy ma posta膰 r贸wno艣ci lub r贸wnowa偶no艣ci pozwala prze艂o偶y膰 ka偶dy zwrot j臋zykowy zawieraj膮cy wyra偶enie W na zwrot nie zawieraj膮cy tego wyra偶enia, czyli pozwala wyeliminowa膰 wyra偶enie W z dowolnego kontekstu.
* Przyk艂ady:
1 „Elipsa jest to krzywa, kt贸rej wszystkie punkty maj膮 t臋 sam膮 w艂asno艣膰, 偶e suma odleg艂o艣ci punktu od 2 danych punkt贸w jest sta艂a”
1.1 „Ka偶da planeta kr膮偶y po krzywej, kt贸rej wszystkie punkty maj膮 w艂asno艣膰, 偶e suma odleg艂o艣ci punktu od 2 danych punkt贸w jest sta艂a”
1.2 „Ka偶da planeta kr膮zy po elipsie”.
Definiendum i wyraz definiowany to s膮 2 r贸偶ne poj臋cia. Definiendum jest po lewej stronie definicji (przed funktorem definicji), a definiens po prawej stronie (po funktorze definicyjnym).
Definicja wyra藕na to taka definicja r贸wno艣ciowa, kt贸rej definiendum pokrywa si臋 z wyrazem definiowanym.
„Murzyn jest to cz艂owiek czarnosk贸ry”
definiendum definiens
Definicja kontekstowa to definicja r贸wno艣ciowa, w kt贸rej definiendum zawiera opr贸cz wyrazu definiowanego wyrazy niezdefiniowane.
A鈯侭 鈮 鈭x (x鈭圓 x鈭圔) - definiowany jest symbol „鈯”
definiendum definiens
„Ma艂y cz艂owiek jest to cz艂owiek, kt贸ry nie przekroczy艂 150 cm wzrostu”
Definicje uwik艂ane (aksjomatyczne):
W systemie dedukcyjnym (zaksjomatyzowanym) aksjomatyka stanowi uwik艂an膮 definicj臋 dla termin贸w wyst臋puj膮cych w tej aksjomatyce, czyli dla termin贸w pierwotnych.
Definicja uwik艂ana nie zawiera funktora definicyjnego.
A1: (p鈫抭) 鈫 [(q鈫抮) 鈫 (p鈫抮)]
A2: p 鈫 (鈭紁鈫抭)
A3: (鈭紁鈫抪) 鈫 p
DEF 1: p鈭╭ = 鈭紁鈫抭
DEF 2: p/q = p鈫掆埣q
DEF 3: p鈭 = 鈭(p鈫掆埣q)
DEF 4: p鈮 = 鈭糩(p鈫抭)鈫掆埣(q鈫抪)]
Wyk艂ad 8 (16.11.04)
Definicje KONTEKSTOWE:
zwyk艂e
przez abstrakcj臋
indukcyjne (rekurencyjne)
ad. 2 -przez abstrakcj臋 - zbudowana wg schematu: Cx = Cy 鈮 xRy (gdzie: Cx=Cy - definiendum, xRy - definiens, 鈮 - funktor definicyjny, C - okre艣la kszta艂t figur, R - relacja). R - relacja r贸wnowa偶no艣ciowa (zwrotna, symetryczna i przewodnia).
„Kszta艂t figury geometrycznej x jest identyczny z kszta艂tem figury geometrycznej y wtedy i tylko wtedy, gdy x przystaje do y” - przystawalno艣膰 to w艂a艣nie relacja.
„Znaczenie s艂owa x jest identyczne ze znaczeniem s艂owa y wtedy i tylko wtedy, gdy x jest r贸wnowa偶ne z y” - r贸wnowa偶no艣膰 to relacja.
ad. 3 - indukcyjna (rekurencyjna) - najcz臋艣ciej stosowana do definiowania zbioru dobrze uporz膮dkowanego. Sk艂ada si臋 z 2 zda艅. Pierwsze wskazuje, kt贸re przedmiotu na pewno do danego zbioru nale偶膮 (mo偶e to by膰 zdanie z艂o偶one). Drugie (zdanie lub zesp贸艂 zda艅) informuje, jak powinny zachowywa膰 si臋 inne przedmioty w stosunku do wyr贸偶nionych w punkcie pierwszym, aby te偶 do tego zbioru nale偶a艂y.
Przyk艂ad: okre艣lenie sensownego wyra偶enia w klasycznym rachunku zda艅.
Podzia艂 definicji ze wzgl臋du na SUPOZYCJ臉 DEFINIENDUM:
nominalne
realne
ad. 1 - NOMINALNE - definicja r贸wno艣ciowa, w kt贸rej definiendum jest u偶yte w supozycji materialnej.
Jak to poznamy?
Supozycj臋 (definiendum i definiensa) odczytuje si臋 z kontekstu,a tym kontekstem jest rodzaj funktora definicyjnego.
Funktory definicyjne, kt贸re narzucaj膮 supozycj臋 materialn膮 to:
„znaczy tyle samo co”
„oznacza”
„denotuje”
„nazywamy”
i ich synonimy.
Definicje nominalne dzielimy na:
s艂ownikowa
semantyczna
ad. a): - s艂ownikowa - tak definiendum jak i definiens wyst臋puje w supozycji materialnej i decyduje o tym funktor definicyjny: „znaczy tyle samo co” i jego synonimy.
ad. b): - semantyczna - definiendum jest w supozycji materialnej, a definiens w supozycji formalnej.
Funktor definicyjny „oznacza” narzuca definiendum supozycj臋 materialn膮 a definiens - zwyk艂膮.
Funktor definicyjny „denotuje” albo „nazywamy” narzuca definiens supozycj臋 formaln膮.
„Calomel” znaczy tyle samo co „chlorek rt臋ci”. - definicja s艂ownikowa
materialna materialna
„Calomel oznacza chlorek rt臋ci”. - definicja semantyczna
materialna zwyk艂a
„Calomel denotuje chlorek rt臋ci”. (zbi贸r chlork贸w rt臋ci) - definicja semantyczna
materialna formalna
„Calomel nazywamy chlorkiem rt臋ci”. - definicja semantyczna
materialna formalna
ad. 2: - REALNE - definicja r贸wno艣ciowa, kt贸rej definiendum i definiens r贸wnocze艣nie s膮 u偶yte w supozycji formalnej. Decyduje o tym rodzaj funktora definicyjnego:
„jest to”
„to”
„=”
„鈮”
i ich synonimy.
„Calomel jest to chlorek rt臋ci”
materialna formalna
„X jest murzynem wtedy i tylko wtedy, gdy X jest cz艂owiekiem czarnosk贸rym”
Definicje realne dzielimy na:
klasyczne
nieklasyczne
ad. a): - warunki definicji klasycznej:
funktor definicyjny brzmi: „jest to”,
musi to by膰 definicja wyra藕na (w definiendum tylko 1 wyraz),
definiens ma by膰 zbudowany z 2 cz臋艣ci:
cz臋艣膰 I - reprezentuje najbli偶szy (w stosunku do definiowanego gatunku) rodzaj,
cz臋艣膰 II - wsp贸艂oznacza tzw. r贸偶nic臋 gatunkow膮.
Je偶eli zbi贸r S jest podrz臋dny wzgl臋dem zbioru P, to zbi贸r S nazywamy gatunkiem, a P - rodzajem.
R贸偶nica gatunkowa - cecha, kt贸ra z rodzaju wyr贸偶nia tylko te elementy, kt贸re nale偶膮 do gatunku.
„Cz艂owiek jest to ssak rozumny” - rozumny to w艂a艣ciwo艣膰
„Murzyn jest to cz艂owiek czarnosk贸ry” - czarnosk贸ry to w艂a艣ciwo艣膰.
Z definicj膮 klasyczn膮 jest problem filozoficzny. Arystoteles akcentowa艂 i zwraca艂 uwag臋 na to, 偶e dobrze zbudowana definicja klasyczna musi zawsze bra膰 pod uwag臋 rodzaj najbli偶szy.
(cz艂owiek 鈭 ssak 鈭 organizm 鈭 byt materialny 鈭 byt)
ad. b): - definicja nieklasyczna - ka偶da definicja realna, kt贸ra nie spe艂nia cho膰by jednego z 3 wymienionych warunk贸w.
„X jest Murzynem wtedy i tylko wtedy, gdy X jest cz艂owiekiem czarnosk贸rym” - funktorem definicyjnym nie jest „jest to” tylko „<=>”, a definiens nie jest jednym s艂owem.
Podzia艂 definicji ze wzgl臋du na ZNACZENIE DEFINIENDUM:
definicja sprawozdawcza - (analityczna) - definicja r贸wno艣ciowa, kt贸rej definiens zdaje spraw臋 z zastanego w istniej膮cej ju偶 konwencji j臋zykowej znaczenia definiendum,
definicja projektuj膮ca - definicja, w kt贸rej definiens w stosunku do istniej膮cej ju偶 konwencji j臋zykowej zmienia cz臋艣ciowo lub ca艂kowicie znaczenie definiendum. Je偶eli zmienia znaczenie ca艂kowicie - jest to definicja konstrukcyjna. Je偶eli zmienia znaczenie cz臋艣ciowo - jest to definicja reguluj膮ca.
Definicja reguluj膮ca:
„艁ysy cz艂owiek jest to cz艂owiek maj膮cy na g艂owie nie wi臋cej ni偶 60 w艂os贸w”,
„Pe艂noletnim nazywa膰 si臋 b臋dzie ka偶dego i tylko tego, kt贸ry uko艅czy艂 18 lat”.
Definicja konstrukcyjna: wprowadza nowe s艂owo lub nadaje inne znaczenie ju偶 istniej膮cym s艂owom.
Podzia艂 definicji ze wzgl臋du na ZAKRES STOSOWALNO艢CI:
Bezwarunkowe - zakres stosowalno艣ci nie ograniczony jest 偶adnym warunkiem,
Warunkowe - zakres stosowalno艣ci ograniczony jest warunkiem. Definicje warunkowe posiadaj膮 nast臋puj膮cy schemat:
Px 鈫 (Qx 鈮 Rx), (gdzie Px - warunek, Qx - definiendum, Rx - definiens, 鈮 - funktor definicyjny, P, Q, R - predykaty).
Przyk艂ad: y 鈮 0 鈫 (x/y = z 鈮 x - yz)
Przyk艂ad: „Je偶eli kto艣 jest cz艂owiekiem, to ten kto艣 jest geniuszem wtedy i tylko wtedy, gdy umie liczy膰 do 100”.
Wyk艂ad 9 (23.11.04)
Definicje redukcyjne i operacyjne r贸偶ni膮 si臋 mi臋dzy sob膮 jedynie sformu艂owaniem warunku
W definicji redukcyjnej predykat P opisuje sytuacj臋, w kt贸rej znajduje si臋 x, natomiast w definicji operacyjnej predykat P reprezentuje pewn膮 czynno艣膰 (operacj臋) wykonywan膮 na x-ie.
Px 鈫 (Qx 鈮 Rx)
„Je偶eli umie艣ci膰 opi艂ki 偶elaza w pobli偶u x-a (je偶eli x znajduje si臋 w pobli偶u opi艂k贸w 偶elaza), to x jest magnesem wtedy i tylko wtedy, gdy x przyci膮ga opi艂ki”.
Definicja dejktyczna (ostensywna) - opr贸cz cz臋艣ci s艂ownej zawiera dodatkowo jeszcze pewien gest wskazuj膮cy desygnaty wyrazu definiowanego. Jest to definicja s艂owno-sytuacyjna.
Kwalifikowanie rodzaj贸w definicji:
Kwalifikacja kryteri贸w.
Przy kwalifikowaniu okre艣le艅 do poszczeg贸lnych rodzaj贸w definicji nasuwa si臋 problem oceny tych kryteri贸w. Je艣li przyjmiemy, 偶e kryterium przynale偶no艣ci jakiego艣 obiektu do okre艣lonego zakresu jest zdeterminowana przez definiens diagnostycznej definicji owego zakresu, to nasuwa si臋 pytanie czy definicje poszczeg贸lnych odmian definicji dostarczaj膮 tak przyj臋tych kryteri贸w kwalifikacji.
Ad. 1: (ze wzgl臋du na KSZTA艁T) - poniewa偶 艂atwo jest w ka偶dym okre艣leniu dostrzec fakt posiadania lub braku funktora definicyjnego, definicje definicji r贸wno艣ciowych i uwik艂anych uznajemy za diagnostyczne, a wi臋c dostarczaj膮ce kryteria.
Ad. 2: (ze wzgl臋du na SUPOZYCJ臉) - r贸wnie偶 okre艣lenie supozycji definiendum nie nastr臋cza trudno艣ci.
Ad. 4: odr贸偶nienie zdania z艂o偶onego jako okresu warunkowego od zda艅 bezwarunkowych, st膮d tak偶e definicje definicji nominalnych, realnych, warunkowych i bezwarunkowych zaliczymy do diagnostycznych (dostarczaj膮ce wyra藕ne kryterium).
Ad. 3: (sprawozdawcze i projektuj膮ce) - nasuwaj膮 si臋 pewne w膮tpliwo艣ci, czy adekwatno艣膰 definiensa w stosunku do istniej膮cych konwencji j臋zykowych mo偶e by膰 traktowana jako zwi膮zek efektywnie wykrywalny.
Kryteria 1, 2 i 4 s膮 zrozumiale nawet dla cz艂owieka, kt贸ry nie potrafi tym j臋zykiem w艂ada膰 (kryterium syntaktyczne) - (ze wzgl臋du na budow臋, bez zrozumienia znaczenia).
Kryterium 3 - znaczenie b膮d藕 geneza znaczenia definiensa. Nie znamy znaczenia (kryterium syntaktyczno-semantyczne)
B艁臉DY DEFINICJI:
B艂臋dy we wszystkich definicjach
B艂臋dy w definicjach sprawozdawczych
B艂臋dy w definicjach sformu艂owanych w j臋zyku symbolicznym.
Ad. 1: Te b艂臋dy, kt贸re mog膮 pojawi膰 si臋 we wszystkich definicjach. Dzielimy je na:
Ignotum per ignotum - nieznane przez nieznane:
Dydaktyczne
Logiczne
Circulus witiosus in definiendo - b艂臋dne ko艂o w definiowaniu:
Idem per idem - to samo przez to samo (bezpo艣rednie b艂臋dne ko艂o)
Po艣rednie b艂臋dne ko艂o
B艂臋dy sprzeczno艣ci - definicja mo偶e by膰 sprzeczna w 2 uj臋ciach:
Sprzeczno艣膰 nieistnienia
Sprzeczno艣膰 niejedyno艣ci
Ad. 2: W definicjach sprawozdawczych mamy b艂膮d nieadekwatno艣ci - i ten b艂膮d wyst臋puje w 2 uj臋ciach:
Za szeroka definicja
Za w膮ska definicja
Ad. 3: W definicjach symbolicznych mamy 1 rodzaj b艂臋d贸w - b艂臋dy niejednorodno艣ci.
Ad. 1, a): ignotum per ignotum - dydaktyczne - b艂膮d taki pope艂nia tw贸rca definicji, kt贸ry u偶ywa w definiensie wyraz贸w niezrozumia艂ych dla odbiorcy.
Ad. 1, b): ignotum per ignotum - logiczne - taki b艂膮d mo偶e by膰 pope艂niony w sytuacjach dedukcyjnych, jest pope艂niony wtedy, gdy w definiensie u偶yte s膮 wyrazy, kt贸re nie wyst膮pi艂y:
Ani w 偶adnym definiendum poprzednich definicji,
Ani w aksjomatyce,
Ani w 偶adnym bardziej podstawowym systemie za艂o偶onym przez t臋 teori臋.
Np.: A=B 鈮 A鈯侭 鈭 C鈯侫 - 鈯 i 鈭 nieby艂y wcze艣niej zdefiniowane.
Ad. 1, b): B艂臋dne ko艂o w definicji:
Bezpo艣rednie - wyst臋puj膮, gdy wyraz definiowany pojawia si臋 r贸wnie偶 w definiensie, m贸wi si臋 wtedy, 偶e wyraz wyja艣nia si臋 przez ten sam wyraz („mas艂o ma艣lane”),
Po艣rednie - je艣li wyraz (jaki艣 jest definiowany przez drugi, drugi przez trzeci itd. ... przez n-ty, a n-ty przez pierwszy.
Ad. 1, c): B艂臋dy sprzeczno艣ci: definicja pope艂nia b艂膮d sprzeczno艣ci, gdy do艂膮czona do jakiej艣 teorii staje si臋 藕r贸d艂em sprzeczno艣ci tej teorii. Teoria to system zda艅 po艂膮czonych ze sob膮 zwi膮zkami wynikania logicznego.
Sprzeczno艣膰 do definicji wnosi definiens, kt贸ry nie spe艂nia b膮d藕 warunku jedyno艣ci b膮d藕 istnienia.
Warunek jedyno艣ci:
Pierwiastek z x = y 鈮 y2 = x
Pierwiastek z 4 = 2
Pierwiastek z 4 = -2
Konsekwencje - 2 = -2, a to jest sprzeczno艣膰!
Definicja: „Kwadrat jest to figura geometryczna, p艂aska, maj膮ca 4 k膮ty proste i boki parami r贸wnoleg艂e”
nie rozr贸偶nimy kwadratu od prostok膮ta przez to, ze definicja jest niedok艂adna.
B艂膮d nieistnienia: do nauki mog膮 by膰 wprowadzane r贸偶ne przedmioty teoretyczne, ale aby definicje tych przedmiot贸w nie wywo艂ywa艂y sprzeczno艣ci trzeba wykaza膰, 偶e przedmiot ten istnieje i 偶e jest tylko 1.
Np. sprzecznym jest poj臋cie „zbi贸r wszystkich zbior贸w” (teoria mnogo艣ci)
Definicja sprawozdawcza ma zdawa膰 spraw臋 z sensu, jaki ju偶 istnieje. Tw贸rca tej definicji zamierza tak j膮 skonstruowa膰, aby zakresy definiendum i definiensa by艂y sobie r贸wne. Ka偶dy inny stosunek zakresowy czyni te definicje nieadekwatnymi (krzy偶uj膮cy, nadrz臋dny...)
Definicja za szeroka - jest wtedy, je艣li zakres definiendum jest podrz臋dny wzgl臋dem zakresu definiensa.
„Nazwa jest to wyra偶enie, kt贸re posiada desygnaty” (a s膮 nazwy, kt贸re nie posiadaj膮 desygnat贸w),
„Kwadrat jest to fig贸ra p艂aska czworoboczna i r贸wnoboczna” (do tej definicji wchodzi r贸wnie偶 romb).
Definicja za w膮ska - definiendum jest nadrz臋dne w stosunku do definiensa.
„Cz艂owiek jest to ssak rozumny o p艂ci m臋skiej”,
„Cz艂owiek jest to ssak rozumny o niebieskich oczach”.
Definicje symboliczne - b艂膮d niejednorodno艣ci - definicja jest jednorodna je艣li w definiendum i definienscie wyst臋puj膮 te same zmienne wolne (zmienna wolna to zmienna nie zwi膮zana operatorami). A gdy s膮 r贸偶ne zmienne wolne, to jest to definicja niejednorodna.
A=B 鈮 A鈯侭 鈭 B鈯侫 - po obu stronach wyst臋puj膮 te same zmienne wolne
A鈯侭 鈮 鈭x (x鈭圓 鈫 x鈭圔) - zmienna x jest zmienn膮 zwi膮zan膮! Czyli definicja jest poprawna!
18