rachunek nazw i podziały nazw, Logika prawnicza


Zaprzecz każdemu ze zdań z podpunktów a)-e) na trzy sposoby. Odpowiedzi należy uzasadnić.

.

a) Z: Nieprawda, że niektóre ptaki potrafią latać.

b) Z: Każdy Amerykanin lubi jeść.

c) Z: Niektóre nazwy wyraźne nie są ostre.

d) Z: Niektóre ssaki są bezkręgowcami.

e) Z: Tylko ssaki nie są bezkręgowcami.

f) Wykaż, że zaprzeczeniem zdania Z jest zdanie Z', gdy:

Z: Każdy przestępca jest izolowany od społeczeństwa lub żaden przestępca nie jest

izolowany od społeczeństwa.

Z': Tylko niektórzy przestępcy są izolowani od społeczeństwa.

Zadanie 2

a) Podaj jedno zdanie równoważne logicznie ze zdaniem Z (i jednocześnie nie będące tym zdaniem).

Z: Nieprawda, że każda norma prawna jest zawarta w jednym przepisie prawnym.

b) Podaj dwa zdania wynikające logicznie ze zdania Z, ale nie równoważne logicznie z tym zdaniem.

Z: Tylko niektórzy ludzie nie znają warunków poprawności dedukcji.

c) Podaj dwa zdania równoważne logicznie ze zdaniem Z (nie będące tym zdaniem) i dwa zdania wynikające logicznie ze zdania Z i jednocześnie nie równoważne logicznie ze zdaniem Z.

Z: Tylko owady są motylami

d) Na podstawie kwadratu logicznego podaj zdanie przeciwne do zdania Z (nie będące sprzecznym ze zdaniem Z) oraz zdanie sprzeczne ze zdaniem Z..

Z: Żaden człowiek nie jest blondynem

e) Podaj zdanie podprzeciwne do zdania Z.

Z: Nieprawda, że żaden człowiek nie jest uczciwy.

f) Podaj dwa zdania równoważne logicznie ze zdaniem Z.

Z: Tylko czyny dozwolone nie są czynami zakazanymi.

g) Podaj trzy zdania prawdziwe, z których wynika logicznie zdanie Z.

Z: Niektórzy żołnierze są inżynierami

Zad 3

Czy prawem logicznym jest wyrażenie:

f)SoP → nPonS, g)SiP→nPinS, h)SaP (SeP), i)SoP→TylkoSiP

j)(SaPSeP), k)SoP→(PiS)

Odpowiedzi należy uzasadnić.

Zad.4

Podaj pięć przykładów nazw, które mają jednocześnie następujące własności:

a) są ogólne, generalne, proste

b) są jednostkowe, generalne, złożone

c) są abstrakcyjne, ogólne

d) są abstrakcyjne, jednostkowe, nieostre

e) są abstrakcyjne, jednostkowe

f) są puste, konkretne, niezbiorowe

g) są abstrakcyjne, generalne, ogólne

h) są ogólne, zbiorowe,

i) są indywidualne, puste, proste

Uzasadnij.

Zadanie 5

Proszę scharakteryzować ze względu na wszystkie poznane podziały podane niżej nazwy. Posiadanie podanych przez siebie własności danej nazwy należy uzasadnić.

  1. zbiór wszystkich liczb parzystych

  2. czerwień

  3. czerwona rzecz

  4. Lasek Bielański

  5. najgłębsze jezioro w Polsce

  6. 5

  7. maratończyk

  8. najszybszy biegacz świata

  9. bieg finałowy mężczyzn na 100 metrów podczas ostatniej olimpiady

  10. stan zagrożenia

  11. bycie wyższym

Rozwiązania

Zadanie 1

a) Z: Nieprawda, że niektóre ptaki potrafią latać.

P- ptak, L- zwierzę potrafiące latać

Sch Z: (PiL)

Sch Z1: PiL

Sch Z2:(PeL)

Sch Z3:(LeP)

