logika Flashcards

1
Q

podział fizyczny a podział logiczny

A

podział generalnie jest czynnością która prowadzi do wydzielenie części z określonej całości podział może być fizyczny może być też jednak logiczny z podziałem fizycznym mamy do czynienia na przykład w sytuacji gdy rozkrajamy jabłko na półbieg się z kimś podzielić jego częścią gdy rozpadać się małżeństwo zachodzi czasem co trzeba dokonanie fizycznego podziału określenia nieruchomości która wchodziła skład majątku wspólnego małżonków naturalnie w takiej sytuacji należy podjąć stosowne kroki prawne w celu doprowadzenia do wyodrębnienia części które staną się oddzielnym nieruchomościami stanowiący własność każdego z jak z małżonków z podziałem fizycznym mamy do czynienia gdy demontujemy komputer by na przykład go zmodernizować wykręcamy płytę graficzną dźwiękową i tak dalej obok podziału fizycznego dokonujemy tak zwanego podziału logicznego jeśli idąc ulicą zauważymy psa i staramy się określić jakie jest rasy dokonujemy właśnie wspomnianego podziału logicznego podobnie gdy stwierdzimy że widzieliśmy samochód marki Mercedesa albo podzielimy pieniądze które mamy w portfelu na banknoty i monety czy też podzielimy naszych przyjaciół na studentów prawa administracji biologii historii i tak dalej w żadnym z opisanych właśnie przypadków nie wyróżnialiśmy części składników określonych obiektów a przyporządkowaliśmy do sygnatu należące do zakresu pewnej nazwy do zakresu w innych nazw

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

podział logiczny

A

podziałem logicznym zgodnie z tym co powiedzieliśmy jest proces myślowy polegający na przyporządkowaniu desygnatów pewnej nazwy ogólnej do zakresów nazw w stosunku do niej podrzędnych aby zatem dokonać podziału logicznego zakresu dowolnej nazwy należy wskazać przynajmniej dwie nazwy których zakresy są do niej podrzędne z podziałem logicznym będziemy mieli więcej do czynienia na przykład w sytuacji gdy do każdej z sygnesów nazwy człowiek orzekniemy że jest również desygnatem nazwy kobieta albo mężczyzna zarówno zakres nazwy kobieta jak i mężczyzna jest bowiem podrzędny w stosunku do zakresu nazwy człowiek a ich suma tworzy zakres ostatniej z wymienionych nazw

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

całość dzielona i człony podziału

A

zakres nazwy którą podajemy podziałowi logicznemu zwykła nazywać się całością dzielona za ich zakresy nazw podrzędnych do których przyporządkowujemy poszczególne desygnaty nazwy której zakres dzielimy członami podziału na przykład zakres nazwy liczba naturalna całość dzielona podzielić można na zakresy liczba parzysta liczba nieparzysta są to człony podziałów zakres nazwy umowa całość dzielona powiedzieliśmy możemy na zakresy nazw umowa jednostronnie zobowiązująca i umowa dwustronnie zobowiązująca członę podziału lub na zakresy nazw umowa odpłatna i umowa nieodpłatna człony podziału lub też umowa kawulalna i umowa abstrakcyjna człony podziału i tak dalej

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

warunki poprawności podziału logicznego

A

określony podział logiczny może uznać za poprawne gdy jednocześnie spełnia następujące warunki
– warunek jednoznaczności
– warunek rozłączności
– warunek zupełności

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

jednoznaczność podziału logicznego

A

warunek jednoznaczności głosi że podział logiczny musi być przeprowadzony konsekwentnie według jednej tej samej zasady podziału czyli innymi słowy według jednego kryterium nie spełnia tego warunku podział zakresu nazw student na zakresy nazw osoba studiująca w trybie zaocznym osoba studiująca prawo osoba będąca studentem trzeciego roku i tak dalej gdy raz kryterium podziału jest tryb studiów oraz kierunek oraz rok studiów

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

rozłączność podziału logicznego

A

warunek rozłączności zwany również warunkiem ekonomiczności stanowi że każdy z desygnatów nazwy której zakres poddawany jest podziałowi logicznemu może zostać przyporządkowane do niej nie więcej niż jednego z członów podziału innymi słowy zakres nazwy które stanowią człony podziału muszą się wykluczać zgodnie z powyższym nie może zostać uznany za poprawny podział zakresu nazwy student na zakresy nazw osoba sprzedająca prawo oraz osoba studiująca administrację są bowiem osoby które jednocześnie studiują oba kierunki

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

zupełnośc podziału logicznego

A

warunek zupełności zwany także warunkiem adekwatności całkowitości lub wyczerpywania stanowi że każdy z desygnatów nazwy której zakres zostaje poddany podziałowi logicznemu musi być zostać przyporządkowany do zakresu którego jest członów podziału innymi słowy suma zakresów płonów podziału musi tworzyć zakres nazwy poddawanej podziałowi logicznemu zatem za poprawne nie zostanie uznany podział zakresu nazwy przestępstwo na zakresy nazw kradzież zabójstwo przerwanie ciąży pobicie łapownictwo istnieje bowiem jeszcze wiele innych kategorii przestępstw jedyny podział który spełnia jednocześnie wszystkie powyżej wymienione warunki możesz zostać uznany za poprawne przykładem takiego podziału jest na przykład podział zakresu nazwy trójkąt na zakres nastrój kąt ostrokątny trójkąt prostokątny oraz trójkąt rozwartokątny powyższy podział został bowiem dokonany ze względu na jedną zasadę podziału która jest miarą poszczególnych kątów jest to podział rozłączny gdyż dowolny trójkąt może zostać przyporządkowany tylko do jednego z członów podziału a także podział zupełnie gdyż nie istnieją trójkąty które nie mogą by być zaliczone do któregoś z wyróżnionych członów podziału

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

zasada podziału

A

w poprzednim pod rozdziale podkreśliliśmy że jednym z warunków poprawności podziału logicznego jest przeprowadzenie go ściśle według jednej zasady podziału kryterium z uwagi na które podział jest dokonywany samo zasadę podziału podstawy podziału wybieramy oczywiście z uwagi na cel który pragniemy osiągnąć przeprowadzając dany podział na podstawie przyjętej zasady podziału wyróżniamy bowiem poszczególne człony podziału jeśli na przykład zasadą podziału z uwagi na którą dokonamy podziały zakresu nazwy student będzie tryb studiów to do otrzymanych członów podziału przyporządkujemy studentów studiujących dziennie zaocznie lub wieczorowo taką zasadę podziału może być również wiek średnia ocen wzrost kolor włosów oczu płeć i tak dalej

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

podział pragmatyczny

A

