Budowa definicji równościowej

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

mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba

Wprowadzenie do logiki Definicje część 3

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

DEFINICJA: Wypowiedź wieloznaczna: wypowiedź, która ma więcej niż jedną interpretację.

Temat: Przyczyny nieporozumień

Wprowadzenie do logiki Definicje część 1

W pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się

Kultura myślenia i argumentacji 2015/2016. Temat 2: Przyczyny nieporozumień

Wprowadzenie do logiki Podział logiczny. Definicje

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

Wykład 4 Logika dla prawników. Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje

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

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

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

Zaawansowane metody numeryczne

ROZDZIAŁ 1. Rachunek funkcyjny

IMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I

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

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

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

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

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

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

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

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

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

Schematy blokowe I. 1. Dostępne bloki: 2. Prosty program drukujący tekst.

Semantyka rachunku predykatów pierwszego rzędu. Dziedzina interpretacji. Stałe, zmienne, funkcje. Logika obliczeniowa.

Pytania i polecenia podstawowe

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

ćwiczenia 15 zaliczenie z oceną

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

Wykład 7. Informatyka Stosowana. 21 listopada Informatyka Stosowana Wykład 7 21 listopada / 27

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.

1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.

RELACJE I ODWZOROWANIA

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

Logika i teoria mnogości Ćwiczenia

Wstęp do logiki. Klasyczny Rachunek Predykatów I

Wstęp do Matematyki (2)

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Kultura logicznego myślenia

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Rachunek zdań i predykatów

1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:

Dział Rozdział Liczba h

Języki programowania zasady ich tworzenia

ELiTM 0 Indukcja Dany jest ciąg a 0 R, a n = a n 1. Zasada minimum Każdy niepusty podzbiór liczb naturalnych zawiera liczbę najmniejszą.

1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14

Wykład ze Wstępu do Logiki i Teorii Mnogości

Relacje binarne. Def. Relację ϱ w zbiorze X nazywamy. antysymetryczną, gdy x, y X (xϱy yϱx x = y) spójną, gdy x, y X (xϱy yϱx x = y)

Podstawy logiki i teorii zbiorów Ćwiczenia

Elementy logiki matematycznej

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

Elementy logiki i teorii mnogości

FUNKCJA I JEJ WŁASNOŚCI

Wstęp do matematyki listy zadań

Trzy razy o indukcji

Wstęp do logiki. Klasyczny Rachunek Zdań II

Logika i teoria mnogości Ćwiczenia

Algebra. Jakub Maksymiuk. lato 2018/19

Treść wykładu. Pierścienie wielomianów. Dzielenie wielomianów i algorytm Euklidesa Pierścienie ilorazowe wielomianów

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

Co to jest algorytm? przepis prowadzący do rozwiązania zadania, problemu,

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

Układy stochastyczne

(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];

Zbiory, relacje i funkcje

Wykład 2. Informatyka Stosowana. 8 października 2018, M. A-B. Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41

Semantyka rachunku predykatów

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

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

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

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Wykład 2 Hipoteza statystyczna, test statystyczny, poziom istotn. istotności, p-wartość i moc testu

Krakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2012/2013

Logika pragmatyczna dla inżynierów

Podstawy logiki i teorii zbiorów Ćwiczenia

Przestrzenie liniowe

Matematyczne Podstawy Informatyki

11. Blok ten jest blokiem: a. decyzyjnym b. końcowym c. operacyjnym

Definicje. Algorytm to:

Definicje. definiują przedmioty

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

Scenariusz lekcji opartej na programie Program nauczania informatyki w gimnazjum DKW /99

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

Model relacyjny. Wykład II

LOGIKA I TEORIA ZBIORÓW

Przekazywanie argumentów wskaźniki

Klasyczny rachunek predykatów

Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne

Maciej Grzesiak. Wielomiany

Rachunek Prawdopodobieństwa i Statystyka

Schematy Piramid Logicznych

Podstawowe struktury algebraiczne

Metalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM

ALGORYTMY. 1. Podstawowe definicje Schemat blokowy

Elementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje

Transkrypt:

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 specifica) Przykład: Kwadrat (A) jest to prostokąt (B) równoboczny (C).

DEFINICJA KONTEKSTOWA

Definicja naturalna definiendum spójnik genus proximusrodzaj najbliższy differentia specificaróżnica gatunkowa Adrenalina jest to hormon wydzielany przez nadnercza. Oportunista jest to osoba pozbawiona stałych zasad, naginająca się do okoliczności dla osobistych korzyści. Szmira jest to obraz, rzeźba utwór literacki, muzyczny, teatralny lub filmowy pozbawiony wartości artystycznych i ideowych.

