Kultura logiczna Definicje i podział logiczny

Podobne dokumenty
Podział logiczny Definicje

Wprowadzenie do logiki Definicje część 1

mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba

Wprowadzenie do logiki Podział logiczny. Definicje

Wstęp do logiki. O definiowaniu

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 4 Logika dla prawników. Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje

Wprowadzenie do logiki Definicje część 3

Wprowadzenie do logiki Podział logiczny

LOGIKA Definicje. Robert Trypuz. 22 października Katedra Logiki KUL. Robert Trypuz (Katedra Logiki) Definicje 22 października / 39

Budowa definicji równościowej

DEFINICJE. Definicja krótkie określenie czegoś (można określać przedmiot lub wyraz lub wyrażenie).

Kultura logiczna Wnioskowania dedukcyjne

Kultura logiczna Klasyczny rachunek zdań 1/2

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

Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20

Naukoznawstwo. Michał Lipnicki. 10 grudnia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Naukoznawstwo 10 grudnia / 54

Klasyczny rachunek zdań 1/2

PODZIAŁ LOGICZNY. Zbiór Z. Zbiór A. Zbiór B

Kultura logiczna Elementy sylogistyki

Aktualizacja materiałów z logiki dla doktorantów PW

Podstawy logiki pojęć 1

Wybrane informacyjne problemy definiowania zrównoważonego i trwałego rozwoju ujęcie teoretyczne

Logika dla socjologów Część 2: Przedmiot logiki

Typ: Nematoda (nicienie) Typ: Rotatoria (wrotki) Typ: Acanthocephala (kolcogłowy)

Etyka i filozofia współczesna wykład 11. Logiczna kultura argumentacji:

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną

ćwiczenia 15 zaliczenie z oceną

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 10. definicje pytania

Wstęp do logiki. Semiotyka cd.

Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)

typ budowy = bauplan parenchymowce ENTEROCEOLIA SCHIZOCEOLIA TRIPLOBLASTICA DIPLOBLASTICA METAZOA nitnikowce kolcoglowy niezmogowce płazińce wstężnice

domykanie relacji, relacja równoważności, rozkłady zbiorów

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,

Wprowadzenie do logiki Język jako system znaków słownych

Operacjonalizacja zmiennych

Klasyczny rachunek predykatów

Filozofia z elementami logiki Język jako system znaków słownych część 2

Klucz odpowiedzi do testu z języka polskiego dla uczniów gimnazjów /etap szkolny/ Liczba punktów możliwych do uzyskania: 63.

n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :

Nazwy definicje podział logiczny wnioskowania

Klasyczne zdania kategoryczne

Dlaczego nie wystarczają liczby wymierne

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

LOGIKA Klasyczny Rachunek Zdań

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Wstęp do logiki. Klasyczny Rachunek Zdań II

Kultura logiczna Klasyczny rachunek zdań 2/2

Sylabus dla przedmiotu Logika i ogólna metodologia nauk

Równoliczność zbiorów

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach

Notatki z zajęd: od 1 do 4

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

mgr Anna Dziuba Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mgr Anna Dziuba

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Rachunek logiczny. 1. Język rachunku logicznego.

Plan budowy morfologicznej i anatomicznej bezkręgowców

Metodologia badań psychologicznych

Naukoznawstwo (Etnolingwistyka V)

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych

1. Funkcje monotoniczne, wahanie funkcji.

PEF Copyright by Polskie Towarzystwo Tomasza z Akwinu

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

RACHUNEK PRAWDOPODOBIEŃSTWA - POJĘCIA WSTĘPNE MATERIAŁY POMOCNICZE - TEORIA

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Metodologia badań naukowych

Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

OPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo

Wstęp do logiki. Semiotyka cd.

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

Wstęp do logiki. Pytania i odpowiedzi

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Liczba godzin Punkty ECTS Sposób zaliczenia. konwersatoria 30 zaliczenie z oceną

KLUCZ ODPOWIEDZI KONKURS HUMANISTYCZNY. Zadania zamknięte. Zadania otwarte

Warszawa, 25 lipca 2001 r.

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Podstawy Informatyki. Algorytmy i ich poprawność

Znak, język, kategorie syntaktyczne

DEFINICJE TERMINÓW FILOZOFICZNYCH

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza

Matematyka dyskretna

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW

Kongruencje pierwsze kroki