podział umożliwiający osiągnięcie celu z uwagi na który został przeprowadzony nazywamy podziałem pragmatycznym lub treściowym wyobraźmy sobie na przykład następującą sytuację udajemy się do sklepu muzycznego z zamiarem nabycia płyty z muzyką którą lubimy na miejscu okazuje się że na poszczególnych półkach znajdują się płyty z muzyką etniczną płyty z muzyką twórców pochodzenia azjatyckiego płyty wydane przed rokiem 2005 wydawnictwa dwupłytowe płyty przecenione płyty artystów których nazwisko lub pseudonim artystyczny rozpoczyna się na literę a i pozostałe w takim wypadku moglibyśmy mieć spory z kłopoty z odnalezieniem płyty na której nam zależy nie wiedzielibyśmy bowiem od którego z działów rozpocząć poszukiwania zapewne dokonany podział nie dostawałby więc egzaminu i niewielu klientów dokonywałoby zakupów we wspomnianym salonie muzycznym przedstawiono podział płyt nie jest w związku z powyższym podziałem pragmatycznym aby osiągnąć określony cel podziału można dokonywać na różne sposoby przyjętą zasadą podziału może być na przykład posiadanie pewnej ściśle określonej cechy ewentualnie brak tej cechy na przykład jeśli wśród ogółu studentów należy wskazać tych którzy posiadają średnią 4,5 albo wyższą albo wypłacić im nagrodę finansową to w takiej sytuacji wyróżnimy oczywiście dwa człony podziału do pierwszego z nich zaliczymy studentów którzy posiadają interesującą nas cechy określoną średnią ocen do drugiego członów natomiast zaliczenie zostaną wszyscy pozostali studenci zatem ci którzy mają średnią niższą tego typu podział w którym do jednego z członów podziału przyporządkowane są obiekty posiadające pewną cechę do długiego zaś obiekty nieposiadających wspomnianej cechy zwykły nazywa się podziałem dwuczłonowym z uwagi na cechy kontradyktoryczne dychotomią platońską jako że twórcą idei tego podziału był Platon lub najbardziej skrótowo podziałem dychotomicznym podkreślmy że wspomniany podział każdorazowo dokonywany jest z uwagi na cechy kontradyktoryczne czyli sprzeczne nie byłby w związku z tym podziałem dychotomicznym podział mieszkańców Polski na osoby mające miejsce stałego pobytu w Gdańsku i osoby mające miejsce stałego pobytu w Krakowie w podziale tym wprawdzie występują dwa człony podziału tak jak w dychotomii platońskiej lecz nie pozostają one względem siebie w stosunku sprzeczności w podziale mieszkańców Polski na osoby mające miejsce stałego pobytu w Gdańsku i osoby mające miejsce starego pobytu w Krakowie pominęliśmy bowiem bardzo liczne grono osób zameldowanych na pobyt stały w innych miejscach dychotonicznym podziałem w związku z tym jest podział mieszkańców Polski na osobę mający miejsce stałego pobytu w Gdańsku i osoby nie mają co jest miejsce stałego pobytu w Gdańsku innym przykładem podziału duchotonicznego jest podział kobiet na szatynki i nie szatynki podział rzeczy na ruchome i nieruchomy podział ludzi na osoby posiadające wyższe wykształcenie i nie posiadające wyższego wykształcenia podział dechotoniczny każdorazowo jest więc podziałem zawsze rozłącznym i zupełnym rozłącznym zgodnie bobem z zasadą sprzeczności nie ma możliwości by określony obiekt jednocześnie posiadał daną cechę i jej nie posiadał i zupełny gdyż zgodnie z zasadą wyłącznego środka dany obiekt albo posiada określone cechy albo jej nie posiada teritum non datum nie ma trzeciej możliwości

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

podział politomiczny

A

podział dychotomiczny służy do wyróżnienia klasy obiektów posiadających pewną cechę i klasę obiektów nieposiadających tej cechy częstokrotnie na zachodzi konieczność dokonania podziału w wyniku którego uzyskamy więcej niż dwa człony podziału tak zwany podział politomiczny wieloczłonowy gdybyśmy na przykład udali się do sklepu odzieżowego asortyment zostałby podzielony dychotomicznie także w pewnej części sklepu znajdowałyby się tylko koszule z długim rękawemu zaś pozostałą częścią sklepu zajmowałaby reszta asortymentu spodnie bluzy spódnice i tak dalej mielibyśmy poważne trudności by odnaleźć na przykład bluzę interesującym nas w rozmiarze w takich sytuacjach dokonuje się podziału za punkta wyjść wyjścia biorąc pewną ogólną cechę na przykład rodzaj garderoby i do poszczególnych członów podziału przyporządkowuje się obiekty z uwagi na posiadaną przez nią odmianę wspomnianej cechy na przykład spodnie bluzy koszule sukienki i tak dalej w ten sposób dokonany podział nazywany jest podziałem według tak zwanej zasady specyfikacyjnej cechą ogólną która jest zasadą podziału nazywamy determinalną zaś jej odmiany determinantami z podziałem takim możemy się spotkać na przykład w internetowych serwisach filmowych których firmach pogrupowane są z uwagi na gatunek filmowy w ten sposób poukładane mogą być książki w bibliotece z otwartym dostępem do zbiorów na poszczególnych półkach znajdują się pozycje zawierające na przykład informacje z poszczególnych gałęzi prawa w ten sposób pogrupowane mogą być rodzaje potraw umieszczone w menu pewnej restauracji i tak dalej aby podział według zasady specyfikacyjnej był poprawny naturalnie musi spełniać łącznie wszystkie warunki formalne stawiane podziało musi więc być dokonane z uwagi na jedną zasadę podziału musi być rozłączne i zupełny szczególną uwagę należy zwrócić na dwa ostatnie warunki zazwyczaj dochodzi bowiem do naruszenia któregoś z nich w sytuacji gdy wyróżniamy kilka członów podziału może się bowiem zdarzyć że określone desygnat należący do zakresu nazwy którą podajemy podziałowi będzie można przyporządkować do dwóch lub więcej członów podziału gdybyśmy na przykład podzielili naszych znajomych z uwagi na ich zainteresowania to bardzo prawdopodobna byłaby sytuacja w której jedna osoba miałaby więcej niż jedno zainteresowanie ponadto dokonując podziału z uwagi na zasadę specyfikacyjną nie może mieć miejsca sytuacja w której pewien jest desygnatów nazwy której zakres podajemy podziałowi nie posiada cechy stanowiącej determinanty w naszym przypadku wykluczona z góry musi zostać zatem możliwość że któryś z naszych znajomych nie posiada jakichkolwiek zainteresowań podział musi być również zupełny o tym przypadku znaczy że musimy jako determinanty uwzględnić wszystkie możliwe odmiany determinanty w praktyce jeśli chodzi o zainteresowania postulat ten trudno byłoby urzeczywistnić prawdopodobieństwa że któryś z możliwych przedmiotów zainteresowania zostałby przez nas nie uwzględniony jest bardzo duże w praktyce więc często postępuje się tak że wskazuje się tylko główne determinanty bądź też taką ich grupę która z pewnych względów najbardziej nas interesuje a zupełność podziału zapewnia się tworząc człony podziału oddające zakres nazwy pozostałe albo inne

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

podział naturalny a sztuczny

A

zastosowanie dowolnej zasad podziału prowadzić może do powstawania podziałów naturalnych albo sztucznych podziałem naturalnym jest taki podział w którego poszczególny jest członach podziału znajdują się obiekty podobne do siebie pod wieloma względami bardziej niż do obiektów znajdujących się w innych członach podziału podziałem takim niewątpliwie jest podział zakresu nazwy człowiek z uwagi na płeć wykonywany zawód rasy i tak dalej podziwiam sztucznie natomiast jest podział w wyniku którego do poszczególnych członów podziału przyporządkowane zostają obiekty podobne do siebie pod pewnym ewentualnie pewnymi wyróżnionymi przez nas względem pod wieloma względami zupełnie niepodobne do siebie w przypadku podziału sztucznych obiekty znajdujące się w poszczególnych członach podziału są więc pod wieloma względami bardziej podobne do obiektów znajdujących się w innych członach podziału niż do tych do których zostały zaliczone podziałem sztucznym jest na przykład podział studentów i związany z nimi przyporządkowanie do poszczególnych grup ćwiczeniowych podział ten dokonywany jest bowiem z uwagi na pierwsze litery w nazwisku i przynajmniej w początkowym okresie studiów osoby te łączy niewiele innych cech wspólnych

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

klasyfikacja podziału

A

sam podział logiczny jest częścią instrumentem niewystarczającym do zagwarantowania pożądanego stopnia precyzji często zachodzi potrzeba aby obiekty trafiające do poszczególnych członów podziału poddać dalszemu przyporządkowaniu w takiej właśnie sytuacji mamy do czynienia z klasyfikacją klasyfikacja to nic innego jak wielostopniowy podział logiczny gdybyśmy na przykład dokonywali podziału zakresu nazwy książka a załóżmy że jako rasowych naukowców interesują nas książki naukowe wówczas dokonalibyśmy podziału dychotomicznego desygnatów nazwy książka z uwagi na to czy przysługuje im walor naukowości czy też nie następnie jako miłośnicy logiki wśród książek naukowych chcielibyśmy wyróżnić tylko te które dotyczą właśnie logiki w tym momencie mogli mielibyśmy już do czynienia z podziałem logicznym drugiego stopnia biorąc pod uwagę przyświecający nam cel ponownie dokonalibyśmy podziału dochotonicznego naturalnie desygnat nazwy książka dotycząca logiki moglibyśmy dzielić dalej podział trzeciego stopnia na desygnaty nazwy książka autorstwa Zygmunta Zielińskiego i książka innego autora otrzymane na poszczególnych etapach podziału a pominięto dość człony podziału oczywiście także możemy dalej dzielić najsłynniejszą klasyfikacją w dziejach nauki jest klasyfikacja Bytów dokonana przez żyjącego prawdopodobnie w latach 232-305 filozofia jest trolloga rzymskiego porfiriusza nazwana na jego część drzewem porfiriusza

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

