Professional Documents
Culture Documents
Logika Prawnicza - Opracowanie Dla Studentów
Logika Prawnicza - Opracowanie Dla Studentów
Logika Prawnicza - Opracowanie Dla Studentów
'OD ZLHOX PáRG\FK DGHSWyZ SUDZD ORJLND VWDQRZL EDUG]R WUXGQH Z\]ZDQLH QLH
SU]HMPXMFLH VL
V WR ]DJDGQLHQLD NWyUH VSUDZLDá\ WUXGQRFL SUDZLH ND*GHPX WDN*H L PL
NLHG\WRE\áHPQDSLHUZV]\PURNX:WHG\WRF]WHU\ODWDWHPXSU]\JRWRZDáHPVRELHSHZQH
RSUDFRZDQLHNWyUHSRPRJáRPLZWUDNFLHQDXNLORJLNL
&KFLDáE\PMHGQDNSRGNUHOLüMHGQU]HF]RSUDFRZDQLH]DPLHV]F]RQHZ,QWHUQHFLHQD
VHUZHU]HILUP\ /(; MHVW MHGQDN SHZQ SUyE SRGVXPRZDQLD ZLDGRPRFL ] ]DNUHVX /RJLNL
1LH MHVW WR IRUPD SRGU
F]QLND PLPR L* SUyERZDáHP ]DVWRVRZDü SHZQ V\VWHPDW\N
2SUDFRZDQLH WR SRZVWDáR QD SRGVWDZLH Z\NáDGyZ SURZDG]RQ\FK SU]H] 3DQD SURI GU KDE
$QGU]HMD 0DOLQRZVNLHJR RUD] üZLF]H 3DQD GU -DFND 3HW]OD X]XSHáQLRQ\FK GRGDWNRZR R
SHZQH LQIRUPDFMH ] SRGU
F]QLND =LHPELVNLHJR : ]ZL]NX ] W\P SHáQH Z\NRU]\VWDQLH
QLQLHMV]HJR RSUDFRZDQLD E
G]LH PR*OLZH ZUD] ] XF]
V]F]DQLHP QD Z\NáDG\ üZLF]HQLD MDN
UyZQLH*NRU]\VWDMF]OHNWXU\SRGU
F]QLND
=DFK
FDPZV]\VWNLFKGRNRU]\VWDQLD]WHJRRSUDFRZDQLD3URV]
UyZQLH*RQDGV\áDQLH
ZV]HONLFKXZDJJáyZQLHNU\W\F]Q\FKDOHLQQHUyZQLH*E
GPLOHZLG]LDQH0DPQDG]LHM
*HRSUDFRZDQLHWRVWDQLHVL
SRPRFQHGODSHZQHMJUXS\NROHJyZ]SLHUZV]HJRURNX*\F]
5DIDá:6LNRUVNL
(rws@students.lis.uw.edu.pl)
-
]\NV\VWHPHP]QDNyZ
SemiotykaQDXNDR]QDNXV]F]HJyOQLHR]QDNXVáRZQ\PF]
üORJLNLVHPLRW\N
G]LHOLVL
QDQDVW
SXMFHWU]\JUXS\
1) 6HPDQW\N
QDXN
R]QDF]HQLX]QDNX
2) 6\QWDNW\N
W]ZJUDPDW\NDORJLNLURG]DMH]QDNyZLVSRVREDFKLFKZL]DQLD
3) 3UDJPDW\N
QDXNDRVWRVXQNXMDNL]DFKRG]LSRPL
G]\]QDNLHPD
F]áRZLekiem
"x jest R]QDN \ MHOL ] [ ZQLRVNXMHP\ R LVWQLHQLX \ LFK ]ZL]HN PD FKDUDNWHU
natuUDOQ\QSJRUF]NDLFKRUREDLQDF]HM]QDNQDWXUDOQ\OXEREMDZ
"x jest znakiem \ MHOL ] [ ZQLRVNXMHP\ R RERZL]NX \ LFK ]ZL]HN PD FKDUDNWHU
V]WXF]Q\ ]RVWDá XáR*RQ\ ZHGáXJ SHZQ\FK UHJXá ]QDF]HQLRZ\FK L SU]HND]DQ\
RGELRUF\SU]H]WZyUF
QSF]HUZRQHZLDWáRL]DWU]\PDQLHVL
ZD*QDMHVWLQWHQFMD
komuniNDF\MQDLPXV]LVWQLHüUHJXá\MDNWHQ]QDNUR]uPLHü
6IHU\G]LDáD
G]LDáDQLDNRQVXPSF\MQH
G]LDáDQLDSURGXNF\MQH
G]LDáDQLDSR]QDZF]HWXZáDQLHZ\VW
SXM]QDNL
AKTY POZNANIA
325('1,(%(=325(DNIE
Z\VW
SXMHHOHPHQWSRUHGQLF]F\EUDNSRUHGQLF]Fego
NWyUHG]LHOLVL
QD,167580(17$/1(HOHPHQWXZDNFLHSoznania)
- takie jak lupa, mikroskop oraz
NIEINSTRUMENTALNE - np. znak )
-
]\NMHVW]ELRUHPZ\UD]yZLSU]\SRU]GNRZDQ\FKPX]QDF]HMHVWWR]ELyU
zmienQ\ZF]DVLHQDOH*\Z\Uy*QLüGZDSRGVWDZRZHURG]DMHM
]\NyZ
1. -
]\NL QDWXUDOQH HWQLF]QH ]RVWDá\ XNV]WDáWRZDQH ]Z\F]DMRZR FHFKDPL WHJR
j
]\NDVVSRQWDQLF]QRüSá\QQRüLUy*QHNRQWHNVW\
2. -
]\NL V]WXF]QH VNRQVWUXRZDQH GOD MDNL NRQNUHWQ\FK FHOyZ Z WHQ VSRVyE *H
UHJXá\ W\FK M
]\NyZ ]DSURMHNWRZDQR ] JyU\ QS M
]\N HVSHUDQWR QD Z]yU
naturalnego ) lub matematyki (bardzo sztuczny)
Role semiotyczneVWRW]ZIXQNFMHZ\SRZLHG]L
A. Rola opisowaRSLV\ZDQLHU]HF]\ZLVWRFL
B. Rola ekspresywnaZ\UD*DQLHXF]XüLSUDJQLH
C. Rola sugestywnaZ\SRZLHG(SHZQ\PERG(FHPGR]DFKRZDQLD
D. Rola performatywna Z\SRZLHG( PD SHZQH ]QDF]HQLH XPRZQH L W\ONR Z
pewQ\FKZDUXQNDFKVSHáQLDVZRMH]QDF]HQLH
- =<.2=1$:67:2
6=&=(*Ïà2:(2*Ï/1(
EDGDSRV]F]HJyOQHM
]\NLQLH]DMPXMHVL
OHF]ZLeloma)
TYPOLOGIA
SRG]LDáM
]\NDQDJUXS\M
]\NRZH
HISTORYCZNE
M
]\NZF]DVLHOPISOWE
Z\RGU
EQLDNDWHJRULH
TEORETYCZNE
-
]\N MHVW SHZQ FHFK ]DNRGRZDQ VWUXNWXU ] NWyU ND*G\ VL
URG]L ']LHFNR
mo*H VL
QDXF]\ü ND*GHJR M
]\ND 7DN VWUXNWXU XQLZHUVDOQ ]DNRGRZDQ Z
mózgu jest : S= N + V (sentens=noun + verb) .Bardziej rozbudowana struktura :
NP 1 VP 1
Adj 2 Noun 2
Kategorie syntaktyczne :
1. NAZWY (n)
2. ZDANIA (z)
Kategorie semantyczne :
1. NAZWY (n)
2. ZDANIA (z)
3. FUNKTORYVZ\UD]\F]\Z\UD*HQLDQLHE
GFHQD]ZDPLL]GDQLDPL
a. nazwotwórcze
b. zdaniotwórcze
c. funktorotwórcze
1D]Z\
=HZ]JO
GXQDOLF]E
Z\UD]yZZFKRG]F\FKZVNáDGQD]Z\Z\Uy*QLDVL
9 Nazwy prosteVNáDGDMVL
]MHGQHJRZ\UD]X
9 1D]Z\]áR*RQHVNáDGDMFHVL
]LZL
FHMZ\UD]yZ
=HZ]JO
GXQDWRGRF]HJRRGQRV]VL
QD]Z\Z\Uy*QLDVL
9 Nazwy konkretne GRW\F]NRQNUHWQ\FKU]HF]\RVyE
9 Nazwy abstrakcyjne GRW\F] SRM
ü DEVWUDNF\MQ\FK ÄELDáRü´ ÄSáDF]´ LVWQLHM
WU]\ NRQFHSFMH SODWRQL]P Q DEVWUDNF\MQH LVWQLHM QRPLQDOL]P QD]Z\
abstrakF\MQHQLHLVWQLHMLNRQFHSWXDOL]P
=HZ]JO
GXQDLORüGHV\JQDWyZQD]Z\G]LHOLP\QD
9 Nazwy puste QLHSRVLDGDMGHV\JQDWyZ
9 Nazwy jednostkoweSRVLDGDMMHGHQGHV\JQDW
9 Nazwy ogólneZL
FHMQL*GHV\JQDW
.ROHMQ\SRG]LDáQD]ZQD
9 Nazwy indywidualne R]QDF]DMFH SRV]F]HJyOQH U]HF]\ EH] SU]\SLV\ZDQLD
ZáDVQRFLZ\Uy*QLDMFHMZJQD]Z\ZáDVQHMQS:DUV]DZD
9 Nazwy generalne SU]\VáXJXMFH GDQ\P SU]HGPLRWRP ]H Z]JO
GX QD FHFK\
jePX LP SU]\VáXJXMFH RGQRV] VL
GR SU]HGPLRWyZ SRVLDGDMF\FK SHZLHQ
okreORQ\ ]HVSyá FHFK QS VWROLFD 3ROVNL QDMGáX*V]D U]HND ZLDWD 7UHFL
nazwy generalnej MHVW WDNL ]HVSyá FHFK QD SRGVWDZLH NWyUHJR RVRED MHOL
VWZLHUG]LWHFHFK\áF]QLHX]QD]DGHV\JQDWQD]Z\
.D*GDQD]ZDJHQHUDOQDPR*HE\üX*\WDZVXSR]\FMDFKURODFK]QDF]eniowych) :
♦ Supozycja prosta QD]ZDX*\ZDQDMDNR]QDNGODNRQNUHWQHJRSU]HGPLotu
♦ Supozycja formalnaZ\UD]MHVWQD]ZGODFDáHJRJDWXQNX
♦ Supozycja materialna - wyraz jako znak dla niego samego
=HZ]JO
GXQDFKDUDNWHULLORüHOHPHQWyZQD]Z\G]LHOLVL
QD
9 Nazwy zbiorowe NROHNW\ZQHGHV\JQDWDPL QLH V SRV]F]HJyOQH U]HF]\ OHF]
przedmioty, które traktujemy jako agregat (np. stado, las, biblioteka)
9 Nazwy niezbioroweZV]\VWNLHLQQHQSGU]HZDUy*H
0R*QDSU]HSURZDG]LüMHV]F]HMHGHQSRG]LDáQD]Z
9 Nazwy normatywne Z\VW
SXMW\ONRZVIHU]HSUDZDRVNDU*\FLHOSRVLákowy)
9 Nazwy relatywne LFK]QDF]HQLHZL*HVL
]HVWRVXQNDPLZVSRáHF]Hstwie
9 Nazwy prywatywne Z\UD(QLHSRGNUHODMEUDNFHFK\QLHREHFQ\LWS
7UHüQD]Z\WDNL]HVSyáFHFKQDSRGVWDZLHNWyUHJRPR*QDUR]SR]QDüGHV\JQDW
QD]Z\:\Uy*QLDP\FHFK\konstytutywneZ\VWDUF]DMFHGRUR]SR]QDQLD
desygnatu) i konsekutywne (dodatkowe)
6WRVXQNLPL
G]\]DNUHVDPLQD]Z
Uniwersum - zbiór desygnatów wszystkich nazw (klasa uniwersalna)
5RG]DMHVWRVXQNyZPL
G]\]DNUHVDPLQD]Z
2. 3RGU]
GQRü6ZVWRVXQNXGR3 (np. S - wróbel P - ptak)
P
S
3. 1DGU]
GQRü6ZVWRVXQNXGR3 (np. S - ptak P - wróbel)
S
P
4. .U]\*RZDQLHVL
]DNUHVyZ
S P
a. 1LH]DOH*QRüLVWQLHMGHV\JQDW\NWyUHQLHV6DQL363≠universum)
np. S - student P - sportowiec
b. 3RGSU]HFLZLHVWZRQLHPDGHV\JQDWyZNWyUHQLHE\á\E\6DQL3
QS6QLHVWXGHQW3F]áRZLHNS+P=universum)
5. :\NOXF]DQLHVL
]DNUHVyZ
S P
'HILQLFMH
Rodzaje definicji
3RG]LDáGHILQLFML]HZ]JO
GXQDLFK]DGDQLD :
(a) Definicja sprawozdawcza - analityczna - opis znaczenia wyrazu, podajemy ja
ZWHG\JG\NWRQLH]QDXVWDORQHJRMX*]QDF]HQLDZ\UD]XMHVW]GDQLHPZVHQVLH
logicznym
(b) Definicja SURMHNWXMFD - syntetyczna XVWDOD]QDF]HQLHZ\UD]XQDSU]\V]áRü
1. GHILQLFMDUHJXOXMFDOLF]\VL
]GRW\FKF]DVRZ\P]QDF]HQLHPZ\UD]XQS
GHILQLRZDQLHZ\UD*HQLHRVWU\FK
2. definicja konstrukcyjna nie - np. wprowadza nowy termin (neologizmy)
=HZ]JO
GXQDVWUXNWXU
GHILQLFMHPR*QDSRG]LHOLüQD :
A. 'HILQLFMDUyZQRFLRZD PR*QDZ\Uy*QLüWU]\F]
FLVNáDGRZHGHILQLFML
- definiendum - zawiera wyraz definiowany
- áF]QLN]ZURWáF]F\
- definiensF]
üGHILQLXMFD
'HILQLFMDUyZQRZD*QRFLRZDPR*HZ\VWSLüZSHwnej stylizacji :
9 GHILQLFMDZVW\OL]DFMLVáRZQLNRZHM - definiedum i definiens w supozycji materialnej
9 definicja w stylizacji semantycznej - tylko definiendum w supozycji materialnej
9 definicja w stylizacji przedmiotowej RELHF]
FLZVXSR]\FMLSURVWHMOXEIRUPDlnej
:UyGGHILQLFMLUyZQRZD*QRFLRZ\FKQDOH*\Z\Uy*QLüMHV]F]H
Definicja klasyczna - „Definitio fit per genus et differentium specyficam”
definiujemy przez porównanie zakresu nazwy z zakresem nazwy ogólniejszej
(genus ) i ograniczenie jej przez dodanie cech (differentia specyfica)
Definicje nieklasyczne :
1. Definicja przez wyliczenie zakresów (GHILQLHQVVNáDGDVL
]SDUXQD]Z
).
2. Definicja kontekstowa GHILQLRZDQ\XPLHV]F]RQ\ZNRQWHNFLHVáyZ
B. Definicja QLHUyZQRFLRZD
9 aksjomatyczna SU]H] SRVWXODW\ QD SRGVWDZLH SU]\NáDGX
SRVáXJLZaQLD VL
Z\UD]HP GHILQLRZDQ\P Z W\FK ]GDQLDFK GRP\ODP\
VL
MHJR]QDF]HQLD
9 operacyjna - sposób na otrzymanie desygnatu (bez ocen)
9 systemowa - miejsce definiendum w znanym nam systemie
9 F]VWNRZDSRVWXODWXGHILQLF\MQHQLHRNUHODMZVSRVyEZ\F]HUSXMF\
VSRVREXSRVáXJLZDQLDVL
GHILQLRZDQ\PWHUPLQHP
9 nawiasowaZ\VW
SXMZ.RGHNVDFK
GHILQLFMDSU]H]DEVWUDNFM
konVWUXNF\MQ\FKF]
VWRZSU]HSLVDFKRJyOQ\FKQDSRF]WNXDNWXGHILQLXMHVL
JG\
:
RNUHOHQLHMHVWZLHOR]QDF]QH
nieostre
nie znane powszechnie
%á
G\ZGHILQLFMDFK
3RG]LDáORJLF]Q\
3RGVWDZRZ\PLZDUXQNDPLSRSUDZQRFLSRG]LDáXV
UR]áF]QRüSRG]LDáX*DGHQ]HOHPHQWyZFDáRFLG]LHOQHMQLHPR*HQDOH*Hü
GRNLONXF]áRQyZSRG]LDáX
Z\F]HUSXMF\SRG]LDáVXPDF]áRQyZSRG]LDáXPXVLGDZDüFDáRüG]LHOQ
SRG]LDáG\FKRWRPLF]Q\QDGZLHF]
FLSRVLDGDQLHEG(QLHGDQHMFechy)
klasyfikacjaZLHORVWRSQLRZ\SRG]LDáORJLF]Q\
SRG]LDáV]WXF]Q\ (tylko jedna cecha wspólna) albo naturalny (wiele cech
wspólnych)
Z\Uy*QLDQLHW\SyZEH]UR]áF]QRFLLZ\áF]QRFL
partycjaSRG]LDáQDF]
FLVNáDGRZH
=GDQLH
6GORJLF]Q\MHVWWRVWZLHUG]HQLHF]\FRMHVWSUDZG]LZHF]\IDáV]\ZH
Zdanie agnostyczneQLHGDVL
GRMüGRSUDZG\U]HF]\ZLVWHM
Zdania relatywistyczneG]LHOVL
QD
=GDQLDVXELHNW\ZQHSUDZGMHVWWRFRNWRX]QDMH]DSUDZG
=GDQLD]RELHNW\ZL]RZDQHSUDZGMHVWWRFRRJyáX]QDMH]DSUDZG
Teoria marksistowskaX]QDMH*HLVWQLHMHSUDZGDRELHNW\ZQDSUDZGMHVWWRFR
]JRGQH]RELHNW\ZQU]HF]\ZLVWRFL
=GDQLDPR*HP\SU]HGHZV]\VWNLPSRG]LHOLü
A. Zdania analityczneRZDUWRFLORJLF]QHGHF\GXMHMX*VDPVHQVX*\W\FKVáyZ
WUXGQRMHVW]DSU]HF]\üWDNLP]GDQLXEH]QDUXV]DQLDUHJXá
B. =GDQLHZHZQ
WU]QLHkontradyktoryczne]GDQLHNWyUHJRIDáV]\ZRüMHVWSU]e-
VG]RQD]HZ]JO
GXQDX*\FLHVáyZ
C. Zdanie syntetyczne GRVWZLHUG]HQLDSUDZG\EG(IDáV]XNRQLHF]QHRGZRáDQLH
VL
GRRWDF]DMFHJRZLDWD
.ROHMQ\SRG]LDá]GDSROHJDQDVWZLHUG]HQLXLOHIDNWyZRSLVXMH]GDQLH
Zdania proste :
zdania podmiotowo - orzecznikowe : „A jest B” np. Jan jest
studentem
zdanie podmiotowo - orzeczeniowe Ä$PDZáDVQRüI´QS-DQSL
NLHG\VWDUDQRVL
VSURZDG]Dü]GDQLDGRSRVWDFLÄ$MHVW%´
=GDQLD]áR*RQH
=DPLHQQRü + - + -
S iP
1DGU]
GQRü
S do P - - + +
3RGU]
GQRü
S do P + - + -
.U]\*RZDQLH
zakresu S i P - - + +
5R]áF]QRü
zakresu S i P - + - +
6SU]HF]QRü
zakresu S i P - + - +
Zdania egzystencjalne V WR ]GDQLD RU]HNDMFH R LVWQLHQLX EG( QLHLVWQLHQLX
SU]HGPLRWyZMDNLHJRURG]DMX
0RGDOQRü]GD
1. Zdania asertoryczneVWZLHUG]D*HWDNMHVWEG(QLH
2. Zdania apodyktyczneVWZLHUG]D*HWDNPXVLE\üEG(QLH
3. Zdania problematyczneVWZLHUG]D*HFRPR*HE\ü
]GDQLRZ]DPLHQLüPR*QDZ]GDQLHORJLF]QHSRSU]H]
1. .RQNUHW\]DFM
]PLHQQ\FK- podstawienie zmiennych
2. .ZDQW\ILNDFM
SRSU]HG]HQLHND*GHM]PLHQQHMNZDQW\ILNDWRUHP
6WDáHORJLF]QH
1. SU]\QDOH*QRü ∈
2. kwantyfikatory - ogólny ΛLV]F]HJyáRZ\9
3.IXQNWRU\SUDZG]LZRFLRZH
4.Z\UD*HQLD]GHILQLRZDQH]DSRPRFWU]HFKSRZ\*V]\FK
)XQNWRU\SUDZG]LZRFLRZHRGDUJXPHQWyZ]GDQLRZ\FKZDUWRüORJLF]QD]GDQLD
]DOH*\W\ONRRGZDUWRFLORJLF]Q\FKDUJXPHQWyZ
)XQNWRU\SUDZG]LZRFLRZH
52'=$-()81.725Ï:35$:'=,:2&,2:<&+
I) )XQNWRU\SUDZG]LZRFLRZHRG]PLHQQHM
p ∼p
1 0
0 1
B) AsercjaSRWZLHUG]HQLHSUDZG]LZRFL
p Asp
1 1
0 0
C) Falsum]DZV]HIDáV]\ZH
p Fls
1 0
0 0
p Verp
1 1
0 1
II) )XQNWRU\SUDZG]LZRFLRZHRG]PLHQQ\FK
A) Koniunkcja ( ∧ )ÄL´ÄRUD]´=ZL]HNZVSyáSUDZG]LZRFL]GD
Koniunkcja
p q p∧q
1 1 1
1 0 0
0 1 0
0 0 0
B) $OWHUQDW\ZD]Z\NáD∨ )ÄOXE´=ZL]HNQLHZVSyáSUDZG]LZRFL]GD
„Conajmniej jeden z dwóch”
$OWHUQDW\ZD]Z\NáD
p q p∨q
1 1 1
1 0 1
0 1 1
0 0 0
C) $OWHUQDW\ZDUR]áF]QD⊥ )ÄDOER´]ZL]HNQLH]JRGQRFL]GDFRGR
SUDZG\LIDáV]X
$OWHUQDW\ZDUR]áF]QD
p q p⊥q
1 1 0
1 0 1
0 1 1
0 0 0
D) Dysjunkcja ( / ) ÄEG(EG(´=ZL]HNQLHZVSyáSUDZG]LZRFLGZyFK
]GD
( p / q ) = ∼ ( p ∧TÄ&RQDMZ\*HMMHGHQ]GZyFK´
Dysjunkcja
p q p/q
1 1 0
1 0 1
0 1 1
0 0 1
E) Implikacja ( ⇒ ) ÄMHOLWR¶IXQNWRUVWUXNWXUDOQRSUDZG]LZRFLZ\
-HOLSRSU]HGQLNMHVW2S OXEQDVW
SQLNMHVWT RWRFDáDLPSOLNDFMDMHVW
1.
Implikacja
p q p⇒q
1 1 1
1 0 0
0 1 1
0 0 1
F) 5yZQRZD*QRü≡ ) ]ZL]HN]JRGQRFL]GDFRGRSUDZG\LIDáV]X
5yZQRZD*QRüWRLPSOLNDFMDZRELHVWURQ\
(p ≡ q ) = ∼ ( p ⊥ q )
5yZQRZD*QRü
p q p ≡ q
1 1 1
1 0 0
0 1 1
0 0 1
:\QLNDQLHORJLF]QH
Wynikanie logicznePXVLE\üRSDUWHQDSUDZG]LZHMLPSOLNDFML
trudne do przebycia”
B. =ZL]HNVWUXNWXUDOQ\]ZL]HNSRZVWDá\]WDNLHJRDQLHLQQHJRUR]PLHV]F]HQLD
przedmiotów w czasie i przestrzeni.
C. =ZL]HN tetyczny ]ZL]HN SRZVWDá\ ] MDNLHJR XVWDQRZLHQLD QRUP\ SUDZD
Ä-HOL NWR Z\U]G]Lá V]NRG
GUXJLHM RVRELH ]H VZHM ZLQ\ WR ZHGáXJ $UW .&
]RERZL]DQ\MHVWGRMHMQDSUDZLHQLD´
D. =ZL]HNORJLF]Q\DQDOLW\F]Q\Z\QLNDMF\]VDPHJRVHQVXX*\W\FKVáyZEG(
struktury :
Ä-HOL$MHVWV
G]LWR6MHVWSUDZQLNLHP´ implikacja formalna )
Ä-HOL-DQMHVWV
G]LWR-DQMHVWSUDZQLNLHP´ implikacja materialna )
5HODFMH
Cechy relacji
6<0(75<&=12û
MHOLxRy to czy yRx ? )
=:52712û
MHOLxRy to w jakiej relacji pozostaje xRx ? )
1. Relacja zwrotna-HOL[5\WRWDN*HxRx
2. Relacja azwrotna - przeciwzwrotna-HOLxRy to nigdy xRx np. „x jest straszy od
\´WRQLJG\QLHPR*HE\üVWDUV]\RGVLHELH
3. Relacja niezwrotna -nonzwrotna - zwrotna nieregularnie-HOLxRy to [5[PR*H
]DFKRG]LüDOHZFDOHQLHPXVLQSÄ[EURQL\´WR[PR*HEURQLüWDN*HVLHELHDOH
PR*HEURQLüW\ONR\
35=(&+2'1,2û75$1=<67<:12û
-HOLxRy i yRz to czy xRz ? )
1. Relacja przechodnia -HOL xRy i \5] WR WDN*H xRz (np. „x bogatszy od y” i „y
boJDWV]\RG]´WRWDN*HÄ[ERJDWV]\RG]´
2. Relacja przechodnia - przeciwprzechodnia-HOLxRy i yRz to nigdy zRz
3. Relacja nieprzechodnia - nonprzechodnia - przechodnia nieregularnie-HOLxRy
i yRz to [5]PR*HQDVWSLüDOHQLHPXVL
63Ï-12û
RNUHODVL
ZSHZQ\P]ELRU]HEDGDP\F]\GRZROQDSDUDZFKRG]LZUHODFM
Z
dowolnym kierunku
1. Relacja spójna
2. Relacja aspójna
3. Relacja niespójna - spójna nieregularnie - nonspójna
5HODFMDUyZQRFLRZDUyZQRZD*QRFLRZD
0XVLE\üMHGQRF]HQLH
1. Zwrotna
2. Symetryczna
3. Przechodnia
Relacja SRU]GNXMFD
w danej klasie przedmiotów
0XVLE\üMHGQRF]HQLH
1. Spójna
2. Przechodnia
3. Przeciwzwrotna
4. Przeciwsymetryczna
3UDZDORJLF]QHWDXWRORJLH
Prawem logicznym MHVW WDND IXQNFMD ]GDQLRZD NWyUD GOD ND*G\FK ZDUWRFL
zmiennych p i q jest prawdziwa (tautologia) 6WZLHUG]HQLH *H GDQD IXQNFMD
]GDQLRZDMHVWWDXWRORJLZ\PDJDGRZRGX
:ORJLFHZ\Uy*QLDVL
WU]\URG]DMHWDNLFKGRZRG]H
F]\QDSUDZG
GODZV]\VWNLFKZDUWRFLWDIXQNFMD]GDQLRZDMHVWSUDZG
Metoda dowodu nie wprostPR*OLZDJG\IXQNFMD]GDQLRZDMHVWLPSOLNDFM
DOER UyZQRZD*QRFL F]\OL LPSOLNDFM Z RELH VWURQ\ SU]\MPXMH VL
*H WDND
imSOLNDFMD MHVW IDáV]\ZD F]\OL PXVL E\ü WDN *H S D T VSUDZG]D VL
F]\
istQLHMH WDND PR*OLZRü *H WDN PR*H ]DLVWQLHüMHOL WDN WR QLH MHVW WDXWRORJLD
MHOLGRMG]LHP\GRVSU]HF]QRFLWR]QDF]\*HMHVWWDXWRORJL
0HWRGDGRZRGyZ ]DáR*HQLRZ\FK VWRVXMF SHZQH ]DáR*HQLD UHJXá\ QDOH*\
GRSURZDG]LüGRXGRZRGQLHQLDSUDZG\6WRW]ZUHJXá\SLHUZRWQH.
5(*8à<3,(5:271(
1. 5HJXáDRGU\ZDQLD ( RO )
p⇒q
p
q
2.5HJXáDGRGDZDQLDNRQLXQNFML ( DK )
p
q
p∧q
3. 5HJXáDRSXV]F]DQLDNRQLXQNFML ( OK )
p∧q p∧q
p q
4. 5HJXáDGRGDZDQLDDOWHUQDW\Z\ ( DA )
p q
p∧q p ∧q
5. 5HJXáDRSXV]F]DQLDDOWHUQDW\Z\ ( OA )
p∨q p∨q
∼p ∼q
q p
6 . 5HJXáDGRGDZDQLDUyZQRZD*QRFL ( DR )
p⇒q
q⇒p
p≡q
7. 5HJXáDRSXV]F]DQLDUyZQRZD*QRFL ( OR )
p ≡q p≡q
p⇒q q⇒p
32'67$:2:(=$6$'<0</(1,$
A. =DVDGDWR*VDPRFLÄ-H*HOLSWRS´p ⇒ p=ND*GHJR]GDQLDZ\QLNDWR
]GDQLHF]\OLMH*HOLXGRZRGQLP\SUDZG]LZRü]GDQLDWRPR*HP\WR]GDQLH
powtóU]\ü
B. =DVDGDVSU]HF]QRFL - ∼ ( p ∧ ∼p )
PRAWA LOGICZNE
3UDZDORJLF]QHPRJSU]\MPRZDüSHZQSRVWDü0RJWRE\ü
Sylogizmy Z\UD*HQLD PDMFH SRVWDü ]GDQLD ZDUXQNRZHJR Z SRSU]HGQLNX
wyVW
SXMH NRQLXQNFMD GZyFK Z\UD*H MHGQD ]PLHQQD VL
SRZWDU]D Z REX
Z\UD*eQLDFKDQDVW
SQLNXZ\VW
SXMHWRZ\UD*HQLHNWyUHVL
QLHSRZWDU]D
Transpozycje
Dylematy ]áR*RQHV]GZyFKLPSOLNDFMLZLHP\FRRLFKVNáDGQLNDFKLQDLFK
SRGVWDZLHZ\FLJDP\ZQLRVNLRUHV]FLH
Inne prawa
1DMZD*QLHMV]HSUDZDORJLF]QH
[ (p → q) ∧ p ] → q
[ (p → q) ∧ ∼ q] → ∼ p
[ (p ∨ q) ∧ ∼ p] → q
[ (p / q ) ∧ p ] → ∼ q
9 Sylogizm DOWHUQDW\ZQRUR]áF]Q\ :
[ (p ⊥ q) ∧ p] →∼q
[ (p ⊥ q) ∧ q] →∼p
[ (p ⊥ q) ∧ ∼ p] →q
[ (p ⊥ q) ∧ ∼ q] →p
9 6\ORJL]PUyZQRZD*QRFLRZ\ :
[ (p ≡ q ) ∧ p] →q
[ (p ≡ q ) ∧ q] →p
[ (p ≡ q ) ∧ ∼p] → ∼q
[ (p ≡ q ) ∧ ∼q] → ∼p
(p ⇒ q) ≡ ( ∼ p⇒ ∼ q )
9 Charakterystyka prawdy :
q⇒(p⇒q)
9 &KDUDNWHU\VW\NDIDáV]X :
∼p⇒(p⇒q)
9 Prawa de Morgana :
∼ (p ∨ q) ≡ (∼ p ∧ ∼ q )
∼ (p ∧ q) ≡ (∼ p ∨ ∼ q )
9 Sylogizm hipotetyczny :
{p ⇒ q) ∧ ( q ⇒ r)} ⇒ (p ⇒ r )
9 3UDZRWUDQVSR]\FML]áR*RQHM :
[ (p ∧ q) ⇒ r] ⇒ [ (p ∧ ∼ r) ⇒ ∼ q ]
[ (p ∧ q) ⇒ r] ⇒ [ (∼ r ∧ q) ⇒ ∼ p ]
9 3UDZRPQR*HQLDLPSOLNDFML :
∼ (p ⇒ q) ≡ p ∧ ∼ q
9 3UDZR]DVW
SRZDQLDLPSOLNDFML :
(p⇒q)≡ (∼p∨q)
{ (p ⇒ r) ∧ ( q ⇒ r) ∧ (p ∨ q)} ⇒ r
9 '\OHPDWNRQVWUXNF\MQ\]áR*RQ\ :
{ (p ⇒ r) ∧ (q ⇒ s) ∧ (p ∨ q) } ⇒ (r ∨ s)
9 '\OHPDWGHVWUXNF\MQ\]áR*RQ\ :
{ ( p ⇒ r ) ∧ ( q ⇒ s ) ∧ (∼ p ∨ ∼ q )} ⇒ ( ∼ r ∨ ∼ s )
{p ⇒ (q ⇒ r)} ⇒ {(p ∧ q) ⇒ r }
{(p ∧ q) ⇒ r } ⇒ {p ⇒ (q ⇒ r)}
{(p ∧ q) ⇒ r } ≡ {p ⇒ (q ⇒ r)}
(p ∧ ∼ p) ⇒ q
$NVMRPDW\F]Q\UDFKXQHN]GD
3ROHJDRQQDW\PL*RELHUDVL
MDNLHVSyMQLNLMDNRSLHUZRWQH,PLFKMHVWPQLHMW\P
lepiej np. : w Systemie Nikoda tylko jeden spójnik „ / ” , a Systemie Witeheda
Russela dwa „ ∼ ” i „ ∨ ”.
:W\PV\VWHPLHZ\VW
SXMDNVMRPDW\
Aksjomat 1 : (p∨ q)⇒p
Aksjomat 2 : q⇒(p⇒q)
Aksjomat 3 : (p∨ q)⇒ (q∨ p)
Aksjomat 4 : (q ⇒ r) ⇒ ( p ∨ q ) ⇒ ( p ∨ r)
0HWRGDSU]HNV]WDáFDQLDIXQNFML]GDQLRZ\FKRSLHUDVL
QDRSHUDFMDFK
A. Podstawianiu SROHJD QD W\P L* Z IXQNFML ]GDQLRZHM Z PLHMVFH ]PLHQQHM
podVWDZLDVL
LQQ]PLHQQOXEIXQNFM
]GDQLRZ
B. =DVW
SRZDQLX]DPLDVWSHZQHMIXQNFML]GDQLRZHMSRGVWDZLDP\LQQIXQNFM
DOH
SRGZDUXQNLHP*HQRZDIXQNFMDGDMH]DZV]HWHQVDPZ\QLNLORJLF]Q\
C. Odrywaniu VFKHPDWRGU\ZDQLDPR*QDSU]HGVWDZLüWDN
A1 ⇒ Z ⇒ T
A2 ⇒ X ⇒ S
MHOLQS7 ;⇒<WRPR*QDRGHUZDü<LVWZLHUG]Lü*HMHVWWDXWRORJL
&HFK\GREUHJRV\VWHPXDNVMRORJLF]QHJRUDFKXQNX]GD
6NURPQRüV\VWHPXPDáRDNVMRPDWyZLVSyMQLNyZSLHUZRWQ\FK
6\VWHPPXVLE\üSHáQ\F]\OLLQQH]QDQHSUDZDPXV]E\üGRXGRZRGQLenia
6\VWHP PXVL E\ü QLHVSU]HF]Q\ WZLHUG]HQLD SRFKRG]FH ] DNVMRPDWyZ QLH
PRJE\üVSU]HF]QH
System Nikoda :
Def (∼ p) ⇒ p/p
(p⇒q) = p/∼ p
(p ∧ q ) = ∼ ( p/q )
3UDZDORJLF]QH]H]PLHQQ\PLQD]ZRZ\PL
Zdania subsumpcyjne
6D3ND*GH6MHVW3
6L3QLHNWyUHPR*HZV]\VWNLH6V3
6H3*DGQH6QLHMHVW3
6R3QLHNWyUH6QLHV3
5R]áR*HQLHWHUPLQyZZ]GDQLDFK
ogólno szczególno
WZLHUG]FH SaP SiP
SU]HF]FH SeP SoP
Kwadrat Logiczny :
/
SaP SeP
⇓ ⇓
SiP SoP
∨
3U]HNV]WDáFHQLDMDNLPSRGOHJDM]GDQLDsubsumpcyjne :
KONWERSJA ]GDQLHMHVWWZRU]RQHWDN*HSU]HGVWDZLDVL
SRGPLRW]
orzeczeniem.
SeP ≡ PeS
SiP ≡ PiS
SaP → PiS (konwersja ograniczona)
SoP (nie podlega)
OBWERSJA SRGOHJDM MHM ZV]\VWNLH W\S\ ]GD MDNRü ]GDQLD ]PLHQLDP\
QHJXMFRU]HF]QLN
SaP ≡ S e nie-P
SeP ≡ S a nie-P
SiP ≡ S o nie-P
SoP ≡ S i nie-P
PRAWA LOGICZNE
MaP
SaM
SaP
8NáDG]GD]F]HJRSLHUZV]HWRSU]HVáDQNLDWU]HFLHWRZQLRVHN
P - termin mniejszy
0WHUPLQUHGQL
6WHUPLQZL
NV]\WDQNWyU\ZHZQLRVNXMHVWQDVW
SQLNLHP
3U]HVáDQNDZL
NV]DWRWDNWyUDPDWHUPLQZL
NV]\
We wniosku np. SaP ( S-podmiot konkluzji ; P-orzecznik konkluzji)
6\ORJL]P\VáXV]QHWRWDNLHNWyUHGDMSUDZG
GODND*GHMZDUWRFL6L3WDXWRORJLH
:V]\VWNLFKWU\EyZV\ORJLVW\F]Q\FKMHVW]F]HJRWRWU\E\VáXV]QH
mocQ\FKLVáDE\FK
:DUXQNLSRSUDZQRFLV\ORJL]PyZNDWHJRU\F]Q\FK :
A. 7HUPLQ UHGQL PXVL E\ü Z REX SU]HVáDQNDFK WDNLH VDPR VáRZR L Z WHM VDPHM
VXSR]\FMLL]QDF]HQLX-HOLQLHWRMHVWWRW]ZEáGWHUPLQyZ .
B. 7HUPLQ UHGQL PXVL E\ü SU]\QDMPQLHM Z MHGQHM ] SU]HVáDQHN WHUPLQHP
UR]áo*RQ\PF]\OLPXVLE\üPRZDRMHJRZV]\VWNLFKGHV\JQDWDFK SaP ; SeP
; SoP ; SiP
C. :DUXQHN SU]HF]FR WZLHUG]F\ MHGQD ] SU]HVáDQHN PXVL E\ü WZLHUG]FD ( z
GZyFKIDáV]\Z\FKSU]HVáDQHNQLFQLHZ\QLND-HOLGZLHSU]HVáDQNLVSUDZG]LZH
WRZQLRVHNWH*SUDZG]LZ\
D. 7HUPLQUR]áR*RQ\ZHZQLRVNXPXVLE\üUR]áR*RQ\ZSU]HVáDQNDFK
5HJXá\RJyOQRFLV]F]HJyáRZRFLSU]HVáDQHN :
MaP MaP
SaM SaM
SaP SiP
6L3MHVWWRZQLRVHNRVáDELRQ\barbari)
MeP MeP
SaM SaM
SeP SoP
6R3ZQLRVHNRVáDELRQ\ceslaro)
7U\EV\ORJLVW\F]Q\QLHVáXV]Q\SU]\SHZQ\FKSRGVWDZLDQLDFKPR*HGDZDü
prawdziwe konkluzje.
:\SRZLHG]LPRGDOQH
:\SRZLHG]LPRJE\ü
asertoryczneVWZLHUG]DMFH
problematycznePR*H
apodyktyczne (musi)
=GDQLDSUREOHPDW\F]QHLDSRG\NW\F]QHWRPRJSRVLDGDüUy*QLQWHUSUHWDFM
(a) Interpretacja logicznaZ\QLND]H]GDMX*X]QDQ\FK]DSUDZG]LZH
(f) 2VREQ\SRG]LDáLQWHUSUHWDFMLSU]HGVWDZLá.RWDUELVNL:
1. Interpretacja subiektywistyczna :
0R*QDMXWR*VDPLDü]LQWHUSUHWDFMSV\FKRORJLF]Q
2. Interpretacja obiektywistyczna :
a. pozalogiczne : ( w tym aksjologiczna)
b. logiczna
ÄPXVLE\ü$´R]QDF]D*HVWZLHUG]HQLHÄPXVLE\üQLH$´GRSURZDG]D
GRVSU]HF]QRFL]]DáR*HQLDPL
ÄPR*HE\ü%´ÄPR*HE\üQLH%´QLHGRSURZDG]DGRVSU]HF]QRFL
=ZL]NLSRPL
G]\]GDQLDPLDSRG\NW\F]Q\PLLSUREOHPDW\F]Q\PL :
Kwadrat PRGDOQRFLZR\
SU]HFLZQLHVWZR
ÄPXVLE\ü$´ÄPXVLE\üQLH$´
⇓ ⇓
ÄPR*HE\ü$´ÄPR*HE\üQLH$´
SRGSU]HFLZQLHVWZR
ÄPR*HE\ü$´∧ÄPR*HE\üQLH$´
ÄPR*HE\ü$´PR*HZ\VWSLüZGZyFKLQWHUSUHWDFMDFK
Interpretacja jednostronnaPyZLP\RZDUWRFLÄPR*HE\ü$´DOHZ\SRZLDGDP\
VL
F]\ÄPR*HE\üQLH$´
Interpretacja dwustronna Z\SRZLDGDP\ VL
R SUDZG]LZRFL ]DUyZQR ]GDQLD
ÄPR*HE\ü$¶LÄPR*HE\üQLH$´
1.nakazana - N
2.zakazana - Z
3.dozwolona (nie zakazana) - D
4.fakultatywna (nie nakazana) - F
5.indyferentna (nie nakazana i nie zakazana) - I
6.RERZL]HN(zakazana albo nakazana) - O
6]HFLDQPRGDOQRFL
N Z
Wynikanie:
3U]HFLZLH VWZR
3RGSU]HFLZLH VWZR
D F
6SU]HF]QR ü
/RJLNDSUDZQLF]D
5R]XPLDQDZV]HURNLVSRVyEMHVWWRZV]HONLH]DVWRVRZDQLHORJLNLGRUR]ZL]\ZDQLD
SUREOHPyZSUDZQLF]\FK6NáDGDMVL
QDQLOLF]QH]DJDGQLHQLD
9 zdania normatywne
9 Z\NáDGQLDSUDZDLZQLRVNRZDQLHZW\PZ]JO
G]LHPDUDFM
9 zdania pytajne
9 logika deontyczna
9 SUDZGRSRGRELHVWZR
9 oceny
9 metody prowadzenia sporów (erystyka)
9 teoria argumentacji
5R]XPLHQLHSRM
FLDORJLNDSUDZQD]DOH*\RGNU
JXNXOWXURZHJRLSDVWZD
systemy prawa kontynentalnego („civil law”) :
(UyGáHPSUDZDXVWDZD
V\VWHPGHGXNF\MQ\RNUHODMX*FKDUDNWHUORJLNLSUDZQHM
Racja ⇒1DVW
SVWZR
=HZ]JO
GXQDWRZUy*Q\FKSDVWZDFKSUDZQLF\NáDGQDFLVNQDLQQ\DVSHNW
Belgia : teoria argumentacji (Perelman) , topiki prawnicze , nieformalne
rozumowanie prawników ;
Holandia/Dania : logika deontyczna, formalne rachunki
)UDQFMDVFKHPDW\ZQLRVNRZD
Zdania normatywne V]F]HJyOQ\ URG]DM ]GD QLH V RQD DQL SUDZG]LZH DQL
IDáV]\ZH 2NUHODM QRUP
SRVW
SRZDQLD osbie/wszystkim, teraz/zawsze,
WXZV]
G]LH
Normy
indywidualne generalne
LQG\ZLGXDOQ\ DGUHVDW SUHF\]\MQLH
DGUHVDW L RNROLF]QR FL RNUH Oone
RNUH ORQH RNROLF]QR FL JHQHUDOQLH JDWXQNRZR
Normy
Konkretne Abstrakcyjne
Z\F]HUSXM VL
Z MHGQRUD]RZ\P VL
Z ZLHOX DNWDFK
UHDOL]XM
DNFLH VSHáQLHQLD VSHáQLHQLD
%LRUFSRGXZDJ
WHGZDSRG]LDá\SRNU\ZDMVL
Z\Uy*QLDVL
Normy
8]DVDGQLDQLH7ZLHUG]H
:HGáXJ UDFML GRVWDWHF]QHM PXVLP\ GDü X]DVDGQLHQLH DE\ VWZLHUG]Lü *H FR MHVW
SUDZG
Uzasadnianie
EH]SRUHGQLHSRUHGQLH
8]DVDGQLHQLHEH]SRUHGQLH
8]DVDGQLHQLHSRUHGQLH
3ROHJDQDW\P*HGRNRQXMHP\SHZQHJRUR]XPRZDQLDLSU]\MPXMFSHZQH]GDQLD
]DSUDZG]LZHGRFKRG]LP\GRSUDZG]LZRFL]GDQLDLQQHJR
Wnioskowanie
-HVW WR SURFHV VXELHNW\ZQ\ 0XVL VL
RSLHUDü QD Z\QLNDQLX L LQQ\FK RELHNW\ZQ\FK
]ZL]NDFK
:QLRVNRZDQLHGHGXNF\MQH
Racja - jest pewnaD1DVW
SVWZRQLH
RACJA
1$67 367:2
2. DOWODZENIE :
RACJA
1$67 367:2
:QLRVNRZDQLHQLHGHGXNF\MQH
Racja - nie jest pewnikiem , a natomiast 1DVW
SVWZR - jest pewnikiem
1. SPRAWDZANIE :
RACJA
1$67 367:2
x=175
Mx :
x=175
ESTYMACJA PUNKTOWA
&]
FLHMX*\ZDQDMHVWHVW\PDFMDSU]HG]LDáRZD
_ ∂ _ ∂
X - ≤ Mx ≤ X +
z √n z √n
3L
üNDQRQyZHOLPLQDF\MQ\FK
A,B,C,D - sfera przyczynowa
Z1 - skutek
(a) .DQRQMHG\QHM]JRGQRFL
A,B,C,D ⇒ Z1
B,C,D,E ⇒ Z1
C,D,E,F ⇒ Z1
D,E,F,G ⇒ Z1
(b) .DQRQMHG\QHMUy*QLF\
A,B,C,D ⇒ Z1
nie-A,B,C,D ⇒ Z1
nie-D,A,B,C ⇒ Z1 (nie zachodzi)
(c) .DQRQSRáF]RQ\MHG\QHM]JRGQRFLLUy*QLF\
3U]\SRPRF\NDQRQXMHG\QHMUy*QLF\ZHU\ILNXMHP\ZQLRVHN]
kanonu jedynej zgodQRFL
(d) .DQRQ]PLDQWRZDU]\V]F\FK
A,B,C,D ⇒ Z1
A⊗ ,B,C,D ⇒ Z1
A,B⊗ ,C,D ⇒ Z1 ⊗
B ⇒ Z1
9 S\WDQLD]DPNQL
WHNUyWNDRGSRZLHG(ZHGáXJVFKHPDWXPRJE\üVXJHVW\ZQHL
podchwytliwe), otwarte RGSRZLHG]L GáX*V]D GRZROQD Z\SRZLHG(
niebezpieF]HVWZRSU]HJDGDQLDLmieszane (najpierw otwarte „co wiadomo o ...
?” i
9 S\WDQLDGRUR]VWU]\JQL
FLD (czy ?) i GRX]XSHáQLHQLD (niewiadoma pytania)
9 gdy w pytaniu Eá
GQH]DáR*HQLHRGSRZLHG]LVSURVWRZDQLH
9 RGSRZLHG]L ZáDFLZH QLH PXV] E\ü SUDZG]LZH Z\UD*HQLH ]DVW
SXMFH
partyNXá
S\WDMQPLHFLVL
Z]DNUHVLHQLHZLDGRPHMS\WDQLDLQLHZáDFLZH
9 RGSRZLHG]L FDáNRZLWH (wprost albo nie wprost) i F]
FLRZH precyzowanie
zaPNQL
W\PL
3U]\F]\Q\QLHSRUR]XPLH
ZLHOR]QDF]QRüVáyZKRPRQLPLD
SRGRELHVWZRUy*Q\FK]QDF]HGDQHJRVáRZD
pomieszanie supozycji
mieszanie aktualnego i potencjalnego znaczenia
QLHMDVQRFLZ\UD*HRND]MRQDOQ\FK
nazwy nieostre
HNZLZRNDFMHLVSRU\VáRZQHUy*QH]QDF]HQLD
DPILERORJLHZLHOR]QDF]QRFLVNáDGQLRZH
P\OHQLHILJXUDOQHLVNUyW\P\ORZH]QDF]HQLDGRVáRZQHLQLHGRVáRZQH
0\OHQLHNLHURZDQH]JyU\SRVWDZLRQ\PL]DGDQLDPL
9 P\OHQLH VSRQWDQLF]QH L NLHURZDQH ] JyU\ Z\]QDF]RQ\PL ]DGDQLDPL ]DGDQLD
rozVWU]\JQL
FLDF]\LZ\MDQLHQLDGODF]HJR
9 dowodzenie wprost i nie wprost DSDJRJLF]QH SU]HMFLRZH SU]\M
FLH
IDáV]\ZoFLUDFMLLXGRZRGQLHQLHIDáV]\ZRFLMHMQDVW
SVWZD
9 EáGpetitio principiiQLH]EDGDQDSU]HVáDQND
9 Eá
GQHNRáRZGRZRG]HQLXSU]HVáDQNZQLRVHN
9 EáGignoratio elenchi - dowodzenie nie tego co trzeba
9 JG\ QDVW
SVWZD IDáV]\ZH SHZQD IDáV]\ZRü UDFML JU\ QDVW
SVWZR IDáV]\ZH
prawGRSRGREQDSUDZG]LZRüUDFML
9 KLSRWH]DZ\MDQLDMFDVSRUyGKLSRWH]NRQNXUHQF\MQ\FK
9 experimentum crucis
9 teoria naukowa w naukach formalnych (system aksjomatyczny) i empirycznych
(spory)
9 indukcjonizm WHRULDHPSLU\F]QD]GRZLDGF]HKLSRWH]\
9 hipotetyzm (DQW\LQGXNFMRQL]P GRZLDGF]HQLD GOD SRWZLHUG]HQLD
sympatycznych hipotez
9 terminy obserwacyjne i teoretyczne (np. miary)
9 teorie idealizacyjne
3UDZGRSRGRELHVWZR
• psychologiczne albo logiczne P (Z/W)
• aprioryczne (równe szanse) i aposterioryczne]Z\QLNyZEDGD
8PLHM
WQRüSU]HNRQ\ZDQLD
3UDFDP\ORZDSUDZQLND
/RJLF]QHSRGVWDZ\X]DVDGQLDQLDZ\URNyZV GRZ\FK
• subsumpcja - kojarzenie faktów z normami
• communis opinio doctorum]JRGQRüRSLQLLU]HF]R]QDZFyZELHJá\FK
• domniemania formalneX]QDMHVL
*HFRMHVWFK\ED*HGRZLHG]LHVL
LQDF]HML
materialneMHOL;WR<ZW\Ppraesumptio iuris tantum (obalalne) i praesumptio
iuris ac de iure (nie do obalenia)
• in dubio pro reoZWSOLZRFLQDNRU]\üRVNDU*RQHJR
/RJLF]QHSRVWDZ\Z\NáDGQLSU]HSLVyZSUDZQ\FKLZQL oVNRZD
RRERZL]\ZDQLXQRUPSUDZQ\FK
• argumentum a rubrica - z systematyki ustawy
• argumentum ab inutili sensu, ab absurdo - odrzucenie interpretacji[ niezgodnej
]LGHDáDPLXVWDZRGDZF\
• logiczne i instrumentalne ( dyrektywy instrumentalnego zakazu nakazu)
wynikanie norm z norm