SPRAWDZIAN Klucz punktowania zadań. (zestawy zadań dla uczniów bez dysfunkcji)

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań

Logika dla prawników

Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut

Więcej arkuszy znajdziesz na stronie: arkusze.pl SPRAWDZIAN Klucz punktowania zadań. (zestawy zadań dla uczniów bez dysfunkcji)

Transkrypt:

Kultura logiczna Definicje i podział logiczny Bartosz Gostkowski bgostkowski@gmail.com Kraków 19 IV 2010

Plan wykładu: Podział logiczny Definicje realne vs nominalne równościowe vs nierównościowe sprawozdawcze vs projektujące Błędy w definiowaniu

PODZIAŁ LOGICZNY Podział logiczny jakiejś nazwy, to mniej więcej tyle, co porządek w jej zakresie. A

PODZIAŁ LOGICZNY Podział logiczny jakiejś nazwy, to mniej więcej tyle, co porządek w jej zakresie. A B 1 B 2 B 3 B 1, B 2, B 3 stanowią podział zakresu nazwy A.

PODZIAŁ LOGICZNY Podział logiczny jakiejś nazwy, to mniej więcej tyle, co porządek w jej zakresie. SŁOŃ

PODZIAŁ LOGICZNY Podział logiczny jakiejś nazwy, to mniej więcej tyle, co porządek w jej zakresie. SŁOŃ SŁOŃ AFRYKAŃSKI SŁOŃ AFRYKAŃSKI LEŚNY SŁOŃ INDYJSKI

PODZIAŁ LOGICZNY zwierzęta dzielą się na: 1. należące do cesarza, 2. zabalsamowane, 3. oswojone, 4. mleczne świnie, 5. syreny, 6. wolne psy, 7. zawarte w tej klasyfikacji, 8. takie, które zachowują się jak oszalałe, 9. niezliczone, 10. rysowane cienkim pędzelkiem z wielbłądziego włosia, 11. etc., 12. takie, które właśnie rozbiły dzbanek, 13. takie, które z daleka przypominają muchy. Jorge Louis Borges: Analityczny język Johna Wilkinsa

PODZIAŁ LOGICZNY królestwo zwierząt dzieli się na: Typ: Placozoa płaskowce Typ: Kinorhyncha ryjkogłowy Typ: Myxozoa Typ: Porifera gąbki Typ: Rhombozoa rombowce Typ: Orthonectida prostopływce Typ: Cnidaria parzydełkowce Typ: Ctenophora żebropławy Typ: Cycliophora lejkogębce Typ: Platyhelminthes płazińce Typ: Acoelomorpha wirki bezjelitowe Typ: Nemertea wstężnice Typ: Rotifera wrotki Typ: Gastrotricha brzuchorzęski Typ: Nemata syn. Nematoda nicienie Typ: Nematomorpha nitnikowce Typ: Loricifera kolczugowce Typ: Acanthocephala kolcogłowy Typ: Gnathostomulida szczękogębe Typ: Annelida pierścienice Typ: Priapulida niezmogowce Typ: Sipuncula sikwiaki Typ: Echiura szczetnice Typ: Arthropoda stawonogi Typ: Onychophora pazurnice Typ: Tardigrada niesporczaki Typ: Ectoprocta mszywioły Typ: Entoprocta kielichowate Typ: Brachiopoda ramienionogi Typ: Phoronida kryzelnice Typ: Mollusca mięczaki Typ: Echinodermata szkarłupnie Typ: Chaetognatha szczecioszczękie Typ: Hemichordata półstrunowce Typ: Chordata strunowce za: wikipedia, hasło: zwierzęta

PODZIAŁ LOGICZNY Są podziały lepsze i gorsze, od czego to zależy? na to by podział był dobry, spełnione muszą być pewne warunki formalne. Podział logiczny zakresu nazwy A: to taki zbiór zakresów nazw B 1,,B n, które: (i) są podrzędne względem zakresu nazwy A; (ii) są parami rozłączne; (iii) suma ich równa jest zakresowi nazwy A. WAR. ROZŁĄCZNOŚĆI WAR. ADEKWATNOŚCI

PODZIAŁ LOGICZNY Są podziały lepsze i gorsze, od czego to zależy? Podział logiczny zakresu nazwy A: to taki zbiór zakresów nazw B 1,,B n, które: (i) są podrzędne względem zakresu nazwy A; (ii) są parami rozłączne; (iii) suma ich równa jest zakresowi nazwy A. WAR. ROZŁĄCZNOŚĆI WAR. ADEKWATNOŚCI Dla dowolnych B i oraz B j (1 i, j n), zakresy tych nazw się wykluczają. Np. słoń vs koń