drzewo porfiriusza

A

drzewo porfiriusza może stanowić i stanowiło podstawę do konstruowania definicji klasycznych jak pamiętamy definicję klasyczną tworzy się poprzez podanie rodzaju najbliższego i różnice gatunkowej stąd też definicja człowieka zgodnie z drzewem porfiriusza brzmi następująco człowiek jest to zwierzę rozumne

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

typologia i partycja

A

wyróżnianie typów przedmiotów typologia obok podziału logistycznego stanowić może efektywne narzędzie wpływające na stopień precyzji wypowiedzi powspominane narzędzia sięga się w sytuacjach gdy przeprowadzenie podziału logicznego nie jest możliwe wiemy bo wiem że nie zdołamy spełniać którego z jego warunków formalnych na przykład spełnienie warunku rozłączności podziału często jest utrudniony z powodu powszechnie używanych terminów nieostrych wyobraźmy sobie sytuację na przykład w której mamy dokonać podziału utworów muzycznych na utwory jazzowe bankowe folkowe reggae rok plus i tak dalej zapewne nie mielibyśmy trudności z przyporządkowaniem do właściwego gatunku większości utworów Roberta kraja czy luisa Armstronga jednak bardzo często natknęlibyśmy się na utwory muzyczne które jednoznacznie sklasyfikowanie sprawiłoby nam olbrzymie trudności w jaki bowiem sposób przyporządkowujemy utwory muzyczne do danego gatunku punktem wyjścia jest jakiś typowy utwór reprezentujący dany gatunek określamy jego charakterystyczne cechy i na podstawie podobieństwa do owych cech elementów zawartych w innych utworach orzekamy że są one utworzami danego typu bądź też nie

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

typologia

A

typologia jest więc czynnością intelektualną polegająca na ugrupowaniu przedmiotów ze względu na ich podobieństwo do obiektów uznawanych za wzorcowe tym samym punktem wyjścia typologia jest wskazanie obiektów wzorcowych o wyraźnie określonych właściwościach nazywanych typami obiekty te służą następnie jako punkty odniesienia przy określaniu typów innych przedmiotów decydującą rolę odgrywa podobieństwo do obiektów wzorcowych typologia jako taka nie musi spełniać surowych formalnych warunków stawianych podziałowi logicznemu może się zdarzyć iż w praktyce zdarza się że pewne przedmioty znajdują się na granicy dwóch a nawet więcej wyróżnionych typów nie jest błędem zaliczeniem ich do kilku typów warunek rozłączności w przypadku typologii dotyczy jedynie obiektów wzorcowych albo do żadnego co więcej w praktyce zdarza się że obiekty wzorcowy nie istnieją realnie są jedynie ideałami a żadne z przedmiotów o którym orzekamy że jest obiektem danego typu nie posiada wszystkich cech charakterystycznych obiektów wzorcowego tak ponoć jest człowiekiem zdrowym i każdym z nas człowiek zdrowy fizycznie i psychicznie to podobno ideał który nie istnieje

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

partycja

A

drugim obok typologie pojęcie zbliżonym do pojęcia podziału logicznego jest partycja we wstępie do niniejszego rozdziału wyróżniliśmy dwa rodzaje podziałów fizycznej i logiczne o podziale fizycznym powiedzieliśmy zaledwie kilka słów i przeszliśmy do omowania problematyku i podziału logicznego wróćmy teraz do wspomnianego podziału fizycznego podstawą podziału fizycznego jest zbiór w sensie kolektywnym pewna całość złożona z części charakterystyka zbiorów w sensie kolektywnym przedstawiliśmy w rozdziale poświęconym problematyce nazw skoro pewien obiekt jest agregatem to naturalnie możemy wyodrębnić jego części składowe czynność która polega na wyróżnianiu części składowych pewnego agregatu nazywana jest partycją naturalnie Patrycja jest czynnością czysto intelektualną a nie fizyczną więc nie chodzi nam tu o dewastację jakiegoś obiektu jeśli więc podziałem logicznym jest podział zakresu nazwę samochód na zakresy nazwy samochód osobowy samochód ciężarowy i tak dalej partycją będzie powiedzenie że samochód składa się z kół karoserii kierownicy silnika skrzyni biegów w przypadku partycji poszukujemy więc nas do zakresu w których możemy przyporządkować poszczególne elementy części agregatu jak je dzielimy

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

rachunek zdań

A

we wstępie powiedzieliśmy że serce logiki w ogólnym znaczeniu tego słowa czyli logika formalna znajduje się badaniem związków zachodzącym między prawdziwością a fałszywością zdań z uwagi na ich budowę w ramach tak zwanych rachunku zdań zwanego również logiką zdań teorią zdań a także teorią dedukcji nasza uwaga skupić się będzie na związkach zachodzących między zdaniami w zdaniach złożonych innymi słowy skoncentrujemy się na analizie budowy zdań złożonych czyli zdań w których obok zdań prostych pojawiają się również funktory zdania twórcze o argumentach zdaniowych na tym etapie rozważań zapewne część osób może stawiać sobie zasadne pytanie w jaki sposób budowa zdania złożonego może wpływać bezpośrednio na jego prawdziwość albo fałszywość aby to wytłumaczyć najprościej jest posłużyć się przykładem gdybyśmy powiedzieli że dzisiaj jest poniedziałek lub dzisiaj nie jest poniedziałek byłoby to zdanie prawdziwe gdyż prawdą jest że dzisiaj właśnie jest poniedziałek lub też jest jakiś inny dzień tygodnia czyli z całą pewnością nie poniedziałek tertium nonda tour podobnie prawdziwe byłoby zdanie jestem głodny lub nie jestem głodny a także zdanie wczoraj padał deszcz już wczoraj nie padał de szcz i tak dalej w każdym bowiem wypadku wyczerpujemy wszystkie możliwości i zarazem jedna z nich musiała musi lub musiała zachodzić każdy z podanych przykładów de facto opierał się na tym samym schemacie p lub nie P gdzie p symbolizuje zdanie proste zauważmy że każde zdanie złożone zbudowane na bazie powyższego schematu automatycznie będzie zdaniem prawdziwym możemy zatem pod p podstawić dowolne zdanie w sensie logicznym jakie tylko przyjdzie nam do głowy i nie obawiać się że zbudowane przez nas zdanie złożone okaże się fałszywe odnotujmy ponadto że oceniając czy cała wypowiedź jest prawdziwa czy też fałszywa nie wnikana absolutnie wewnętrzną strukturę zdań prostych tak naprawdę koncentrujemy się jedynie na poszczególnych zdaniach prostych zastanawiając się czy są prawdziwe czy też są fałszywe a także na spójniku który łączy te zdania stąd też w rachunku zdań nie używa się konkretnych zdań lecz tak jak w przedstawionym wyżej schemacie p lub nie p zmiennych zdaniowych które reprezentują poszczególne zdania

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

klasyczny rachunek zdań

A

rachunek zdań w którym zajmiemy się w mniejszej części podręcznika jest tak zwany klasyczny rachunek zdań w ramach tego rachunku poszczególne zdania są prawdziwe albo fałszywe a jedynie stałe logiczne jakie w nim występują to tak zwane frontery prawdziwościowy czyli pewna charakterystyczna grupa funktora w zdaniotwórczych o argumentach zdaniowych w praktyce używając wspomnianego rachunku można sprowadzić poprawność pewnych wnioskowań a zwłaszcza stwierdzenia czy pomiędzy określonymi zdaniami zachodzi związek wynikania logicznego ponadto niektóre z przedstawionych niżej informacji bezpośrednio mogą być zastosowane w procesie wykładni prawa a zwłaszcza z wykładni językowej na przykład rozumienie tak zwany spójników prawdziwościowych i systemowej na przykład problem sprzeczności zdań

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

słownik klasycznego rachunku zdań

A

na słownik języka klasycznego rachunku zdań składa się jeden symbole zamiennych zdaniowych p q r s t u i tak dalej
symbole stałych logicznych negacja koniunkcja alternatywa zwykła alternatywa rozłączna dysumcja implikacja równoważność binegacja
znaki pomocnicze nawiasy

