ŁAD POJĘCIOWY 1. Podział logiczny

Podobne dokumenty
Relacje. Zdania opisujące stosunki dwuczłonowe mają ogólny wzór budowy: xry, co czytamy: x pozostaje w relacji R do y.

ŁAD POJĘCIOWY 2. Rodzaje relacji porządkujących

Wprowadzenie do logiki Podział logiczny

Teoria automatów i języków formalnych. Określenie relacji

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

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

Zbiory, relacje i funkcje

ANALIZA HIERARCHICZNA PROBLEMU W SZACOWANIU RYZYKA PROJEKTU INFORMATYCZNEGO METODĄ PUNKTOWĄ. Joanna Bryndza

ZAJĘCIA 25. Wartość bezwzględna. Interpretacja geometryczna wartości bezwzględnej.

PODSTAWY SZTUCZNEJ INTELIGENCJI

Programowanie deklaratywne

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

Zajęcia nr. 3 notatki

Nazwy. Jak widać, nazwa to nie to samo co rzeczownik. W podanych przykładach na nazwę złoŝoną składa się cały zespół

Relacje. Relacje / strona 1 z 18

- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.

KaŜdemu atrybutowi A przyporządkowana jest dziedzina Dom(A), czyli zbiór dopuszczalnych wartości.

Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych

RACHUNEK ZBIORÓW 5 RELACJE

ARYTMETYKA KOMPUTERA

Potencjał społeczności lokalnej-podstawowe informacje

1.UKŁADY RÓWNAŃ LINIOWYCH

Bazy danych 1. Wykład 5 Metodologia projektowania baz danych. (projektowanie logiczne)

STATYSTYKA. dr Agnieszka Figaj

Rekurencje. Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie:

USTAWA z dnia r. o zmianie ustawy o emeryturach i rentach z Funduszu Ubezpieczeń Społecznych. Art. 1.

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

XII. Warunek wielokrotnego wyboru switch... case

P r a w d o p o d o b i eństwo Lekcja 1 Temat: Lekcja organizacyjna. Program. Kontrakt.

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a

Logika I. Wykład 3. Relacje i funkcje

Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych

Wnioskodawca Treść wniosku Realizacja

Logika. Zadanie 4. Sprawdź, czy poniższe funkcje zdaniowe są tautologiami: i) (p q) = ( p q), ii) (p = q) ( p q). Rozwiązanie.

LOGIKA I TEORIA ZBIORÓW

Program 6. Program wykorzystujący strukturę osoba o polach: imię, nazwisko, wiek. W programie wykorzystane są dwie funkcje:

KURS ACCESS 2003 Wiadomości wstępne

Języki i operacje na językach. Teoria automatów i języków formalnych. Definicja języka

Systemy ekspertowe. System ekspertowy wspomagający wybór zestawu komputerowego w oparciu o ontologie i system wnioskujący RacerPro

Laboratorium nr 8. Temat: Podstawy języka zapytań SQL (część 2)

Przykładowy schemat do budowy lub modyfikacji. programu nauczania

Funkcja jest różnowartościowa w zbiorze A wtedy i tylko wtedy, gdy różnym argumentom funkcja ta przyporządkowuje różne wartości.

Logika Matematyczna. Jerzy Pogonowski. Własności relacji. Zakład Logiki Stosowanej UAM

IVa. Relacje - abstrakcyjne własności

6. FUNKCJE. f: X Y, y = f(x).

Relacje. opracował Maciej Grzesiak. 17 października 2011

Rachunek prawdopodobieństwa projekt Ilustracja metody Monte Carlo obliczania całek oznaczonych

Spis treści. 1. Cyfrowy zapis i synteza dźwięku Schemat blokowy i zadania karty dźwiękowej UTK. Karty dźwiękowe. 1

FUNKCJE. (odwzorowania) Funkcje 1

Świadectwa pracy po 21 marca 2013 r.

Bazy Danych 2008 Część 1 Egzamin Pisemny

Drzewa Semantyczne w KRZ