PODZIAŁ LOGICZNY Są podziały lepsze i gorsze, od czego to zależy? Podział logiczny zakresu nazwy A: to taki zbiór zakresów nazw B 1,,B n, które: (i) są podrzędne względem zakresu nazwy A; (ii) są parami rozłączne; (iii) suma ich równa jest zakresowi nazwy A. WAR. ROZŁĄCZNOŚĆI WAR. ADEKWATNOŚCI Zakresy B 1,,B n wzięte razem są równe zakresowi nazwy A. Np. Zakres nazw Słoń afrykański, Słoń leśny afrykański i Słoń indyjski odpowiada zakresowi nazwy Słoń.

PODZIAŁ LOGICZNY Są podziały lepsze i gorsze, od czego to zależy? Podział logiczny zakresu nazwy A: to taki zbiór zakresów nazw B 1,,B n, które: (i) są podrzędne względem zakresu nazwy A; (ii) są parami rozłączne; (iii) suma ich równa jest zakresowi nazwy A. WAR. ROZŁĄCZNOŚĆI WAR. ADEKWATNOŚCI Całość dzielona:= zakres nazwy A, który podlega podziałowi. Człony podzału:= zakresy nazw B 1,,B n.

PODZIAŁ LOGICZNY Zasada podziału: to cecha P, z uwagi na posiadanie której wyróżniane są człony podziału.

PODZIAŁ LOGICZNY Zasada podziału: to cecha P, z uwagi na posiadanie której wyróżniane są człony podziału. (i) jeśli posiadanie cechy, które jest zasadą podziału jest własnością bezwzględną, to otrzymujemy podział dychotomiczny; niech dzieloną całością będzie zakres nazwy humbak zasadą podziału będzie cecha bycia samcem humbak P P P:= P := samiec nie- samce

PODZIAŁ LOGICZNY Zasada podziału: to cecha P, z uwagi na posiadanie której wyróżniane są człony podziału. (i) (ii) jeśli posiadanie cechy, które jest zasadą podziału jest własnością bezwzględną, to otrzymujemy podział dychotomiczny; jeśli cecha, która stanowi zasadę podziału może przysługiwać obiektom w sposób względny (jednym bardziej, innym mniej), powstały na jej podstawie podział składał będzie się z wielu członów (klas), które wyróżniać będą się stopniem realizacji danej cechy. niech dzieloną całością będzie zakres nazwy człowiek zasadą podziału będzie pokrewieństwo z Johnnym Cashem P 1 := P 2 := krewniak pierwszego stopnia Johnego Casha krewniak drugiego stopnia Johnego Casha P n := krewniak n-tego stopnia Johnego Casha

PODZIAŁ LOGICZNY Czy spełnienie warunków poprawności formalnej wystarcza, by podział był poprawny? Poprawny podział, to taki, który spełnia kryteria formalne (adekwatność, rozłączność, zupełność) oraz spełnia kryterium materialne, to znaczy jest podziałem naturalnym. Podział logiczny zakresu jakiejś nazwy A jest wtedy wskazany, gdy mamy zdać sprawę z włąsnośći przedmiotów A z pewnego punktu widzenia, a przedmioty A z tego punktu widzenia bardzo się różnią. Wtedy wskazane jest wyróżnienie różnych grup w obrębie wszystkich przedmiotów A w taki sposób, by przedmioty należące do tej samej grupy, z interesującego nas punktu widzenia, były do siebie bardziej podobne niż przedmioty wzięte z dwóch różnych grup. Podział taki nazywa sie podziałem z tego punktu widzenia naturalnym. Żaden podział nie jest bezwzględnie naturalny; epitet naturalny może przysługiwać podziałowi tylko w odniesieniu do pewnego punktu widzenia. K. Ajdukiewicz, Logika pragmatyczna

PODZIAŁ LOGICZNY Klasyfikacja:= wielostopniowy podział logiczny.

Plan wykładu: Podział logiczny Definicje realne vs nominalne równościowe vs nierównościowe sprawozdawcze vs projektujące Błędy w definiowaniu