20
Q

schemat zdaniowy

A

przy użyciu powyższych symboli zapisuje się tak zwane schematy zdaniowe formuły zdaniowe czyli funkcję wyrażenia które po zastąpieniu występujących w nich symboli zmiennych zdaniowych konkretnymi zdaniami stają się zdaniami schematami zdaniowymi są więc następujące formuły p
p lub q jeżeli p to q i r

21
Q

konkretyzacja schematu zdaniowego

A

pierwsza z formułu p reprezentuje dowolne zdanie proste w miejsce p możemy więc podstawić zdanie dzisiaj jest wtorek Adam Kowalski zamieszkały przy ul Olgierda w Gdańsku jest notariuszem 12 października 2006 roku Słońce wzeszło o godzinie 8:45 minuta składa się z 60 sekund itd. w przypadku drugiej formuły mamy do czynienia ze zdaniem złożonym lub jest bowiem w tym wypadku funkcjonowanie twórczym o dwóch argumentach zdaniowych podstawiając więc miejsce zmiennych zdaniowych P i q zdania proste otrzymamy w rezultacie zdanie złożone na przykład sąsiedzi z parteru mają kota lub rodziło im się dziecko my wy dzisiejszego ranka bardzo głośno tupią lub wczoraj wieczorem bawiłam się lepiej niż zapamiętałem w ostatniej z wymienionych formuł pojawiły się trzy zmienne zdaniowe p q oraz r podstawiając w ich miejsca zdania proste naturalnie również uzyskamy zdanie złożone na przykład jeżeli Adam jest adwokatem to ukończył studia prawnicze i odbył aplikacje jeżeli Wiktor leży pod stołem to dostał wypłatę i spotkał Zenka opisane przekształcenie funkcji zdaniowych zdania przez przedstawienie w miejsce zmiennych zdaniowych konkretnych zdań nazywany jest konkretyzacją. pojawiające się w powyższej formułach zdaniowych spójniki takie jak i lub jeśli to w istocie są wspomnianymi już stałymi logicznymi i będziemy je zastępowali stosownymi symbolami które wymieniliśmy w punkcie drugim miejscu spójnika i wprowadzimy symbol koniunkcji w miejsce lub alternatywy zwykłej w miejsce jeżeli to implikacji zgodnie z powyższym formuła druga uzyskuje postać p✓q zaś trzecia p->q∆r

22
Q

nawiasy w formule zdaniowej

A

formuła zdaniowych pojawiają się w końcu nawiasy które spełniają w nich tę samą funkcję która w wypowiedziach skonstruowanych w języku naturalnym pełnią znaki przestankowe. nawiasy zatem takie stosowane intonacja lub interpunkcja umożliwiają nam właściwe odczytanie konkretnej formuły znana jest na przykład historia rozkazu Stalina dotycząca losu pewnego jeńca wspomniany jeniec oskarżony był o szpiegostwo pochodząc jednak z bardzo wpływowej rodziny przedstawiał swoją osobę znaczącą wartość i nie było jasność służb z nim począć czy natychmiast postawić przez plutonem egzekucyjnym czy też uwięzić w związku ze wspomnianymi rozterkami zdecydowano zwrócić się do z pytaniem do samego Stalina Stalin podyktował rozkaz który natychmiast pocztą konną został przesłany do miejsca w którym jeniec był przetrzymywany niestety podczas transportu kartka na której rozkaz był zapisany zamokła atramentu nieco się rozmazał zgodnie z końców okazało się że znaki przestankowe są nieczytelne i nie jest jasne gdzie konkretnie znajduje się, który miał podstawowe znaczenie dla właściwego czytania treści rozkazu rozkaz zatem mógł mieć postać rozstrzelać, nie wolno wypuścić! mógł jednak równie dobrze mieć następującą postać rozstrzelać nie wolno, wypuścić! różnica niby niewielka jednak dla wspomnianego jeńca, decydował o być albo nie być aby uniknąć podobnych wieloznaczności w formułach zdaniowych będziemy wprowadzać nawiasy

23
Q

wartość logiczna

A

zdaniem w sensie logicznym jest wyrażenie w którym stwierdza się że tak tak a tak jest albo tak a tak nie jest następnie uściśliśmy że zdanie w sensie logicznym jest wyrażenie które jest prawdziwe albo fałszywe prawda i fałsz to tak zwana wartości logiczne które mogą przybierać zdania w sensie logicznym cóż to jednak znaczy że zdanie jest prawdziwe o zdaniu doba składa się z 24 godzin bez problemu orzekniemy że jest prawdziwe jeśli tylko znamy znaczenie użytych w przytoczonym zdaniu słów nie będziemy z tym mieli najmniejszych trudności podobnie rzecz ma się ze zdaniem Zygfryd jest wyższy od Adama wtedy i tylko wtedy gdy Adam jest niższy od zepryna kwadrat ma cztery boki trójkąt ma trzy kąty żadne koło niej jest kwadratowe każdy ojciec jest mężczyzną 2 + 2 = 4 jeżeli każdy notariusz jest prawnikiem to niektórzy prawnicy są notariuszami i tak dalej aby orzec czy przytoczone zdanie są prawdziwe naturalnie nie ma potrzeby odwoływania się do jakiegokolwiek doświadczenia jedyne co należy uczynić to rozwiązać znaczenie użytych słów wszystkie przytoczone zdania są bowiem tak zwane zdania analityczne czyli zdanie których prawdziwość jest prostą konsekwencją znaczenia użytych w nich słów

24
Q

zdania kontradyktoryczne

A

podobnie nie mamy większych trudności ze stwierdzeniem że zdanie niektóre trójkąty mają 12 kątów żaden radca prawny nie jest prawnikiem każda kobieta jest piękna jednak niektóre kobiety nie są piękne są fałszywe w powyższych wypadkach również nie ma potrzeby odwoływania się do naszych doświadczeń by stwierdzić ich fałszywość ponownie wystarczy skoncentrować się na znaczeniu użytych słów zdania których fałszywość stwierdzamy na podstawie przyjętych konwencji znaczeniowych zwykła nazywać się zdaniami kontradyktorycznymi oczywiście zaprzeczenie zdania kontradyktorycznego prowadzi do powstania zdania analitycznego i vice versa

25
Q

zdanie a priori

A

tak zdania analityczne jakie zdania kontradyktoryczne są tak zwane zdaniami a priori z góry z wcześniejszego zwanymi też zdaniami a priorycznymi zdania a priori są to zdania niezależne od doświadczenia czyli takie które przyjmujemy bez odwoływania się do jakichkolwiek danych empirycznych są więc przyjmowany na początku wyprzedzają wszelkie doświadczenie uzasadniając zdania apiryczne odwołujemy się wyłącznie do pewnych rozumowań obok zdań w których prawdziwość albo fałszywość określamy na podstawie przyjętych konwencji znaczeniowych istnieje również olbrzymia grupa zdań w których prawdziwość uzależniona jest od doświadczenia

26
Q

zdania syntetyczne

A

gdybym powiedział w tej chwili siedzę na krześle to wartość logiczną tego zdania mogę rozstrzygnąć tylko odwołując się do doświadczenia podobnie rzecz ma się ze zdaniem wczoraj w Krakowie padał deszcz Ola zdała egzamin z logiki dla prawników Jan spędził wczoraj bardzo miły wieczór w towarzystwie Kasi i tak dalej przytoczone powyżej zdania są tak zwane tak zwanymi zdaniami syntetycznymi naturalnie w przypadku zdań cytrycznych konieczne jest również rozumienie występujących w nich słów jednak rozważanie jedynie znaczenia wspomnianych słów nie wystarcza do określenia ich wartości logicznej zdań syntetyczne są więc tak zwanymi zdaniami a posteriori zwanymi również zdaniami aposteriorycznymi czyli zdaniami których prawdziwość uzależniona jest od danych pochodzących z doświadczenia na przykład obserwacje pomiaru eksperymentu itd

27
Q

klasyczna definicja prawdy

A