Z1: Niektóre ptaki potrafią latać.

Z2: Nieprawda, że żaden ptak nie potrafi latać.

Z3: Nieprawda, że żadne zwierzę potrafiące latać nie jest ptakiem.

Uzasanienie:

Szukamy zdań Z1, Z2, Z3, równoważnych logicznie ze zdaniem Z.

Ponieważ negacja zdania jest jego zaprzeczeniem, to również zdanie bez negacji jest zaprzeczeniem odpowiedniego zanegowanego zdania. Stąd Z1 jest zaprzeczeniem zdania Z.

Zgodnie ze związkiem sprzeczności wynikającym z kwadratu logicznego prawem logicznym jest wyrażenie: PiL (PeL), a skoro zdanie o schemacie: PiL jest zaprzeczeniem zdania Z, to również zdanie o schemacie: (PeL) jest zaprzeczeniem zdania Z. Zatem Z2 spełnia warunki zadania.

Na podstawie prawa konwersji: PeL LeP wiadomo, że parę zdań równoważnych tworzą zdania o schematach: PeL, LeP. W związku z tym negacje tych zdań też są wzajemnie równoważne logicznie. Skoro zdanie o schemacie:(PeL) spełnia warunki zadania, więc zdanie o schemacie (LeP) również spełnia warunki zadania. Zdanie Z3 jest zatem zaprzeczeniem zdania Z.

b) Z: Każdy Amerykanin lubi jeść.

A- Amerykanin

J- osoba lubiąca jeść.

Sch Z: AaJ

Sch Z1: (AaJ)

Z1: Nieprawda, że każdy Amerykanin lubi jeść.

Uzasadnienie: Negacja zdania jest jedną z form jego zaprzeczenia.

Sch Z2: AoJ

Z2: Niektórzy Amerykanie nie lubią jeść.

Uzasadnienie: Zgodnie z kwadratem logicznym parę zdań sprzecznych tworzą zdania o schematach: AaJ oraz AoJ.

Sch Z3: (TylkoJaA)

Z3: Nieprawda, że tylko osoby lubiące jeść są Amerykanami.

Uzasadnienie: Zgodnie z definicją odpowiedniego zdania ze słowem „tylko” prawem logicznym jest wyrażenie: (TylkoJaA)  JaA. Wobec tego (TylkoJaA) jest równoważna z (AaJ) , zatem jest schematem zaprzeczenia zdania o schemacie AaJ.

c) Z: Niektóre nazwy wyraźne nie są nazwami ostrymi

W-nazwa wyraźna, O- nazwa ostra

Sch Z: WoO

Sch Z1: (WoO)

Z1: Nieprawda, że niektóre nazwy wyraźne nie są nazwami ostrymi.

Uzasadnienie: Zanegowanie zdania daje jedną z form jego zaprzeczenia.

Sch Z2: WaO

Z2: Każda nazwa wyraźna jest nazwą ostrą.

Uzasadnienie: Zgodnie z kwadratem logicznym parę zdań sprzecznych tworzą zdania o schematach: WoO oraz WaO.

Sch Z3: TylkoOaW

Z3: Tylko nazwy ostre są nazwami wyraźnymi.

Uzasadnienie: Zgodnie z definicją zdanie typu: Tylko O jest W, jest równoważne logicznie ze zdaniem typu: Każde W jest O. Skoro zatem zdanie Z2 jest zaprzeczeniem zdania Z, to zdanie Z3 też jest zaprzeczeniem zdania Z.

  1. Z: Niektóre ssaki są bezkręgowcami.

S-ssak, B- bezkręgowiec

Sch Z: SiB

Sch Z1: (SiB)

Z1: Nieprawda, że niektóre ssaki są bezkręgowcami.

Uzasadnienie: Negacja zdania jest jedną z form jego zaprzeczenia.

Sch Z2: SeB

Z2: Żaden ssak nie jest bezkręgowcem.