DEFINICJE (i) Co definicje definiują? (ii) Jak są zbudowane? (iii) Do czego służą? PRZEDMIOT STRUKTURA FUNKCJA Dlaczego czasem są do niczego BŁĘDY

Plan wykładu: Podział logiczny Definicje realne vs nominalne równościowe vs nierównościowe sprawozdawcze vs projektujące Błędy w definiowaniu

DEFINICJE: PRZEDMIOT co definiuje? Przedmiotem definicji mogą być słowa, lub rzeczy. ( ) posługujemy się terminem definicja nominalna, ilekroć mamy na myśli zabiegi mogące pewne wyrazy uczynić zrozumiałymi za pomocą innych słów; używamy natomiast terminu definicja realna, ilekroć mamy na myśli jednoznaczną charakterystykę jakiegoś przedmiotu. ( ) zakresy obu tych pojęć mają wiele elementów wspólnych. (Kazimierz Ajdukiewicz Logika pragmatyczna, s. 62)

DEFINICJE: PRZEDMIOT co definiuje? Przedmiotem definicji mogą być słowa, lub rzeczy. Definicja realna, to taka, w której orzeka się jakie własności spełniać musi definiowany obiekt. a) Człowiek:= jedyne zwierze zdolne do artykułowania samogłosek [a], [u] i [i]. b) Superbohater:= osoba obdarzona niezwykłymi zdolnościami, która wykorzystuje je w walce po stronie dobra.

DEFINICJE: PRZEDMIOT co definiuje? Przedmiotem definicji mogą być słowa, lub rzeczy. Definicja realna, to taka, w której orzeka się jakie własności spełniać musi definiowany obiekt. a) Człowiek:= jedyne zwierze zdolne do artykułowania samogłosek [a], [u] i [i]. b) Superbohater:= osoba obdarzona niezwykłymi zdolnościami, która wykorzystuje je w walce po stronie dobra. Arystoteles: Definicja ujawnia istotę rzeczy (Analityki wtóre, 91 a) Czasem wymaga się, by własności użyte w definicji były tak dobrane, żeby przysługiwać definiowanym przedmiotom z konieczności (to jest, żeby definiowany przedmiot nie mógł pozostać tym samym przedmiotem nie posiadając ich wszystkich). Zatem: definicja (a) nie będzie dobrą definicją realną, w przeciwieństwie do definicji (b)

DEFINICJE: PRZEDMIOT co definiuje? Przedmiotem definicji mogą być słowa, lub rzeczy. Definicja nominalna Definicja wyrazu W na gruncie słownika S jest to wypowiedź pozwalająca każde zdanie zbudowane z wyrazu W i wyrazów słownika S, w którym wyraz W nie jest zawarty, przetłumaczyć na zdanie zbudowane z samych tylko wyrazów słownika S. (a) Arachnofobią nazywamy obsesyjny lęk przed pająkami. (b) Pyra to tyle co ziemniak. (c) Zwierzęta posiadające serce to zwierzęta posiadające nerki. K. Ajdukiewicz, Logika pragmatyczna

DEFINICJE: PRZEDMIOT co definiuje? Przedmiotem definicji mogą być słowa, lub rzeczy. Definicja nominalna Definicja wyrazu W na gruncie słownika S jest to wypowiedź pozwalająca każde zdanie zbudowane z wyrazu W i wyrazów słownika S, w którym wyraz W nie jest zawarty, przetłumaczyć na zdanie zbudowane z samych tylko wyrazów słownika S. (a) Arachnofobią nazywamy obsesyjny lęk przed pająkami. (b) Pyra to tyle co ziemniak. (c) Zwierzęta posiadające serce to zwierzęta posiadające nerki. przekład K. Ajdukiewicz, Logika pragmatyczna treściowy (równoznaczność) zakresowy (równozakresowość)

Plan wykładu: Podział logiczny Definicje realne vs nominalne równościowe vs nierównościowe sprawozdawcze vs projektujące Błędy w definiowaniu

DEFINICJE: STRUKTURA jak jest zbudowana? (i) równościowe klasyczne nieklasyczne (i) nierównościowe równoważnościowe implikacyjne przez postulaty indukcyjne..

DEFINICJE: RÓWNOŚCIOWE jak jest zbudowana? Schemat struktury definicji równościowej: CZŁON DEFINIOWANY łącznik CZŁON DEFINIUJĄCY okręt to statek wojenny DEFINIENDUM DEFINIENS Definicja równościowa ustala: (i) równoważność dwóch terminów (ii) równość odpowiadających tym terminom zakresów