skoro wartość logiczna zdań syntetycznych uzależniona jest od doświadczenia zapytać na czym de facto polega ich prawdziwość możemy więc w tym miejscu powtórzyć słynne pytanie poncjusza Piłata co to jest prawda tradycyjna odpowiedź na to pytanie zwana klasyczną definicją prawdy brzmi veritas est adaequatio rei est et intellectus czyliprawda polega na zgodności rzeczy i intelektu – świata zewnętrznego z jego obrazem który powstaje w naszym umyśle. Jeśli więc w tej chwili wyglądam przez okno i widzę małą wysepkę na środku niewielkiego jeziora taki obraz jest w moim umyśle i faktycznie w centrum tego obszaru rzeczywistości które ogarniam wzrokiem znajduje się mała wyspa na środku niewielkiego jeziora to zdanie w którym stwierdziłbym że na środku tego jeziorka jest wyspa wskazując dłonie na to i jeziorko byłoby prawdziwe Jeśli więc obraz rzeczywistości który powstaje w naszym umyśle jest zgodny z obiektywną rzeczywistością wówczas mamy do czynienia z prawdziwym obrazem rzeczywistości

28
Q

krytyka klasycznej definicji prawdy

A

pod adresem klasycznej definicji prawdy wysuwano wiele zestrzeżeń podstawowy zawód można wprowadzić do pytania na czym polega istocie zgodnej rzeczywistości z myślą oczywiste jest bowiem że czym innym w swej ze swej natury jest myśl a czym innym rzeczywistość która nas otacza w istocie myśli jest czymś diametralnie różnym od czegoś co ma właściwości przestrzenne w jaki sposób myśl której przedmiotem jest słoń miałaby być podobna do tego stworzenia zapewne Chodzi to o swego rodzaju podobieństwo No ale myśl o słoniu nie jest podobna do słonia Gdyby nawet jakimś cudem udało nam się rozwiązać wspomniany problem z godności myśli z rzeczywistością można postawić kolejne pytanie skąd możemy wiedzieć że nasza myśl de facto jest zgodna z rzeczywistością wszystko co z czym obcujemy bezpośrednio to nasze wrażenie coś co rozgrywa się w nas samych jeśli w naszym umyśle pojawia się pewna myśl skąd możemy mieć pewność że odpowiada ona rzeczywistości używając języka współczesnej kultury można zapytać skąd możemy wiedzieć że nie żyjemy w matrixie naturalnie pomysł wirtualnego świata w którym jakoby żyjemy nie jest niczym nowym zainteresowanych czytelników pozwolę sobie odesłać dotyczącego już około 2400 lat dzieła Platona państwo a zwłaszcza do księgi siódmej tej pozycji nie zagłębiając się jednak w Filozoficzny problem istnienia transcendentalnej rzeczywistości wskażmy że w życiu codziennym wcale nie takie rzadkie Są sytuacje Gdy nasze myśli dotyczące rzeczywistości absolutnie nie są z nią zgodne Spójrzmy na figurę geometryczną która jest widoczna poniżej Otóż w zależności jak spojrzymy na przedstawioną ilustracje na których elementach skoncentruje się nasz wzrok i umysł dostrzec możemy młodą kobietę albo staruszkę Jeśli widzimy młodą kobietę dostrzegamy zaledwie zarys jej profilu rzęsy jednego oka i fragment mostka nie patrzy na nas lecz w przeciwną stronę Jeśli natomiast dostrzegamy staruszkę to to co było uchem młodej kobiety stało się okiem staruszki podbródek młodej damy jest czubkiem nosa staruszki i tak dalej być może ktoś chciałby zapytać A co jest naprawdę na tej ilustracji nie wiem czy moja odpowiedź przypadnie takie osobie do gustu ja widzę po prostu czarne plamy na białym tle

29
Q

koherencyjna teoria prawdy

A

powyższe zarzuty i trudności z ich odparciem sprawiły że część osób jest gotowa przyznać plamę pierwszeństwa tak zwanej koherencyjnej teorii prawdy zgodnie z tą teorią prawda to zgodność pewnego sądu z innymi sądami jeśli bowiem coś stwierdzamy na przykład Olek jest prokuratorem A to twierdzenie to nie jest zgodne z twierdzeniem uprzednio przez nas uznanym za prawdziwe na przykład wiemy że wspomniane Olek l nie ukończył studiów prawniczych A co więcej swoją edukację zakończył na poziomie pierwszej klasy gimnazjum to musimy uznać że jednak się mylimy i odrzucić to twierdzenie wspomniana zgodność w tym przypadku polega więc na braku sprzeczności pomiędzy nowym sądem a sądami uznanymi wcześniej zgodnie z tą teorią osoba prowadząca śledztwo może uznać za prawdziwą tę z konkurencyjnych hipotez dotyczącej na przykład osoby sprawcy która jest zgodna z posiadanymi już informacjami Jeśli więc jest trzech podejrzanych jeden jest 70-letnim mężczyzną poruszających się o kulach drugi 30-letnim studentem trzeci zaś 12-letnim harcerzem A Ponadto wiemy że sprawca za znaczącą siłą wyrwał poszkodowanej torebkę po czym wsiadł do samochodu i szybko odjechał to możemy przyjąć roboczą hipotezę życzymy przestępczego dopuścił się student

30
Q

krytyka koherencyjnej teorii prawdy

A

głównym zarzutem kierowanym pod adresem koherencyjnej teorii prawdy Jest zarząd dobrze skonstruowanej bajki możemy bowiem stworzyć sobie cały system sądów wzajemnie powiązanych i warunkujących są siebie lecz kompletnie nieprzystających do rzeczywistości przypomnijmy sobie na przykład różne mitologie i oparte na nich systemy wyobrażeń otaczającym świecie zjawisko burzy mogło być tłumaczone na przykład za pomocą zdania Zeus bromowładny się denerwuje i co więcej zdanie to doskonale się wpisywało w ówczesne poglądy na temat otaczającej rzeczywistości w czasach najbliższych tego typu błędne stwierdzenia doskonale wpisujące się w systemie wiedzy o świecie ilustrować może 17-wieczne teoria flogistanu zgodnie z którą ze spalaniem ciał odpowiada ci miała specjalne substancja w nich występująca wspomnianych logistą niestety historia zna również przypadki w których twierdzenia dotyczące osób sprawców zgadzały się z innymi uznanymi twierdzeniami a mimo to były błędne ilustracją takiej pomyłki sądowej może być wyrok na jaki został skazany Alfred dreyfus

31
Q

prawda jako powszechna zgoda

A

wspomniany wyżej problemy sprawiły że część osób jest skłonna w poszukiwać kryterium prawdy w tak zwanej powszechnej zgodzie jeśli bowiem nie jesteśmy czegoś pewni wówczas bierzemy pod uwagę to co myślą inni Jeśli na przykład widzę na przystanku na którym stoję zbliża się tramwaj lecz nie mogę odczytać jego numeru mogę zapytać innych oczekujących o numer interesującego mnie tramwaju jeśli Osoby te zgodnie lub zdecydowanej większości stwierdzają że jest to trzynastka Mogę przyjąć że tak właśnie jest naturalnie Zgoda powszechna może być złym doradcą przypomnijmy sobie na przykład procesy czarownic których niemalże jednogłośnie wysyłane kogoś na szafot a następnie okazywało się że skazana osoba była niewinna

32
Q

prawda jako oczywistość

A

kolejną częstą przytoczonym kryterium prawdziwości jest oczywistość pewnego twierdzenia zdaniem zwolenników takiego ujęcia prawda oczywistości twierdzenia może polegać na tym iż stwierdzenie niejako narzuca nam się samo i powstaje w nas silne przekonanie że powinniśmy je uznać twierdzeniem które może więc się w tej chwili narzucać tobie czytelniku jest zdanie Czytam w tej chwili treści dotyczące problemu prawdy a być może też zdanie Muszę zrobić przerwę zauważmy jednak że to co nam się Jawi z całą oczywistością nie musi być automatycznie prawdziwy w praktyce dysponując jedynie szczątkowymi informacjami możemy uznawać sądy fałszywe z prawdą bowiem jest tak że gdy ją odkryjemy staje się oczywista ale nie vice versa To co oczywiste niekoniecznie musi być prawdziwe

33
Q

pragmatyczna teoria prawdy

A