Algorytmy i struktury danych Matematyka III sem.

Wniosek o zmianę imienia i nazwiska

Taksonomia numeryczna co to jest?

Przekształcenia widmowe Transformata Fouriera. Adam Wojciechowski

Obszar całego kraju jest podzielony na 5 stref odwzorowawczych (rys. 1).

Funkcje elementarne. Matematyka 1

Doświadczalnictwo leśne. Wydział Leśny SGGW Studia II stopnia

Wyszukiwanie. Wyszukiwanie binarne

WYZNACZANIE CECH PUNKTOWYCH SYGNAŁÓW POMIAROWYCH

Bazy danych - wykład wstępny

INWENTARYZACJA W PROGRAMIE INTEGRA

Naukoznawstwo (Etnolingwistyka V)

STATYSTYKA MATEMATYCZNA. rachunek prawdopodobieństwa

Systemy ekspertowe i ich zastosowania. Katarzyna Karp Marek Grabowski

Zastosowanie Geobazy w analizie przestrzennej. Jarosław Jasiewicz IPIG Wojciech Jaszczyk MPU

BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH

STATYSTYKA I DOŚWIADCZALNICTWO

Zmienne powłoki. Wywołanie wartości następuje poprzez umieszczenie przed nazwą zmiennej znaku dolara ($ZMIENNA), np. ZMIENNA=wartosc.

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

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

WYJAŚNIENIA NR 3 DO SIWZ ZMIANA TREŚCI SIWZ

hierarchie klas i wielodziedziczenie

Wykład Prezentacja materiału statystycznego. 2. Rodzaje szeregów statystycznych.

pielęgniarki ambulatoryjnej pielęgniarki środowiskowej połoŝnej

Algorytmy i struktury danych

Rekurencyjna przeliczalność

11. PROFESJONALNE ZABEZPIECZENIE HASŁEM

DEFINICJA. Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B.

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

z :14

Badania w naukach społecznych

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

Relacje. 1 Iloczyn kartezjański. 2 Własności relacji

Rozdział 7 Relacje równoważności

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

Kodowanie transformacyjne. Plan 1. Zasada 2. Rodzaje transformacji 3. Standard JPEG

Laboratorium nr 10. Temat: Połączenia relacji

Polsko-Niemiecka Współpraca MłodzieŜy Podręcznik uŝytkownika Oprogramowania do opracowywania wniosków PNWM

Programowanie deklaratywne

III. Funkcje rzeczywiste

Wykład 4 Przebieg zmienności funkcji. Badanie dziedziny oraz wyznaczanie granic funkcji poznaliśmy na poprzednich wykładach.

Kryteria selekcji dobrych praktyk w ramach projektu Doświadczania wdraŝania Regionalnych Strategii Innowacji

Interpretacja krzywych sondowania elektrooporowego; zagadnienie niejednoznaczności interpretacji (program IX1D Interpex) Etapy wykonania:

Bazy danych TERMINOLOGIA

ZALICZENIE WYKŁADU: 30.I.2019

WIELOMIANY I FUNKCJE WYMIERNE

Uniwersytet Zielonogórski Instytut Sterowania i Systemów Informatycznych. Ćwiczenie 3 stos Laboratorium Metod i Języków Programowania

Transkrypt:

ŁAD POJĘCIOWY 1 Wprowadzanie i utrzymywanie porządku jest waŝne nie tylko w Ŝyciu codziennym. Z tego powodu w obrębie ogólnej metodologii nauk duŝo miejsca poświęca się procedurom wprowadzania ładu pojęciowego w obrębie badanej dziedziny. Generalnie moŝna wyróŝnić w dyskursie naukowym występowanie pojęć klasyfikacyjnych, porządkujących i typologicznych. Rekonstrukcja ich formalnej struktury zaleŝy od rodzaju operacji, które pozwalają przeprowadzić. Dwie zasadnicze operacje tego rodzaju to podział logiczny (zwany teŝ klasyfikacją) i porządkowanie (zwane teŝ szeregowaniem), które pozwalają na wprowadzanie bardziej zaawansowanych zabiegów, takich jak np. pomiar czy typologia. Operacje te mogą mieć charakter fizyczny lub pojęciowy. Od strony teorii nie ma tutaj zasadniczej róŝnicy, natomiast w praktyce zdecydowanie lepiej jest, jeŝeli podział pojęciowy wyprzedza fizyczną czynność. Podział logiczny Jest to najprostszy sposób wprowadzania ładu w obrębie pewnej dziedziny (np. zakresu danego pojęcia). Aby dany podział określić jako logiczny musi on spełniać co najmniej dwa warunki: a) Warunek adekwatności; suma zbiorów, będących członami podziału musi dawać w rezultacie zbiór dzielony. Innymi słowy, kaŝdy element dzielonego zbioru musi gdzieś być uwzględniony. b) Warunek rozłączności; zbiory, będące członami podziału muszą być parami rozłączne. Czyli, Ŝaden element dzielonego zbioru nie moŝe się znaleźć w więcej niŝ jednym podzbiorze. Do tych dwóch warunków często dodaje się jeszcze c) Warunek niepustości; kaŝdy człon podziału musi coś zawierać. 1

Warto jednak podkreślić, Ŝe w praktyce naukowej nie zawsze jest on przestrzegany i to nie bez racji. Proponowany podział moŝe bowiem nie odwoływać się do aktualnej wiedzy na temat dziedziny, ale bazować na pewnych załoŝeniach teoretycznych, które pozwalają przewidywać istnienie pewnych obiektów, dla których z góry rezerwuje się miejsce. Dobrym przykładem takiego podziału jest układ okresowy pierwiastków - nadal są w nim puste kategorie, ale jest ich obecnie mniej, niŝ w momencie kiedy go zaproponowano, poniewaŝ w ciągu wieloletnich badań odkryto wiele pierwiastków, których istnienie przewidywano. Osoba, która posiada, np. bogaty księgozbiór, który nadal zamierza powiększać i korzystając z przeprowadzki dokonuje tematycznego podziału swoich zbiorów, równieŝ słusznie uczyni pozostawiając trochę pustych miejsc na półkach. Naturalność podziału Często formułuje się jeszcze pewien nieformalny warunek poprawności podziału; wymaga się by był on naturalny. Sprowadza się to do wymagania by relacja między zbiorem dzielonym a członami podziału była relacją między pewnym rodzajem, a jego gatunkami. OtóŜ raz jeszcze trzeba podkreślić względność takiego wymogu. Podział zbioru ksiąŝek według wielkości okładek moŝe być sztuczny dla literaturoznawcy, ale jest bardzo naturalny dla bibliotekarza! ChociaŜ warunki poprawności podziału są proste, to nie zawsze łatwo jest je zrealizować. Ktoś, kto pewien zespół męŝczyzn podzieli np. na katolików, blondynów, inŝynierów i brodatych moŝe (przypadkiem) otrzymać podział logiczny. Jest jednak wysoce prawdopodobne, Ŝe złamie kaŝdy z warunków poprawności, gdyŝ człony tego podziału wydzielone są według róŝnych kryteriów. Jednym ze sposobów zapobiegania takim problemom jest przestrzeganie jednolitości kryteriów podziału (stosowanie jednolitej zasady podziału). 2