Definicja genetyczna definiendum spójnik genus proximusrodzaj najbliższy Szadź jest to biały osad kryształków lodu Paraplegia jest to porażenie obu kończyn dolnych differentia specificaróżnica gatunkowa narastający na cienkich przedmiotach wskutek zamarzania kropelek przechłodzonej mgły przy ich zetknięciu z przedmiotami w temperaturze niższej od 0 C. występujące w następstwie uszkodzenia rdzenia kręgowego.

Definicja finalna definiendum spójnik genus proximusrodzaj najbliższy Propaganda jest to szerzenie, wyjaśnianie lub rozpowszechnianie pewnych poglądów, idei, haseł Szykanowanie jest to rozmyślne działanie differentia specificaróżnica gatunkowa w celu pozyskania zwolenników, wywołania u nich odpowiednich dążeń lub skłonienia ich do odpowiedniego postępowania. w celu zrobienia komuś przykrości lub stwarzania mu utrudnień.

Definicja przez abstrakcję- jest stosowana do określenia wspólnej własności przysługującej przedmiotom pod jakimś względem jednakowym. Schemat ogólny definicji przez abstrakcję terminu P: P(x)=P(y) xry P(x)- własność P przedmiotu x R- relacja równoważności ( symetryczna, zwrotna, przechodnia)

Przykłady definicji przez abstrakcję Ciężar ciała x jest identyczny z ciężarem ciała x ciało x równoważy się na wadze z ciałem y. Dwa zbiory posiadają tę samą liczbę kardynalną gdy zbiory te są równoliczne: liczba kardynalna zbioru X równa się liczbie kardynalnej zbioru Y gdy istnieje wzajemne jednoznaczne odwzorowanie zbioru X na zbiór Y.

Definicje-zakres stosowalności

Definicje bezwarunkowe to te, których stosowanie nie wymaga żadnych ograniczeń. Schemat ogólny: A(x) Φ(x) A-definiowany atrybut Φ(x)-symbol schematu zdaniowego x-zmienna wolna (nie związana kwantyfikatorem) Przykład: x jest murzynem x jest człowiekiem x jest czarnoskóry.

Definicje warunkowe to te, których sens i ważność zależne są od jakiegoś warunku ograniczającego zakres ich stosowalności. Schemat ogólny: P(x) [A(x) Φ(x)] P- predykat opisujący warunek stosowalności Przykład zwykłej definicji warunkowej: Definicja dzielenia liczb rzeczywistych y 0 (x:y=z z y=x)

Definicję warunkową atrybutu A nazywamy definicją operacyjną jeżeli w schemacie P(x) [A(x) Φ(x)] predykat na miejscu zmiennej P opisuje jakąś czynność lub operację wykonaną na przedmiocie x. Przykład: (Umieszczamy x w bliskości opiłków żelaznych) (x jest MAGNESEM x przyciąga opiłki )

Definicję warunkową atrybutu A nazywamy definicją redukcyjną jeżeli w schemacie P(x) [A(x) Φ(x)] predykat na miejscu zmiennej P opisuje stan lub sytuację statyczną przedmiotu x. Przykład: (x jest prawem majątkowym) (x jest zbywalne zasadna jest możliwość przeniesienia prawa x na inne podmioty.)

Błędy definiowania: 1.Nieznane przez nieznane ignotum per ignotum 2.Błędne koło : bezpośrednie idem per idem pośrednie 1.Nieadekwatność definicji: Definicja za szeroka Definicja za wąska Definicja, w której zakresy definiendum i definiensa się krzyżują Błąd przesunięcia kategorialnego 4.Wieloznaczność definicji 5.Pleonazm definicji (zbędne przepełnienie)

Błędy logiczne wypowiedzi

Amfibolia wyrażenie wieloznaczne ze względu na wadliwą budowę. Wieloznaczność strony czynnej Dzieci dostrzegły rekiny. Wieloznaczność składni dopełniacza Oskarżenie Kowalskiego Inne Depesza: WYPUŚCIĆ NIE WOLNO ROZSTRZELAĆ

Ekwiwokacja- błąd logiczny wypowiedzi powstały na skutek używania w wywodzie tego samego słowa lub zwrotu w różnych znaczeniach, pomimo, iż względy poprawności wymagają, by znaczenie było to samo. Przykład: Kto ukończył 18 lat, może kupić samochód. Kto może kupić samochód, ma dużo pieniędzy. Zatem: Kto ukonczył18 lat, ma dużo pieniędzy.