odmienną od powyższych definicją prawdy dostarcza system Filozoficzny zwany pragmatyzmem według pragmatystów ostatecznym kryterium prawdziwości sądów jest ich użyteczność zgodnie z powyższym za prawdziwe należy uznać to twierdzenia które można w praktyce wykorzystać i dzięki którym można skutecznie postępować użyteczność twierdzenia jako kryterium jego prawdziwości zdaniem pragmatystów doskonale się sprawdza na gruncie wszystkich nauku uznajemy prawdziwość sądów naukowych które umożliwiają nam efektywniejsze działanie zauważmy że użyty użyteczność jako kryterium prawnym może być bardzo niebezpieczna w procesie stosowania prawa Jeśli na przykład uznamy że prawdziwa jest ta z konkurencyjnych hipotez która umożliwi nam najszybsze wydanie wyroku wówczas możemy popełnić okropną zbrodnię i w majestacie prawa wskazać niewinnego człowieka przedstawione powyżej definicje i kryteria prawdy w istocie nie stanowią wykluczających się teorii że wzajemnie się uzupełniają Jeżeli do określone zdania dokładnie opisuje rzeczywistość nie jest sprzeczne ze zdaniami które Uznaliśmy za już za prawdziwe uznawany jest przez pewną grupę mamy silne przekonanie że powinniśmy je uznać a także możemy Dzięki niemu skutecznie postępować wówczas mamy niezwykle silne podstawy by uznać się za prawdziwe

34
Q

zdanie prawdziwe

A

Abstrahując od zasygnalizowany wyżej problemy związanych z kryteriami i definicjami prawdy w dalszej części podręcznika będziemy przyjmować że zdanie w sensie logicznym jest prawdziwe jeśli poprawnie opisuje rzeczywistość jeśli powiemy więc żadne podręcznik nie jest zbyt gruby i zdanie to trafnie opisuje rzeczywistość to wówczas będziemy mogli powiedzieć że jest prawdziwe w istocie będziemy się więc posługiwać pojęciem prawnym zbliżonym do tego które charakteryzowała klasyczna definicja prawdy w ramach klasycznego rachunku zdań zdania prawdziwe będzie miał oznaczać symbolem 1

35
Q

zdanie fałszywe

A

zdanie nazwiemy fałszywymi jeśli opisywać ono będzie rzeczywistość niezgodnie z tym jaka ona jest jeśli więc stwierdzilibyśmy że w sierpniu w Polsce średnia temperatura wynosi 2 stopnie wypowiedzielibyśmy zdanie fałszywe średnie temperatury dni sierpniowych jest obowiązek zdecydowanie wyższa podobnie gdybyśmy powiedzieli że ochrona dobre dziecko nie jest zasadą polskiego prawa rodzinnego również byłoby to zdanie fałszywe gdyż go dobre dziecka jest jedną z przewodnik zasad polskiego prawa rodzinnego w dalszej części podręcznika zdania fałszywe oznaczać będziemy symbolem 0

36
Q

fałszywość zdania a kłamstwo

A

Artykuł 233 ustęp 1 KK stanowi kto składają zeznanie mające służyć za dowód w postępowaniu sądowym lub innym postępowaniu prowadzonym na podstawie ustawy zeznaje nieprawdę lub zataja prawdę podlega karze pozbawienia wolności od 6 miesięcy do 8 lat w języku prawniczym mówi się że przytoczony przepis dotyczy tak zwanych fałszywych zeznań Zastanówmy się więc Czy jeśli ktoś w trakcie składania zeznań Wybierz zdanie fałszywe czyli takie które nie jest zgodnie z rzeczywistością może być tylko na tej podstawie podciągnięty do odpowiedzialności co Czy jeśli pokrzywdzony opisując sprawcę powie że był to dwumetrowy dryblask a następnie okaże się że sprawca czynu zabronionego był gimnazjalista o wzrośnie 1,7 m Z resztą wątłej budowy ciała można pociągnąć do odpowiedzialności pokrzywdzonego za składanie fałszywych zeznań raczej Większość z nas kierują się intuicją a powie że nie faktycznie przytoczony przepis w istocie dotyczy tak zwanego kłamstwa karalnego na czym innym zaś polega formułowanie zdań fałszywych A na czym innym kłamstwo przypomnijmy jeszcze raz zdanie fałszywym mamy do czynienia w sytuacji gdy określone zdanie nie opisuje rzeczywistości taką jak ona naprawdę jest z jednej strony mamy więc zdania a z drugiej obiektywną rzeczywistość w przypadku kłamstwa decydujące znaczenie ma zgodność zdania z obiektywną rzeczywistością taka jaką ona naprawdę lecz z wyobrażeniem o tej rzeczywistości jeśli na przykład wychodząc z domu Zamknąłem w nim psa a następnie spotkałem sąsiada który nie znosi jakichkolwiek zwierząt a zwłaszcza psów w których szczekanie podnosi mu ciśnienie i sąsiad ten spytał mnie gdzie jest twój pies a ja nie chcąc się wdawać w dyskusji od farby wyjechał do babci wówczas był skłamał byłbym bowiem przekonany że Pies został w domu nawet jeśli po moim wyjściu pies swoim zwyczajem dał nogę i pobiegł do lasu tylko jeśli ktoś składając zeznania wypowiada twierdzenia które nie są zgodne z rzeczywistością i nie są zgodne z jego wyobrażeniami na temat tej rzeczywistości może być pociągnięty do odpowiedzialności umiejętność rozróżniania zdań fałszywych i kłamstwa ma o tyle istotne znaczenie że zdaniami niezgodnymi z rzeczywistością Spotykamy się bardzo często co więcej wszyscy je formułujemy nawet bez intencji wprowadzenia kogoś błąd swego czasu został przeprowadzony interesujący eksperyment na grupie 12 sędziów wyświetlono im krótki film przedstawiający wypadek samochodowy następnie każdego z sędziów podano przesłuchaniu sędziowie odpowiadali na różne pytania dotyczące wspomnianego wypadku okazało się że padające odpowiedzi wyczerpały i niemalże całe Spektrum możliwości sędziowie rozróżnili się podając marki samochodów biorących udział w wypadku opisujących ich kolory nie byli zgodni co do zachowania poszczególnych uczestników wypadku itd pomimo wszystkich powyższych rozbieżności trudno było zarzucić któremukolwiek z uczestników eksperymentu kłamstwo zauważmy że skoro kłamstwo dotyczy niezgodności jaka zachodzi między zdaniami a wyobrażeniami o rzeczywistości możliwa jest sytuacja w której ktoś wypowiadając subiektywnie prawdziwe zdanie jednocześnie kłamie sytuację taką przedstawia poniższa ilustracja to jest kura panie generale zdanie wypowiedziane przez żołnierza jest prawdziwe gdyż faktycznie obok niego i skóra dodatkowo żołnierz nie kłamie gdyż faktycznie uważa on że widzi kurę a widzi koguta

37
Q

zdanie złożone

A

charakteryzując rachunek zdań powiedzieliśmy między innymi że jest dział logiki formalnej której zajmuje się związkami między zdaniowymi zachodzącymi w zdaniach złożonych konieczne jest zatem ściślenie czym w istocie jest zdanie złożone autor z punktu widzenia logiki zadanie złożonym jest takie wyrażenie które zawiera funkcje w zdaniu twórcze argumentach zdaniowych przy czym liczba tych argumentów nie jest istotna Zdaniem złożonym będzie więc Jan jest trudnym tym pierwszego roku Wydziału Prawa i Administracji UG A Gosia studiuje biologię w Warszawie przytoczony przykład nie budzi naszych najmniejszych zastrzeżeń bez problemu jesteśmy w stanie wyróżnić dwa zdania proste Jan jest studentem pierwszego roku wiedziała Prawa i Administracji UG oraz Gosia studiuje biologię w Warszawie a także wskazać spójnik i który łączy te zdania proste wyrazów dodać czego powstanie zdanie złożone podobnie ze zdaniem złożone uznajemy w następującą wypowiedź Polska wygrała mecz z Anglią lub Miałem piękny sen w tym wypadku spójnikiem który łączy dwa zdania proste jest spójnik lub pewne wątpliwości pojawiają się jednak przy następujących wypowiedziach naprawdę dwa dodać dwa równa się 4 być może w Suwałkach teraz pada deszcz nie jest możliwe by ją w tej chwili przebywał na wczasach w Turcji czy są to zdania proste Czy to są zdania złożone powiedzmy raz jeszcze zdaniem złożonym z punktu widzenia logiki jest takie zdanie w którym pojawia się w funkcja zdania twórcze argumentach zdaniowych jednocześnie zostało wyżej podkreślone że liczba tych argumentów nie jest istotna mogą być 2 3 4 leży w danym więzieniu wyrażeniu może występować także tylko jeden taki argument W przytoczonych przykładach mam właśnie do czynienia z sytuacją gdy argumentem w którym zdaniu twórczego jest tylko jedno zdanie naprawdę 2 + 2 = 4 w przytoczonym wyrażeniu 2 + 2 = 4 bez wątpienia jest zdaniem prostym zaś wyraz naprawdę pełni funkcję funktora zdania twórczego o jednym argumencie zdaniowym podobnie funkcjami zdania twórczymi o jednym argumencie zdaniowym są wyrażenia być może nie jest możliwe by ponad wszelką wątpliwość i tak dalej