Podział dychotomiczny Najprostszym sposobem realizowania podziału logicznego jest podział dychotomiczny. Kryterium podziału jest wtedy pewna cecha wyraŝana przez nazwę o ostrym zakresie, często zwana cechą (bądź pojęciem) klasyfikacyjną. JeŜeli dysponujemy taką cechą, która stosuje się do dzielonego zbioru (cecha bycia zielonym nie stosuje się np. do zbioru liczb), a ponadto nie jest w nim cechą uniwersalną (jak np. cecha bycia ssakiem w zbiorze tygrysów), to wtedy moŝna omawiany zbiór podzielić na dwa człony: zbiór tych jego elementów, które daną cechę posiadają i tych, które jej nie posiadają. Zasada abstrakcji a podział logiczny Pewne cechy uniwersalne w danym zbiorze pozwalają, dla odmiany na wydzielenie większej ilości członów podziału. Np. Zbiór klocków moŝemy podzielić według kryterium koloru bądź kształtu. Zasadą podziału jest wówczas cecha, która w danym zbiorze przyjmuje róŝne wartości (odmiany, stopnie). Odwołanie się do elementarnych pojęć teorii relacji pozwala ściśle określić czym jest zasada podziału. Zachodzi ścisły związek między podziałem dokonywanym w ten sposób a pewną relacją równowaŝności zachodzącą w dzielonym zbiorze. Dana relacja R jest relacją równowaŝności wtedy, gdy spełnia zarazem 3 własności: a) R jest zwrotna, tzn. xrxx b) R jest symetryczna, tzn. xy(rxy Ryx) c) R jest przechodnia, tzn. xyz[(rxy Ryz) Rxz] Zwrotność mówi o tym, Ŝe dana relacja zachodzi między dowolnym obiektem a nim samym. Symetria gwarantuje, Ŝe jeŝeli dana relacja zachodzi między parą obiektów w jedną stronę, to zachodzi teŝ w drugą. Przechodniość dotyczy dziedziczenia relacji; jeŝeli zachodzi ona między pierwszym i drugim obiektem oraz między drugim i trzecim, to zachodzi teŝ między pierwszym a trzecim. Przykładem takiej relacji jest np. relacja identyczności w zbiorze liczb naturalnych. 3

Przy stwierdzaniu, Ŝe dana relacja ma pewną własność naleŝy zawsze określić w jakim zbiorze, gdyŝ własności te nie przysługują relacjom w sensie absolutnym. Przykładowo: relacja wyraŝana predykatem _jest bratem_ w zbiorze męŝczyzn jest symetryczna, ale w zbiorze ludzi nie, gdyŝ, np. jeŝeli prawdą jest, Ŝe Adam jest bratem Beaty., to nie jest prawdą, Ŝe Beata jest bratem Adama. Zbiór na którym określamy daną relację, stanowi w danym kontekście jej uniwersum. W przypadku relacji dwuargumentowych zbiór wszystkich pierwszych argumentów danej relacji to jej dziedzina, a zbiór wszystkich drugich argumentów, to jej przeciwdziedzina. Suma dziedziny i przeciwdziedziny to pole danej relacji. ChociaŜ pojęcie struktury było juŝ przez nas uŝywane wiele razy, to warto je przypomnieć w tym miejscu. Struktura relacyjna, to pewne niepuste uniwersum i zbiór określonych na nim relacji. Ilekroć dla danego zbioru moŝna znaleźć relację równowaŝności, to daje ona efektywny podział logiczny tego zbioru. ZaleŜność ta jest treścią tzw. zasady abstrakcji. W wyŝej wspomnianym zbiorze klocków, relacją, która pozwala na utworzenie podziału jest relacja wyraŝona predykatem "_jest tego samego koloru co_", bądź predykatem "_jest tego samego kształtu co_". Czytelnik łatwo moŝe sprawdzić, Ŝe obie relacje są istotnie równowaŝnościowe (tzn. zwrotne, symetryczne i przechodnie) w zbiorze klocków. Cecha koloru czy kształtu, to cecha wyabstrahowana z takiej relacji, natomiast poszczególne kolory (bądź kształty) to wartości (stopnie, odmiany) tej cechy. Członami podziału stają się wtedy zbiory tych elementów, które przyjmują tę samą wartość danej cechy, a zatem, ze względu na wyabstrahowaną cechę, są w dzielonym zbiorze nierozróŝnialne. Szczególnym przypadkiem podziału niedychotomicznego przeprowadzanego w taki sposób jest zastosowanie jako kryterium podziału pewnej cechy stopniowalnej, czyli takiej, której nasilenie jest w danym zbiorze zmienne. Cechy takie określa się teŝ jako porządkujące, gdyŝ odpowiadają relacjom porządkującym (por. następny temat). JeŜeli dodatkowo dysponujemy pewną skalą pozwalającą mierzyć stopień nasilenia danej cechy u poszczególnych elementów zbioru, to mówimy wtedy o cesze mierzalnej. Np. zbiór osób moŝna podzielić według stopnia 4