DEFINICJE: RÓWNOŚCIOWE; KLASYCZNE jak jest zbudowana? Definicja ujawnia istotę rzeczy. (Analityki wtóre, 91 a) Definicję nazywa się twierdzeniem o istocie rzeczy. (tamże, 93 b) Arystoteles Definiować można tylko pojęcia ogólne i formy. (Metafizyka, 1036 a) Klasyczna definicja równościowa to taka, w której definiens zbudowany jest poprzez wymienienie najbliższego rodzaju do którego należą wszystkie obiekty definiowane oraz podanie kryterium różnicy gatunkowej, które spełniają wyłącznie one.

DEFINICJE: RÓWNOŚCIOWE; KLASYCZNE jak jest zbudowana? Schemat klasycznej definicji równościowej Definitio fit per genus proximum et differentiam specificam. najbliższy rodzaj różnica gatunkowa A to jest takie B, które posiada cechę C. Okręt to jest taki statek, który służy wojnie. GENUS PROXIMUM DIFERENTIA SPECIFICA

DEFINICJE: RÓWNOŚCIOWE; STYLIZACJE jak jest zbudowana? Definicja równościowa może wystąpić w jednej z następujących stylizacji: SŁOWNIKOWA Wyrażenie okręt znaczy tyle co statek wojenny. definiens- supozycja materialna definiendum- sup. materialna

DEFINICJE: RÓWNOŚCIOWE; STYLIZACJE jak jest zbudowana? Definicja równościowa może wystąpić w jednej z następujących stylizacji: SŁOWNIKOWA Wyrażenie okręt znaczy tyle co statek wojenny. definiens- supozycja materialna definiendum- sup. materialna SEMANTYCZNA Wyrażenie okręt oznacza statek wojenny. definiens- supozycja formalna definiendum- sup. materialna

DEFINICJE: RÓWNOŚCIOWE; STYLIZACJE jak jest zbudowana? Definicja równościowa może wystąpić w jednej z następujących stylizacji: SŁOWNIKOWA Wyrażenie okręt znaczy tyle co statek wojenny. definiens- supozycja materialna definiendum- sup. materialna SEMANTYCZNA Wyrażenie okręt oznacza statek wojenny. definiens- supozycja formalna definiendum- sup. materialna PRZEDMIOTOWA Okręt to statek wojenny. definiens- supozycja formalna definiendum- sup. formalna

DEFINICJE: NIERÓWNOŚCIOWE jak jest zbudowana? Definicja równoważnościowa to taka, której budowa odpowiada schematowi: DEFINIENDUM Superłotr jest interesujący łącznik wtedy tylko wtedy gdy DEFINIENS został pokonany przez Batmana, pokonał Batmana, lub kumplował się z Batmanem.

DEFINICJE: NIERÓWNOŚCIOWE jak jest zbudowana? Definicja implikacyjna to taka, które odpowiada schematowi: łącznik DEFINIENS DEFINIENDUM Jeśli wiedząc jak postąpić należy i mając odmienną pokusę, w postępowaniu ulegasz pokusie a lekceważysz nakaz rozumu to jesteś akratykiem.

DEFINICJE: NIERÓWNOŚCIOWE jak jest zbudowana? Definicja aksjomatyczna (przez postulaty) to taka, w której postuluje się by termin definiowany miał takie znaczenie, że pewna wyróżniona grupa zdań (zwanych postulatami znaczeniowymi albo aksjomatami), w których ten termin występuje była prawdziwa. Definicja terminów ment i przedza: A1. Jeżeli A i B są różnymi mentami, to bądź A przedza B, bądź B przedza A. A2. Jeżeli A i B są mentami i A przedza B, to B nie przedza A A3. Jeżeli A, B i C są mentami, to jeżeli A przedza B, zaś B przedza C, to A przedza C. A4. Jeżeli A i B są różnymi mentami, to istnieje taki ment, C, że bądź A przedza C, zaś C przedza B, bądź B przedza C, zaś C przedza A.. A5. Istnieją przynajmniej dwa różne menty. K. Ajdukiewicz, Logika Pragmatyczna