38
Q

zdanie proste

A

zdaniem prostym nazwiemy wyrażenie które zawiera dokładnie jeden punkt który zdanie twórczej tylko o argumentach nazwanych jednym lub wielu Innymi słowy zdaniem prostymi zdaniem którego żadna część nie jest zdaniem przykładem zdania prostego jest na przykład wyrażenie i ja śpi mały pies głośno szczeka Jan zdał egzamin

39
Q

wypowiedź niezupełna

A

Na zakończenie tego podrozdziału należy jeszcze wspomnieć o problematyce tak zwanych wypowiedzi niezupełnych powiedzieliśmy już wielokrotnie że zdaniem w sensie logicznym jest wyrażenie w którym stwierdza się jednoznacznie że tak a tak jest albo tak a tak nie jest i można mu przypisać określoną wartość logiczną zauważmy więc że wyrażenie Basia jest najpiękniejszą studentką z tego punktu widzenia trudno uznać za zdanie przede wszystkim nie wiemy o którą właśnie chodzi Nie wiemy czy Autor tej wypowiedzi stwierdza że Basia jest najpiękniejszą ze wszystkich studentów żyjących gdziekolwiek na świecie polski studentek studentów pewnej uczelni czy tylko określonego wydziału Następnie należy ustalić czy wyrażenie w tym stwierdza się że Basia jest najpiękniejszą Setką dla autora tego wyrażenia dla pewnej grupy osób czy też może dla wszystkich ludzi gdybyśmy zdołali rozciągnąć wspomniane wątpliwości Bez trudu moglibyśmy ożyć czy wyrażenie powyższe jest prawdziwe czy też fałszywe stałoby się bowiem zdaniem w sensie logicznym wypowiedzią zdaniową niezupełnym Nazwijmy więc wyrażenie które w istocie nie będąc zdaniem w sensie logicznym może spełniać jego funkcję Jeśli odbiorca jest w stanie jednoznacznie rozstrzygnąć uzupełniając je samodzielnie o brakujące informacje co się za jego pomocą stwierdza w praktyce wspomnianych Uzupełnień dokonujemy na podstawie kontekstu w którym określono wypowiedź pada na przykład się grałbym z przyjacielem w kręgle i wiedział że czeka on na bardzo ważny telefon z biura studiów i eksperym tysiąc kancelarii sejmu to w sytuacji gdybym usłyszał sygnał wydawany przez jego telefon a on powiedziałby w końcu dzwoni domyślił się domyśliłbym się że właśnie usiłuje się z nim kontaktować jeden z pracowników wspomnianej instytucji i mógłbym stwierdzić czy jego wypowiedź jest prawdziwa czy też fałszywa funkcje zdania W sensie logicznym może spełniać nawet jedno słowo tak w sytuacji gdy na przykład chwilę wcześniej Padło pytanie Czy zostaniesz moją żoną interesująca w sytuacji gdy na przykład przegląda książkę w księgarni zdałam gdy pada z ust studenta wychodzącego z pomieszczenia w którym odbywa się egzamin itd zauważmy że część podanych wcześniej przykładów zdań W sensie logicznym to w istocie wypowiedzi niezupełne w dalszej części podręcznika również z uwagi naczytalność przykładów stosunkowo często posługiwać się będziemy wypowiedziami niezupełnymi lecz traktować je będziemy tak jakby były zdaniami w sensie logicznym podobnie też w celu wyrazistości przytoczonych przykładów posługiwać się będziemy wypowiedziami sformułowanymi w czasie przyszłym traktując je jako zdania W sensie logicznym

40
Q

funktor ektensjonalny

A

charakteryzując pierwsze podrozdziale klasyczny rachunek zdań powiedzieliśmy że występującymi w ramach roku powstałymi logicznymi są jedynie w niektórych zdania twórcze o argumentach zdaniowych A śliczne rzeź biorąc pewna grupa tych funktora używanych funkcjami funkcjami prawdziwościowymi bądź funkcjami ekstencjonalnymi wskazaliśmy Ponadto symbole poszczególnych punktów ekscencjonalnych a także nazwaliśmy je obecnie powiemy czym w istocie jest funktor ekstencjonalny i czy Dlaczego jego znaczenie jest tak duże dla klasycznego rachunku zdań Rozważmy wartość logiczną zdania Nie jest prawdą że ziemia jest okrągła naturalnie przytoczone zdanie jest fałszywe już bowiem w szkole podstawowej zostaliśmy nauczeni że ziemia jest okrągła i tak z grubsza jest podobnie powiemy że fałszywe zdania Nie jest prawdą że dwa razy dwa równa się 4 Nie jest prawdą że Marco Polo dotarł do państwa środka nie jest prawdą że za wyłudzenie kredytu grozi kara pozbawienia wolności od trzech miesięcy do 5 lat zauważmy de facto że nie musimy znać treści zdania które pojawiają się po wyrażeniu nie jest prawdą żeby ocenić jaka wartość logiczna całego zdania złożonego Wystarczy że wiemy że zdanie pojawiające się po zwrocie Nie jest prawdą że jest prawdziwe i na tej podstawie już możemy powiedzieć że całe zdanie złożone jest fałszywe Naturalnie jeśli za wyrażeniem Nie jest prawdą że pojawi się zdanie fałszywe na przykład księżyc znajduje się w centrum Układu Słonecznego Poznań jest stolicą Polski w rejonie Wielkich Jezior Mazurskich znajdują się czynne wulkany itp wówczas automatycznie utworzone zdanie złożone będzie prawdziwe Spójrzmy na schemat przytoczonych zdań Nie jest prawdą że P gdzie p reprezentuje dowolne zdanie w sensie logicznym i zauważmy że w istocie dla określenia wartości logicznej tego zdania treść p Nie ma żadnego znaczenia jak wspomnieliśmy jeśli znamy wartość logiczną zdania p jesteśmy w stanie bezbłędnie określić wartość logiczną całego zdania złożonego Nie jest prawdą że p to jest właśnie cecha charakterystyczna funktorów ekscencjonalnych wartość logiczna zdań złożonych zbudowanych za ich pomocą uzależniona jest jedynie od wartości ich argumentów

41
Q

funktor intensjonalny

A

drugą grupę funkcję w zdaniu twórczych o argumentach zdaniowych tworzą tak zwane funktory intencjonalne zwane również funkcjami lub spójnikami nieprawościowymi chcąc określić wartość logiczną zdań zbudowanego przy użyciu tych funktora i ich argumentów nie wystarczy znać wartości logiczne i spełnionych argumentów konieczna jest także znajomość ich treści Rozważmy następujące przykłady zdań w których rolę funktora zdania twórczego jednym argumencie zdania wypełnić będzie zwrot być może być może jeśli na ciało nie działa żadna siła lub działające siły równoważą się to ciało pozostaje w spoczynku lub porusza się ruchem jednostajnym prostoliniowym być może teraz w kapsztadzie pada deszcz być może pewien kwadrat ma boki różnej długości W przypadku pierwszego ze zdań po zwrocie być może przytoczone została pierwsza zasada dynamiki Newtona czyli zdanie prawdziwe całe zdanie złożone zbudowane z funkcją być może i pierwszej zasady dynamiki bez wątpienia jest prawdziwe w drugim przypadku po zwrocie być może pojawia się zdanie które może być prawdziwe ale może być też fałszywe możliwe jest bowiem że w danej chwili w kapsztadzie pada deszcz ale nie jest to konieczne zauważmy że bez względu na to jaka jest wartość logiczna zdania teraz w kształcie pada deszcz zdanie złożone być może teraz w kaszpadzie pada deszcz jest prawdziwe gdyż stwierdza my w nim że możliwość jest w kapsztadzie w tej chwili pada deszcz faktycznie zachodzi nawet jeśli aktualnie deszcz tam nie pada Przejdźmy jednak do ostatniego przykładu w którym po zwrocie być może pojawia się zdanie oczywiście fałszywe całe zdanie złożone okazuje się również być fałszywe podkreślamy więc że wartość logiczne zdania umieszczonego ze zwrotem być może nie ma dostrzeżonego wpływu na wartość logiczną całego zdania złożonego aby ocenić Jaka jest wartość logiczna zdania złożonego zbudowanego przy użyciu funktora intencjonalnego i jego argumentów należy wziąć pod uwagę nie tylko określeń logiczną argumentów lecz na to ich treść