Uzasadnienie: Na podstawie zwiąku sprzeczności podanego w kwadracie logicznym wiadomo, że parę zdań sprzecznych stanowią zdania o schematach: SiB, SeB.

Sch Z3: BeS

Z3: Żaden bezkręgowiec nie jest ssakiem.

Uzasadnienie: Zdanie Z3 jest równoważne logicznie ze zdaniem Z2 na mocy prawa konwersji: BeS  SeB. Skoro Z2 jest zaprzeczeniem zdania Z, więc wobec powyższego Z3 jest też zaprzeczeniem zdania Z.

e) Z: Tylko ssaki nie są bezkręgowcami.

S- ssak, B- bezkręgowiec

Sch Z: TylkoSeB

SchZ1: (TylkoSeB)

Z1: Nieprawda, że tylko ssaki nie są bezkręgowcami.

Uzasadnienie: negacja zdania jest jedną z form jego zaprzeczenia.

SchZ2: (nie-S a B)

nie-S - zwierzę nie będące ssakiem (czyli w skrócie: nie-ssak)

Z2: Nieprawda, że każde zwierzę nie będące ssakiem jest bezkręgowcem (skrócona wersja: Nieprawda, że każdy nie-ssak jest bezkręgowcem)

Uzasadnienie: Zgodnie z definicją zdanie typu: tylko S nie jest B, jest równoważne logicznie ze zdaniem typu: każdy nie-S jest B. Zatem negacja zdania pierwszego typu jest równoważna logicznie negacji zdania drugiego typu.

Sch Z3: nie-S o B

Z3: Niektóre zwierzęta nie będące ssakami nie są bezkręgowcami. (skrócona wersja: Niektóre nie-ssaki nie są bezkręgowcami).

Uzasadnienie: Na podstawie kwadratu logicznego (związku sprzeczności) wiadomo, że prawem logicznym jest wyrażenie: (nie-S o B)  (nie-S a B). Prawa strona tej równoważności jest schematem zaprzeczenia zdania Z, zatem lewa strona również.

f) Wykaż, że zaprzeczeniem zdania Z jest zdanie Z', gdy:

Z: Każdy przestępca jest izolowany od społeczeństwa lub żaden przestępca nie jest

izolowany od społeczeństwa.

Z': Tylko niektórzy przestępcy są izolowani od społeczeństwa.

S- przestępca, P- osoba izolowana od społeczeństwa.

Sch Z: SaP  SeP

Sch Z': SiP  SoP

Wystarczy wykazać, że prawem logicznym jest schemat wyrażenia: Z' Z, czyli w tym wypadku funkcja zdaniowa: (SiP  SoP) (SaP  SeP).Stosując do II prawa De Morgana: (p  q)  (p  q ), następujące podstawienia:p/SaP, q/SeP, otrzymujemy jako prawo logiczne wyrażenie:  (SaP SeP)  (SaP)  (SeP)]. Na podstawie kwadratu logicznego- związku sprzeczności- prawami logicznymi są też wyrażenia: SiP  (SeP), SoP  (SaP). W każdej funkcji zdaniowej można zamiast jego dowolnej części wstawić wyrażenie równoważne logicznie z tą częścią i to co otrzymamy będzie równoważne logicznie z wyjściową funkcją zdaniową. Zatem w szczególności zastępując (SaP) przez SoP, a (SeP) przez SiP otrzymujemy z wyrażenia: (SaP)  (SeP) funkcję zdaniową: SoP SiP.

Wnioskujemy zatem, że prawem logicznym jest wyrażenie: (SaP  SeP)  (SoP  SiP). Z kolei prawa strona tego wyrażenia jest równoważna logicznie (na mocy przemienności koniunkcji) z koniunkcją: (SiP  SoP). Zatem prawem logicznym jest funkcja zdaniowa: (SiP  SoP) (SaP  SeP).

Zadanie 2

a) Podaj jedno zdanie równoważne logicznie ze zdaniem Z (i jednocześnie nie będące tym zdaniem).