DEFINICJE: NIERÓWNOŚCIOWE jak jest zbudowana? Definicja aksjomatyczna (przez postulaty) to taka, w której postuluje się by termin definiowany miał takie znaczenie, że pewna wyróżniona grupa zdań (zwanych postulatami znaczeniowymi albo aksjomatami), w których ten termin występuje była prawdziwa. W przypadku granicznym, na ową wyróżnioną grupę może składać się zaledwie jedno zdanie. W takim przypadku, znaczenie terminu ustalone jest na mocy postulowanej prawdziwości wzorcowego kontekstu użycia. Art. 25. 1. k.k.: Nie popełnia przestępstwa, kto w obronie koniecznej odpiera bezpośredni, bezprawny zamach na jakiekolwiek dobro chronione prawem.

DEFINICJE: STRUKTURA jak jest zbudowana? Niezależnie od podziału definicji na równościowe i nierównościowe, występuje jeszcze szereg ciekawych struktur definicyjnych, przyjrzyjmy się kilku z nich: definicje wyraźne vs. kontekstowe indukcyjne ostensywne cząstkowe

DEFINICJE: WYRAŹNE vs KONTEKSTOWE jak jest zbudowana? Zasada podziału: struktura definiendum Definicja wyraźna to taka, której definiendum nie zawiera nic poza wyrazem definiowanym. Okręt definiendum to statek wojenny. Definicja kontekstowa to taka, której definiendum składa się z kontekstu, w którym występuje wyraz definiowany. Trzecią potęgą liczby n jest taka liczba i, że i = n x n x n. definiendum

DEFINICJE PRZEZ ABSTRAKCJĘ jak jest zbudowana? Definicja przez abstrakcję to rodzaj definicji kontekstowej. Używa się jej dla wprowadzenia pojęcia własności, która przysługuje przedmiotom jednakowym pod jakimś względem. O dowolnych dwu terminach P i Q powiemy, że są synonimami wtw w dowolnym zdaniu w którym występuje jeden z nich, można go zastąpić drugim, bez zmiany wartości logicznej takiego zdania. Hipotezy H1 i H2 są w równym stopniu potwierdzone, jeśli wszystkie świadectwa empiryczne które są zgodne z jedną z nich zgodne są również z drugą, oraz nie istnieje świadectwo empiryczne, które falsyfikowałoby wyłącznie jedną z nich. Karl Popper

DEFINICJA INDUKCYJNA jak jest zbudowana? Definicja indukcyjna określa zbiór obiektów, z których wszystkie posiadają jakąś własność. Struktura definicji indukcyjnej: WARUNEK BAZOWY (i) istnieje obiekt a posiadający cechę P WARUNEK INDUKCYJNY (ii) jeśli α posiada cechę P, oraz zachodzi relacja αrb, to b posiada cechę P.

DEFINICJA INDUKCYJNA jak jest zbudowana? Definicja indukcyjna określa zbiór obiektów, z których wszystkie posiadają jakąś własność. Struktura definicji indukcyjnej: WARUNEK BAZOWY DYNASTIA JULIUSZY (i) istnieje obiekt a posiadający cechę P Juliusz Cezar jest Juliuszem WARUNEK INDUKCYJNY (ii) jeśli α posiada cechę P, oraz zachodzi relacja αrb, to b posiada cechę P.

DEFINICJA INDUKCYJNA jak jest zbudowana? Definicja indukcyjna określa zbiór obiektów, z których wszystkie posiadają jakąś własność. Struktura definicji indukcyjnej: WARUNEK BAZOWY DYNASTIA JULIUSZY (i) istnieje obiekt a posiadający cechę P Juliusz Cezar jest Juliuszem. WARUNEK INDUKCYJNY (ii) jeśli α posiada cechę P, oraz zachodzi relacja αrb, to b posiada cechę P. Jeśli jakiś osobnik A jest Juliuszem, oraz B jest dzieckiem A, to B jest Juliuszem.

DEFINICJA INDUKCYJNA jak jest zbudowana? Definicja indukcyjna określa zbiór obiektów, z których wszystkie posiadają jakąś własność. Struktura definicji indukcyjnej: LICZBY NATURALNEJ Def. 0 := (zero to tyle co zbiór pusty)

DEFINICJA INDUKCYJNA jak jest zbudowana? Definicja indukcyjna określa zbiór obiektów, z których wszystkie posiadają jakąś własność. Struktura definicji indukcyjnej: LICZBY NATURALNEJ Def. 0 := (zero to tyle co zbiór pusty) WARUNEK BAZOWY (i) istnieje obiekt a posiadający cechę P 0 jest liczbą naturalną