zaangaŝowania politycznego, poczucia humoru itp. (cechy stopniowalne), wzrostu, wagi, poziomu wykształcenia (cechy mierzalne). Klasyfikacja Operowanie jednym kryterium przy tworzeniu podziału zazwyczaj daje dosyć banalne wyniki. Aby otrzymać bardziej zaawansowane konstrukcje dobrze jest operować róŝnymi kryteriami podziału. Takie podziały wielopiętrowe, hierarchiczne to klasyfikacje. Przykładowo, zbiór męŝczyzn z pierwszego podziału moŝna poddać czterostopniowej klasyfikacji dychotomicznej z wykorzystaniem podanych tam cech (pod warunkiem, Ŝe Ŝadna z nich nie jest w tym zbiorze uniwersalna). Kolejno dzielimy zbiór na katolików i nie-katolików (kryterium - wyznanie), następnie oba zbiory na inŝynierów i nie-inŝynierów, potem na blondynów i nie-blondynów, wreszcie na brodatych i nie-brodatych. KrzyŜować ze sobą moŝna oczywiście nie tylko podziały dychotomiczne. JeŜeli w przypadku danego kryterium nie mamy pewności, czy uwzględniliśmy wszystkie interesujące klasy, to warto dodać (aby zapewnić adekwatność podziału) człon podziału o etykiecie "inne". W przypadku klasyfikacji wymóg naturalności sprowadza się do tego, Ŝeby jakaś jednolita zasada odpowiadała za hierarchię wprowadzanych podziałów. Taka naturalna klasyfikacja określana jest czasem jako systematyka (np. systematyka Linneusza w biologii, drzewo Porfiriusza w metafizyce arystotelesowskiej). Klasyfikacje wygodnie jest reprezentować w postaci tabel i drzew. Reprezentacja tabelowa najlepiej sprawdza się w przypadku skrzyŝowania ze sobą pary kryteriów. W przypadku większej ilości poziomów podziału reprezentacja tabelowa moŝe okazać się mało czytelna; w takiej sytuacji lepiej sprawdzają się drzewa. Wadą wykresów w postaci drzew jest to, Ŝe jeśli jakieś kryterium stosuje się do wszystkich wyodrębnionych do tej pory członów podziału, to odpowiednie rozgałęzienie trzeba powtarzać na końcu kaŝdej istniejącej gałęzi. 5

Kwalifikacja, segregacja, partycja, dyspozycja Od czynności tworzenia podziału (klasyfikacji) w sensie wyboru odpowiednich kryteriów naleŝy odróŝnić czynność zaliczania konkretnego obiektu do właściwej klasy (członu podziału). Jest to kwalifikacja (w sensie pojęciowym) lub segregacja (w przypadku czynności fizycznej) danego obiektu. Dany podział słuŝy w takim wypadku jako rodzaj planu dla kwalifikacji (segregacji). Na przykład prawnik dokonuje kwalifikacji jakiegoś wykroczenia korzystając z gotowej (w danym systemie prawnym) klasyfikacji czynów sprzecznych z prawem. Jeszcze innego rodzaju zabiegiem jest partycja, czyli wyróŝnienie części składowych w obrębie złoŝonej całości. Partycją jest np. podzielenie bloku mieszkalnego na mieszkania, terytorium kraju na jednostki administracyjne itp. Partycja moŝe być prosta lub piętrowa (odpowiednik klasyfikacji), np. Polska dzieli się na województwa, te na powiaty, itd. Partycja tekstu na rozdziały, podrozdziały, paragrafy itp. jednostki, określana jest jako dyspozycja tekstu. 6