O pożytkach z nauki logiki
|
|
- Kazimiera Walczak
- 6 lat temu
- Przeglądów:
Transkrypt
1 O pożytkach z nauki logiki ks. Paweł Tambor Wyższe Seminarium Duchowne w Kielcach Kieleckie Forum Myśli Chrześcijańskiej STUDNIA, 2 grudnia 2017 P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
2 Plan prezentacji Ajdukiewicz, Logika praktyczna Zadaniem szkoły jest nie tylko wpojenie w umysły uczniów wiadomości z różnych dziedzin wiedzy, ale również wyrobienie w nich zdolności do poprawnego wykonywania zabiegów poznawczych. 1 Logika w systemie nauk. 2 Podział logiki. 3 Wybrane elementy z dziedziny semiotyki logicznej i logiki. 4 Poprawność logiczna i błędy. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
3 Po co człowiekowi logika? Ajdukiewcz, Zarys logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto sprawnie wnioskuje i uzasadnia swe twierdzenia, o tym mówimy, że myśli i mówi logicznie. wprowadzenie do jasnego, konsekwentnego, ścisłego i uporządkowanego myślenia i mówienia, drugim zagadnienie poprawnego wnioskowania. zagadnienie poprawności wnioskowania nie zajmuje się logika tym lub owym wnioskowaniem konkretnym, ale stawia zagadnienie ogólnie, starając się wskazać formy poprawnego wnioskowania i przeciwstawić im formy wnioskowania błędnego. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
4 Zadania logiki najprostsza definicja Logika to narzędzie poprawnego myślenia i mówienia. wyrobienie umiejętności logicznego myślenia, kto nie umie myśleć logicznie, ten narażony jest na każdym kroku na błąd. poznanie różnych form logicznego myślenia; poznanie istoty błędów logicznych, które często bywają popełniane; (...) znajomość logiki pozwoli nam nie tylko zauważyć błąd logiczny w cudzym myśleniu (do czego praktyczna sprawność logiczna nieraz już wystarcza), lecz także rozpoznać, jakiego rodzaju błąd został popełniony oraz błąd ten nazwać po imieniu ; świadomość tego, że często dobrze jest uzasadniać swoje przekonania. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
5 Teoretyczne i praktyczne zadania logiki przyswojenie sobie aparatury pojęciowej używanej przez wszystkie nauki (chodzi m. in. o podstawowe czynności wiedzo- i nauko-twórcze, np. wyjaśnianie, uzasadnianie, definiowanie, rozumowanie, porządkowanie, ustalanie prawidłowości, budowanie teorii naukowej). Nabycie określonych sprawności intelektualnych (logiczne myślenie trzeba ćwiczyć). P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
6 Z. Hajduk, Ogólna metodologia nauk, RW KUL, Lublin 2001 Zygmunt Hajduk OGÓLNA METODOLOGIA NAUK P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
7 J.J. Jadacki, Metodologia i semiotyka, Wyd. Semper, W-wa 2010 Jacek Juliusz Jadacki Metodologia i semiotyka Idee metody problemy P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
8 WYDAWNICTWO R. Wójcicki, Wykłady z logiki z elementami teorii wiedzy, Wyd. Scholar, W-wa 2003 RYSZARD WOJCICK WYKŁADY Z LOGIK Z ELEMENTAM TEORII WIEDZY NAUKOWE P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
9 L. Borkowski, Wprowadzenia do logiki i teorii mnogości, TN KUL, Lublin 1991 LUDWIK BORKOWSKI WPROWADZENIE DO LOGIKI I TEORII MNOGOŚCI P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
10 K. Ajdukiewicz, Logika pragmatyczna, PWN, W-wa 1965 KAZIMIERZ AJDUKIEWICZ t BTirill MIII III I I III II III I Ul j Mlllimillllll II WMMIHIIiyiMiU LOGIKA PRAGMATYCZNA P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
11 T. Kwiatkowski, Wykłady i szkice z logiki ogólnej, Wyd. UMCS, Lublin 2006 Tadeusz Kwiatkowski Wykłady i szkice z logiki ogólnej P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
12 T. Kwiatkowski, Wykłady i szkice z logiki ogólnej, Wyd. UMCS, Lublin 2006 Tadeusz Kwiatkowski Wykłady i szkice z logiki ogólnej P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
13 Z. Ziembiński, Logika praktyczna, PWN W-wa 2002 Zygmunt Ziembiński P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
14 B. Stanosz, Ćwiczenia z logiki, PWN, W-wa 2007 Barbara Stanosz WYDAWNICTWO NAUKOWE PWN P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
15 A. Malinowski i in., Przewodnik do ćwiczeń z logiki dla prawników, LexisNexis, W-wa 2008 LexisNexis PRZEWODNIK DOĆWICZEŃ z LOGIKI dla PRAWNIKÓW Irzej Malinow Michał Pełka Radosław Brzeski kazusy i ćwiczenia P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
16 K. Paprzycka, Logika nie gryzie, Wyd. Zysk i S-ka, Poznań 2009 KATARZYNA PAPRZYCKA CZĘŚĆ I SAMOUCZEK LOGIKI ZDAŃ GGSESSSKEa&ESaiEaS) P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
17 Semiotyka logiczna - definicja Hajduk, Ogólna metodologia nauk Semiotyka logiczna to po polsku logika języka. Stanowi ogólną teorię znaków ze szczególnym uwzględnieniem wyrażeń. Zajmuje się związkami między znakami językowymi, którymi wyrażamy nasze myśli o pewnych przedmiotach. (...) jest nauką o znakach językowych z punktu widzenia ich poprawności i sprawności w użyciu. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
18 Semiotyka logiczna a logika LOGIKA Logika formalna Semiotyka logiczna Ogólna metodologia nauk P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
19 Semiotyka logiczna - podział SEMIOTYKA Syntaktyka (struktura znaków językowych; Charakterystyczne pojęcia dla tej dziedziny semiotyki to: kategoria wyrażeniowa, zdanie, wynikanie, system, teza, sensowność, poprawność syntaktyczna). Semantyka (relacja między znakami a rzeczywistością pozajęzykową; Przykładami pojęć semantycznych mogą być: prawda (jako szczególny przypadek spełniania), model systemu, oznaczanie, denotowanie.) Pragmatyka (relacja między znakiem a odbiorcą znaku; Charakterystyczne pojęcia to: komunikowanie, rozumienie, znaczenie, wyrażanie, asercja, wyjaśnianie,) P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
20 Pojęcia semiotyczne ZNAK Nadawca Korelat Odbiorca P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
21 Rodzaje znaków językowych sygnały (świadomy nadawca, np. znaki drogowe) i symptomy (łzy, znak smutku) Sygnifikator (więź rzeczowa między znakiem a tym, co oznacza, ślad na piasku); symbol (wieź konwencjonalna, znaki w matematyce); znaki ikoniczne (podobieństwo znaku do korelatu) znaki partykularne (przedmioty w czasie i przestrzeni); znaki uniwersalne (czerwień jako znak męczeństwa) znaki konkretne (przedmioty w czasie i przestrzeni); znaki abstrakcyjne (własności, stany, procesy, itp.) słuchowe, dotykowe, węchowe itp. (ze względu na zmysł, na który działają) świetlne, graficzne, akustyczne, itp. (ze względu na to, z czego są wykonane) P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
22 Teorie dotyczące natury znaku, na mocy czego znak znaczy, jaka jest jego relacja z korelatem? związek przyczynowy (ogień - dym); związek odwołujący się do racji bytowej; relacja podobieństwa; związek oparty na zwyczaju (odmiana konwencji); związek czysto umowny (czysta konwencja). asocjacyjna koncepcja znaku (skojarzenie stanowi podstawę związku między znakiem a rzeczą prezentowaną) behawioralna (relacja między znakiem a przedmiotem jest oparta o związek bodziec-reakcja) związek intencji znaczeniowej (myśl jest kierowana na to, co znak prezentuje (intencjonalność); decyduje tu więc strona intencjonalna). P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
23 Język, definicja i rodzaje Język jest to system znaków tylko formalnych, jednoznacznie zdeterminowany za pomocą reguł ich używania, służący do porozumiewania się (komunikowania intelektualnego) w grupie społecznej. języki gestów, mowy, pisma (ze względu na rodzaj znaków) naturalne, sztuczne, mieszane (ze względu na to, w jaki sposób powstały) obrazkowe (piktogramy, hieroglify), pojęciowe (język matematyki), sylabiczne (stenografia, znaki tirońskie), głoskowe (ze względu na to, co jest podstawową jednostką językową) ekstensjonalne (logika klasyczna), intensjonalne (język potoczny) (ze względu na reguły używania) P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
24 J. obrazkowe, Piktogramy P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
25 J. pojęciowy, język akadyjski P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
26 Funkcje języka deskryptywna(informatywna, komunikatywna, prezentatywna) - polega na dokonaniu opisu stanu rzeczy i przekazaniu informacji o świecie pozajęzykowym instrumentalna ekspresywna - dokonuje się wyrażanie przeżyć, myśli, emocji; impresywna - chodzi o to, by wywołać u odbiorcy stosowne przeżycia; zwana jest też czasem funkcją ewokatywną; agitatywna; sugestywna; dyrektywna; imperatywna. argumentatywna - wyraża się np. zwrotami typu: tak się mówi, tak się pisze ; performatywna (sprawcza) - wypowiedź zmienia stan rzeczy na mocy konwencji P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
27 Znak językowy, wyraz, wyrażenie językowe Definicja Znak językowy w semiotyce to tyle, co wyrażenie mowy lub pisma. Można więc używać ich zamiennie. Wyraz to najmniejszy, elementarny, prosty znak językowy. Jest to takie wyrażenie, którego żadna część właściwa nie jest już innym wyrażeniem. Natomiast znak językowy to taki najmniejszy element systemu językowego, który pełni funkcje semiotyczne w tym języku. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
28 Podział znaków językowych znaki proste i złożone (elementarne i wielowyrazowe znaki języka), samodzielne (kategorematy - znaki autosemantyczne, np. nazwy) i niesamodzielne (synkategorematy - znaki heterosemantyczne, np. spójniki), wyrażenia okazjonalne (wskaźnikowe) - same nie pełnią funkcji semiotycznej, lecz dopiero w kontekście słownym i pozasłownym; ich znaczenie jest zmienne w zależności od kontekstu, np. kto dziś kupi za pieniądze, jutro otrzyma za darmo, idiomy (idiomaty) - takie wyrazy złożone, które mają znaczenie inne niż suma znaczeń wyrażeń składowych np. wziąć nogi zapas, wpuścić kogoś w maliny. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
29 Pragmatyczne funkcje wyrażeń językowych wyrażanie (ujawnianie) - chodzi o prezentację przeżyć; większość logików uważa, że nie jest to funkcja typowo logiczna; sens albo znaczenie - przez sens określamy sposób rozumienia wyrażenia przepisany przez reguły danego języka; wyróżniamy trzy znaczenia danego znaku językowego: podstawowe (np. złoty pierścionek), pochodne (np. złote włosy), przenośne (np. złote serce); stwierdzanie, uznawanie (akceptacja), komunikowanie, rozumienie. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
30 Semantyczne funkcje wyrażeń językowych oznaczanie - jest to naczelna funkcja semantyczna. Polega ona na wskazywaniu przedmiotu nazwy przez znaczenie tej nazwy. Tę funkcję pełnią tylko nazwy. Przedmiot wskazywany przez nazwę to desygnat tej nazwy (odniesiony do konkretu), natomiast gdy nazwa odnosi się do całego zbioru przedmiotów, mówimy wtedy o denotacie. Imiona (nazwy) własne nie pełnią funkcji oznaczania tylko nazywania - wskazują identyfikująco dany obiekt na mocy konwencji; konotacja (współoznaczanie). Tę funkcję też pełnią nazwy czyli konotują tzn. wskazują na treść desygnatu. Konotacja nazwy to treść językowa nazwy, zbiór cech charakterystycznych; spełnianie - zachodzi między wyrażeniem (a więc znakiem językowym) a stanem rzeczy, np. funkcje zdaniowe są spełniane przez jakieś obiekty. Szczególnym przypadkiem spełniania jest prawdziwość. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
31 Supozycja realna (prosta) - jako nazwa pojedynczego elementu danego zbioru, np. widzę ten samochód, formalna - jako nazwa gatunku czyli powszechnika: gepard jest drapieżnikiem, materialna - jako nazwa wyrażenia; nazwa ta oznacza samą siebie, np. gepard ma sześć liter, naturalna - jako nazwa odniesiona do wszystkich elementów danego zbioru, np. kot ma cztery łapy w znaczeniu wszystkie koty mają cztery łapy. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
32 Funkcje syntaktyczne wyrażeń zastępowanie wyrażeń - jedno wyrażenie zastępuje się innym wyrażeniem np. skróty (KUL), reprezentowanie - podstawowa funkcja syntaktyczna; jest ono funkcją symboli zmiennych (np. w logice zmienne zdaniowe p,q,r,s) za które można podstawić inne, dowolne wyrażenie określonej klasy, przekładanie - zachodzi wtedy, gdy jedno wyrażenie redukuję do drugiego. Mogę to zrobić gdy obydwa te wyrażenia mają jednakowe funkcje semiotyczne. Można o nich wówczas powiedzieć, że są poprawnie przełożone. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
33 Odróżnienia: podział logiczny, podział fizyczny, partycja Podstawowym działaniem na zakresach jest podział logiczny. Podział ten należy odróżnić zarówno od podziału fizycznego, w którym odróżniamy części fizyczne, jak i od partycji - czynności myślowego wyróżniania części w pewnej całości, np. części przestrzenne w roślinie, części czasowe w życiu człowieka. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
34 Charakterystyka podziału logicznego - def. Definicja - podział logiczny jest to wymienianie (wyróżnianie) pojęć podrzędnych względem danego pojęcia i to tak dobranych, że każdy desygnat dzielonego pojęcia jest desygnatem jednego i tylko jednego z pojęć podrzędnych (członów podziału). Podział logiczny zakresu pojęcia lub nazwy A jest to zbiór pojęć zakresowo podrzędnych względem nadrzędnego pojęcia A, które są wzajemnie rozłączne a suma ich zakresów jest identyczna z zakresem pojęcia dzielonego (K. Ajdukiewicz); P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
35 Struktura podziału: 1 nadrzędne pojęcie dzielone (totum divisionis całość dzielona), 2 pojęcia podrzędne otrzymane w wyniku podziału (membra divisionis człony podziału), 3 podstawa podziału (fundamentum divisionis) - np. ze względu na płeć ludzie dzielą się na mężczyzn i kobiety; P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
36 Warunki poprawności podziału logicznego: FORMALNE wyczerpujący (adekwatny, zupełny) - mnogościowa suma zakresów dzielonych równa się zakresowi dzielonemu, np. zsumowanie kobiet i mężczyzn daje całość pojęcia ludzie, rozłączny - każdy z desygnatów otrzymanych w wyniku dzielenia jest desygnatem jednego z członów podziału i tylko tego członu, a człony podziału pozostają w stosunku wykluczania się (nie mogą się krzyżować); P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
37 Typowe błędy podziału logicznego - I 1 mieszanie podziału z innymi działaniami podobnymi: partycją, wyróżnianiem, odróżnianiem, typologią; 2 błędy samego podziału i klasyfikacji: ogólno-semantyczne - występują, gdy: 1 zakresy są nieostre (mieszają się, mają część wspólną), 2 brakuje jasnego kryterium podziału formalne: 1 nieadekwatność (gdy podział jest zbyt wąski lub zbyt szeroki), 2 nierozłączność (gdy zakresy krzyżują się); P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
38 Typowe błędy podziału logicznego - II 2 błędy samego podziału i klasyfikacji (cd.): materialne: 1 nienaturalność (gdy podział jest sztuczny): błąd względny, 2 nieprzydatność w danej dziedzinie (podstawa podziału powinna być tak dobrana, aby była przydatna dla danej dziedziny - nie ma podziałów bezwzględnych, dobrych na każdą okazję, ponieważ każdy podział ma czemuś służyć). 3 Czasami toleruje się wprawdzie błędy w podziale (mówi się wtedy o tzw. podziale przybliżonym), ale tylko wtedy, gdy nie mamy lepszego w danym momencie. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
39 Definicja - charakterystyka ogólna Mówi się, że definicja jest jednym z najważniejszych środków zapobiegawczych wadliwościom wyrażeń. Pochodzi od łac. definire - określać, ograniczać. Rzeczowo powiemy, że definicja jest to krótkie, możliwie pełne określenie czegoś. Chodzi nam o jednoznaczną charakterystykę funkcji semiotycznych takiego wyrażenia, które posiada te same funkcje semiotyczne co wyrażenie definiowane. Głównie chodzi tu o takie funkcje semiotyczne jak znaczenie (sens) oraz oznaczanie. Gdy przy definiowaniu zależy nam na definicji wyrażenia, to w grę wchodzi definicja nominalna. Jeśli natomiast w grę wchodzi jednoznaczna charakterystyka przedmiotu czy też rzeczy, to mówimy o definicji realnej. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
40 Podział definicji ze względu na ich budowę - I 1 Równościowe klasyczne wyraźne kontekstowe nieklasyczne wyraźne kontekstowe 2 Nierównościowe Przez postulaty Indukcyjne Inne P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
41 Podział definicji ze względu na ich budowę - II Definicje równościowe mają budowę trójelementową i składają się z definiendum (czyli wyrażenia definiowanego), zwrotu łączącego (np. znaczy tyle co, jest to ) oraz definiensa (czyli zwrotu definiującego). Definicje nierównościowe takiej budowy nie mają. Przykładem definicji równościowej może być następująca definicja: Debet (definiendum) jest to (zwrot łączący) ujemny stan konta bankowego (definiens). Definicje klasyczne (zwane też treściowymi) mają budowę A jest to B mające cechę C. Definiens definicji klasycznej podaje rodzaj (genus) oraz różnicę gatunkową (differentia specifica). P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
42 Definicja nieklasyczna - I Definicja nieklasyczna (zwana też definicją zakresową) polega na wyliczeniu w definiensie elementów wchodzących do zakresu definiendum. Należy zaznaczyć, iż elementami takimi są podzbiory wchodzące w zakres nazwy definiowanej. A oznacza termin definiowany (definiendum), a B, C, D E nazwy, których zakresy składają się łącznie na zakres definiensa, zamiennego wobec zakresu definiendum. Definicja przez postulaty tworzymy ją podając (postulując) zespół wzorcowych zdań (tzw. postulatów), w których umieszcza się definiowany wyraz (wyrażenie). Definicja indukcyjna najpierw wymienia jeden lub kilka desygnatów tej nazwy (tzw. warunek wyjściowy), a następnie podaje się pewną funkcję - relację, która niejako indukcyjnie tworzy nam pozostałe desygnaty. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
43 Podział definicji ze względu na stawiane im zadania Sprawozdawcze Projektujące Konstrukcyjne Regulujące P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
44 Błędy w definiowaniu - I 1 Błędne koło w definiowaniu błąd ten polega na wyjaśnianiu definiowanego wyrazu (wyrażenia) poprzez odwołanie się do niego samego. Błąd ten może przybrać dwie zasadnicze postacie: błędu idem per idem (błędne koło bezpośrednie) polegającego na użyciu w definiensie definicji wyrażenia, które ma zostać wyjaśnione, a więc będącego elementem definiendum. Przykładem definicji obarczonej takim błędem może być definicja: Doktorant to uczestnik studiów doktoranckich ; błędnego koła pośredniego polegającego na zdefiniowaniu jednego wyrażenia innym wyrażeniem, które z kolei jest definiowane za pomocą następnego wyrażenia, na końcu zaś trzecie z wymienionych wyrażeń wyjaśniamy za pomocą pierwszego wyrażenia. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
45 Błędy w definiowaniu - II 2 Błąd ignotum per ignotum błąd ten polega na użyciu w definiensie wyrażenia nieznanego odbiorcy danej definicji. Każda definicja powinna posługiwać się w definiensie wyrażeniami zrozumiałymi dla odbiorcy. Błąd ten jest względny: dla jednego odbiorcy coś jest jasne, dla innego nie. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
46 Błędy w definiowaniu - III 3 Błąd nieadekwatności błąd ten polega na tym, iż zakres pojęcia definiowanego nie pozostaje w stosunku zamienności (adekwatności) do zakresu definiensa. Postaci tego błędu: definicja za szeroka zakres definiendum pozostaje w stosunku podrzędności do zakresu definiensa. Samochód jest to pojazd. definicja za wąska zakres definiendum pozostaje w stosunku nadrzędności do zakresu definiensa. Zboże jest to jęczmień, żyto i pszenica. Oprócz jęczmienia, żyta i pszenicy istnieją jeszcze inne rodzaje zbóż; wystąpienie stosunku krzyżowania między zakresami. Biblioteka WSD w Kielcach jest to miejsce, gdzie uczą się klerycy. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
47 Błędy w definiowaniu - IV 3 Błąd nieadekwatności (cd.) wykluczanie się zakresu definiendum i definiensa. Błąd ten może być przykładowo spowodowany pomyłką definiującego, jak w poniższym przykładzie: Definicję rekurencyjną nazywamy inaczej definicją przez postulaty. Szczególnym rodzajem wykluczania się zakresu definiendum i definiensa jest błąd przesunięcia kategorialnego. Pomieszanie ontologiczne w odniesieniu do natury tego, co definiowane i definiujące. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
48 Logika jako nauka o rozumowaniach Rozumowanie jest (myślowym, rozumowym) sposobem uzyskiwania nowej wiedzy na podstawie wiedzy już posiadanej. Rozumowanie to wiedzotwórczym procesem myślowym, polegającym na przechodzeniu od jednej wiedzy (przekonań) do innej ( nowej ) wiedzy. Rozumowanie jest dyskursywną czynnością myślową, która polega na dostrzeganiu określonych związków między przekonaniami (sądami, twierdzeniami). P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
49 Struktura rozumowań punkt wyjścia i dojścia przesłanki i wniosek racja i następstwo prawdziwość i fałszywość zdań prawidłowość/poprawność lub nieprawidłowość/niepoprawność rozumowania. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
50 Błędy teoriopoznawcze - niewłaściwe poznawanie samodzielne 1 Poznawanie kierowane czynnikami pozapoznawczymi: postawami, uprzedzeniami i przesądami afektami i wstrętem do myślenia abstrakcyjnego pragnieniami i skłonnościami 2 Sądy oparte na nieuważnym lub niedokładnym postrzeganiu. 3 Sądy zdeterminowane pozorną oczywistością, zwłaszcza wówczas, gdy nie są przygotowane dostateczną analizą P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
51 Błędy teoriopoznawcze - bezkrytyczne przyjmowanie informacji -1 1 Wiadomości nabyte bez aktywnej czynności poznawczej i niekontrolowane wpojone przez wychowanie, lekturę, tradycję i środowisko oraz przyzwyczajenia i przesądy uznawane automatycznie jedynie na podstawie zgodności z dotychczasowymi lub dlatego, że dogadzają obecnej sytuacji życiowej czy wreszcie, iż odpowiadają skłonnościom i upodobaniom 2 Informacje przyjęte jedynie w oparciu o irracjonalnie uznane autorytety na skutek sławnego nazwiska podającego, ale nie będącego autorytetem w danej dziedzinie z racji walorów koniunkturalnych lub osobistego uroku podającego P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
52 Błędy teoriopoznawcze - bezkrytyczne przyjmowanie informacji Informacje przyswojone jedynie na podstawie ich właściwości zewnętrznych sugestywnie podane (forma paradoksu, sloganu; krótkiego, prostego i łatwego sformułowania) dzięki ustawicznemu powtarzaniu 2 Informacje uzyskane ze: świadectw nieodpowiednich (świadka pośredniego jeśli możliwy był bezpośredni lub świadka niezdolnego do wartościowego w danej dziedzinie poznania lub świadka niewiarygodnego) źródeł nieautentycznych lub skażonych lub bez ich właściwego zrozumienia P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
53 Błędy logiczne (w ścisłym sensie), czyli błędy rozumowania Zabiegi pozornie wyglądające na uzasadnienie. Rozumowania wadliwe. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
54 Zabiegi pozornie wyglądające na uzasadnienie 1 Perswazje mające doprowadzić wprost do asercji ustawiczne powtarzanie tezy sugestywne przedstawienie tezy: ujęcie w slogan, aforyzm, w sentencję, ubieranie przedstawienia w pozory erudycji, przedstawianie z liczeniem na urok słowa (argumentum per eloquentiam) zagadanie w drodze zaleceń i agitacji (argumentum per agitationem), przedstawianie słodkie, przymilne i obiecujące, przedstawianie tezy jako wygodnej i użytecznej. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
55 Zabiegi pozornie wyglądające na uzasadnienie pośrednie 1 Odwołanie się do uczuć i cech osobistych odbiorcy odwołanie się do zalet odbiorcy (argumentum ad populum, ad misericordiam) wykorzystanie niewiedzy odbiorcy (ad ignorantiam) zmuszanie groźbą i siłą (ad baculum) 2 Doprowadzanie do asercji tezy przez ośmieszanie i zohydzanie zdania przeciwstawnego i osób z nim związanych 3 W drodze dezorientowania odbiorcy przez chowanie lub zmianę tezy skupianie uwagi na łatwiejszej i bezspornej tezie, aby przemycić tezę, o którą chodzi zamęczanie innymi sprawami na tyle, aby odbiorca nie miał siły zauważyć i kontrolować podsuniętej tezy P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
56 Rozumowania wadliwe 1 Rozumowanie nie na temat ze względu na: przeoczenie (nieznajomość) zagadnienia, o które chodzi; modyfikacje podlegającej uzasadnieniu tezy (jakościowe, ilościowe); dobór niewłaściwego typu rozumowania dla uzasadnienia tezy. 2 Nieracjonalna asercja przesłanki ze względu na jej: nieodpowiednie źródła (pozapoznawcze, nieadekwatne do problemu); niewłaściwe zakwalifikowanie (co do prawdziwości, prawdopodobieństwa, niezgodne ze stanem nauki); fałszywość przesłanki (błąd materialny). P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
57 Przykłady wnioskowań P 1 Wszyscy ludzie są śmiertelnikami P 2 Sokrates jest człowiekiem W Sokrates jest śmiertelnikiem P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
58 Przykłady wnioskowań P 1 Wszystkie zaobserwowane dotąd łabędzie były białe W Wszystkie łabędzie są białe P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
59 Przykłady wnioskowań logicznie nieprawidłowych Błąd ekwiwokacji P1 Ludzie składają się w ponad 90% z wody. P2 Wartość wody szacuje się na ok. 1zł za litr. Wniosek Wartość człowieka można oszacować na ok. 300zł. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
60 Przykłady wnioskowań logicznie nieprawidłowych Błąd ekwiwokacji P1 Kto ukończył osiemnaście lat, może kupić samochód. P2 Kto może kupić samochód, ma dużo pieniędzy. Wniosek Kto ukończył osiemnaście lat, ma dużo pieniędzy. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
61 Przykłady wnioskowań logicznie nieprawidłowych Błąd błędnego koła P1 Według Biblii Bóg istnieje. P2 To, co mówi Biblia jest prawdziwe, gdyż Biblia jest słowem Boga. Wniosek Bóg istnieje. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
62 Przykłady wnioskowań logicznie nieprawidłowych Błąd on sequitur (błąd formalny) P1 Niektórzy ludzie są złymi nauczycielami. Wniosek Niektórzy nauczyciele są złymi ludźmi. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
63 Wnioskowanie prawidłowe, ale niektóre przesłanki nieprawdziwe, więc prawdziwość wniosku niepewna Wniosek prawdziwy P1 Wszyscy mężczyźni są wysocy. P2 Marcin Gortat jest mężczyzną. Wniosek Marcin Gortat jest wysoki. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
64 Wnioskowanie prawidłowe, ale niektóre przesłanki nieprawdziwe, więc prawdziwość wniosku niepewna Wniosek fałszywy P1 Wszyscy mężczyźni są wysocy. P2 Charlie Chaplin jest mężczyzną. Wniosek Charlie Chaplin jest wysoki. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
65 Zdanie w sensie logicznym - co nim jest, co nie jest. Wieloznaczności. Czy jesteśmy dziś bardzo zmęczeni? Dziekani nie dali studentom pozwolenia na demonstrację, ponieważ byli wcześniej karani. W księgarni Alicji zrobiło się duszno. Jestem tu. Dziś pada deszcz. Prezydentem Polski jest Andrzej Duda. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
66 Słynne tautologie prawo wyłączonego środka p p prawo niesprzeczności (p p) prawo redukcji do absurdu [(p r) (p r)] p P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
67 Słynne tautologie modus ponendo ponens [(p q) p] q) modus tollendo tollens [(p q) q] p) modus tollendo ponens [(p q) q] p) P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
68 Przykład rozumowania - dowodzenie Na umiejętność dowodzenia składają się dwie umiejętności: umiejętność stosowania formalnych reguł wnioskowania umiejętność myślenia strategicznego P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
69 Rozumowania dowodopodobne Jeżeli Piotr zda egzamin, to jego koledzy zaproszą go albo na mecz albo do kina. Koledzy zapowiedzieli, że nie zaproszą go do kina, jeśli będzie oglądał dużo TV. Jeśli Piotr będzie dobrze przygotowany, to zda egzamin, a będzie dobrze przygotowany, jeśli będzie się dużo uczyć. Piotr dużo się uczył, ale też oglądał dużo TV. Czy koledzy zaproszą Piotra na mecz lub do kina? A jeśli tak, to gdzie dokładnie? P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
70 Lista założeń 1 Jeżeli Piotr zda egzamin, to jego koledzy zaproszą go albo na mecz albo do kina. 2 Koledzy zapowiedzieli, że nie zaproszą go do kina, jeśli będzie oglądał dużo TV. 3 Jeśli Piotr będzie dobrze przygotowany, to zda egzamin, a będzie dobrze przygotowany, jeśli będzie się dużo uczyć. 4 Piotr dużo się uczył, ale też oglądał dużo TV. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
71 Przebieg rozumowania 5 Piotr będzie dobrze przygotowany. (3), (4) 6 Piotr zda egzamin. (3), (5) 7 Koledzy zaproszą Piotra na mecz albo do kina. (1), (6) 8 Koledzy nie zaproszą Piotra do kina. (2), (4) 9 Koledzy zaproszą Piotra na mecz. (7), (8) P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
72 System dedukcji naturalnej - definicja dowodu Dowodem w systemie dedukcji naturalnej jest skończony ciąg formuł (logiki zdań), w którym każda formuła jest albo założeniem (pierwotnym lub dodatkowym) albo jest uzasadniona przez jedną z reguł systemu dedukcji naturalnej. P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
73 Lista reguł wnioskowania Reguła dołączania koniunkcji (DK); Reguła opuszczania koniunkcji (OK); Reguła opuszczania implikacji (modus ponendo ponens), reguła odrywania (RO); Reguła wprowadzania alternatywy; reguła dodawania (DA); Reguła opuszczania alternatywy (modus tollendo ponens; OA); Reguła dołączania równoważności (DR); Reguła opuszczania równoważności (OR); P. Tambor (Wyższe Seminarium Duchowne w Kielcach) Kielce, październik / 73
Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja
Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i
mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba
Uniwersytet Wrocławski Podział definicji Ze względu na to, do czego się odnoszą: Definicje realne dot. rzeczy (przedmiotu, jednoznaczna charakterystyka jakiegoś przedmiotu np. Telefon komórkowy to przedmiot,
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
Wykład 8. Definicje. 1. Definicje normalne/równościowe i nierównościowe. Np.: Studentem jest człowiek posiadający ważny indeks wyższej uczelni
Wykład 8. Definicje I. Podział definicji 1. Definicje normalne/równościowe i nierównościowe. Np.: Studentem jest człowiek posiadający ważny indeks wyższej uczelni Składa się z trzech członów Definiendum
Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Wykład 4 Logika dla prawników. Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje
Wykład 4 Logika dla prawników Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje Nazwy Nazwą jest taka częśd zdania, która w zdaniu może pełnid funkcję podmiotu lub orzecznika. Nazwami mogą
Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Wstęp do logiki. O definiowaniu
Wstęp do logiki O definiowaniu Cele definiowania Generalnie, definiowanie to operacja językowa prowadząca do ustalania znaczeń wyrażeń z wykorzystaniem wyrażeń już w języku występujących. Celem definiowania
Sylabus dla przedmiotu Logika i ogólna metodologia nauk
Sylabus dla przedmiotu Logika i ogólna metodologia nauk 1. Definicja pojęcia logika Wprowadzenie w tematykę przedmiotu (szkic czym jest logika, jak należy ją rozumieć, przedmiot logiki, podział logika
Budowa definicji równościowej
Definicje Budowa definicji równościowej Klasyczna formuła definicji: Wyraz A znaczy tyle co B, mające cechę C. Definiując A należy podać: najbliższy rodzaj B ( genus proximus) różnicę gatunkową C (differentia
Wprowadzenie do logiki Definicje część 3
Wprowadzenie do logiki Definicje część 3 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Rozkład jazdy 1 Co definicje definiują? 2 Jak budujemy definicje? 3 Do czego używamy definicji?
LOGIKA Dedukcja Naturalna
LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów
Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20
Przedmowa Wykaz skrótów XIII XV Część A. Wprowadzenie Rozdział I. Rys historyczny 1 1. Początki logiki jako nauki 1 2. Średniowiecze 2 3. Czasy nowożytne i współczesne 4 Rozdział II. Podstawowe prawa myślenia
Krakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2012/2013
Krakowska Akademia im. Andrzeja Frycza Modrzewskiego Karta przedmiotu obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 01/013 WydziałPrawa, Administracji i Stosunków Miedzynarodowych Kierunek
LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013
LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne
Liczba godzin Punkty ECTS Sposób zaliczenia. konwersatoria 30 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Administracja Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): I stopnia Tryb studiów:
Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)
Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. Zespół wykładowców: prof. UAM dr hab. Jarosław Mikołajewicz dr Marzena Kordela Zespół prowadzących ćwiczenia: prof. UAM dr hab. Jarosław
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
Wstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Wprowadzenie do logiki Język jako system znaków słownych
Wprowadzenie do logiki Język jako system znaków słownych Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl język system znaków słownych skoro system, to musi być w tym jakiś porządek;
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować
Logika formalna SYLABUS A. Informacje ogólne
Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu
Aktualizacja materiałów z logiki dla doktorantów PW
Aktualizacja materiałów z logiki dla doktorantów PW Rodzaje definicji Definicja sprawozdawcza, inaczej analityczna, wskazuje, jakie znaczenie miał dotychczas wyraz definiowany w pewnym języku. Definicja
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych
Rachunek zdań i predykatów
Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)
Dowody założeniowe w KRZ
Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody
Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
Wprowadzenie do logiki Definicje część 1
Wprowadzenie do logiki Definicje część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Rozkład jazdy Poszukamy odpowiedzi na pytania następujące: 1 Co definicje definiują? 2 Jak
mgr Anna Dziuba Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mgr Anna Dziuba
Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa POJĘCIE NAZWY NAZWĄ jest wyrażenie, które w zdaniu podmiotowo orzecznikowym nadaje się na podmiot lub orzecznik S (podmiot) jest P (orzecznik) Kasia
K A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
Uniwersytet Śląski w Katowicach str. 1 Wydział
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: teologia, jednolite magisterskie Specjalność: teologia nauczycielska i ogólna Sylabus modułu: Filozofia logika i epistemologia (11-TS-12-FLEa)
K A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
Klasyczny rachunek zdań 1/2
Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
NOWE ODKRYCIA W KLASYCZNEJ LOGICE?
S ł u p s k i e S t u d i a F i l o z o f i c z n e n r 5 * 2 0 0 5 Jan Przybyłowski, Logika z ogólną metodologią nauk. Podręcznik dla humanistów, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk 2003 NOWE
Wstęp do logiki. Klasyczny Rachunek Zdań III
Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję
Lekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne
Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.
LOGIKA Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku
Kultura logiczna Klasyczny rachunek zdań 1/2
Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Wprowadzenie do logiki Podział logiczny. Definicje
Wprowadzenie do logiki Podział logiczny. Definicje Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Jak dobrze pokroić tort? Dwie proste zasady ku pożytkowi ogólnemu i szczęśliwości:
Kultura logicznego myślenia
dr hab. Maciej Witek, prof. US Kultura logicznego myślenia rok akademicki 2017/2018, śemeśtr zimowy Temat 1: Semiotyka i jej dyścypliny kognitywiśtyka.uśz.edu.pl/mwitek dyzury: wtorki, godz. 14.00-15.30,
Etyka i filozofia współczesna wykład 11. Logiczna kultura argumentacji:
Logiczna kultura argumentacji: Logiczna kultura argumentacji: wypowiedź argumentacyjna a wnioskowanie, przyczyny nieporozumień, definiowanie i błędy w definiowaniu. Wnioskowanie: proces poznawczy, który
Logika dla prawników
Logika dla prawników Wykład I: Pytania o logikę Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mpichlak@prawo.uni.wroc.pl Tak na logikę Kodeks karny: Art. 226 1. Kto znieważa
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania
Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Podstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
Konsekwencja logiczna
Konsekwencja logiczna Niech Φ 1, Φ 2,..., Φ n będa formułami logicznymi. Formuła Ψ wynika logicznie z Φ 1, Φ 2,..., Φ n jeżeli (Φ 1 Φ 2 Φ n ) Ψ jest tautologia. Formuły Φ 1, Φ 2,..., Φ n nazywamy założeniami
Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Krótkie wprowadzenie, czyli co
Podstawy Sztucznej Inteligencji (PSZT)
Podstawy Sztucznej Inteligencji (PSZT) Paweł Wawrzyński Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się logiką predykatów: część 3/3 Dzisiaj Uogólnienie Poprawność i pełność wnioskowania
WSTĘP ZAGADNIENIA WSTĘPNE
27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).
Dalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
ZAŁOŻENIA FILOZOFICZNE
ZAŁOŻENIA FILOZOFICZNE Koło Wiedeńskie Karl Popper Thomas Kuhn FILOZOFIA A NAUKA ZAŁOŻENIA W TEORIACH NAUKOWYCH ZAŁOŻENIA ONTOLOGICZNE Jaki jest charakter rzeczywistości językowej? ZAŁOŻENIA EPISTEMOLOGICZNE
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Logika pragmatyczna dla inżynierów
Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny
Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony
Semiotyka nauka o znakach
Semiotyka logiczna Semiotyka nauka o znakach John Locke (1632 1704) ( ) tę gałąź nauk można nazwać ( ) semiotyką, czyli nauką o znakach ( ). Jej zadaniem jest rozważać natury znaków, którymi umysł się
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Matematyka Rodzaj przedmiotu: przedmiot obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Logika matematyczna Mathematical Logic Poziom przedmiotu: II
Definicje 1. Definicje kształtują język poznawczy, wprowadzając nowe lub uściślając dawne wyraŝenia. 2. Konstruują one takŝe przedmioty juŝ wprowadzon
Definicje Definiowanie dotyczy w równym stopniu zarówno nauk ścisłych jak i humanistycznych, dlatego waŝne jest poznanie funkcji definicji, uniwersalnych zasad ich konstruowania oraz przykładowych zastosowań.
Kultura logiczna Wnioskowania dedukcyjne
Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a
Elementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści wspólnych z kierunkiem Matematyka, moduł kierunku obowiązkowy Rodzaj zajęć: wykład, ćwiczenia I KARTA PRZEDMIOTU CEL
SPIS TREŚCI. Przedmowa... Wykaz skrótów... Wykaz ważniejszej literatury...
SPIS TREŚCI Przedmowa... Wykaz skrótów... Wykaz ważniejszej literatury... XI XIII XVII Rozdział I. Pojęcie logiki i jej struktura... 1 1. Pojęcie... 1 2. Struktura... 2 3. Logika a nauki pokrewne... 5
Metodologia badań naukowych
Metodologia badań naukowych Cele zajęć: Nabycie umiejętności określania problemu badawczego i planowania badania Przyswojenie umiejętności z zakresu przygotowania i przeprowadzenia badania empirycznego
Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Rachunek zdao i logika matematyczna
Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz
Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Rachunek zdań. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak
Rachunek zdań Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak RACHUNEK ZDAŃ Zdania Definicja Zdanie jest to stwierdzenie w języku naturalnym, któremu można przypisać wartość prawdy lub
Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;)
Tomasz Puczyłowski Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;) 1. W referacie zaproponuję definicję kłamstwa skorzystam z aparatury formalnej, zaprojektowanej przez G. Gazdara i
Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 1. Wprowadzenie do rachunku zbiorów 1 Podstawowe pojęcia rachunku zbiorów Uwaga 1.1. W teorii mnogości mówimy o zbiorach
Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Nazwa modułu: Logika Rok akademicki: 2017/2018 Kod: HKL-1-221-s Punkty ECTS: 4 Wydział: Humanistyczny Kierunek: Kulturoznawstwo Specjalność: Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Logos (gr. Słowo, myśl) Nauka o poprawności rozumowań
Logos (gr. Słowo, myśl) Nauka o poprawności rozumowań Semiotyka Semantyka Syntaktyka Logika formalna Ogólna metodologia nauk Wprowadził logikę do kanonu nauk Logika klasyczna opierająca się na dwóch wartościach:
Filozofia z elementami logiki Język jako system znaków słownych część 2
Filozofia z elementami logiki Język jako system znaków słownych część 2 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Rozkład jazdy 1 Pojęcie znaku 2 Funkcje wypowiedzi językowych
Drzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Wstęp do logiki. Semiotyka
Wstęp do logiki Semiotyka DEF. 1. Językiem nazywamy system umownych znaków słownych. Komentarz. Skoro każdy język jest systemem, to jest w nim ustalony jakiś porządek, czy ogólniej hierarchia. Co to jest
Elementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Logika Matematyczna. Zadania Egzaminacyjne, 2007
Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.
Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016
Załącznik Nr 1 do Uchwały Senatu AWFiS w Gdańsku Nr 16 z dnia 27 kwietnia 2012 roku Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016 Jednostka Organizacyjna: Rodzaj
Ogólna metodologia nauk
1. Podział logiki: - semiotyka logiczna - logika formalna - ogólna metodologia nauk Ogólna metodologia nauk 2. Ogólna metodologia nauk zajmuje się metodami (sposobami postępowania) stosowanymi w poznawaniu
Główne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład 1 Wprowadzenie do problemu reprezentacji Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Pojęcie reprezentacji (1) Słowo 'reprezentacja'
KOMPOZYCJA Egzamin maturalny z języka polskiego od 2015 roku
KOMPOZYCJA Egzamin maturalny z języka polskiego od 2015 roku (materiały szkoleniowe) Materiał współfinansowany ze środków Unii Europejskiej w ramach Europejskiego Funduszu Społecznego. wszechogarnia tekst,
Języki programowania zasady ich tworzenia
Strona 1 z 18 Języki programowania zasady ich tworzenia Definicja 5 Językami formalnymi nazywamy każdy system, w którym stosując dobrze określone reguły należące do ustalonego zbioru, możemy uzyskać wszystkie
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 2: Język i części języka Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Semiotyka Nauka o znakach język jako system