Z: Nieprawda, że każda norma prawna jest zawarta w jednym przepisie prawnym.

Rozwiązanie:

S- norma prawna, P-to co jest zawarte w jednym przepisie prawnym

Sch Z:  (SaP)

Sch Z1: SoP

Z1: Niektóre normy prawne nie są zawarte w jednym przepisie prawnym.

Uzasadnienie: wynika to ze związku sprzeczności podanym w kwadracie logicznym. Zgodnie z tym związkiem zdanie o schemacie: SoP, jest zaprzeczeniem zdania o schemacie: SaP.

Zgodnie z definicją zaprzeczenia SoP jest zatem równoważne logicznie z  (SaP).

b) Podaj dwa zdania wynikające logicznie ze zdania Z, ale nie równoważne logicznie z tym zdaniem.

Z: Tylko niektórzy ludzie nie znają warunków poprawności dedukcji.

Rozwiązanie:

C- człowiek, Z- osoba znająca warunki poprawności dedukcji.

Sch Z: TylkoCoZ

Sch Z1: CoZ

Z1: Niektórzy ludzie nie znają warunków poprawności dedukcji

Sch Z2: CiZ

Z2: Niektórzy ludzie znają warunki poprawności dedukcji

Uzasadnienie: Zgodnie z definicją zdanie typu TylkoCoZ jest równoważne logicznie z koniunkcją: CoZ  CiZ. Stosując podstawienia: p/CoZ, q/CiZ do praw pochłaniania dla koniunkcji ((p q)→ p oraz (p q)→ q ). Wnioskujemy, że prawami logicznymi są implikacje: (CoZ  CiZ)→ CoZ oraz (CoZ CiZ)→ CiZ. Zdania Z1 i Z2 wynikają więc logicznie ze zdania Z. Należy też wykazać, że nie ma wynikania w drugą stronę, czyli że prawami logicznymi nie są następujące funkcje zdaniowe:

CoZ→(CoZ  CiZ),

CiZ→(CoZ  CiZ),.

Na podstawie kwadratu logicznego wiadomo, że CoZ jest podprzeciwne względem CiZ. Oznacza to, że ze schematów CoZ, CiZ nie możemy jednocześnie otrzymać zdań fałszywych . W tabelce należy zatem sprawdzić pozostałe układy wartości dla zdań prostych o schematach: CoZ, CiZ.

Sprawdzenie:

CoZ CiZ CoZCiZ CoZ→(CoZ  CiZ)

0 1 0 1

1 0 0 0

1 1 1 1

CoZ CiZ CoZCiZ CiZ→(CoZ  CiZ)

0 1 0 0

1 0 0 1

1 1 1 1

Sprawdzane implikacje nie są prawami logicznymi, zatem ani ze zdania Z1 ani ze zdania Z2 nie wynika logicznie zdanie Z.

c) Podaj dwa zdania równoważne logicznie ze zdaniem Z (nie będące tym zdaniem) i dwa zdania wynikające logicznie ze zdania Z i jednocześnie nie równoważne logicznie ze zdaniem Z.

Z: Tylko owady są motylami

Rozwiązanie:

O-owad, M-motyl

Sch Z: TylkoOaM

Zdania równoważne logicznie ze zdaniem Z:

Z1:Każdy motyl jest owadem.

Z2:Nieprawda, że niektóre motyle nie są owadami.

Uzasadnienie:

Sch Z1: MaO

Sch Z2: (MoO)

Zgodnie z definicją odpowiedniego zdania ze słowem „tylko” prawem logicznym jest wyrażenie: (TylkoOaM)  MaO. Zatem zgodnie z definicją równoważności logicznej zdanie Z1 jest równoważne logicznie ze zdaniem Z. Z kolei zgodnie ze związkiem sprzeczności na podstawie kwadratu logicznego wiadomo, że prawem logicznym jest wyrażenie: MaO  (MoO). Zatem zdanie Z2 jest równoważne logicznie ze zdaniem Z1, czyli również ze zdaniem Z.