DEFINICJA INDUKCYJNA jak jest zbudowana? Definicja indukcyjna określa zbiór obiektów, z których wszystkie posiadają jakąś własność. Struktura definicji indukcyjnej: LICZBY NATURALNEJ Def. 0 := (zero to tyle co zbiór pusty) WARUNEK BAZOWY (i) istnieje obiekt a posiadający cechę P 0 jest liczbą naturalną Def. Seq(n):= {x: x n} (następnikiem liczby naturalnej n jest zbiór, którego elementami są wszystkie liczby naturalne mniejsze, bądź równe n)

DEFINICJA INDUKCYJNA jak jest zbudowana? Definicja indukcyjna określa zbiór obiektów, z których wszystkie posiadają jakąś własność. Struktura definicji indukcyjnej: LICZBY NATURALNEJ Def. 0 := (zero to tyle co zbiór pusty) WARUNEK BAZOWY (i) istnieje obiekt a posiadający cechę P 0 jest liczbą naturalną Def. Seq(n):= {x: x n} (następnikiem liczby naturalnej n jest zbiór, którego elementami są wszystkie liczby naturalne mniejsze, bądź równe n) WARUNEK INDUKCYJNY (ii) jeśli α posiada cechę P, oraz zachodzi relacja αrb, to b posiada cechę P. Jeśli x jest liczbą naturalną, to y = seq(n) jest liczbą naturalną

DEFINICJA CZĄSTKOWA jak jest zbudowana? Definicja cząstkowa określa tylko część zakresu definiowanego terminu, wyrażając jedynie część kryteriów stosowalności definiowanego terminu: Pociągiem nazywać będziemy taki środek lokomocji, który wymaga lokomotywy. Ssaki to zwierzęta produkujące mleko. Definicją cząstkową będzie również taka definicja, która wymienia najbardziej typowych przedstawicieli zakresu definiowanego terminu. Świetny piłkarz, to ktoś taki jak Pele, Garrincha, Eric Cantona albo Maradona.

DEFINICJA OSTENSYWNA jak jest zbudowana? Definicją ostensywna (deiktyczną, przez wskazanie) ustala odniesienie definiendum przez wskazanie jego denotacji (ewentualnie jakiegoś typowego przedstwiciela). Def. ostensywna nazwy słoń

DEFINICJA OSTENSYWNA jak jest zbudowana? Definicją ostensywna (deiktyczną, przez wskazanie) ustala odniesienie definiendum przez wskazanie jego denotacji (ewentualnie jakiegoś typowego przedstwiciela).

Plan wykładu: Podział logiczny Definicje realne vs nominalne równościowe vs nierównościowe sprawozdawcze vs projektujące Błędy w definiowaniu

DEFINICJE: FUNKCJA do czego służy? DEFINICJA : SPRAWOZDAWCZA : objaśnia rzeczywiste znaczenia, które funkcjonują w praktyce językowej PROJEKTUJĄCA : wprowadza nowe znaczenia do praktyki językowej REGULUJĄCA : uściśla, porządkuje znaczenia, które funkcjonują w praktyce językowej KONSTRUKCYJNA : wprowadza nowe znaczenia

DEFINICJE: FUNKCJA do czego służy? DEFINICJA : SPRAWOZDAWCZA : objaśnia rzeczywiste znaczenia, które funkcjonują w praktyce językowej PROJEKTUJĄCA : wprowadza nowe znaczenia do praktyki językowej Pyra to tyle co ziemniak. Kryterium oceny: poprawność, to jest prawdziwość zdania z pomocą którego została wyrażona.

DEFINICJE: FUNKCJA do czego służy? DEFINICJA : Def. regulujące stosuje się dla usunięcia nieostrości, niejasności bądź wieloznaczności związanych ze znaczeniami terminów definowanych. Kryterium oceny Nie można tu mówić o poprawności, raczej o skuteczności w realizacji postawionych celów. PROJEKTUJĄCA : wprowadza nowe znaczenia do praktyki językowej REGULUJĄCA : uściśla, porządkuje znaczenia, które funkcjonują w praktyce językowej KONSTRUKCYJNA : wprowadza nowe znaczenia Dorosłą jest osoba po ukończeniu osiemnastego roku życia.