42
Q

w ramach klasycznego rachunku zdań

A

nie będziemy zagłębiać się wewnętrzną strukturę zadań prostych połączonych przez określony Factory zmian twórcze a zatem nasza uwaga skupiać się będzie na funkcjach ekscencjonalnych zauważmy Ponadto że jeśli wartość logiczna zdania złożonego zbudowanego przez użyciu przy użyciu funkcji ekscencjonalnego uzależniona jest wyłącznie od wartości logicznej jednego jego argumentów to określenie wartości logicznej tego zdania przypominać będzie rozwiązywanie działań algebraicznych oto pojawiają się zdania o wartości logicznej 1 albo 0 połączone za pomocą określonych funkcjonarów i w zależności od tego z jakim punktem będziemy mieć do czynienia wartość logiczną całego zdania złożonego wyniesie jeden albo 0 właśnie z uwagi na nowe podobieństwo do operacji matematycznych Posługujemy się nazwą rachunku zdań

43
Q

wynikanie nieformalne wprowadzenie

A

ze zdania a wynika zdanie b, gdy nie jest możliwa sytuacja, aby A było prawdziwe i jednocześnie b fałszywe definicje te można przedstawić również inaczej zadania a wynika zdanie b gdy prawdziwość a stanowi gwarancję prawdziwości B przykład zdania a Zenon był w Paryżu wynika zdanie b Zenon był we Francji nie jest bowiem możliwe aby Zenon był w Paryżu a przy tym nie był we Francji patrząc na to samo niejako od drugiej strony można powiedzieć że jeśli Prawdą jest że Zenon był w Paryżu to również musi być prawdą że był on we Francji z kolei ze zdania a Henryk był we Włoszech nie wynika z danie b Henryk był w Rzymie jeśli bowiem możliwe że Henryk był we Włoszech a nie odwiedził Rzymu prawdziwość zdania a nie stanowi w tym przypadku gwarancji prawdziwości zdania B następujących przypadkach ze zdania a wynika zdanie B W każdym z nich nie jest możliwe aby zdanie a było prawdziwe a jednocześnie b fałszywe Mówiąc inaczej prawdziwość zdania a stanowi każdorazowo gwarancję prawdziwości zdania B jeśli prawdziwe jest A to prawdziwe musi być również B a Jan urodził się w Polsce w styczniu b i on urodził się w zimę a Dziś jest poniedziałek b Jutro będzie wtorek a Anna ma syna i córkę b Anna ma dzieci

44
Q

własności wynikania

A

sprawny wynikać może tylko prawda
z fałszu wynikać może zarówno prawda jak i fałsz
jeśli ze zdania a wynika jakieś fałszywe zdanie b to zdanie a jest fałszywe
jeśli z zespołu zdań a1 a2 an wynika jakieś fałszywe zdanie b to w zespole a1 a2 an znajduje się przynajmniej jedno fałszywe zdanie
jeśli zadanie a wynika z danie b a z b wynika zdanie C to a wynika z c

45
Q

negacja

A

pierwszym z funkcjonarów ekstensjonalnych a zarazem jedynym punktem zdaniom twórczym o jednym a drugim momencie zdaniowym którym się z bliżej zajmiemy jest negacja w istocie funktor ten został już przez nas omówiony w języku naturalnym odpowiadam obowiązek zwrot nie jest tak że nieprawda że ewentualnie możemy krótko powiedzieć nie symbolicznie negacje przedstawiać będziemy za pomocą znaku przybliżony ~ .poprawnie zbudowanej formule zdaniowej znak negacji zawsze pojawia się przed wyrażeniem do którego się odnosi Jeśli więc będziemy chcieli odnieść negacje do zdania jestem na Karaibach i zdanie to zastąpimy zmienną zdaniową p schemat zdania nieprawda że jestem na Karaibach przyjmie następującą postać: ~p.

46
Q

Negacja

A

powiedzieliśmy już że używając funktura negacji każdorazowo zmieniamy wartość logiczną zdania Jeśli argumentem negacji jest zdanie prawdziwe na przykład właśnie czytam podręcznik to po zanegowaniu go otrzymamy złożone zdanie fałszywe nie jest prawdą że właśnie czytam podręczniki i vice versa jeśli argumentem negacji jest zdanie fałszywe na przykład Kaczor Donald był pierwszym prezydentem Francji po znajdowaniu go otrzymamy zdanie złożone prawdziwe nieprawda że Kaczor Donald był pierwszym prezydentem Francji nową w zależność przedstawić możemy za pomocą następującej tabelki zwanej matrycą funktora po lewej stronie tabeli pojawia się symbol zdania W sensie logicznym p i symbole wartości logicznych 1 i 0 które to zdanie może przyjąć po prawej stronie tabeli pojawia się schemat zdania zbudowanego przy użyciu negacji której elementem jest zdanie z lewej części tabeli ~p i wartość logiczne które to zdanie przyjmuje w zależności od wartości logicznej argumentu negacji Naturalnie jeśli zanegujemy Przechodzimy negacjom zdanie które jest wcześniej zostało znakowane jego wartość logiczna ponownie zmieni się i będzie identyczna z wartością logiczną zdania wyjściowego na przykład wartość logiczne zdania nieprawda że nie byłem karany jest taka sama jak wartość logiczna byłem karany możemy wręcz powiedzieć że dwie negacje skracają się tak jak minus i minus dają Plus w tym miejscu zasadne można postawić pytanie w jakim celu dołączyć kolejne negacje skoro można skrócić i uzyskać zdalnie bez wątpienia jaśniejsze i posiadający tę samą wartość logiczną Otóż odpowiedź znajduje się w słowie jaśniejsze czasami dodaje się negacje aby wyrazić określoną treść lecz jednocześnie liczy się że odbiorca informacji nie odczyta jej poprawnie poprawne zrozumienie negacji jest bardzo istotne dla prawnika wystarczy w tym miejscu wspomnieć że nie jest 14 pod względem częstotliwości słowem występującym w języku prawnym negacjach wspomnieliśmy jest jednym jedynym argumentowym punktem ekscencjonalnym który w niniejszym kursie będziemy się szerzej posługiwać wiedząc Już jednak że w ramach klasycznego rachunku zdań występują dwie wartości logiczne łatwo można policzyć iż istnieją cztery takie funktury które prezentuje powyższa tabela funktor F3 to oczywiście znany nam już funkcjornegacji funkcja F2 to tak zwany funktor asercji wartość logiczna zdania złożonego zbudowanego przy jego użyciu jest też sama z wartością logiczną jego argumentu w języku potocznym asercja odpowiadają takie zwroty jak jest prawdą że naprawdę zaiste Zaprawdę powiadam wam że itd funktur F1 tworzy zawsze zdanie prawdziwe i F4 tworzy zawsze fałszywe nie mają odpowiedników w języku naturalnym jak również w języku prawnym i prawniczym podobnie języki te które powinny być może o liczbie najjaśniejszy ciślejsze a niekoniecznie pięknie brzmiące mogą doskonale obyć się bez faktura asercji

47
Q

koniunkcja

A

koniunkcji w języku naturalnym odpowiadają takie spójniki jak ia oraz Ponadto role koniunkcji mogą pełnić lecz ale chociaż mimo że zaś itp symbolem koniunkcji którym będziemy się posługiwać jest znak ∆