Zdania wynikające logicznie ze zdania Z i jednocześnie nie równoważne logicznie ze zdaniem Z:

Z3: Istnieją motyle będące owadami

Z4: Istnieją owady będące motylami.

Uzasadnienie:

Sch Z3: MiO

Sch Z4: OiM

Uzasadnienie:

Jedno z praw kwadratu logicznego mówiące o związku podporządkowania: MaO→ MiO. Zatem zdanie Z3 wynika logicznie ze zdania Z1 i nie jest z nim równoważne logicznie. Z kolei na podstawie prawa konwersji ograniczonej: MaO→ OiM, wiadomo, że zdanie Z4 wynika logicznie ze zdania Z1 nie będąc z nim równoważnym logicznie. Z kolei ze względu na to, że Z1 jest równoważne logicznie ze zdaniem Z wnioskujemy, że zdania Z3 i Z4 spełniają warunki zadania.

d) Na podstawie kwadratu logicznego podaj zdanie przeciwne do zdania Z (nie będące sprzecznym ze zdaniem Z) oraz zdanie sprzeczne ze zdaniem Z..

Z: Żaden człowiek nie jest blondynem

Rozwiązanie:

Na podstawie kwadratu logicznego parę dań przeciwnych tworzą zdania o schematach: SaP, SeP. Jeśli zatem S-człowiek, P- blondyn, to zdanie Z ma schemat: SeP. Zdaniem przeciwnym z wyjściowym jest więc

Z1: Każdy człowiek jest blondynem

Sch Z1: SaP

Na podstawie kwadratu logicznego w związku sprzeczności są zdania o schematach: SeP, SiP. Zatem zdaniem sprzecznym z wyjściowym jest Z2:Niektórzy ludzie są blondynami (SchZ2: SiP).

e) Podaj zdanie podprzeciwne do zdania Z.

Z: Nieprawda, że żaden człowiek nie jest uczciwy.

Rozwiązanie:

C-człowiek, U-uczciwy

Sch Z: (CeU)

Zgodnie z jednym praw kwadratu logicznego mówiących o związku sprzeczności ( CiU (CeU)) zdaniem równoważnym logicznie ze zdaniem Z jest zdanie o schemacie: CiU. Z kwadratu logicznego wiadomo też, że parę zdań podprzeciwnych tworzą zdania o schematach: CiU oraz CoU. Zdaniem podprzeciwnym względem Z jest zatem zdanie o schemacie: CoU.

Z1: Niektórzy ludzie nie są uczciwi.

f) Podaj dwa zdania równoważne logicznie ze zdaniem Z.

Z: Tylko czyny dozwolone nie są czynami zakazanymi.

Rozwiązanie:

Z1: Każdy czyn niedozwolony jest czynem zakazanym.

Z2: Nieprawda, że niektóre czyny niedozwolone nie są czynami zakazanymi.

Uzasadnienie:

D-czyn dozwolony, Z-czyn zakazany.

Sch Z: TylkoDeZ

Sch Z1: nie-D a Z

Sch Z2: (nie-D o Z)

Zgodnie z prawami kwadratu logicznego parę zdań sprzecznych tworzą zdania o schematach: nie-D o Z, nie-D a Z. Związek ten wyraża się między innymi następującym prawem logicznym: (nie-D a Z)  (nie-D o Z). Zatem zdania Z1 i Z2 są wzajemnie równoważne logicznie. Wystarczy zatem wykazać, że jedno z nich jest też równoważne logicznie ze zdaniem Z (automatycznie wtedy wychodzi, że to drugie zdanie jest równoważne logicznie ze zdaniem Z). Weźmy pod uwagę zdanie Z1. Jest ono równoważne logicznie ze zdaniem Z na mocy definicji: TylkoDeZ  (nie-D a Z)

g) Podaj trzy zdania prawdziwe, z których wynika logicznie zdanie Z.