DEFINICJE: FUNKCJA do czego służy? DEFINICJA : Def. projektujące stosuje się dla wprowadzenia do języka nowych terminów, bądź nadania obecnym już terminom nowych znaczeń. Kryterium oceny Nie można tu mówić o poprawności, raczej o skuteczności w realizacji postawionych celów. PROJEKTUJĄCA : wprowadza nowe znaczenia do praktyki językowej REGULUJĄCA : uściśla, porządkuje znaczenia, które funkcjonują w praktyce językowej KONSTRUKCYJNA : wprowadza nowe znaczenia Naukowczyni to naukowiec płci żeńskiej.

Plan wykładu: Podział logiczny Definicje realne vs nominalne równościowe vs nierównościowe sprawozdawcze vs projektujące Błędy w definiowaniu

BŁĘDY W DEFINIOWANIU W jaki sposób można się pomylić budując definicję? (i) Zły dobór zakresy terminów w niej występujących. (ii) Błędne koło. (iii) Definiowanie nieznanego przez nieznane.

BŁĘDY W DEFINIOWANIU: BŁĘDNY DOBÓR ZAKRESÓW Pojawia się gdy zakresy definiendum i definiensa nie są zamienne. definiendum DEFINICJA ZBYT WĄSKA zakres definiensa węższy niż zakres definiendum definiens Słoń to trąbiasty mieszkaniec Afryki. definiens DEFINICJA ZBYT SZEROKA zakres definiensa szerszy niż zakres definiendum definiendum Słoń, to ssak trąbiasty.

BŁĘDY W DEFINIOWANIU: BŁĘDNY DOBÓR ZAKRESÓW Pojawia się gdy zakresy definiendum i definiensa nie są zamienne. DEFINICJA ZBYT SZEROKA I ZBYT WĄSKA zakresy definiendum i definiensa przecinają się definiens definiendum Słoń to mieszkaniec ZOO posiadający trąbę.

BŁĘDY W DEFINIOWANIU: BŁĘDNY DOBÓR ZAKRESÓW Pojawia się gdy zakresy definiendum i definiensa nie są zamienne. BŁĄD WYKLUCZANIA SIĘ ZAKRESÓW zakresy definiendum i definiensa nie mają części wspólnej. definiens definiendum Szczególnym i najczęśnajczęstszym przypadkiem tego błędu jest błąd przesunięcia kategorialnego, to jest próba użycia w jednej definicji terminów odnoszących się do różnych kategorii ontycznych. Liczba jeden, to razem wzięte wszystkie jedynki kiedykolwiek wypisane. Słoniowatość, to zbiór wszytkich słoni. Ciepło to zbiór wszystkich ciał o temperaturze >0 o K.

BŁĘDY W DEFINIOWANIU: BŁĘDNE KOŁO Błędne koło bezpośrednie pojawia się, gdy ten sam termin występuje zarówno w definiensie jak i w definiendum Zwycięzca to ktoś, kto podjął walkę i został zwycięzcą. Błędne koło pośrednie pojawia się, gdy mamy do czynienia z ciągiem wzajemnie powiązanych definicji, takich, że wyrażenie definiowane w pierwszej, pojawia się w definiensie ostatniej. Zwycięzca, to ktoś kto wygrał walkę. Wygrywającym walkę jest jej zwycięzca.

BŁĘDY W DEFINIOWANIU: IGNOTUM PER IGNOTUM Błąd definicyjny nieznane przez nieznane (ignotum per ignotum) pojawia się gdy wyjaśniając znaczenie terminu nieznanego, posługujemy się innymi, nieznanymi terminami. Świrgolenie to trelowanie nieprzerwane. Wystąpienie błędu ignotum per ignotum może być zależne od kompetencji odbiorcy komunikatu. Grot topsel, to najwyższe płótno ożaglowania gaflowego.

BŁĘDY W DEFINIOWANIU: IGNOTUM PER IGNOTUM Błąd definicyjny nieznane przez nieznane (ignotum per ignotum) pojawia się gdy wyjaśniając znaczenie terminu nieznanego, posługujemy się innymi, nieznanymi terminami. Świrgolenie to trelowanie nieprzerwane. Wystąpienie błędu ignotum per ignotum może być zależne od kompetencji odbiorcy komunikatu. Grot topsel, to najwyższe płótno ożaglowania gaflowego.

DO ĆWICZEŃ!