logika_skrypt_Ozzymo (1)
-
Upload
sylwia-wlodarczyk -
Category
Documents
-
view
219 -
download
0
Transcript of logika_skrypt_Ozzymo (1)
-
7/30/2019 logika_skrypt_Ozzymo (1)
1/34
SKRYPT Z WYKADW
LOGIKA DLA PRAWNIKWWPIA UJ
BY OZZYMO
WYKADOWCY:Prof. Dr hab. T. Gizbert-StudnickiDr A. Grabowski
KRAKW 2008
-
7/30/2019 logika_skrypt_Ozzymo (1)
2/34
2
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
SPIS TRECI
1. Wykad I - Wprowadzenie do logiki. Logiczna teoria jzyka . 32. Wykad II Kategorie syntaktyczne ... 53. Wykad III Logika erotetyczna cz. I . 74. Wykad IV Logika erotetyczna cz. II ... 95. Wykad V Semantyka nazw 116. Wykad VI Stosunki midzyzakresowe 137. Wykad VII Semantyka zda .. 158. Wykad VIII - Teoria relacji .... 179. Wykad IX Logika modalna i deontyczna 2010.Wykad X Teoria definicji cz. I 2211.Wykad XI Teoria definicji cz. II . 2412.Wykad XII Podzia logiczny .. 2613.Wykad XIII Uzasadnianie twierdze ... 2814.Wykad XIV Metodologia nauk . 3115.ANEKS Przykadowe zadania egzaminacyjne podawane w trakcie wykadw ... 33
-
7/30/2019 logika_skrypt_Ozzymo (1)
3/34
3
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD I
Temat:Wprowadzenie do logiki. Logiczna teoria jzyka.Wykadowca: Prof. T. Gizbert-Studnicki
1. Podzia logiki:a) Logika formalna bada schematy wnioskowa niezawodnych, tzn. takich, ktre od
prawdziwych przesanek prowadz zawsze do prawdziwych wnioskw. Tradycyjna Klasyczna Klasyczny Rachunek Zda (KRZ)
b) Semiotyka logiczna bada logiczne waciwoci jzyka, dy do tego, aby jzyk uczynimetod badawcz.
Syntaktyka Teoria skadni. Bada relacje zachodzce wewntrz jzyka, pomidzyjego elementami.
Semantyka Bada relacje pomidzy jzykiem, a rzeczywistoci pozajzykow. Jejgwnym paradygmatem jest pojcie prawdy.
Pragmatyka Bada relacje pomidzy jzykiem, a jego uytkownikami. Jej gwnymparadygmatem jest pojecie rozumienia.
c) Metodologia nauk jej przedmiotem s czynnoci badawcze. Bada ich struktur znastawieniem na zastosowanie praktyczne.
2. Jzyk z logicznego punktu widzenia jzyk jest rodzin zbiorw :< S ; Rsk ; Rsem >
S Sownik zbir wszystkich wyrazw nalecych do jzykaRsk Reguy skadniRsem Reguy semantyki
Znajomo jzyka, to raczej umiejtno, ni wiedza, gdy przejawia si w praktyce w fakcie poprawnegojego uywania, mimo nieznajomoci wszystkich regu.
3. Cechy jzyka:a) Arbitralno wyrazy s przypisane do przedmiotw bez zwizku z natur tych
przedmiotw.
b)
Semantyczno wyrazy jzyka odsyaj do przedmiotw istniejcych poza jzykiem.c) Autonomiczno jzyk odrywa si od istniejcej realnie rzeczywistoci, mona go uywazarwno do opisu teraniejszoci, jaki i przeszoci i przyszoci.
d) Kreatywno kady znajcy jzyk ma moliwo generowania i rozumienianieskoczonej liczby zda. Wynika to z faktu, e jzyk skada si z regu rekursywnych takich, ktre mog by uywane wielokrotnie.
e) Dwuklasowo jzyk (naturalny) zorganizowany jest na dwch poziomach: KOD samoistne elementy jzyka bez przypisanego znaczenia. Jest pasoytniczy w
stosunku do jzyka naturalnego. Zorganizowane elementy jzyka wyposaone w znaczenie.
-
7/30/2019 logika_skrypt_Ozzymo (1)
4/34
4
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
4. Funkcje jzyka:a) Przedstawieniowa opisywanie rzeczywistoci pozajzykowej.
Teza Sapira-Whorfa struktura jzyka determinuje sposb postrzegania wiata (tzw.relatywizm jzykowy).
b) Ekspresywna wyraeniowac) Normatywna wpywajcad) Fatyczna polega na nawizywaniu kontaktu z innymi ludmie) Performatywna oparta na wypowiedziach dokonawczych.5. Rodzaje jzykw:a) Naturalne powstae w wyniku naturalnego i spontanicznego rozwoju. Jego reguy
semantyczne s nieostre, co z punktu widzenia nauk cisych jest wad, ale umoliwiacodzienn komunikacj jzykow.
b) Sztuczne stworzone specjalnie do okrelonego celu, jego reguy s jednoznaczne,stosowany chtnie w naukach cisych (np. jzyk matematyczny, chemiczny itd.).
6. Jzyk prawny jest hybryd jzyka naturalnego i sztucznego, ze wzgldu na: Zmodyfikowane sownictwo - swoiste okrelenia prawnicze, np. cesja, aport itp. Zmodyfikowan semantyk - niektrym wyraeniom przypisywane s znaczenia
odmienne od tych funkcjonujcych s w jzyku naturalnym, np. powd,zobowizanie itp.
7. Zrnicowania w obrbie jzyka:a) Terytorialne (w zakresie semantyki, z punktu widzenia logiki kady dialekt to inny jzyk)b) Zwizane ze statusem spoecznymc) Zwizane z wiekow struktur spoeczn.8. Rne punkty spojrzenia na jzyk (F. de Saussure):a) Langue jzyk jako system, zbir regu abstrakcyjnych.b) Parole jzyk jako konkretne nawyki, realizowane w procesie mwienia przez jego
uytkownikw, jest to umiejtno praktyczna.Te dwa punkty nie s tosame, ale wpywaj na siebie.
c) N. Chomsky: Jzyk jako system jest w stanie wygenerowa nieskoczon ilo zda, ale w uyciu
funkcjonuje tylko ograniczona ich liczba. Zrnicowania wynikajce ze struktury spoecznej, to zrnicowania na poziomie
parole. Reguy mowy reguy, ktre pozwalaj na dostosowanie konkretnej wypowiedzi
do sytuacji spoecznej.
-
7/30/2019 logika_skrypt_Ozzymo (1)
5/34
5
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD II
Temat: Kategorie syntaktyczne.Wykadowca: Prof. T. Gizbert-Studnicki
1. Syntaktyka bada zalenoci wewntrz-jzykowe pomidzy elementami jzyka.Tradycyjny podzia gramatyczny (czci mowy, czci zdania) nie jest przedmiotemzainteresowania syntaktyki logicznej.
a) Zdanie jest paradygmatem syntaktyki i winno by rozumiane intuicyjnie. Nie jesttosame z definicj zdania w sensie logicznym.
b) Kategoria syntaktyczna dwa wyrazy nale do tej samej kategorii syntaktycznej, jeelimog by sob zastpione w tym samym zdaniu.
c) Test substytucji:Maria kocha Jana.
So kocha Jana.Piotr kocha Jana.
2. Kategoria nazw nazw jest wyraz, ktry moe by pomylnie podstawiony do zdania obudowie:
A jest B
Nazwa nie jest tosama z rzeczownikiem, gdy moe by ni liczebnik, zaimek, zesp wyrazw zoonych.a) Zaoenie jzyka pozycyjnego istniej dwa rodzaje jzykw: fleksyjne (miejsce w
strukturze zdania wyznacza kocwka deklinacyjna) np. wikszo jzykw
sowiaskich, oraz pozycyjne (miejsce w strukturze zdania wyznacza pozycja wyrazw wzdaniu) jzyk angielski, niemiecki.
3. Kategoria funktorw funktor peni okrelon funkcj w zdaniu, wraz z innymi wyrazamitworzy zdanie.
a) Funktor zdaniotwrczy od dwch nazw:nn
ZMaria kocha Jana.
b) Funktor zdaniotwrczy od jednej nazwy:n
Z
Maria pi.c) Funktor zdaniotwrczy od dwch zda:
ZZ
Z Maria kocha Jana, bo so pi.
d) Funktor zdaniotwrczy od jednego zdania:Z
Z Nieprawda, e so pi.
e) Funktor nazwotwrczy od jednej nazwy:n
n Pikna Maria.
-
7/30/2019 logika_skrypt_Ozzymo (1)
6/34
6
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
f) Funktor nazwotwrczy od dwch nazw:
nn
Z
nn
Z
Maria okrutnie maltretuje Jana.
g) Funktor funktorotwrczy, tworzcy funktor funktorotwrczy:
nn
Z
nn
Z
nn
Z
nn
Z
Maria wyjtkowo okrutnie maltretuje Jana.
h) Funktor zdaniotwrczy od jednej nazwy z funktora zdaniotwrczego od jednej nazwy:
n
Z
n
Z
So gboko pi.
Formalna definicja zdania jeeli wypowied rozpisana zgodnie z logiczn teori skadni da siuproci si w ten sposb, aby pozostao samo Z, to wypowied ta jest zdaniem. DEFINICJATA JEST NIEUPRAWNIONA, gdy wyprowadza skutki z tych samych, uprzednio przyjtychzaoe (tzn. aby rozpisa wypowied w logicznej teorii skadni, naley przyj intuicyjnerozumienie zdania).
4. Reguy logicznej teorii skadni:a) Reguy kwalifikacyjne pozwalaj odrni kategorie syntaktyczneb) Reguy konstrukcyjne rzdz budow wypowiedzi.
Logiczna teoria skadni nie nadaje si zastosowa dla jzykw naturalnych, gdy w jzykach tych reguykwalifikacyjne s nieostre to samo sowo ma rne zastosowania w rnych zdaniach. Nadaj si natomiastdo jzyka sztucznego.
-
7/30/2019 logika_skrypt_Ozzymo (1)
7/34
7
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD III
Temat:Logika erotetyczna, cz. IWykadowca: Dr A. Grabowski
1. Logika erotetyczna logika pyta i odpowiedzi. Jej twrcami byli przedstawiciele szkoylwowsko-warszawskiej. Gwny twrca Kazimierz Ajdukiewicz.
2. Pytanie wyraenie skadajce si z:a) Partykuy pytajnej czy?, kto?, jaki?, itp.b) Zdanie, lub jego fragment okrelenie treci pytaniac) Znak zapytania
Jest to definicja syntaktyczna, ktra nie jest tosama z definicj pytania w sensie semantycznym.
3. Schemat odpowiedzi (datum questionis) funkcja zdaniowa, ktrej tre wyznaczona jestprzez partyku pytajn, oraz tre pytania.
Zakres niewiadomej pytania zbirelementw, ktrych nazwy mona wstawi na miejsce niewiadomej pytania, zgodnie w
tym, czego pytanie dotyczy:a) Zbir skoczony, zw. dwuelementowy (dla pyta rozstrzygnicia):Czy Jan kocha Zosi?
TAK (Jan kocha Zosi) NIE (Jan nie kocha Zosi)
b) Zbir nieskoczony (dla pyta zamknitych):Kto odkry Ameryk?
X odkry Amerykc) Nieustalony (dla pyta otwartych):Dlaczego egzamin jest prosty?
4. Logiczna analiza pyta: Pytania rozstrzygnicia zaczynaj si od partykuy Czy
Dwuczonowe istniej tylko dwa wzajemnie wykluczajce si wariantyodpowiedzi (np. Czy Jan Kocha Zosi?).
Wieloczonowe istnieje skoczona liczba wzajemnie wykluczajcych siodpowiedzi (np. Czy Pary ley nad Wis, Sekwan, Loar?).
Pytania dopenienia zaczynaj si od dowolnej innej partykuy. Pytania zamknite posiadaj schemat odpowiedzi. Pytania otwarte nie posiadaj schematu odpowiedzi. Pytania proste chodzi o uzyskanie jednej informacji. Pytania zoone chodzi o uzyskanie wicej ni jednej informacji. Od strony
gramatycznej jest to pytanie zadane z uyciem wicej ni jednej partykuy pytajnej (np.
Kto i kiedy odkry Ameryk?) Pytania waciwie postawione Pytania niewaciwie postawioneIV
III
II
I
-
7/30/2019 logika_skrypt_Ozzymo (1)
8/34
8
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
5. Pozostae rodzaje pyta:a) Retoryczneb) Zoliwec) Pozorned) Sugerujce:
Sugerujce fakty pytajcy podaje pewne fakty, ktrych pytany nie mia, lub o ktrychzapomnia.
Sugerujce emocje polega na uyciu okrele pejoratywnych, co ma na celuwywoanie wpywu na odpowiadajcym.
6. Dyrektywiczny charakter pyta:a) Zaoenie H. Kelsena normy prawne mog regulowa dowolne zachowanie ludzkie,
niemniej naley rozwaa ich sensowno. Wg Kelsena bezsensowna jest norma, ktra niepozwala adresatowi zachowa si z ni zgodnie, lub do ktrej zastosowanie si nie jestmoliwe (np. adnemu czowiekowi nie wolno umrze).
b) Odniesienie do logiki erotetycznej (Ajdukiewicz) dyrektywiczny charakter pytaniapolega na tym, e pytany musi mie moliwo udzielenia odpowiedzi prawdziwej, lubfaszywej.
7. Zaoenie pytania np. do pytania Kto odkry Ameryk? zaoeniem pytania jesttwierdzenieAmeryka zostaa odkryta.
a) Pozytywne Kto jest krlem Polski? - Polska jest monarchi.b) Negatywne Ktra liczba parzysta jest niepodzielna przez 2? Nie istnieje liczba parzysta
niepodzielna przez 2.
Wg Ziembiskiego nie naley rozrnia zaoenia pozytywnego i negatywnego.
8. Odrnienie pyta:a) Waciwie postawionych jego zaoenie nie jest faszywe.b) Niewaciwie postawionych pytanie, ktrego zaoenie jest faszywe, tzn. niemoliwe
jest udzielenie odpowiedzi prawdziwej, lub faszywej. Poprawn odpowiedzi, na pytanieniewaciwie postawione jest odpowied znoszca bdne zaoenie pytania.
c) Obarczonych bdem podwjnego pytania:Panie sdzio, czy przesta Pan bra apwki?
TAK, przestaem. NIE, nie przestaem. NIE, gdy nigdy nie braem.
Wg Ajdukiewicza to pytanie jest waciwie postawione, ale odpowied nie jest rozstrzygajca. WgZiembiskiego pytanie jest niewaciwie postawione, gdy zaoenie pytania jest faszywe (Sdzia bierzeapwki).
-
7/30/2019 logika_skrypt_Ozzymo (1)
9/34
9
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD IV
Temat:Logika erotetyczna, cz.IIWykadowca: A. Grabowski
1. Charakterystyka odpowiedzi:a) Prawdziweb) Faszywec) Waciwed) Niewaciwe odpowied niewaciwa, to odpowied:
Nie zbudowana wedug schematu odpowiedzi. Zbudowana wedug schematu, ale taka, ktrej niewiadoma zostaa zastpiona przez
odpowied spoza zakresu niewiadomej pytania.e) Cakowite wprost tosama z odpowiedzi waciw.f) Cakowite nie wprost taka, z ktrej odpowied wynika.g) Czciowe taka, ktra pozwala wyeliminowa niektre odpowiedzi.h)
Znoszce mylne zaoenie pytaniai) Nie znoszce mylnego zaoenia pytania
Kto odkry Ameryk? Ad. a Krzysztof Kolumb odkry Ameryk. Ad. b Jan Nowak odkry Ameryk. Ad. c Jan Nowak odkry Ameryk. Ad. d Liczba odkrya Ameryk. lub Nie, nie odkry. Ad. e Jan Nowak odkry Ameryk. Ad. f Najwybitniejszy hiszpaski odkrywca odkry Ameryk. Ad. g aden Niemiec nie odkry Ameryk. Ad. h Ameryka nie zostaa odkryta. Ad. i Jan Nowak odkry Ameryk.2. Koncepcje prawdy:a) Klasyczna (korespondencyjna) prawdziwe jest zdanie, ktre jest zgodne (tj.
koresponduje) z rzeczywistoci.b) Kryterialne:
Teoria oczywistoci (Kartezjusz) zdanie jest prawdziwe wtedy, gdy jest oczywiste. Teoria koherencyjna (spjnoci) zdanie jest prawdziwe wtedy, gdy jest zgodne ze
zdaniami wczeniej uznanymi za prawdziwe. Zakada kumulatywny rozwj wiedzy ijest w opozycji do wspczenie przyjmowanej teorii zmiany paradygmatu. Teoria pragmatyczna (nauka amerykaska) zdanie jest prawdziwe, gdy przynosi
poytek, a faszywe, gdy przynosi szkod. Teoria konsensualna (zgody powszechnej) zdanie jest prawdziwe wtedy, gdy jest
powszechna zgoda na to, by byo ono prawdziwe.
3. Pytania sugestywne w procesie karnym (na podstawie KPK): Art. 271 1 (starego KPK) wiadek skada zeznania zaczynajc od pytania co i z
jakiego rda wiadomo mu w sprawie.
Modele przesucha: Model spontaniczny sd pozwala przesuchiwanemu na spontaniczn wypowied.
Wymaga odesania od kryterium pozalogicznego(koncepcja prawdy).
-
7/30/2019 logika_skrypt_Ozzymo (1)
10/34
10
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
Model zadawania pyta przesuchiwany tylko odpowiada na zadawane pytania. Model mieszany przesuchiwanemu najpierw pozwala si na swobodn
wypowied, po czym zadaje pytania doprecyzowujce. Art. 191 2 norma wyznaczajca kolejno pyta, od ktrych rozpoczynamy
przesuchanie. Art. 314 2 (stary KPK) uchylenie pytania, ktre sd uzna za: nieistotne, nie majce
znaczenia dla sprawy, obraajce przesuchiwanego, lub zmierzajce do ustaleniakwestii ju ustalonych. Art. 171 4 zakaz zadawania pyta sugerujcych. Art. 171 6 organ przysugujcy uchyla sugerujce i te, ktre uzna za nieistotne. Art. 370 4 prowadzcy uchyla ww. pytania, oraz te, ktre uznaje za niestosowne.
Stanowisko doktryny doktryna posuguje si pojciem sugestywnoci wg Ajdukiewicza, orazpodkrela, e trzeba uwaa z pytaniami rozstrzygnicia, gdy zawieraj wicej sugestywnychinformacji. Przyjmuje si, e w pewnych wypadkach pytania sugerujce s dopuszczalne, jakotzw. pytania kontrolne (gdy badamy prawdomwno wiadka). Niedopuszczalne s natomiast:
pytania wykraczajce poza ramy postpowania i niestosowne (np. zawierajce wulgaryzmy, lubzmierzajce do ustalenia tego, co ju zostao ustalone). Przyjmuje si, e warto dowodowadowodu uzyskanego w postaci odpowiedzi na pytanie sugerujce jest mniejsza, ni uzyskanej wwyniku pozostaych pyta.
4. Pi warunkw pytania prawidowo postawionego:a) Sensowneb) Celowec) Syntaktycznie prawidowed) Zrozumiaee) Musi istnie moliwo przynamniej jednej prawidowej (dla pytania zamknitych)5. Katalog rad kryminalistyki:a) Konstrukcja pytania winna odpowiada wskazaniom logicznym i regulacjom prawnymb) Cel pytania winien by objty materi postpowaniac) Naley przygotowa si do przesuchania i przewidzie tre odpowiedzi:
Pytania gwne Pytania dodatkowe Pytania ewentualne
d) Zadajc pytanie trzeba skorzysta z metod opartych na nauce.
-
7/30/2019 logika_skrypt_Ozzymo (1)
11/34
11
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD V
Temat:Semantyka nazw.Wykadowca: Prof. T. Gizbert-Studnicki
1. Podstawowe pojcia semantyki nazw:a) Desygnat nazwy desygnatem nazwy A jest rzecz, o ktrej zgodnie z prawd orzec mona
A.b) Relacja oznaczania relacja zachodzca midzy nazw, a jej desygnatem.c) Zakres nazwy zbir desygnatw danej nazwy.
Zbir w sensie dystrybutywnym (np. zakres nazwy) zbir A jest tosamy ze zbioremB, gdy kady element zbioru A naley do zbioru B. Nie jest tosamy ze zbiorem wsensie kolektywnym, czyli caoci skadajcej si z czci.
2. Podzia nazw ze wzgldu na liczb desygnatw:a) Nazwa oglna nazwa majca wicej ni jeden desygnat.b)
Nazwa jednostkowa nazwa majca dokadnie jeden desygnat. Kategoria syntaktyczna Liczb desygnatw wyznacza struktura jzyka (np. najdusza
rzeka wiata). Kategoria semantyczna Liczb desygnatw wyznacza rzeczywisto pozajzykowa
(np.polski laureat pokojowej Nagrody Nobla)c) Nazwa pusta nazwa nie majca adnego desygnatu. Zakresem nazwy pustej jest zbir
pusty.
krl Polski Nazwa pusta w wiecie aktualnie istniejcym.
Nazwa oglna w wiecie realnie istniejcym z uwzgldnieniem historii.
Obecny krl Francji jest ysy. To zdanie nie jest prawdziwe. Zdanie jest w istocie koniugacj, w ktrej presupozycj jest zdanie Istnieje obecny krl Francji.
Warto logiczna nie przysuguje temu zdaniu, poniewa jego presupozycja nie jest speniona.Presupozycja jest odporna na negacj.
smurf, elf, wampir Na potrzeby logiki przyjmuje si, e nazwy te s nazwami pustymi, gdy wiat realnie istniejcy jest
jedynie istniejcym.
3. Podzia nazw ze wzgldu na kategori ontologiczn:a) Nazwy konkretne odnosz si do rzeczy ze wiata przedmiotowego (np. krzeso, mikrofon,
ale te nimfa).b) Nazwy abstrakcyjne wskazuj na pewne cechy wsplne, na pewien stan lub stosunek
(np. cnota, mio, cisza).c) Bd hipostazowania dopatrywanie si cech desygnatw nazwy konkretnej w
desygnatach nazwy abstrakcyjnej.
Czy i jak istniej nazwy abstrakcyjne? Idealizm (Platon) nazwy konkretne istniej realnie i obiektywnie w wiecie idei.
-
7/30/2019 logika_skrypt_Ozzymo (1)
12/34
12
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
Reizm (Kotrabiski) istniej tylko nazwy konkretne, nazwy abstrakcyjne to hipostazy nazwypozorne.
Pomidzy nazwami konkretnymi i abstrakcyjnymi nie zachodzi test substytucji:
Szczero przeraa Jan. Jan przeraa szczero.Dobre zdanie jzyka polskiego
(przy zaoeniu jzyka pozycyjnego)
Zdanie nie naley jzyka polskiego
Przykad jest dowodem na to, e semantyka motywuje skadni.
4. Nazwy generalne i indywidualne:a) Nazwy generalne pozwala je odrni ju sama znajomo jzyka polskiego (np. krzeso,
so, mikrofon).b) Nazwy indywidualne nazwy pozbawione znaczenia w jzyku polskim (np. Lech
Kaczyski, Wisa).
5.
Podzia nazw ze wzgldu na zakres:a) Nazwy kolektywne oznaczajce zbiory (np. biblioteka, wojsko)b) Nazwy niekolektywne nie oznaczajce zbiorw.6. Nazwy prywatne i nieprywatne:a) Nazwy prywatne podkrelaj brak czego (np. niepoczytalno)b) Nazwy nieprywatne pozostae nazwy.7. Tre nazwy:a) Pena - treci pen nazwy N jest zbir wszystkich cech przysugujcych wsplnie
wszystkim desygnatom nazwy N (w tym sensie, e wszystkie desygnaty nazwy N majwszystkie te cechy i tylko desygnaty nazwy N maj kad z tych cech.b) Charakterystyczna - tre charakterystyczna nazwy N to jakikolwiek zbir cech taki, e
wszystkie desygnaty nazwy N maj wszystkie te cechy i tylko desygnaty nazwy N majkad z tych cech.
c) Jzykowa (znaczenie nazwy) - Treci jzykow nazwy N jest taka tre charakterystycznanazwy N, ktra suy uytkownikowi jzyka do rozpoznawania desygnatw tej nazwy.
Kwadrat:Ad. a) pasko, czworoboczno, prostoktno, rwnoboczno, wpisywalno w koo, etc. (nie mona
tego katalogu wyczerpa)Ad. b) pasko, czworobocznoAd. c) - pasko, czworoboczno, prostoktno, rwnoboczno
-
7/30/2019 logika_skrypt_Ozzymo (1)
13/34
13
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD VI
Temat:Stosunki midzyzakresowe.Wykadowca: Prof. T. Gizbert-Studnicki
1. Podstawowe pojcia:a) Zbir uniwersalny (uniwersum) zbir wszystkiego co istnieje. Oznaczany jako odcinek.b) Negacja przynazwowa negacj przynazwow nazwy A, jest nazwa A (np. so i nie-so).2. Stosunki midzyzakresowe:a) Zawierania:
Podrzdno: A student B ssak Rwnowano:
A student B suchacz uczelni wyszej Nadrzdno: A gryzo B kuna
b) Krzyowania: Niezaleno: A pose
B przestpca
Podprzeciwiestwo: A ssak B nie-so
c) Wykluczania: Przeciwiestwo: A profesor B so Sprzeczno: A so A nie-so
POMIDZY DWIEMA DOWOLNYMI NIEPUSTYMI NAZWAMI JZYKA ZACHODZIZAWSZE DOKADNIE JEDEN Z POWYSZYCH STOSUNKW ZAKRESOWYCH !!!
B
A
B
A
B
A
B
A
B
A
B
A
A
A
-
7/30/2019 logika_skrypt_Ozzymo (1)
14/34
14
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
3. Stosunki zakresowe pomidzy nazwami pustymi i niepustymi:a) Jeeli dane s dwa zbiory: pusty i niepusty, to zbiory te zarwno si w sobie zawieraj,
jak i wykluczaj:
A krasnoludekB so Stosunek przeciwiestwa Stosunek podrzdnoci
Zada takich nie rozwizuje si metod graficzn!
4. Metajzyk:a) Antynomia semantyczna:TO ZDANIE JEST FASZYWE
Antynomi t rozwiza dopiero A. Tarski w latach 30-tych XX wieku. Wg Tarskiego zdaniu temu
nie przysuguje warto logiczna, gdy jest ono bezsensowne (odnosi si do samego siebie).Konieczne jest odrnienie stopni jzyka. Tarski jako pierwszy uy okrelenia metajzyk.
Nie da si ustali stosunku zakresowego pomidzy nazwami j. przedmiotowego (np. so) inazwami metajzyka (np. nazwa pusta), gdy nie maj one wsplnego uniwersum.
jest
Prawda (1)Zaoenie to prowadzi do sprzecznoci,gdy przyjcie zdania za prawdziwe,prowadzi do faszu.
Fasz (0)Zaoenie to prowadzi do sprzecznoci,bowiem przyjcie zdania za faszywe,prowadzi do prawdy.
SO
DOM
STATEK
AUTO
jest
albo
NAZWA
FUNKTOR
RZECZYWISTOPOZAJZYKOWA
JZYKPRZEDMIOTOWY
METAJZYKJ. PRZEDMIOTOWEGO
-
7/30/2019 logika_skrypt_Ozzymo (1)
15/34
15
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD VII
Temat:Semantyka zda.Wykadowca: Prof. T. Gizbert-Studnicki
1. Rodzaje przydawek przynazwowych:a) Determinujca:
A kuna B tresowana kuna
Stosunek nadrzdnoci (podrzdnoci)b) Konfirmujca:
A przyjaciel B prawdziwy przyjaciel
Stosunek rwnowanocic) Modyfikujca:
A przyjaciel
B faszywy przyjacielStosunek przeciwiestwa
2. Koncepcje prawdy (patrz wykad IV pkt. 2)3. Rodzaje zda:a) Syntetyczne (a posteriori) aby oceni ich prawdziwo, potrzebne jest dowiadczenie,
empiria (np.Anna skoczya 19 lat).b) Analityczne (a priori) ich prawdziwo wynika z samego znaczenia (np. Kwadrat ma
cztery boki).
c)Wewntrznie sprzeczne samo znaczenie przesdza o faszywoci (np. Kwadrat ma 5bokw).
4. Rodzaje funktorw zdaniotwrczych od jednego zdania:a) Ekstensjonalne (prawdziwociowe) ich warto logiczn wyznacza wycznie warto
argumentw (np. wszystkie funktory KRZ).b) Intensjonalne (treciowe) wartoci logicznej zdania nie mona ustali jedynie na
podstawie znajomoci wartoci logicznej argumentw (np. funktory logiki modalnej ideontycznej).
5.Wieloznaczno w jzyku:a) Homonimia i polisemia zjawiska, w ktrych jednemu wyrazowi jzyka przypisane jestwicej ni jedno znaczenie:
Homonimia wyrazy poczone znaczeniem s bez zwizku. Polisemia wyrazy poczone znaczeniem s spokrewnione.W tekstach prawnych homonimia nie sprawia wikszych problemw, gdy wyraz jest osadzony wkontekcie. Duo wiksze problemy sprawia polisemia.
b) Nieostro nazwa N jest nieostra, gdy jej brzeg jest zbiorem niepustym. Brzegiem nazwyN jest zbir tych przedmiotw, o ktrych uytkownik nazwy nie jest w stanie orzec ani N,ani nie-N.
Nazwy jednostkowe s zawsze ostre.
Nazwy puste nie mog by nieostre. Tylko nazwy oglne mog by nieostre.
B
A
B
A
B
A
Sposobem na eliminacj nazwnieostrych w tekcie prawnym jestwprowadzenie definicji legalnej.
-
7/30/2019 logika_skrypt_Ozzymo (1)
16/34
16
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
c) Otwarta tekstowo (open texture) zawsze jest moliwe zaistnienie stanu, w ktrym (wwyniku rozwoju nauki) zaistnieje wtpliwo, czy jaka nazwa (definicja) obejmie danyprzedmiot (np. w wyniku rozwoju technik informatycznych konieczne byo poszerzeniedefinicji legalnej utworu w prawie autorskim, o programy komputerowe). Otwartejtekstowoci nie da si wyeliminowa, gdy niemoliwe jest przewidzenie kierunkwrozwoju nauki.
d) Okazjonalno nazwa jednostkowa majca jeden desygnat (np.ja), ale zmieniajcy si wzalenoci od tego, przez kogo zostaa wypowiedziana. Interpretacja wypowiedziokazjonalnej zaley do empirii.
e) Presupozycje role znaczeniowe: Prosta uywanie nazwy w odniesieniu do konkretnego jej desygnatu (np. So
biegnie ulic.) Formalna uywanie nazwy w odniesieniu do caego jej zakresu (np. So jest
ssakiem). Materialna uywanie nazwy w odniesieniu do metajzyka (np. So jest nazw).
f) Amfibolia wieloznaczno skadniowa. Zdanie, w ktrym poszczeglne wyrazy s jasne,ale cao moe by rozumiana wieloznacznie, np.:
Ucz studenta (czego?) matematyki. Ucz (kogo?) studenta matematyki.
g) Znaczenia dosowne i przenone: Bd figuratywnego mylenia traktowanie dosowne wyrae, ktre zostay uyte
w przenoni.
-
7/30/2019 logika_skrypt_Ozzymo (1)
17/34
17
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD VIII
Temat: Teorie relacjiWykadowca: Prof. T. Gizbert-Studnicki
1. Podstawowe pojcia:a) Czony relacji obiekty poczone relacj (poprzednik i nastpnik)b) Dziedzina relacji zbir wszystkich poprzednikw relacji.c) Przeciwdziedzina zbir wszystkich nastpnikw relacji.d) Pole relacji dziedzina + przeciwdziedzina.e) Relatywizacja do zbioru mwic np. o relacji bliniactwa automatycznie odnosimy t
relacj do zbioru ludzi.f) Zapis graficzny:
aRba pozostaje w relacji R do b
Ilekro bdzie mowa o zbiorach, mamy na myli zbiory w sensie dystrybutywnym (tzn. [4,7,1] = [7,1,4])
2. Pary uporzdkowane wana jest kolejno, w jakiej wyliczamy elementy zbioru, np. (a,b) (b,a).
3. Iloczyn kartezjaski iloczynem kartezjaskim zbioru X i zbioru Y, jest zbir wszystkichpar uporzdkowanych, w ktrych na pierwszym miejscu wystpuje element zbioru X, a nadrugim element zbioru Y, np.:[a, b] i [2,6,7] = (a,2) (a,6) (a,7)
(b,2) (b,6) (b,7)
4. Kwadrat kartezjaski iloczyn kartezjaski zbioru X przez zbir X, np.:[4,5,1] = (4,4) (4,5) (4,1)
(5,4) (5,5) (5,1)(1,4) (1,5) (1,1)
5. Relacja R okrelona w zbiorze X jest podzbiorem kwadratu kartezjaskiego zbioru X ,np.:Relacja wikszoci dla X = [4,5,1] = (4,4) (4,5) (4,1)
(5,4) (5,5) (5,1)
(1,4) (1,5) (1,1)
6. Charakterystyka relacji:a) Symetrycznoci:
Symetryczno relacja R jest symetryczna zawsze i tylko wtedy, gdy jeelizachodzi pomidzy X i Y, to zachodzi take midzy Y i X (np. relacja rwienictwa).
Przeciwsymetryczno relacja R jest przeciwsymetryczna zawsze i tylko wtedy,gdy jeeli zachodzi pomidzy X i Y, to nieprawda, e zachodzi take midzy Y i X(np. relacja bycia wikszym).
Niesymetryczno - relacja R jest niesymetryczna zawsze i tylko wtedy, gdy jeelizachodzi pomidzy X i Y, to czasem zachodzi, a czasem nie zachodzi midzy Y i X(np. relacja lubienia).
-
7/30/2019 logika_skrypt_Ozzymo (1)
18/34
18
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
b) Przechodnioci: Przechodnio relacja R jest przechodnia zawsze i tylko wtedy, gdy jeeli zachodzi
pomidzy X a Y a Z, to zachodzi take midzy X a Z (np. relacja starszestwa). Przeciwprzechodnio relacja R jest przeciwprzechodnia zawsze i tylko wtedy,
gdy jeeli zachodzi pomidzy X a Y a Z, to nieprawda, e zachodzi take midzy X a
Z (np. relacja ojcostwa). Nieprzechodnio relacja R jest nieprzechodnia zawsze i tylko wtedy, gdy jeeli
zachodzi pomidzy X a Y a Z, to czasem zachodzi, a czasem nie zachodzi midzy X aZ (np. relacja pokrewiestwa).
c) Zwrotnoci: Zwrotno relacja R jest zwrotna zawsze i tylko wtedy, gdy zachodzi midzy
kadym elementem zbioru, a nim samym (np. relacja bycia rwnym). Przeciwzwrotno relacja R jest zwrotna, gdy nieprawda, e zachodzi midzy
kadym elementem zbioru, a nim samym (np. relacja bycia wikszym). Niezwrotno relacja R jest niezwrotna zawsze i tylko wtedy, gdy czasem
zachodzi, a czasem nie zachodzi, midzy kadym elementem zbioru, a nim samym(np. relacja lubienia).
d) Spjnoci: Spjno relacja R jest spjna zawsze i tylko wtedy, gdy zachodzi pomidzy kad
par tego zbioru albo w jednym, albo w drugim kierunku (np. relacja byciawikszym).
Przeciwspjno relacja R jest przeciwspjna zawsze i tylko wtedy, gdy niezachodzi dla adnej pary tego zbioru ani w jednym, ani w drugim kierunku.
Niespjno relacja R jest niespjna zawsze i tylko wtedy, gdy czasem zachodzi, aczasem nie zachodzi pomidzy parami tego zbioru albo w jednym, albo w drugim
kierunku (np. relacja pokrewiestwa w najbliszej rodzinie).
7. Relacje w stosunkach zakresowych:d) Stosunek podrzdnoci, relacja:
Przeciwsymetryczna Przeciwprzechodnia Przeciwzwrotna Niespjna
e) Stosunek rwnowanoci, relacja: Symetryczna Przechodnia Zwrotna Niespjna.
f) Stosunek podprzeciwiestwa, relacja: Niesymetryczna Przeciwzwrotna Przeciwprzechodnia Niespjna
d) Stosunek niezalenoci, relacja: Symetryczna Nieprzechodnia Przeciwzwrotna Niespjna
e) Stosunek przeciwiestwa, relacja: Symetryczna Nieprzechodnia Przeciwzwrotna Niespjna
-
7/30/2019 logika_skrypt_Ozzymo (1)
19/34
19
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
8. Konwers relacji konwersem relacji xRy, jest relacja yRx.9. Relacje porzdkujce:a) Cakowicie (mocno) relacje przeciwsymetryczne, przechodnie i spjne (np. relacja norm:
konstytucyjnych, ustawowych, z rozporzdzenia gdy w zbiorze tym nie ma norm otakiej samej mocy prawnej).
b) Czciowo (sabo) relacje przciwsymetryczne, przechodnie i niespjne (np. relacjawynikw egzaminu, uszeregowana w kolejnoci od najlepszych gdy zdarzaj si wynikijednakowe )
10.Rodzaje przyporzdkowania:a) Jednojednoznacznie takie, gdy jeden element dziedziny odpowiada dokadnie jednemu
elementowi przeciwdziedziny:
b)Jednowieloznaczne takie, gdy jeden z elementw dziedziny moe odpowiada wieluelementom przeciwdziedziny:
c) Wielojednoznaczne takie, gdy jeden z elementw przeciwdziedziny moe odpowiada dokadniewielu elementom dziedziny:
d)Wielowieloznaczne takie, gdy kady element dziedziny, moe odpowiada wieluelementom przeciwdziedziny:
X1X2
X3
Y1
Y2
Y3
Np. monogamicznemaestwo
Y1
Y2
Y3
X2Np. relacja
macierzystwa
Y2
X1X2
X3
Np. relacja byciapodwadnym
X1
X2
X3
Y1
Y2
Y3
Np. relacja bycia
znajomym
-
7/30/2019 logika_skrypt_Ozzymo (1)
20/34
20
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD IX
Temat:Logika modalna i deontyczna.Wykadowca: Prof. T. Gizbert-Studnicki
1. Logiki funktorw intensjonalnych:a) Logika modalna (aletyczna) logika funktorw konieczne, e; moliwe, eb) Logika deontyczna logika funktorw nakazane, e; zakazane, e; dozwolone, ec) Logika epistemiczna logika funktorw wiem, e; wierz, e
LOGIKA MODALNA
1. Operatory:a) Kp Konieczne, e pb) Mp Moliwe, e p
2.
Stylizacje:a) Stylizacja de dictum:Konieczne, e kady czowiek umrze.
b) Stylizacja de re:Kady czowiek musi umrze.
3. Sensy koniecznoci:a) Logiczny p jest konieczne w sensie logicznym, gdy p wynika logicznie ze zda
uznanych uprzednio za prawdziwe.b) Dynamiczny p jest konieczne w sensie dynamicznym, gdy jest powodowane przez
pewne obiektywnie istniejce czynniki (np. Konieczne, e kady czowiek umrze).c) Tetyczny p jest konieczne w sensie tetycznym wtedy, gdy p wynika z faktu
ustanowienia, (np. Konieczne, e Jan paci podatki).d) Aksjologiczny p jest konieczne w sensie aksjologicznym, wtedy, gdy p jest podane
ze wzgldu na jakie uznane wartoci (np. Konieczne jest uniknicie wojny).e) Psychologiczny p jest konieczne w sensie psychologicznym wtedy, gdy p wynika z
psychicznego przekonania podmiotu wypowiadajcego (np. Konieczne, e zdam egzamin zlogiki).
4. Sensy moliwoci:a) Moliwo dwustronna Mp ~Mp np.:Jeeli moliwe, e zdam egzamin, to moliwe e nie
zdam egzaminu. Jest to sens potoczny, a nie logiczny.b) Moliwo jednostronna Moliwo Mp nie przesdza o tym, e ~Mp. Sens logiczny
moliwoci.
-
7/30/2019 logika_skrypt_Ozzymo (1)
21/34
21
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
5. Kwadrat logiki modalnej:
Kwadrat opisuje prawa logiki modalnej, tzn. wpisane w niego funktory maj zawsze warto 1.
a) Nadrzdno Konieczne, e p jest nadrzdne do moliwe, e p, gdyjeeli konieczne, e p, tomoliwe, e p (implikacje przy pionowych bokach).
b) Sprzeczno Konieczne, e p jest sprzeczne, z moliwe, e nie p, gdy nigdy nie jest tak, eobie formuy s jednoczenie prawdziwe, lub jednoczenie faszywe (alternatywy rozczneprzy przektnych).
c) Przeciwiestwo Konieczne, e p, jest przeciwne do konieczne, e nie p, gdy nie jestmoliwe, aby obie formuy byy jednoczenie prawdziwe (dysjunkcja przy grnym boku).
d) Podprzeciwiestwo Moliwe, e nie p jest podprzeciwne do moliwe, e nie p, gdy nie jestmoliwe, aby obie formuy byy jednoczenie faszywe (alternatywa przy dolnym boku).
LOGIKA MODALNA JEST NADBUDOW LOGIKI KLASYCZNEJ, TZN. KADATAUTOLOGIA LOGIKI KLASYCZNEJ JEST PRAWEM LOGIKI MODALNEJ.
LOGIKA DEONTYCZNA
1. Operatory:a) Np nakazane, e pb) Zp zakazane, e pc) Dp dozwolone, e pd) Identyczno aden z tych operatorw nie funkcjonuje w sposb identyczny, np.:
Zp ~Dp Zakazane, e wolno zabija, wtedy i tylko wtedy, gdy nieprawda, e dozwolone,e wolno zabija.
Np ~D~p Nakazane jest pacenie podatkw, wtedy i tylko wtedy, gdy nieprawda, edozwolone jest nie pacenie podatkw.
2. Kwadrat logiki deontycznej:
Kp K~p
Mp M~p
Operatory te odnosz si tylko do czynw ludzkich, tzn.zachowa sterowaln ch ludzk wol .
Np Zp
Dp D~p
LOGIKA DEONTYCZNA JEST NADBUDOWLOGIKI KLASYCZNEJ ALE NIE JEST TAK, E
KADA TAUTOLOGIA LOGIKI KLASYCZNEJ JESTPRAWEM LOGIKI DEONTYCZNEJ (PARADOKS
ALFA ROSSA)Np.:
~(Np
p) Nieprawda, e jeeli nakazano, e Jan pacipodatki, to Jan paci podatki.
-
7/30/2019 logika_skrypt_Ozzymo (1)
22/34
22
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD X
Temat:Teoria definicji cz. IWykadowca: Dr A. Grabowski
1. Podzia definicji:DEFINICJE
REALNE NOMINALNE OSTENSYWNE
a) Definicja realna
polega na scharakteryzowaniu jakiego przedmiotu, poprzez podaniejego cech istotnych i charakterystycznych, ktre przysuguj desygnatom nazwyokrelajcej ten przedmiot. Jest to historycznie pierwszy rodzaj definicji, wyrniony przezArystotelesa.
b) Definicja nominalna polega na podaniu znaczenia wyraenia definiowanego, czyliinformacji jakie wyraenie jest rwnoznaczne z definiowanym, np. auto to samochd.
c) Definicja ostensywna procedura definicyjna polegajca na tym, e wskazujemy desygnatnazwy definiowanej i podajemy jego nazw. Jest szeroko wykorzystywana w etyce.
2. Stylizacje definicji:a)
Przedmiotowa w definicji nie wystpuje cudzysw, np. auto to samochd.b) Sownikowa definiens i definiendum s ujte w cudzysw, np. auto to samochd.
c) Semantyczna tylko definiendum jest ujte w cudzysw, np. auto to samochd.Definicje realne s sformuowane zawsze w stylizacji przedmiotowej.
3. Kryteria pozwalajce odrni definicj realn od nominalnej:a) Definicje nominalne s metajzykowe, a nominalne wewntrzjzykowe (sformuowane w
jzyku przedmiotowym).b) Definicje realne podaj informacje o desygnatach przedmiotu definiowanego za pomoc
podania jego cech istotnych (tzw.istota rzeczy
), a nominalne podaj jedynie terminywieloznaczne, przez co nie pozwalaj rozstrzygn, czy co jest desygnatem, czy nie.c) Definicje realne ujmuj istot rzeczy, rozumian jako zesp cech, ktrych wystpowanie
decyduje o uyciu danego terminu w zwykej praktyce jzykowej, a definicje nominalnetego zespou cech nie podaj, np. ld zamarznita woda (realna), ld ciao stae oskadzie H2O (nominalna).
d) Kryterium obiektywne Definicje realne okrelaj istot rzeczy, rozumian jako zespcech obiektywnie wanych, a definicje nominalne nie.
e) Kryterium subiektywne Definicja realna ma na celu wskazanie cech istotnychprzedmiotu definiowanego, a definicja nominalna nie ma tego celu.
Wspczesna nauka wykorzystuje gwnie kryterium d) i e), przy czym pierwszestwo ma kryteriumobiektywne.
PRZEDMIOTOWE METAJZYKOWE
SOWNIKOWE SEMANTYCZNE
-
7/30/2019 logika_skrypt_Ozzymo (1)
23/34
23
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
4. Stosunek zakresowy pomidzy definicjami realnymi i nominalnymi:a) Stosunek wykluczania stanowisko wikszoci logikwb) Stosunek rwnowanoci stanowisko Czyowskiegoc) Stosunek krzyowania stanowisko Ajdukiewicza, potem zmodyfikowane do zawierania
zakresowego
5. Podzia definicji ze wzgldu na budow:a) Definicje rwnociowe zbudowane wedug schematu:definiendum + spjka definicyjna + definiens
Warunek przekadalnoci (eliminowalnoci) zostaje speniony, gdy w tekcie definiendummona zastpi przez definiens i odwrotnie.
Wyrane definiendum jest tosame z definiensem. Kontekstowe (w uwikaniu) w definiensie wystpuj jakie inne wyrazy (np. w
KRZ przy definiowaniu funktora konieczne jest podanie zmiennych). Klasyczne przyjmujce budow: a jest to b majce cech c, gdzie:
a gatunek definiowany b termin rodzajowy c rnica gatunkowa (differentiam specificam)
Np. Planeta to ciao niebieskie krce wok soca. Nieklasyczne inne, ni klasyczne, np. przez wyliczenie desygnatw.
b) Nierwnociowe nie speniajce warunku przekadalnoci: Indukcyjne definicja, ktra porednio wskazuje przedmioty nalece do zakresu
wyraenia definiowanego, poprzez wskazanie relacji w jakiej te przedmiotypozostaj w odniesieniu do przedmiotw, ktre zostay wskazane w warunkuwyjciowym, np. definicja liczby naturalnej:
Warunek wyjciowy 0 jest liczb naturaln Warunek indukcyjny x jest liczb naturaln, jeeli x+1 jest liczb
n naturaln Przez postulaty definicja skada si z dwch lub wicej zda zawierajcych
wyraenie definiowane, ktre uznajemy za prawdziwe i w ten sposb poznajemyznaczenie wyraenia definiowanego, np. definicja zobowizania z KC - 1. Zobowizanie polega na tym, e wierzyciel moe da od dunika wiadczenia, adunik powinien wiadczenie speni. 2. wiadczenie moe polega na dziaaniu albo nazaniechaniu.
Czstkowe podaj niektre kryteria zastosowania (uycia definiowanegoterminu), w zwizku z tym termin definiowany nadal pozostaje nieostry. Swyraane w formie warunku (implikacji), a nie rwnowanoci, np. Jeeli x ma mniejni 20 lat, to jest modym czowiekiem i jeeli x ma wicej ni 20 lat to nieprawda, e jestmodym czowiekiem.
6. Podzia definicji ze wzgldu na funkcje:a) Sprawozdawcze (analityczne) zmierzaj do wiernego odtworzenia znaczenia, jakie
wyraenie definiowane ma w jzyku. S zdaniami w sensie logicznym.b) Regulujce (analityczno-syntetyczne) zmierzaj do nadania nowego znaczenia, ktre
jednak jest czciowo zgodne z wyraeniem dotychczasowym.
c) Projektujce (syntetyczne) zmierzaj do nadania zupenie nowego znaczenia, lubwprowadzaj do jzyka wyraenie zupenie nowe.
-
7/30/2019 logika_skrypt_Ozzymo (1)
24/34
24
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
prawo natury
pozytywizmdefinicja Alexyego
WYKAD XI
Temat:Teoria definicji cz. IIWykadowca: Dr A. Grabowski
1. Bdy w definiowaniu:a) Faszywo definicja ujta jako zdanie faszywe jest faszywa. Dotyczy tylko definicji
sprawozdawczej.b) Nieadekwatno zakres definiendum nie pokrywa si z zakresem definiensa:
Zbyt wska zakres definiendum jest szerszy ni definiensa (np. nazwa towyraenie posiadajce desygnaty).
Zbyt szeroka zakres definiendum jest wszy ni definiensa (np. adwokat topomocnik procesowy strony)
Krzyujca jednoczenie zbyt wska i zbyt szeroka (np. lekarz to pracownikszpitala).
Dotyczy tylko definicji sprawozdawczej.
c)Ignotum per ignotum jest to bd subiektywny (zaley od audytorium, do ktregokierujemy wypowied) polegajcy na uyciu wyraenia zbyt skomplikowanego, lubnieznanego dla odbiorcy.
d)Idem per idem Bdne koo bezporednie ten sam wyraz jest uyty w definiendum i w
definiensie. Bdne koo porednie definicja ma ksztat A to B, a B to A, np. Logika to nauka o
poprawny myleniu. Poprawne mylenie to mylenie zgodne z reguami logiki.e) Przesunicie kategorialne jaki przedmiot nalecy do jednej kategorii ontologicznej jest
okrelany za pomoc przedmiotu z innej kategorii ontologicznej, np. Norma to fakt spoeczny
(norma jest wypowiedzi jzykow, nie moe by wic faktem).
2. Definicje perswazyjne (na przykadzie trjkta definicyjnego prawa R. Alexyego):a) Definicja perswazyjna definicja suca do wywoania zmiany postaw emocjonalnych w
stosunku do nazw, lub terminw definiowanych (Ch. Stevenson).b) Trjkt definicyjny prawa Alexyego:
WACIWE USTANOWIENIE
SPOECZNA SKUTECZNO TRECIOWA SUSZNO
-
7/30/2019 logika_skrypt_Ozzymo (1)
25/34
25
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
Definicja prawa Alexyego prawo to zesp norm, ktry:I. Przyjmuje roszczenie do bycia susznym.
II. Zawiera og norm nalecych do w zasadzie skutecznej spoecznie konstytucji, ktre nies ekstremalnie niesprawiedliwe, oraz og norm ustanowionych zgodnie z konstytucj,wykazujcy przynajmniej minimaln skuteczno (lub szans na skuteczno), ktrerwnie nie s ekstremalnie niesprawiedliwe.
III. Do ktrego to systemu nale take te zasady i inne argumenty normatywne, na ktrychopiera si, lub opiera musi procedura stosowania prawa tak, aby zapewni zaspokojenieroszczenia susznoci.
c) Cechy definicji Alexyego jako definicji perswazyjnej: Wystpuj terminy o zabarwieniu emocjonalnym, zarwno pozytywnym, jak i
negatywnym. Modyfikuje pojcie prawa obowizujcego w stosunku do ju przyjmowanych. Celem jest zmiana zakresu definiendum, zmiana skojarze emocjonalnych,
zastpienie jakiego uywanego dotd terminu przez termin odmienny emocjonalnie. Definicja jest konkluzj pewnej argumentacji. Dochodzi w niej do pomieszania definicji nominalnej i realnej.
-
7/30/2019 logika_skrypt_Ozzymo (1)
26/34
26
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD XII
Temat:Podzia logicznyWykadowca: Dr A. Grabowski
1. Podzia logiczny podziaem logicznym zakresu nazwy nazywamy proces mylowy,polegajcy na dobraniu nazw podrzdnych do nazwy, ktrej zakres dzielimy w ten sposb,e zakresy nazw podrzdnych si wykluczaj (warunek wykluczania), a ich suma dajezakres nazwy dzielonej (warunek zupenoci), np.:
STUDENT
STACJONARNY NIESTACJONARNY INNY
a) Zakres nazwy dzielonej totum divisionisb)
Czony podziau membra divisionisc) Podstawa podziau fundamenta divisionis
Naturalna wtedy, gdy w czonach podziau znajdujemy elementy do siebiepodobne, np. ludzie o takim samym kolorze oczu
Sztuczna wtedy gdy w czonach podziau nie znajdujemy elementw do siebiepodobnych, np. mieszkacy budynkw o nieparzystych numerach.
2. Podzia fizyczny fizyczne oddzielenie jakich czci, np. pokrojenie jabka.3. Partycja podzia caoci na czci dokonywany w umyle, np. podzia normy na hipotez,
dyspozycj i sankcj.4. Podzia dychotomiczny jest to podzia oparty na posiadaniu i nieposiadaniu jakiej
cechy, czyli w oparciu o cechy sprzeczne. W tekcie podzia ten rozpoznajemy po negacji.Kady podzia dychotomiczny jest rozczny i zupeny. Podzia, ktry jest zupeny irozczny, ale bez negacji (np. podzia nazwy czowiek na mczyzn i kobiet) nie jestdychotomiczny.
5. Zasady podziau:a) Cecha, ktra stanowi podziau musi przysugiwa wszystkim desygnatom zakresu nazwy,
ktr dzielimy.b) Wszystkie odmiany cechy bdcej podstaw podziau musz by uwzgldnione.c) aden desygnat nalecy do zakresu nazwy dzielonej nie moe posiada dwch lub wicej
odmiennych cech nalecych do rnych grup podziau.Warunki a i b gwarantuj zupeno, warunek c rozczno.
-
7/30/2019 logika_skrypt_Ozzymo (1)
27/34
27
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
6. Klasyfikacja wielostopniowy (skrzyowany) podzia logiczny, np.:PRZEPIS PRAWNY
OBOWIZUJCY NIEOBOWIZUJCY
USTAWOWY NIEUSTAWOWY USTAWOWY NIEUSTAWOWY
7. Typy poj:a) Klasyfikujce pozwalaj na wyraenie tylko dwch stanw rzeczy polegajcych na
podpadaniu pod nie, lub nie.b) Porwnawcze wyraaj stopie wystpowania jakiej cechy, lub wasno, np. ciszy,
wyszy, itp.c) Metryczne podporzdkowuje przedmiotom, lub zjawiskom jak warto liczbow, np.:
waga, objto, itp.d) Typologiczne maj charakter elastyczny, s nieostre. Pojcie typu idealnego (M. Weber)
kategoria pozwalajca na systematyzacj danych empirycznych, np. typy wadzypastwowej. Typologia nie musi spenia warunkw podziau logicznego.W naukach prawnych podziay maj najczciej charakter typologiczny, a nie logiczny.
-
7/30/2019 logika_skrypt_Ozzymo (1)
28/34
28
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD XIII
Temat:Uzasadnianie twierdzeWykadowca: Prof. T. Gizbert-Studnicki.
Uzasadnienie bezporednie:1. Spostrzeenie zewntrzne (interpretacja) spostrzeenie konieczne do wypowiedzenia
zdania (np. Pada deszcz). Jest oparte na empirii. Jest obiektywnie weryfikowalne.2. Spostrzeenie wewntrzne (introspekcja) spostrzeenie skierowane do wntrza wasnej
wiadomoci psychologicznej (np. Boli mnie gowa). Nie jest weryfikowalne obiektywnie. Behawioryzm pogld goszcy, i skoro zdania psychologii nie s weryfikowalne
obiektywnie, to psycholog moe jedynie oddziaywa na czowieka, a nastpniebada jakie skutki wywoa to oddziaywanie (czowiek jako czarna skrzynka).
Intuicja zdanie oparte na intuicji jest uzasadnione bezporednio (fenomenologia).Uzasadnienie porednie:
1.Wnioskowanie (proces mylowy pozwalajcy na wyprowadzenie zda z innych uprzedniouznanych zda):
a) W kadym wnioskowaniu mamy do czynienia z: Przesankami p1, p2 p3, p4 - skoczona ilo zda uprzednie uznanych Wnioskiem zdanie uznane na podstawie uznanych przesanek.
b) Gwarancje poprawnoci wnioskowania: Warunek materialny - przesanki musz by zdaniami prawdziwymi (lub
przynajmniej uzasadnionymi. Bd przyjcia przesanek nienaleycie uzasadnionychto bdpetitio principi).
Uzasadnienie zewntrzne - Czy wniosek jest naleycie uzasadniony woparciu o przyjte przesanki? Uzasadnienie wewntrzne Czy przesanki s zdaniami naleycieuzasadnionymi?
Warunek formalny istnienie zwizku wynikania (p q ) midzy przesankami, awnioskiem. Zwizek wynikania charakteryzuj nastpujce warunki:
Implikacja p q jest zdaniem prawdziwymPomidzy zmiennymi p i q zachodzi zwizek relacji (p) i nastpstwa (q).
Implikacja wynikanie. Implikacja to funktor, a wynikanie to zwizek pomidzy zmiennymi.
c)
Rodzaje zwizku wynikania: Przyczynowy Jeeli nie bdziesz jad, to umrzesz. Strukturalny Jeeli idziesz Szewsk na rynek to po prawej mijasz MacDonaldsa. Tetyczny Jeeli przeniesienie wasnoci nieruchomoci nie nastpio w formie aktu
notarialnego, to jest niewane. Analityczny samo znaczenie zda przesdza o tym, e zdanie jest prawdziwe.
2. Wynikanie logiczne wynikanie logiczne to wynikanie oparte na wynikaniuanalitycznym. Wniosek W wynika logicznie z przesanek p1, p2 p3, pn w tautologii, wktrej poprzednikiem jest koniunkcja przesanek p1, p2 p3, pn, a nastpnikiem jest W (tzn.
jest tautologi KRZ prawda logiczna)
(p1 p2 p3 pn)W
-
7/30/2019 logika_skrypt_Ozzymo (1)
29/34
29
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
5. Wnioskowanie dedukcyjne wniosek wynika logicznie z przesanek. Jest wnioskowaniemniezawodnym
a) Pewno warunkowa jeeli przesanki s zdaniami prawdziwymi, to wniosek te musiby prawdziwy, gdy prawdziwo przesanek gwarantuje prawdziwo wniosku, alefaszywo przesanek nie gwarantuje faszywoci wniosku (wg prof. Studnickiegozrozumienie tego faktu jest podstaw caej nauki logiki).
6. Wnioskowanie entymematyczne Wniosek W wynika entymematycznie z przesanek p1,p2 p3, pn z uwagi na zdanie pn+1 wtedy, i tylko wtedy, gdy wniosek W nie wynikalogicznie z przesanek p1, pn i wniosek W wynika z p1, pn z uwagi na przesank pn+1 (tzn. niektre przesanki tego wnioskowania s domylne), np.:
Pies jest krgowcem.? (Kady krgowiec jest ssakiem.)---------------------------------------------Pies jest ssakiem.
7. Wnioskowania uprawdopodobniajce (niededukcyjne) prawdziwo przesanekgwarantuje tylko prawdopodobiestwo prawdziwoci wniosku.
a) Wnioskowanie redukcyjne przybiera posta:p qq---------------------------------------------
p
Wnioskowanie to jest zawodne, ale prawdopodobne. Z prawdziwoci implikacji i prawdziwoci nastpnikawnioskujemy o prawdziwoci poprzednika. Wniosek nie wynika logicznie z przesanek, ale z przesanki p1 iW wynika p2.
b)Wnioskowanie indukcyjne we wnioskowaniu tym wszystkie zdania s zdaniamiszczeglnymi, a wniosek opisuje szczegln regu. Wystpuj w nim dwa rodzajeprzesanek: klasyfikacyjne i kwalifikacyjne, np.:
Zwierz A jest soniem. przesanka klasyfikacyjnaA1 (A2, A3, A4 An) ma trb. przesanka kwalifikacyjna
---------------------------------------------So ma trb. indukcja enumeracyjna
f (a1) g (a1). .. .. .f (an) g (an)
x [ f (x) g (x) ]
-
7/30/2019 logika_skrypt_Ozzymo (1)
30/34
30
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
Indukcja zupena przesanki p1 pn wyczerpuj wszystkie przypadki podpadajcepod regu. Jest to odmiana wnioskowania dedukcyjnego, wic jest wnioskowaniemniezawodnym.
Twierdzenie cile oglne nie zawiera odniesienia do adnych wsprzdnychczasowo-przestrzennych
Generalizacje historyczne zawieraj odniesienia do czasu i przestrzeni. Paradoks indukcji:- 1000 =- 5 =
Hipotezyzm (K. Popper) - Indukcja enumeracyjna nie jest metod naukow, gdy niezwiksza logicznego prawdopodobiestwa. Proces badawczy winno zacz si odpostawienie hipotezy, a potem dy do jej obalenia. Jeeli rzetelne prby obalenia niepowiod si, to zaoy mona, e jest prawdziwa (do czasu ewentualnego obalenia).
8. Kontekst odkrycia i kontekst uzasadnienia:a) Kontekst odkrycia skd si bior odkrycia naukowe? nie jest przedmiotem
zainteresowania metodologii.b) Kontekst uzasadnienia jaki jest najpewniejszy rodek uzasadniania odkry naukowych?
Jest przedmiotem zainteresowania metodologii.
Psychologiczne pojcie prawdopodobiestwa nie pokrywa si zlogicznym pojciem prawdopodobiestwa.
-
7/30/2019 logika_skrypt_Ozzymo (1)
31/34
31
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
WYKAD XIV
Temat:Metodologia naukWykadowca: Prof. T. Gizbert-Studnicki
1. Podzia nauk z uwagi na sposb uzasadniania:a) Dedukcyjne przyjmuj tylko takie twierdzenia wtrne, ktre zostao wydedukowane z
twierdze pierwotnych (tzn. nie wywnioskowane z innych). Przykadami nauk dedukcyjnych s matematyki i logika formalna. W matematyce
twierdzeniami pierwotnymi s aksjomaty. Twierdzenia nauk empirycznych suzasadnione zawsze na podstawie aksjomatw.
Kwestia uzasadniania aksjomatw: Kryterium oczywistoci kategoria subiektywna Kryterium dowiadczenia jest niepewne Teza o analitycznym charakterze aksjomatw aksjomaty przesdzaj same o
sobie, jest to teza niebezpieczna, gdy sprowadza rol aksjomatw do gry sw.
Kryterium konwencji prawa matematyki s tylko umow, konwencj (np.geometra euklidesowa jest stosowana dla maych odcinkw, a geometrienieeuklidesowe dla odlegoci kosmicznych).
Wymogi konieczne dla przyjcia aksjomatw: Niesprzeczne Niezalene aden aksjomat nie moe wynika z innego aksjomatu. Zupeny aksjomatyczny system jest zupeny, gdy o kadym zdaniu mona
powiedzie, e jest twierdzeniem tego systemu, lub negacja tego zdania naleydo tego systemu.
b) Niededukcyjne (empiryczne) oprcz wnioskowa dedukcyjnych dopuszcza si teuzasadnienia niededukcyjne. W naukach tych twierdzeniami pierwotnymi s zdaniaspostrzeeniowe, a twierdzeniami wtrnymi zdania, ktre logicznie wynikaj logicznie ztwierdzeniami spostrzeeniowymi. Przykadami takich nauk s: fizyka, chemia, biologia.
2. Podzia nauk ze wzgldu na przedmiot bada:a) Przyrodnicze nauki zajmujce si przyrod oywion i nieoywion (w tym czowiekiem,
jako istot biologiczn).b) Spoeczne nauki zajmujce si czowiekiem jako istot dysponujc wiadomoci i
wolna wol (czowiek jest wyrnionym przedmiotem badania).c) Krytyka nauk spoecznych:
Nauki spoeczne zawodz, gdy dziaania praktyczne oparte s na tych naukachzawodz. Wadza nie traktuje nauk spoecznych powanie (w przeciwiestwie do nauk
przyrodniczych),jak pijak latarni - szuka w niej oparcia a nie wiata (wykorzystuje j dolegitymacji swoich dziaa).
Nauki spoeczne s zbyt sabo rozwinite, maj zbyt krtk histori. Rzeczywisto spoeczna jest indeterministyczna nie opiera si na powszechnych i
zawsze skutecznych prawach, gdy nie ma w niej wynikania przyczynowo-skutkowego. Wszystkie przewidywania deterministyczne (np. przyjmowana przezmarksizm teza o nieuchronnym upadku kapitalizmu) s zawodne ze wzgldu na woln
wol czowieka.
-
7/30/2019 logika_skrypt_Ozzymo (1)
32/34
32
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
d) Rnice midzy naukami przyrodniczymi i spoecznymi: W naukach spoecznych przewidywania nie maj wartoci (nabywaj jej dopiero ex
post). W naukach spoecznych nieostra jest granica midzy nauk, a publicystyk. Nauki przyrodnicze nie s subiektywne, a w naukach spoecznych wpyw ma ideologia. W naukach przyrodniczych proces badawczy nie ma wpyw na wynik badania, a w
naukach spoecznych ma (prognozy wyborcze). Prognozy samospeniajce si (np.prognoza recesji w ekonomii) i samodestrukcyjne.
e) Rodzaje nauk spoecznych: Humanistyczne takie ktre zajmuj si przedmiotami kulturowymi (sensu largo), w
tym nauki prawne. Inne np. ekonomia, socjologia.
3. Metodologia nauk prawnych:a) Podzia nauk prawnych:
Teoretyczno-prawne zajmuj si prawem w oglnoci, w oderwaniu od prawapozytywnego
Historyczno-prawne Dogmatyczno-prawne zajmuj si prawem aktualnie obowizujcym
b) Dogmatyka rozpatruje: Zagadnienia walidacyjne co obowizuje? Zagadnienia interpretacyjne jak obowizuje? Krytyka dogmatyki: Zagadnienia dogmatyki nie s nauk, ale rzemiosem, gdy zagadnieniem nauki jest
wyjanienie do czego potrzebne s twierdzenia oglne, a dogmatyka nie matwierdze szczegowych i nie formuuje twierdze oglnych.
Sezonowo prawa nauki s niezmienne, zawsze aktualne, a w dogmatyce nie(Jeden podpis prawodawcy i cae biblioteki prawnicze pon).
Nauki s wolne od wartociowa, a dogmatyka zawsze musi by powizana zjakimi wartociami, wartoci wpywaj na wyprowadzone twierdzenia.
W naukach nastpuje stay rozwj metod badawczych, a dogmatyka zawsze stosujete same metody badawcze, wypracowane przez jurystw rzymskich i skodyfikowaneprzez Savignyego.
c) Pogld na metodologi: Naturalizm metodologiczny istnieje jeden, uniwersalny model nauki i tylko te
dyscypliny, ktre pod ten model podpadaj s dyscyplinami naukowymi. Dlanaturalizmu dogmatyka nie jest nauk.
Antynaturalizm metodologiczny nie ma uniwersalistycznego modelu nauki. S dwaodmienne typy nauk: przyrodnicze i humanistyczne. Nauki humanistyczne maja innycel poznawczy rozumienie zjawisk, dlatego te nie wymaga formuowania twierdzeoglnych.
-
7/30/2019 logika_skrypt_Ozzymo (1)
33/34
33
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
ANEKSPrzykadowe zadania egzaminacyjne podawane w trakcie wykadw
Scharakteryzuj nastpujce pytanie: Kto ostatnio utopi laptopa? Podaj przykadodpowiedzi wprost i odpowiedzi czciowej na to pytanie. Odpowied uzasadnij aponadto objanij pojcie metajzyka.
Odpowied na po pytanie polega na wyjanieniu, czy: jest to pytanie rozstrzygnicia, czy dopenienia jest to pytanie dopenienia, gdy niezaczyna si od czy
jest to pytanie zamknite, czy otwarte jest to pytanie zamknite, gdy istnieje schematodpowiedzi x utopi laptopa
jest to pytanie proste, czy zoone jest to pytanie proste, gdy odpowied polega napodaniu 1 informacji
jest to pytanie waciwie, czy niewaciwie postawione jest to pytanie waciwiepostawione, gdy jego zaoenie jest prawdziwe.
Scharakteryzuj nastpujce pytanie: Ktry z profesorw ma psa jamnika? Podajprzykad odpowiedzi cakowitej wprost, cakowitej nie wprost i czciowej. Odpowieduzasadnij, a ponadto wyjanij pojcie zaoenia pytania.
Charakterystyka pytania: Pytanie dopenienia Pytanie zamknite Pytanie proste Pytanie waciwie postawione
Przykadowe odpowiedzi: Cakowita wprost: Prof. Sarnecki ma psa jamnika.
Cakowita nie wprost: Profesor wykadajcy logik ma psa jamnika. Czciowa Prof. Stelmach nie ma psa jamnika. Ustal stosunki zakresowe pomidzy nazwami: A nie-student
B nie-sportowiecStosunek niezalenoci
Jeeli chcemy uzyska stosunek sprzecznoci lub podprzeciwiestwa, to przynajmniej jednanazwa musi by zanegowana.
A nie-soB nie-studentStosunek podprzeciwiestwa
A zastp harcerskiB druyna harcerskaStosunek przeciwiestwa
Jeeli dane s dwie nazwy, z ktrych jedna oznacza cao, a druga cz, to nigdy nie bd one wstosunku podrzdnoci.
A krasnoludekB wampirStosunek przeciwiestwa aden krasnoludek nie jest wampirem.
Stosunek rwnowanoci nie istnieje taki krasnoludek, ktry nie jest wampirem. A faszywa definicja projektujca jest to nazwa pusta!
B
A
B
B
A
B
A
Obie nazwy s puste!
-
7/30/2019 logika_skrypt_Ozzymo (1)
34/34
Logika dla prawnikw.Skrypt z wykadw by Ozzymo
B definicja rwnociowaStosunek podrzdnociStosunek przeciwiestwa
Podaj przykad definicji projektujcej, stworzonej przez siebie nazwy. Definicja tapowinna by nieklasyczna w stylizacji semantycznej. Odpowied uzasadnij i wyjanij
wystpujce w tym pytaniu pojcia, a ponadto wyjanij pojcie definicji perswazyjnej.
Jaki stosunek zakresowy zachodzi pomidzy nazwami mapa i trzy goryle. Odpowieduzasadnij.
Stosunek przeciwiestwa, gdy zakres nazwy trzy goryle obejmuje trzy desygnaty i nie jesttosamy z zakresem nazwy mapa. Dwie nazwy, z ktrych jedna oznacza cao, a druga cz,nigdy nie bd w stosunku zawierania zakresowego.
Podaj przykady podziau rozcznego, a niewyczerpujcego i nierozcznego, awyczerpujcego.
Nazwapodzia niezupeny nie jest wewntrznie sprzeczna, gdy nie jest tosama z nazw logicznypodzia niezupeny (wewntrzna sprzeczno - nazwa pusta).
Podzia rozczny, a niewyczerpujcy: podzia nazwy czowiek na blondyni i rudzi.
Podzia nierozczny, a wyczerpujcy: podzia nazwy czowiek na filatelistw, melomanw ipozostaych.
Jaki stosunek zakresowy zachodzi pomidzy nazwami podzia nierozczny, a podzianiewyczerpujcy. Odpowied uzasadni, a ponadto podaj przykady desygnatw tych
nazw.Stosunek niezalenoci:
Podzia nierozczny polega na tym, e niektre desygnaty nazwy dzielonej nale do wicej,ni jednej z wyrnionych kategorii, np. samochd benzynowy i ty.Podzia niewyczerpujcy polega na tym, e niektre desygnaty nazwy nie nale do adnej zwyrnionych kategorii, np. samochd niebieski i fioletowy.
Przeprowad skrzyowany dwustopniowy podzia nazwy norma prawna.
B
A