Z: Niektórzy żołnierze są inżynierami

Rozwiązanie:

Z1: Tylko niektórzy żołnierze są inżynierami

Z2: Tylko niektórzy żołnierze nie są inżynierami.

Z3: Niektórzy inżynierowie są żołnierzami

Uzasadnienie:

Zdania te są prawdziwe, ponieważ to co one głoszą jest zgodne z opisywanym przez nie kawałkiem rzeczywistości. Wystarczy wykazać, że z każdego z tych zdań wynika logicznie zdanie Z.

Niech Ż- żołnierz, I- inżynier.

Sch Z: ŻiI

Sch Z1: TylkoŻiI

Sch Z2: Tylko ŻoI

Sch Z3: IiŻ

Należy wykazać, że prawami logicznymi są schematy następujących implikacji: Z1 → Z, Z2→ Z, Z3→ Z, czyli kolejno:

  1. (TylkoŻiI) → ŻiI

  2. (TylkoŻoI) → ŻiI

  3. IiŻ → ŻiI.

Implikacje 1) i 2) można uzasadnić podobnie jak w podpunkcie b) tego zadania. Jeśli chodzi o implikację 3) zauważmy, że na mocy jednego z praw konwersji nieograniczonej: IiŻ  ŻiI, zdanie o schemacie IiŻ jest równoważne logicznie ze zdaniem o schemacie ŻiI. Ponieważ jednak równoważność logiczna to nic innego jak wynikanie logiczne w obydwie strony, wnioskujemy, że ze zdania Z3 wynika logicznie zdanie Z.

Zadanie 3

a) jest prawem logicznym (jest to jedno z praw konwersji)

b) to nie jest prawo logiczne. Niech bowiem S-adwokat, P- prawnik. Wówczas zdanie o schemacie: SoP (niektórzy adwokaci nie są prawnikami) jest fałszywe, a zdanie o schemacie: PoS (niektórzy prawnicy nie są adwokatami) prawdziwe. Zatem sprawdzana równoważność ma wartość: 01=0.

c)Jest to jedno z praw mówiące o związku przeciwieństwa między zdaniami postaci: SaP, SeP

d)Podana funkcja zdaniowa jest prawem logicznym. Jednym z praw kontrapozycji jest wyrażenie: SaP  nPanS, a skoro wyrażenie o postaci równoważności jest prawem logicznym, to implikacje w każdą ze stron również są prawami logicznymi (wynika to z reguł opuszczania równoważności). W szczególności, prawem logicznym jest implikacja: SaP→nPanS.

e)Na podstawie jednego z praw obwersji wiadomo, że zdanie o schemacie SonP jest równoważne logicznie ze zdaniem o schemacie SiP. Zatem sprawdzenie, czy prawem logicznym jest funkcja zdaniowa: SeP→SonP, można sprowadzić do sprawdzenia czy prawem logicznym jest wyrażenie: SeP→SiP. Biorąc jednak pod uwagę przypadek nazw wykluczających się wzajemnie otrzymujemy, że jeśli v(SeP)=1, to v(SiP)=0. Zatem w tym przypadku: v(SeP→SonP) = v(SeP→SiP) = 1→0 = 0. Wniosek: wyjściowe wyrażenie nie jest prawem logicznym.

f)Analogicznie do podpunktu d)

g)Niech S- osoba pełnoletnia (w rozumieniu na gruncie prawa), P- osoba która nie ukończyła 18 lat. Jeśli U-zbiór wszystkich ludzi, to nie-S- osoba niepełnoletnia, a nie-P- osoba, która ukończyła 18 lat. Wówczas:

SiP- pewne osoby pełnoletnie są osobami, które nie ukończyły 18 lat.

Zdanie to jest prawdziwe.

nie-P i nie-S Pewne osoby, które ukończyły 18 lat są osobami niepełnoletnimi.

Zdanie to jest fałszywe.

Implikacja: SiP → nie-P i nie-S również jest w tym przypadku fałszywa, zatem: SiP → nie-P i nie-S , nie jest prawem logicznym.

h) SaP (SeP)

Na podstawie kwadratu logicznego wiadomo, że zdania o schematach: SaP, SeP, tworzą parę zdań przeciwnych. Oznacza to, że zdania o podanych schematach nnie mogą być jednocześnie prawdziwe. Dlatego sprawdzam w tabelce wartości logiczne zdań otrzymanych ze schematu: SaP (SeP), dla pozostałych układów wartości.

SaP SeP (SeP) SaP (SeP)

1 0 1 1

0 1 0 1

0 0 1 0

Sprawdzane wyrażenie nie jest prawem logicznym, ponieważ istnieje

przypadek fałszywości całego wyrażenia.

Zadanie 4

a) krzesło, stół, kot, pies, prawnik

Każda z tych nazw jest ogólna, ponieważ ma wiele desygnatów (jest wiele krzeseł, stołów, kotów, psów, prawników). Są to również nazwy generalne, ponieważ użyte są ze względu na cechy wspólne swoich desygnatów. W końcu nazwy te są proste, ponieważ są jednowyrazowe.

b) najwyższa góra świata, najmniejsza liczba naturalna, obecny Sejm RP, obecny prezydent RP, zwycięzca finału męskiego sprintu (biegu na 100 metrów) na ostatniej letniej olimpiadzie

Każda tych nazw jest złożona, ponieważ jest wielowyrazowa. Każda jest generalna, ponieważ nazwy te są nadane ze względu na cechy ich desygnatów. Każda z tych nazw jest też jednostkowa, ponieważ kolejno: istnieje jedna góra świata wyższa od innych (Mount Everest), istnieje najmniejsza liczba naturalna- jest nią liczba 0 (względnie 1, w zależności, czy 0 uznamy za liczbę naturalną, czy nie), obecny Sejm RP jest jeden, obecny prezydent RP jest jeden, i w końcu- była taka osoba i była jedna, która zwyciężyła finał męskiego biegu na ostatniej (jak do tej pory) letniej olimpiadzie.

  1. płacz, zmęczenie, smutek, radość, bieg

Nazwa te są ogólne, ponieważ mają wiele desygnatów (istniało i istnieje wiele płaczu, zmęczenia, smutku, radości i wiele biegów). Nazwy płacz i bieg są nazwami zdarzeń, zmęczenie, smutek i radość są nazwami odczuć. Zarówno zdarzenia jak i odczucia nie są obiektami materialnymi, zatem odpowiednie nazwy są abstrakcyjne.

d)nie ma takich nazw, ponieważ nie ma nazw zarazem jednostkowych i nieostrych.

Jeśli wiemy, że nazwa jest jednostkowa, to o jej jedynym desygnacie jesteśmy w stanie jednoznacznie orzec (posiadając o nim wystarczającą wiedzę), że jest jej desygnatem. O pozostałych obiektach z kolei powiemy, że nie są desygnatami tej nazwy. Sprowadza się to do wniosku, że o każdym obiekcie jesteśmy w stanie jednoznacznie powiedzieć, czy jest, czy też nie jest desygnatem tej nazwy. Wobec powyższego nazwa jednostkowa jest nazwą ostrą.

e) zbiór wszystkich liczb naturalnych, radość reprezentacji Polski w piłce nożnej z wygranej z Belgami w 2006, smutek osoby ... po przeczytaniu treści zadań egzaminacyjnych z logiki, zbiór wszystkich liczb parzystych, 1+2

Nazwy odczuć oraz nazwy liczb i zbiorów liczbowych są abstrakcyjne (ponieważ nie są nazwami obiektów materialnych). Nazwa zbiór wszystkich liczb naturalnych jest jednostkowa, ponieważ jest jeden zbiór złożony ze wszystkich liczb naturalnych (analogiczne jest wyjaśnienie dotyczące nazwy zbiór wszystkich liczb parzystych). Nazwą 1+2 oznaczamy jedną liczbę (liczbę 3), nazwa radość reprezentacji Polski w piłce nożnej z wygranej z Belgami w 2006 jest jednostkowa, bo w 2006 roku odbył się jeden zwycięski dla Polski mecz piłki nożnej z Belgami i zwycięstwo to dostarczyło reprezentacji Polski dużo radości. Nazwa smutek osoby ... po przeczytaniu treści zadań egzaminacyjnych z logiki jest jednostkowa, o ile osoba wpisana w miejsce wielokropka faktycznie się zasmuciła po przeczytaniu treści zadań egzaminacyjnych z logiki (można by uznać, że wtedy smutek był jedyny w swoim rodzaju).

f) krasnoludek, elf, Zeus, nimfa, król Polski po Poniatowskim

Są to nazwy puste, ponieważ w rzeczywistym świecie nie mają desygnatów. Są nazwami konkretnymi, ponieważ obiekty przez te nazwy wyobrażamy sobie jako materialne. W końcu nazwy te są niezbiorowe, ponieważ ich desygnaty gdyby istniały byłyby obiektami niepodzielnymi (bez łatwo wyodrębnionych części)

g) płacz, zmęczenie, smutek, radość, bieg

Desygnatami pierwszych czterech nazw są odczucia, desygnatami piątej- sytuacje. Desygnaty podanych nazw nie są zatem obiektami materialnymi, zatem nazwy są abstrakcyjne. Wszystkie pięć nazw to nazwy generalne, ponieważ są nadane ze względu na cechy desygnatów. Nazwy te są również ogólne, ponieważ jest wiele płaczu, zmęczenia, smutku, radości i biegów.

h) Sejm (rozumiany jako zbiór posłów), las, kodeks karny(rozumiany jako zbiór przepisów), księgozbiór, reprezentacja piłki nożnej.

Nazwy te są zbiorowe, ponieważ poszczególne ich desygnaty składają się z części (częściami Sejmu są posłowie, częściami lasu np. drzewa, częściami kodeksu karnego- przepisy, częściami księgozbioru- książki, częściami reprezentacji piłki nożnej- zawodnicy). Podane nazwy są też ogólne, ponieważ nie jest sprecyzowane np. o Sejm jakiego kraju, czy też z jakiego okresu, chodzi. Podobnie jest z nazwą reprezentacja piłki nożnej oraz nazwą kodeks karny (w różnych krajach jest trochę inny). Nazwy las i księgozbiór są ogólne, bo jest wiele lasów i księgozbiorów.

i)Zeus, Posejdon (jako postaci mityczne), Rumcajs, Pegaz itd.

Są to nazwy puste, ponieważ w świecie rzeczywistym nie mają desygnatów. Są proste, ponieważ każda z nich składa się z jednego wyrazu. Nazwy te są indywidualne, ponieważ nie są nadane ze względu na cechy desygnatów.

11



Wyszukiwarka

Podobne podstrony:
Rachunek nazw- zadania c.d, PRAWO - Studia, Logika
sts między zakresami nazw logika
09 wyklad dla prawa klasyczny rachunek nazw, relacj (2)
Tradycyjny rachunek nazw
Modul 4 Tradycyjny rachunek nazw
Rachunek nazw
moduł 4 Tradycyjny rachunek nazw
Wykłady i ćwiczenia, Tradycyjny rachunek nazw, Tradycyjny rachunek nazw
09 wykład dla prawa klasyczny rachunek nazw, relacje
do zdań ściąga wyjątki, Logika Prawnicza
Logika prawnicza, Wydziały, Administracja
Logika prawnicza Ćwiczenia 4 05 2014r
LOGIKA PRAWNICZA WYKŁAD 9
LOGIKA PRAWNICZA WYKŁAD 4
LOGIKA Wyklady, Administracja I rok, semestr I, Logika prawnicza
Logika prawnicza ściąga

więcej podobnych podstron