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

Wielkość: px
Rozpocząć pokaz od strony:

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

Transkrypt

1 WYKŁAD 10 definicje pytania 1

2 Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok.13 tel dyŝur: poniedziałki, godz

3 Edward Nieznański, Logika. Podstawy - język - uzasadnianie, Wydawnictwo C.H.Beck, Warszawa,

4 Definicja Czemu słuŝy definiowanie? - określeniu istoty rzeczy (Arystoteles) - określeniu pojęcia (logika tradycyjna) - ustaleniu znaczenia wyraŝenia - objaśnieniu trafnego posługiwania się wyraŝeniem Czy definiowanie to proces odkrywania, czy moŝe tworzenia? 4

5 Podział definicji 1. ze względu na kształt 1.1. równościowa (normalna) to taka definicja, która ma następującą strukturę: definiendum łącznik definicyjny definiens definiendum - to wyraŝenie definiowane (jest nazwą definiowaną lub ją zawiera) definiens - to wyraŝenie definiujące, czyli wyraŝenie przy pomocy którego definiujemy definiens łącznik definicyjny - to funktor zdaniotwórczy od dwóch argumentów (definiendum i definiensa) łącznik definicyjny moŝe mieć następującą postać:, =, wtedy i tylko wtedy, gdy, jest, to, jest to, znaczy tyle samo, co, to tyle, co, znaczy, Ŝe nazywamy, oznacza, denotuje, itp. 5

6 równościowa wyraźna to taka definicja, której definiendum ma postać definiowanej nazwy (nie zawiera innych nie definiowanych w tej definicji wyraŝeń) 1 Kwadrat jest to prostokąt równoboczny 2 Dniem tygodnia jest poniedziałek, wtorek, środa, czwartek, piątek, sobota, niedziela równościowa kontekstowa to taka definicja, która nie jest wyraźna. Oznacza to, Ŝe definiendum poza definiowaną nazwą zawiera takŝe inne nie definiowane w tej definicji wyraŝenia. definiendum A jest dziadkiem B wtedy i tylko wtedy, gdy A jest ojcem ojca B. definiendum definiendum definiowana nazwa definiens definiens X Y x (x X x Y) definiens Wśród definicji równościowych kontekstowych wyróŝnić moŝna dwa szczególne rodzaje definicji: przez abstrakcję oraz przez indukcję. 6

7 równościowa kontekstowa przez abstrakcję to definicja mająca postać: P(a) = P(b) wtw arb, gdzie P to definiowana cecha, a i b to indywidua, a R to relacja równowaŝnościowa na zbiorze indywiduów do którego naleŝą a i b (wykorzystuje przynaleŝność do jakiejś klasy abstrakcji). 1 moc prawna aktu normatywnego a = moc prawna aktu normatywnego b wtw akty normatywne a i b mogą się wzajemnie uchylać. 2 znaczenie a = znaczenie b wtw a i b są równoznaczne równościowa kontekstowa przez indukcję to definicja wykorzystująca zasadę indukcji matematycznej. Parą uporządkowaną nazywamy zbiór dany równością: <a 1,a 2 > = {{a 1 },{a 1,a 2 }}. Niech n N {0,1,2}. n-tką uporządkowaną jest zbiór dany równością: <a 1,...,a n > = <<a 1,...,a n-1 >,a n >. 7

8 1.2. przez postulaty (uwikłana) to definicja, na którą składają się zdania, które spełniają następujące warunki: - kaŝde zdanie zawiera termin definiowany, - pozostałe terminy występujące w kaŝdym ze zdań mają juŝ ustalone znaczenie, - termin definiowany naleŝy rozumieć tak, aby kaŝde ze zdań było zdaniem prawdziwym. Uwaga: Znaczenie terminu definiowanego jest odgadywane z kontekstu ustalonego przez pozostałe terminy występujące w zdaniach. Jest to interpretacja terminu definiowanego. Nie musi być jedyną moŝliwą - moŝliwą interpretacją jest kaŝda, która nie jest sprzeczna. 8

9 Jak w geometrii zdefiniować wyraŝenie... leŝy między... a... aby dotyczyło punktów prostej? WyraŜenie to definiuje się przez postulaty. MoŜna przyjąć trzy następujące: Definicja 1. JeŜeli punkt C leŝy na prostej między punktami A i B, to leŝy on teŝ między punktami B i A. 2. Z trzech punktów A, B i C na prostej jeden i tylko jeden leŝy na tej prostej między dwoma pozostałymi. 3. Jeden z trzech punktów A, B, C na prostej leŝy na tej prostej między dwoma pozostałymi wtedy i tylko wtedy, gdy leŝą one w róŝnych częściach prostej, na które on tę prostą dzieli. A C B Warto zauwaŝyć, Ŝe: Sam postulat pierwszy umoŝliwia interpretację, zgodnie z którą C leŝy między punktami A i B moŝemy rozumieć jak C leŝy po tej samej stronie punktu A co po tej samej stronie punktu B. Dwa pierwsze postulaty umoŝliwiają interpretację, zgodnie z którą C leŝy między punktami A i B moŝemy rozumieć jak C leŝy po lewej stronie punktu A i po lewej stronie punktu B. C A B 9

10 2. ze względu na supozycję wyraŝenia definiowanego 2.1. realna to taka definicja, w której wyraŝenie definiowane występuje w supozycji prostej lub formalnej. Zatem, definicja realna definiuje przedmiot lub zbiór przedmiotów. Popielniczka jest to przedmiot słuŝący do gromadzenia niedopałków papierosów oraz strząsanego z papierosów popiołu. 10

11 2.2. nominalna to taka definicja, w której wyraŝenie definiowane występuje w supozycji materialnej. Zatem, definicja nominalna definiuje wyraŝenie (wyjaśnia znaczenie wyraŝenia) nominalna słownikowa to taka definicja nominalna, w której definiens występuje w supozycji materialnej. Zatem, definicja nominalna słownikowa wyjaśnia znaczenie podając wyraŝenie równoznaczne definiendum nominalna semantyczna to taka definicja nominalna, w której definiens występuje w supozycji prostej lub formalnej. Zatem, definicja nominalna semantyczna wyjaśnia znaczenie wyraŝenia podając jego treść. [2.2.1.] Słowo popielniczka znaczy to samo, co wyraŝenie przedmiot słuŝący do gromadzenia niedopałków papierosów oraz strząsanego z papierosów popiołu. [2.2.2.] Słowo popielniczka oznacza przedmiot słuŝący do gromadzenia niedopałków papierosów oraz strząsanego z papierosów popiołu. 11

12 Uwaga natury erystycznej: Jeśli chcemy przedstawić swój pogląd na daną sprawę tak, aby nie wzbudzał wątpliwości, powinniśmy stosować definicje realne A jest B. Jeśli chcemy przedstawić pogląd przeciwnika tak, aby wzbudzał wątpliwości, powinniśmy stosować definicje nominalne A oznacza B. Chodzi tu o to, Ŝe jeśli coś nazywa się tak a tak, to jasnym jest, Ŝe moŝe nazywać się jakoś inaczej: Wolnością nazywamy... - moŝna więc wolnością nazwać teŝ i coś innego. Jeśli zaś stwierdzimy, Ŝe coś jest tym a tym, to takie wątpliwości mogą się w umyśle słuchacza nie pojawić: Wolnością jest

13 3. ze względu na genezę znaczenia wyraŝenia definiowanego 3.1. sprawozdawcza to taka definicja, która podaje znaczenie definiendum zgodne z obowiązującą konwencją znaczeniową. Zatem, definicja sprawozdawcza zdaje sprawę ze znaczenia jakie posiada definiendum, odtwarza to znaczenie, przypomina je. Popielniczka jest to przedmiot słuŝący do gromadzenia niedopałków papierosów oraz strząsanego z papierosów popiołu. 13

14 3.2. projektująca to taka definicja, która nadaje nowe lub zmienia dotychczasowe znaczenie definiendum konstrukcyjna to taka definicja, która nadaje nowe znaczenie definiendum. y Popielniczka jest to człowiek, którego oddech nasycony jest zapachem wypalonych papierosów. Smark jest to polityk nie mający, ani prawniczego, ani ekonomicznego wykształcenia, który będąc w opozycji jest histerykiem i chamem, a po dojściu do władzy jest obibokiem i nieudolnym pajacem regulująca to taka definicja, która częściowo zmienia dotychczasowe znaczenie definiendum (zupełna zmiana znaczenia, to przecieŝ nadanie nowego znaczenia). Najczęściej, definicja regulująca ma za zadanie wyostrzyć (uściślić) znaczenie wyraŝeń nieostrych. Pełnoletni jest to osoba fizyczna, która ukończyła 18-sty rok Ŝycia, lub kobieta, która ukończyła co najmniej 16 lat i za zgodą sądu opiekuńczego zawarła małŝeństwo. 14

15 4. ze względu na zakres stosowalności definicji 4.1. zupełna (bezwarunkowa) to definicja podająca warunek, który jest zarazem konieczny i wystarczający (dostateczny) na to, aby dany obiekt mógł zostać uznany za desygnat definiendum. Nie istnieją warunki ograniczające stosowanie definicji zupełnej. x (A(x) K(x)) K jest warunkiem zarazem koniecznym i wystarczającym na to, aby jakiś przedmiot moŝna było nazwać A (zaliczyć do gatunku A). 15

16 Przypomnienie: K jest warunkiem wystarczającym (dostatecznym) zajścia A, jeśli zajście K pociąga za sobą zajście A: x (K(x) A(x)). Warunkiem wystarczającym wyłączenia sędziego ze sprawy (A) jest to, Ŝe pozostaje on w stosunku pokrewieństwa z jedną ze stron w tej sprawie (K). K jest warunkiem koniecznym zajścia A, jeśli z faktu, iŝ zaszło A wynika, Ŝe zaszło K (tzn. nie moŝe być tak, aby zaszło A i nie zaszło K) * : x (A(x) K(x)). Warunkiem koniecznym wymierzenia komuś kary pozbawienia wolności (A) jest uznanie go za winnego popełnienia przestępstwa (K). * Pamiętajmy, Ŝe nie jest moŝliwe P = konieczne nie-p. W szczególności więc, nie jest moŝliwe A i nie-k = konieczne jest, Ŝe jeśli A to K. 16

17 4.2. niezupełna (warunkowa, częściowa) to taka definicja, która podaje warunki konieczny i dostateczny na to, aby dany obiekt mógł zostać uznany za desygnat definiendum, jednak warunki te nie wyczerpują wszystkich moŝliwości. x (K 1 (x) A(x)) x (K 2 (x) A(x)) x (K 1 (x) K 2 (x)) K 1 jest tu warunkiem wystarczającym zajścia A K 2 jest tu warunkiem koniecznym zajścia A Uwaga: Kryterium K 1 nie musi wyczerpywać wszystkich przypadków, w których zachodzi A. Podobnie, kryterium K 2 nie musi wyczerpywać wszystkich przypadków, w których nie zachodzi A. Jeśli A jest nazwą nieostrą, ani K 1, ani K 2 nie wyczerpują wspomnianych przypadków. Szczególnym przypadkiem definicji częściowej jest definicja ostensywna (deiktyczna), czyli definicja przez wskazanie. Wypowiedzeniu to jest drzewo towarzyszy wskazanie ręką lub odpowiednim innym gestem, np. głowy, na jakieś konkretne drzewo. Wygląd tego drzewa ustala wybiórczo, a więc częściowo kryteria stosowalności słowa drzewo. 17

18 Definicja klasyczna Jest ona szczególnym przypadkiem definicji zarazem równościowej wyraźnej i realnej. Definicją klasyczną nazywamy definicję równościową wyraźną danego gatunku przez podanie dla niego rodzaju oraz róŝnicy gatunkowej: definitio fit per genus et differentiam specificam Zatem, definiendum jest nazwą gatunku, zaś definiens zawiera nazwę rodzaju oraz podaje róŝnicę gatunkową, czyli tę cechę (ew. zespół cech) która wyróŝnia spośród przedmiotów tego rodzaju wszystkie i tylko przedmioty gatunku. Zazwyczaj jest to cecha, którą posiadają wszystkie i tylko te przedmioty rodzaju, które naleŝą do definiowanego gatunku. Bursztyn jest to skamieniała Ŝywica. bursztyn to gatunek Ŝywica to rodzaj skamieniała to róŝnica gatunkowa definiendum definiens rodzaj gatunek 18

19 Uwaga Nazwy gatunek i rodzaj są tu wykorzystywane jedynie w tym sensie, Ŝe nazwa określająca gatunek jest podrzędna wobec nazwy określającej rodzaj. Jest to jedyne kryterium stosowalności w definicji klasycznej nazw gatunek i rodzaj. W definicjach Człowiek jest to zwierzę rozumne oraz Blondyn jest to człowiek mający jasne włosy nazwa człowiek występuje jako nazwa gatunku (w pierwszej definicji) oraz jako nazwa rodzaju (w drugiej definicji). W prawidłowo zbudowanej definicji klasycznej nazwa definiowanego gatunku jest nazwą iloczynu dwóch krzyŝujących się nazw: rodzaju oraz róŝnicy gatunkowej: ssak człowiek coś co posiada rozum 19

20 Definicja klasyczna moŝe mieć postać naturalną, finalną i genetyczną. Definicja klasyczna jest definicją - naturalną, gdy róŝnica gatunkowa wskazuje na cechy istotne, charakterystyczne dla natury definiowanego gatunku; KsiąŜka telefoniczna jest to ksiąŝka zawierająca spis abonentów telefonicznych wraz z numerami ich telefonów. - finalną, gdy róŝnica gatunkowa wskazuje do czego słuŝy, do czego jest uŝywany przedmiot będący desygnatem definiowanego gatunku; Kasownik jest to urządzenie słuŝące do aktualnej drukowania daty i godziny na bilecie. - genetyczna, gdy róŝnica gatunkowa opisuje powstawanie lub pochodzenie przedmiotu będącego desygnatem definiowanego gatunku. Mgła jest to zjawisko atmosferyczne, które powstaje, gdy powietrze nasycone parą wodną zostaje nagle ochłodzone. [w powyŝszych przykładach podkreślone zostały róŝnice gatunkowe] 20

21 Błędy definiowania Błędy zakresowe definiowania (są to błędy logiczne): 1. Definicja jest za szeroka jeśli definiendum jest nazwą podrzędną wobec definiensa. : Prokurator jest to pracownik prokuratury. 2. Definicja jest za wąska jeśli definiendum jest nazwą nadrzędną wobec definiensa. : Zwykły ołówek to przyrząd do pisania złoŝony z pręcika grafitu umieszczonego w niebieskiej oprawce z cedrowego drzewa. 3. Błąd krzyŝowania się zakresów definiendum i definiensa. : Stoper to urządzenie elektroniczne słuŝące do pomiaru czasu. 4. Błąd rozłączności zakresów definiendum i definiensa. Dość trudny do popełnienia, chyba Ŝe ma postać przesunięcia kategorialnego. Błąd przesunięcia kategorialnego polega na tym, Ŝe definiendum i definiens reprezentują róŝne kategorie ontologiczne. : Czerwienią (C) nazywamy kaŝdą rzecz czerwoną (R). MoŜna wyróŝnić następujące kategorie ontologiczne: rzeczy (R), cechy (C), zbiory (Z) i sytuacje (S). 21

22 Inne błędy definiowania: 1. Błąd nieznane przez nieznane (ignotum per ignotum) ma miejsce wówczas, gdy odbiorca definicja (traktowanej jako przekaz informacyjny) nie rozumie nie tylko znaczenia definiendum ale i znaczenia definiensa. (nie jest to błąd logiczny) : Dusza jest entelechią lub pierwszą formą uorganizowanego ciała, które posiada Ŝycie potencjalne. 22

23 2. Błędne koło w definiowaniu (jest to błąd logiczny) 2.1. pośrednie (idem per idem): definiowany termin A występuje w definiensie (A to A). : Policja ruchu drogowego jest to policja, która strzeŝe porządku ruchu drogowego pośrednie: ma miejsce wówczas, gdy jakiś ciąg terminów, z których kaŝdy następny słuŝy zdefiniowaniu poprzedniego ma tę własność, Ŝe ostatni z tego ciągu termin jest definiowany przy wykorzystaniu pierwszego (A 1 to A 2, A 2 to A 3,..., A n to A n+1, A n+1 to A 1 ) : Czyn nakazany jest to czyn dozwolony i obowiązkowy zarazem. Czyn obowiązkowy to czyn nakazany lub zakazany. 23

24 3. Pleonazm definisna - definiens jest wyraŝeniem pleonastycznym (nie jest to błąd logiczny) : Człowiek jest to zwierzę rozumne zdolne do tworzenia pojęć, formułowania sądów i wyciągania wniosków. 24

25 Pytania Schemat odpowiedzi zwany datum quaestionis (dana pytajna) jest wyznaczony przez kształt zdania pytajnego, które tworzy partykuła pytajna oraz fragment zdania oznajmującego lub całe zdanie oznajmujące. pytanie datum queaestionis Kto zabił Cezara? Cezara zabił x Kto i kiedy zabił Cezara Cezara zabił x w [czasie] y gdzie zakresem zmiennej x jest zbiór ludzi, zaś zakresem zmiennej y zbiór dat. Odpowiedzią właściwą na pytanie jest podstawienie za [wszystkie] zmienne w datum quaestionis nazw obiektów naleŝących do zakresów zmiennych. datum queaestionis odpowiedź właściwa Cezara zabił x Cezara zabił Brutus. Cezara zabił Kasjusz. Cezara zabił Stefan N. Cezara zabił x w [czasie] y Cezara zabił Brutus 15-go marca 44 roku p.n.e. Cezara zabił Kasjusz 11-go marca 24 roku p.n.e. Cezara zabił Stefan N. 1-go maja 2008 roku. Zakresy zmiennych są wyznaczone przez partykuły pytajne: kto, czyj, kiedy, gdzie, jak, itd. (a właściwie to przez całe pytanie Kto jest polskim pisarzem XIX wieku? ) 25

26 Uwaga oczywista: odpowiedź właściwa odpowiedź prawdziwa 26

27 Pytania rozstrzygnięcia (dopełnienia) według Ajdukiewicza i innych Pytanie rozstrzygnięcia to pytanie, którego partykułą pytajną jest czy oraz pytania dające się do takiego pytania sprowadzić. Pozostałe pytania, to pytania dopełnienia. Czy ty lubisz truskawki? - Tak (ew. Tak, lubię truskawki ) Czy Brutus zabił Cezara? Na kaŝde pytanie rozstrzygnięcia istnieją tylko dwie moŝliwe odpowiedzi właściwe: twierdząca Tak (ew. Tak,... ) oraz przecząca Nie (ew. Nie,... ). Pytania rozstrzygnięcia (dopełnienia) według Ziembińskiego Pytanie rozstrzygnięcia to pytanie, na które odpowiedź wymaga dokonania wyboru jednej spośród moŝliwych opcji. Inne pytania, to pytania dopełnienia. Czy na ostatniej olimpiadzie najwięcej medali zdobyli sportowcy USA, czy Chin, czy Rosji? Odpowiedź wymaga dokonania wyboru jednego tylko kraju. Na pytanie rozstrzygnięcia nie muszą istnieć tylko dwie moŝliwe odpowiedzi właściwe. Tych odpowiedzi moŝe być więcej niŝ dwie. 27

28 Pytanie dopełnienia moŝe mieć postać otwartą lub zamkniętą: Zamkniętą postać ma pytanie na które istnieje odpowiedź właściwa. Otwartą postać ma pytanie na które odpowiedź wymaga wypowiedzi opisowej. Przedstawione na poprzedniej stronie pytania to pytania dopełnienia. Wszystkie one mają datum quaestionis i mają postać zamkniętą. pytania dopełnienia o postaci otwartej: Jakie czynniki wpłynęły na wybuch pierwszej wojny światowej? Uwaga: W przypadku pytania rozstrzygnięcia konstrukcja datum quaetsionis jest sztuczna i dlatego przyjmiemy, Ŝe jej nie ma. 28

29 ZałoŜenia pytania Pozytywne załoŝenie pytania to stwierdzenie, Ŝe przynajmniej jedna odpowiedź właściwa na to pytanie jest prawdą. Zatem, pozytywne załoŝenie pytania jest równowaŝne alternatywie wszystkich odpowiedzi właściwych na to pytanie (alternatywa [wielokrotna] zdań jest prawdziwa wtw przynajmniej jedno z nich jest prawdziwe). Negatywne załoŝenie pytania to stwierdzenie, Ŝe przynajmniej jedna odpowiedź właściwa na to pytanie nie jest prawdą. Zatem, pozytywne załoŝenie pytania jest równowaŝne alternatywie negacji wszystkich odpowiedzi właściwych na to pytanie. Pytanie właściwie postawione to takie, którego zarówno załoŝenie pozytywne i jak negatywne jest zdaniem prawdziwym. W przeciwnym razie mamy pytanie niewłaściwie postawione. W jaki sposób zamordował pan swoją sąsiadkę? Pozytywne załoŝenie stwierdza, Ŝe istnieje metoda którą pytana osoba zamordowała sąsiadkę. Negatywne załoŝenie stwierdza, Ŝe istnieje metoda którą pytana osoba nie zamordowała sąsiadki. Jeśli któreś z tych załoŝeń nie jest prawdą, pytanie jest niewłaściwie postawione. 29

30 Odpowiedź znosi pozytywne załoŝenie pytania jeśli jest zdaniem będącym negacją pozytywnego załoŝenia tego pytania. W jaki sposób zabił pan swoja sąsiadkę? Odpowiedź znosząca pozytywne załoŝenie pytania: Ja nie zabiłem swojej sąsiadki [czyli, Nie istnieje sposób, w jaki zabiłem swoja sąsiadkę ] Odpowiedź znosi negatywne załoŝenie pytania jeśli jest zdaniem będącym negacją negatywnego załoŝenia pytania. Którym narzędziem z drewnianej skrzynki uderzył pan swoja sąsiadkę? Odpowiedź znosząca negatywne załoŝenie pytania: Moja sąsiadkę udzerzyłem kazdym narzędziem z drewnianej skrzynki [czyli, Nie istnieje narzędzie, którym nie uderzyłem mojej sąsiadki ] Oczywiście: Pytanie źle postawione z powodu fałszywości pozytywnego załoŝenia, ma to do siebie, Ŝe jedyną moŝliwą prawdziwą odpowiedzią na nie jest odpowiedź znosząca jego pozytywne załoŝenie. 30

31 Dzięki swoim pozytywnym i negatywnym załoŝeniom, pytania mogą pełnić funkcję informującą. Jeśli nie wiemy o ślubie Jana, to pytanie Kiedy Jan się oŝenił? informuje nas o tym fakcie. Pytanie sugestywne to pytanie stawiane w celu udzielenia lub zasugerowania osobie pytanej informacji, jakiej osoba ta nie ma. : Czy ten męŝczyzna, który uciekał, miał na głowie brązowy kapelusz? Z definicji pytania sugestywnego wynika, Ŝe sugestywne będzie kaŝde pytanie, którego postawieniu towarzyszą odpowiednie gesty, akcent. Pytanie sugestywne złośliwe jest to pytanie sugerujące odpowiedź fałszywą. Pytanie podchwytliwe to takie, które ma skłonić pytającego do udzielenia odpowiedzi sprzecznej z innymi jego stwierdzeniami lub do wypowiedzenia czegoś, co chce on zataić. 31

32 Rodzaje odpowiedzi Odpowiedź niewłaściwa to odpowiedź, która nie jest właściwa. Odpowiedź na dane pytanie jest całkowita, jeśli jest zdaniem, z którego wynika (niekoniecznie logicznie) przynajmniej jedna odpowiedź właściwa na to pytanie. Wniosek: Odpowiedź właściwa jest całkowita (bo z A wynika A). Nazywamy ja całkowitą wprost. Czy wieloryb jest rybą? Odpowiedź całkowita niewprost: Wieloryb jest ssakiem. Odpowiedź na dane pytanie jest częściowa, jeśli jest zdaniem, z którego nie wynika Ŝadna odpowiedź właściwa na to pytanie, ale prawdziwość tego zdania wyklucza niektóre spośród wszystkich odpowiedzi właściwych. Kto z was krzyczał? pyta nauczycielka dzieci w klasie, z której dochodził krzyk. Odpowiedź częściowa: śadna z dziewczynek nie krzyczała. 32

33 [Ajdukiewicz] Odpowiedź jest wyczerpująca jeśli jest zdaniem prawdziwym, z którego wynika kaŝda prawdziwa odpowiedź właściwa. [jak to łatwo powiedzieć ] Odpowiedź jest niewyczerpująca, jeśli nie jest wyczerpująca. 33

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. 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

Bardziej szczegółowo

Wstęp do logiki. O definiowaniu

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

Bardziej szczegółowo

mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba

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,

Bardziej szczegółowo

Wprowadzenie do logiki Definicje część 3

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?

Bardziej szczegółowo

Wstęp do logiki. Pytania i odpowiedzi

Wstęp do logiki. Pytania i odpowiedzi Wstęp do logiki Pytania i odpowiedzi 1 Pojęcie pytania i odpowiedzi DEF. 1. Pytanie to wyrażenie, które wskazuje na pewien brak w wiedzy subiektywnej lub obiektywnej i wskazuje na dążenie do uzupełnienia

Bardziej szczegółowo

Wprowadzenie do logiki Definicje część 1

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

Bardziej szczegółowo

Budowa definicji równościowej

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

Bardziej szczegółowo

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 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ą

Bardziej szczegółowo

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 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ń.

Bardziej szczegółowo

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

DEFINICJE. Definicja krótkie określenie czegoś (można określać przedmiot lub wyraz lub wyrażenie). DEFINICJE Definicja krótkie określenie czegoś (można określać przedmiot lub wyraz lub wyrażenie). Czyli: definicja to określenie zmierzające do jednoznacznej charakterystyki jakiegoś przedmiotu (rzeczy)

Bardziej szczegółowo

Wprowadzenie do logiki Podział logiczny. Definicje

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:

Bardziej szczegółowo

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

LOGIKA Definicje. Robert Trypuz. 22 października 2013. Katedra Logiki KUL. Robert Trypuz (Katedra Logiki) Definicje 22 października 2013 1 / 39 LOGIKA Definicje Robert Trypuz Katedra Logiki KUL 22 października 2013 Robert Trypuz (Katedra Logiki) Definicje 22 października 2013 1 / 39 Plan wykładu 1 Wprowadzenie 2 Definicja realna 3 Definicja nominalna

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

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

Bardziej szczegółowo

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ół

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ół Nazwa spełnia istotną rolę w języku, gdyŝ umoŝliwia proces identyfikowania róŝnych obiektów i z tego powodu nazwa jest podstawowym składnikiem wypowiedzi. Nazwa jest to wyraz albo wyraŝenie rozumiane jednoznacznie,

Bardziej szczegółowo

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

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ść

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a tak jest alboŝe tak a tak nie jest. Wartość logiczna zdania jest czymś obiektywnym, to

Bardziej szczegółowo

ćwiczenia 15 zaliczenie z oceną

ć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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

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:

Bardziej szczegółowo

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 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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

PODZIAŁ LOGICZNY. Zbiór Z. Zbiór A. Zbiór B Fragment książki Jarosława Strzeleckiego Logika z wyobraźnią. Wszelki uwagi merytoryczne i stylistyczne proszę kierować pod adres jstrzelecki@uwm.edu.pl PODZIAŁ LOGICZNY I. DEFINICJA: Podziałem logicznym

Bardziej szczegółowo

PODSTAWY SZTUCZNEJ INTELIGENCJI

PODSTAWY SZTUCZNEJ INTELIGENCJI Katedra Informatyki Stosowanej Politechnika Łódzka PODSTAWY SZTUCZNEJ INTELIGENCJI Laboratorium PROGRAMOWANIE SYSTEMÓW EKSPERTOWYCH Opracowanie: Dr hab. inŝ. Jacek Kucharski Dr inŝ. Piotr Urbanek Cel ćwiczenia

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw WYKŁAD 8 klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro,

Bardziej szczegółowo

Programowanie deklaratywne

Programowanie deklaratywne Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne

Bardziej szczegółowo

Wymagania edukacyjne niezbędne do otrzymania przez ucznia śródrocznych i rocznych ocen klasyfikacyjnych. z przedmiotu etyka

Wymagania edukacyjne niezbędne do otrzymania przez ucznia śródrocznych i rocznych ocen klasyfikacyjnych. z przedmiotu etyka Wymagania edukacyjne niezbędne do otrzymania przez ucznia śródrocznych i rocznych ocen klasyfikacyjnych z przedmiotu etyka Klasa 5, rok szkolny 2017/2018 dr Grzegorz Rostkowski Odniesienia do podstawy

Bardziej szczegółowo

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. 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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

PYTANIA I ODPOWIEDZI. Pytania i ich funkcja

PYTANIA I ODPOWIEDZI. Pytania i ich funkcja PYTANIA I ODPOWIEDZI Pytanie stanowi językowy wyraz sytuacji problemowej. Istnieją bardzo zaawansowane technicznie wersje logiki pytań (np. Kubiński, Belnap). Tutaj ograniczymy się do omówienia w nieformalny

Bardziej szczegółowo

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

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

Bardziej szczegółowo

LOGIKA Klasyczny Rachunek Zdań

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ć

Bardziej szczegółowo

Definicja pochodnej cząstkowej

Definicja pochodnej cząstkowej 1 z 8 gdzie punkt wewnętrzny Definicja pochodnej cząstkowej JeŜeli iloraz ma granicę dla to granicę tę nazywamy pochodną cząstkową funkcji względem w punkcie. Oznaczenia: Pochodną cząstkową funkcji względem

Bardziej szczegółowo

LOGIKA: WIELKA KSIĘGA PYTAŃ I ODPOWIEDZI EDYCJA I: ROK 2009

LOGIKA: WIELKA KSIĘGA PYTAŃ I ODPOWIEDZI EDYCJA I: ROK 2009 LOGIKA: WIELKA KSIĘGA PYTAŃ I ODPOWIEDZI EDYCJA I: ROK 2009 SPIS TREŚCI: TEORIA NAZW [2] / TEORIA DEFINICJI [12] / TEORIA PYTAŃ [19] / TEORIA WNIOSKOWAŃ [23] / KATEGORIE SYNTAKTYCZNE [27] / INNE [29].

Bardziej szczegółowo

Instrukcja warunkowa i złoŝona.

Instrukcja warunkowa i złoŝona. Instrukcja warunkowa i złoŝona. Budowa pętli warunkowej. JeŜeli mielibyśmy przetłumaczyć instrukcję warunkową to brzmiałoby to mniej więcej tak: jeŝeli warunek jest spełniony, to wykonaj jakąś operację

Bardziej szczegółowo

Klasyczny rachunek zdań 1/2

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

Bardziej szczegółowo

Metoda Tablic Semantycznych

Metoda Tablic Semantycznych Procedura Plan Reguły Algorytm Logika obliczeniowa Instytut Informatyki Plan Procedura Reguły 1 Procedura decyzyjna Logiczna równoważność formuł Logiczna konsekwencja Procedura decyzyjna 2 Reguły α, β,

Bardziej szczegółowo

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

P r a w d o p o d o b i eństwo Lekcja 1 Temat: Lekcja organizacyjna. Program. Kontrakt. P r a w d o p o d o b i eństwo Lekcja 1 Temat: Lekcja organizacyjna. Program. Kontrakt. Lekcja 2 Temat: Podstawowe pojęcia związane z prawdopodobieństwem. Str. 10-21 1. Doświadczenie losowe jest to doświadczenie,

Bardziej szczegółowo

CZY PYTANIE MUSI MIEĆ ZNAK ZAPYTANIA? O SPOSOBACH FORMUŁOWANIA PYTAŃ PRZEZ DZIECI

CZY PYTANIE MUSI MIEĆ ZNAK ZAPYTANIA? O SPOSOBACH FORMUŁOWANIA PYTAŃ PRZEZ DZIECI Małgorzata Dagiel CZY PYTANIE MUSI MIEĆ ZNAK ZAPYTANIA? O SPOSOBACH FORMUŁOWANIA PYTAŃ PRZEZ DZIECI Edukacja językowa na poziomie klas początkowych jest skoncentrowana na działaniach praktycznych dzieci.

Bardziej szczegółowo

Przedmiotowy System Oceniania Fizyka z Astronomią

Przedmiotowy System Oceniania Fizyka z Astronomią Przedmiotowy System Oceniania Fizyka z Astronomią I. Postanowienia ogólne 1. Nauczyciel ocenia wiedzę i umiejętności ucznia w sposób pisemny jak i ustny zgodnie z Wewnątrzszkolnym Systemem Oceniania i

Bardziej szczegółowo

Kultura logiczna Klasyczny rachunek zdań 1/2

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

Bardziej szczegółowo

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

Relacje. Zdania opisujące stosunki dwuczłonowe mają ogólny wzór budowy: xry, co czytamy: x pozostaje w relacji R do y. Zdania stwierdzające relację Pewne wyrazy i wyraŝenia wskazują na stosunki, czyli relacje, jakie zachodzą między róŝnymi przedmiotami. Do takich wyrazów naleŝą m. in. wyrazy: nad, pod, za, przy, braterstwo,

Bardziej szczegółowo

Klasyczne zdania kategoryczne

Klasyczne zdania kategoryczne Klasyczne zdania kategoryczne Elementy logiki i metodologii nauk spotkanie III Bartosz Gostkowski Poznań, 20 X 09 Plan wykładu: Podział zdań z uwagi na funkcję logiczną operatora jest Zdania kategoryczne

Bardziej szczegółowo

Sylabus dla przedmiotu Logika i ogólna metodologia nauk

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

Bardziej szczegółowo

Logiczne podstawy prawoznawstwa

Logiczne podstawy prawoznawstwa Logiczne podstawy prawoznawstwa Piotr Łukowski Katedra Logiki i Metodologii Nauk Uniwersytet Łódzki 1 Literatura [1] Kazimierz Ajdukiewicz, Logika pragmatyczna, PWN, Warszawa 1965. [2] Zygmunt Ziembiński,

Bardziej szczegółowo

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Ć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

Bardziej szczegółowo

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

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

Bardziej szczegółowo

Zdrowie jako sprawność i jakość u Tomasza z Akwinu

Zdrowie jako sprawność i jakość u Tomasza z Akwinu Zdrowie jako sprawność i jakość u Tomasza z Akwinu Wstęp Zdrowie to pozytywny stan samopoczucia fizycznego, psychicznego i społecznego, a nie tylko brak choroby lub niedomaganie (Światowa Organizacja Zdrowia

Bardziej szczegółowo

Komu przysługuje Karta DuŜej Rodziny?

Komu przysługuje Karta DuŜej Rodziny? Komu przysługuje Karta DuŜej Rodziny? Karta DuŜej Rodziny przyznawana jest rodzinie, która utrzymuje przynajmniej trójkę dzieci. Dotyczy to takŝe rodzin zastępczych oraz rodzinnych domów dziecka. Karta

Bardziej szczegółowo

ZGŁOSZENIE ZBIORU DANYCH DO REJESTRACJI GENERALNEMU INSPEKTOROWI OCHRONY DANYCH OSOBOWYCH

ZGŁOSZENIE ZBIORU DANYCH DO REJESTRACJI GENERALNEMU INSPEKTOROWI OCHRONY DANYCH OSOBOWYCH Dz. U. z 2008 r. Nr 229, poz. 1536 WZÓR ZGŁOSZENIE ZBIORU DANYCH DO REJESTRACJI GENERALNEMU INSPEKTOROWI OCHRONY DANYCH OSOBOWYCH * zgłoszenie zbioru na podstawie art. 40 ustawy z dnia 29 sierpnia 1997

Bardziej szczegółowo

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

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa. Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna

Bardziej szczegółowo

Elementy logiki matematycznej

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Wniosek o zmianę imienia i nazwiska

Wniosek o zmianę imienia i nazwiska Wniosek o zmianę imienia i nazwiska Informacje ogólne Kto moŝe wnioskować Zmiana imienia lub nazwiska moŝe nastąpić na wniosek kaŝdego obywatela polskiego oraz cudzoziemca nie posiadającego obywatelstwa

Bardziej szczegółowo

wypowiedzi inferencyjnych

wypowiedzi inferencyjnych Wnioskowania Pojęcie wnioskowania Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania

Bardziej szczegółowo

Paradoksy log o i g czne czn i inne 4 marca 2010

Paradoksy log o i g czne czn i inne 4 marca 2010 Paradoksy logiczne i inne 4 marca 2010 Paradoks Twierdzenie niezgodne z powszechnie przyjętym mniemaniem, rozumowanie, którego elementy są pozornie oczywiste, ale wskutek zawartego w nim błędu logicznego

Bardziej szczegółowo

Operacjonalizacja zmiennych

Operacjonalizacja zmiennych Metodologia badań naukowych - wykład 2 Operacjonalizacja zmiennych Pojęcie zmiennej Definiowanie zmiennych w planie badania Mierzenie. Skale mierzenia Pojęcie wskaźnika. Dobór wskaźnika dla zmiennej Kryteria

Bardziej szczegółowo

Naukoznawstwo (Etnolingwistyka V)

Naukoznawstwo (Etnolingwistyka V) Naukoznawstwo (Etnolingwistyka V) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 3 XI 2007 Jerzy Pogonowski (MEG) Naukoznawstwo (Etnolingwistyka V) 3 XI 2007 1 / 58

Bardziej szczegółowo

1.UKŁADY RÓWNAŃ LINIOWYCH

1.UKŁADY RÓWNAŃ LINIOWYCH UKŁADY RÓWNAŃ 1.UKŁADY RÓWNAŃ LINIOWYCH Układ: a1x + b1y = c1 a x + by = c nazywamy układem równań liniowych. Rozwiązaniem układu jest kaŝda para liczb spełniająca kaŝde z równań. Przy rozwiązywaniu układów

Bardziej szczegółowo

Wstęp do prawoznawstwa. 2) Normy postępowania a normy prawne

Wstęp do prawoznawstwa. 2) Normy postępowania a normy prawne Wstęp do prawoznawstwa 2) Normy postępowania a normy prawne 1 Zagadnienia organizacyjne Adrian Zając adrian.zajac@uwr.edu.pl Katedra Teorii i Filozofii Prawa Sprawdzian 1. - 6 listopada 2 Przepisy - zadanie

Bardziej szczegółowo

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ń 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

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 13. metodologia nauk

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 13. metodologia nauk WYKŁAD 13 metodologia nauk 1 Uwaga organizacyjna (oczywista): Na egzamin przychodzimy z indeksem. Warunkiem przystąpienia do egzaminu jest wpis zaliczający ćwiczenia. Osoba nie mająca przy sobie indeksu

Bardziej szczegółowo

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

Filozofia, Historia, Wykład V - Filozofia Arystotelesa Filozofia, Historia, Wykład V - Filozofia Arystotelesa 2010-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Podział nauk Arystoteles podzielił wszystkie dyscypliny wiedzy na trzy grupy:

Bardziej szczegółowo

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

Wybrane informacyjne problemy definiowania zrównoważonego i trwałego rozwoju ujęcie teoretyczne Prof. dr hab. Stanisław Czaja Dr inż. Agnieszka Becla Uniwersytet Ekonomiczny we Wrocławiu Wybrane informacyjne problemy definiowania zrównoważonego i trwałego rozwoju ujęcie teoretyczne Różnorodność pojęć

Bardziej szczegółowo

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

Doświadczalnictwo leśne. Wydział Leśny SGGW Studia II stopnia Doświadczalnictwo leśne Wydział Leśny SGGW Studia II stopnia Treści i efekty kształcenia Treści: Statystyka matematyczna, planowanie eksperymentu Efekty kształcenia: student potrafi opisywać zjawiska za

Bardziej szczegółowo

Logika dla prawników

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

Bardziej szczegółowo

Rozporządzenie Ministra Spraw Wewnętrznych i Administracji 1) z dnia 11 grudnia 2008 r.

Rozporządzenie Ministra Spraw Wewnętrznych i Administracji 1) z dnia 11 grudnia 2008 r. Dz. U. z 2008 r. Nr 229, poz. 1536 Rozporządzenie Ministra Spraw Wewnętrznych i Administracji 1) z dnia 11 grudnia 2008 r. w sprawie wzoru zgłoszenia zbioru danych do rejestracji Generalnemu Inspektorowi

Bardziej szczegółowo

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

Rekurencje. Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie: Rekurencje Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie: T(n) = Θ(1) (dla n = 1) T(n) = 2 T(n/2) + Θ(n) (dla n

Bardziej szczegółowo

Drzewa Decyzyjne, cz.2

Drzewa Decyzyjne, cz.2 Drzewa Decyzyjne, cz.2 Inteligentne Systemy Decyzyjne Katedra Systemów Multimedialnych WETI, PG Opracowanie: dr inŝ. Piotr Szczuko Podsumowanie poprzedniego wykładu Cel: przewidywanie wyniku (określania

Bardziej szczegółowo

Laboratorium nr 5. Temat: Funkcje agregujące, klauzule GROUP BY, HAVING

Laboratorium nr 5. Temat: Funkcje agregujące, klauzule GROUP BY, HAVING Laboratorium nr 5 Temat: Funkcje agregujące, klauzule GROUP BY, HAVING Celem ćwiczenia jest zaprezentowanie zagadnień dotyczących stosowania w zapytaniach języka SQL predefiniowanych funkcji agregujących.

Bardziej szczegółowo

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

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"

Bardziej szczegółowo

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

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;

Bardziej szczegółowo

Elementy logiki i teorii mnogości

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

Bardziej szczegółowo

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 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

Bardziej szczegółowo

Systemy rozgrywek sportowych OGÓLNE ZASADY ORGANIZOWANIA ROZGRYWEK SPORTOWYCH

Systemy rozgrywek sportowych OGÓLNE ZASADY ORGANIZOWANIA ROZGRYWEK SPORTOWYCH Systemy rozgrywek sportowych OGÓLNE ZASADY ORGANIZOWANIA ROZGRYWEK SPORTOWYCH Rozgrywki sportowe moŝna organizować na kilka róŝnych sposobów, w zaleŝności od liczby zgłoszonych druŝyn, czasu, liczby boisk

Bardziej szczegółowo

Logika pragmatyczna dla inżynierów

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

Bardziej szczegółowo

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

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

Bardziej szczegółowo

Rachunek zdań i predykatów

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)

Bardziej szczegółowo

MINISTER EDUKACJI NARODOWEJ

MINISTER EDUKACJI NARODOWEJ MINISTER EDUKACJI NARODOWEJ DKOW-ZF-0401-70/2012 Szanowny Pan Bogdan Borusewicz Marszałek Senatu Rzeczypospolitej Polskiej odpowiadając na oświadczenie Pana Senatora Jana Marii Jackowskiego (nr BPS/043/07-229/12)

Bardziej szczegółowo

Logika dla archeologów Część 5: Zaprzeczenie i negacja

Logika dla archeologów Część 5: Zaprzeczenie i negacja Logika dla archeologów Część 5: Zaprzeczenie i negacja Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zaprzeczenie 2 Negacja 3 Negacja w logice Sprzeczne grupy

Bardziej szczegółowo

INWENTARYZACJA W PROGRAMIE INTEGRA

INWENTARYZACJA W PROGRAMIE INTEGRA INWENTARYZACJA W PROGRAMIE INTEGRA Niniejszy dokument przedstawia zasady przeprowadzania Inwentaryzacji w programie Integra. Przydatną funkcją jest moŝliwość tworzenia arkuszy inwentaryzacyjnych wykorzystywanych

Bardziej szczegółowo

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

Zmienne powłoki. Wywołanie wartości następuje poprzez umieszczenie przed nazwą zmiennej znaku dolara ($ZMIENNA), np. ZMIENNA=wartosc. Zmienne powłoki Zmienne powłoki (shell variables) to tymczasowe zmienne, które mogą przechowywać wartości liczbowe lub ciągi znaków. Związane są z powłoką, Przypisania wartości do zmiennej następuje poprzez

Bardziej szczegółowo

Lista 1 (elementy logiki)

Lista 1 (elementy logiki) Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły

Bardziej szczegółowo

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

Filozofia przyrody, Wykład V - Filozofia Arystotelesa Filozofia przyrody, Wykład V - Filozofia Arystotelesa 2011-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Różnice w metodzie uprawiania nauki Krytyka platońskiej teorii idei Podział

Bardziej szczegółowo

Program do obsługi ubezpieczeń minifort

Program do obsługi ubezpieczeń minifort Program do obsługi ubezpieczeń minifort Dokumentacja uŝytkownika Rozliczanie z TU Kraków, grudzień 2008r. Rozliczanie z TU Pod pojęciem Rozliczenie z Towarzystwem Ubezpieczeniowym będziemy rozumieć ogół

Bardziej szczegółowo

Wykład 3 Hipotezy statystyczne

Wykład 3 Hipotezy statystyczne Wykład 3 Hipotezy statystyczne Hipotezą statystyczną nazywamy każde przypuszczenie dotyczące nieznanego rozkładu obserwowanej zmiennej losowej (cechy populacji generalnej) Hipoteza zerowa (H 0 ) jest hipoteza

Bardziej szczegółowo

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

Języki i operacje na językach. Teoria automatów i języków formalnych. Definicja języka Języki i operacje na językach Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Definicja języka Definicja języka Niech Σ będzie alfabetem, Σ* - zbiorem wszystkich łańcuchów

Bardziej szczegółowo

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

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne

Bardziej szczegółowo

14. Grupy, pierścienie i ciała.

14. Grupy, pierścienie i ciała. 4. Grup, pierścienie i ciała. Definicja : Zbiór A nazwam grupą jeśli jest wposaŝon w działanie wewnętrzne łączne, jeśli to działanie posiada element neutraln i kaŝd element zbioru A posiada element odwrotn.

Bardziej szczegółowo

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

Bazy danych 1. Wykład 5 Metodologia projektowania baz danych. (projektowanie logiczne) Bazy danych 1 Wykład 5 Metodologia projektowania baz danych (projektowanie logiczne) Projektowanie logiczne przegląd krok po kroku 1. Usuń własności niekompatybilne z modelem relacyjnym 2. Wyznacz relacje

Bardziej szczegółowo

Gramatyki atrybutywne

Gramatyki atrybutywne Gramatyki atrybutywne, część 1 (gramatyki S-atrybutywne Teoria kompilacji Dr inŝ. Janusz Majewski Katedra Informatyki Gramatyki atrybutywne Do przeprowadzenia poprawnego tłumaczenia, oprócz informacji

Bardziej szczegółowo

PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ. Opis działania raportów w ClearQuest

PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ. Opis działania raportów w ClearQuest PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ Opis działania raportów w ClearQuest Historia zmian Data Wersja Opis Autor 2008.08.26 1.0 Utworzenie dokumentu. Wersja bazowa dokumentu. 2009.12.11 1.1

Bardziej szczegółowo

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące

Bardziej szczegółowo

Wnioskodawca Treść wniosku Realizacja

Wnioskodawca Treść wniosku Realizacja REALIZACJA WNIOSKÓW CZŁONKÓW SPÓŁDZIELNI UCHWALONYCH PRZEZ WALNEGO ZGROMADZENIA CZŁONKÓW SPÓŁDZIELNI MIESZKANIOWEJ GOCŁAW-LOTNISKO W DNIACH 05, 09, 10, 11, 12, 16, 17, 18 MAJA 2016 R Nr i data wniosku

Bardziej szczegółowo

Matematyka ETId Elementy logiki

Matematyka ETId Elementy logiki Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,

Bardziej szczegółowo

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 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

Bardziej szczegółowo

Gramatyki, wyprowadzenia, hierarchia Chomsky ego. Gramatyka

Gramatyki, wyprowadzenia, hierarchia Chomsky ego. Gramatyka Gramatyki, wyprowadzenia, hierarchia Chomsky ego Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Gramatyka Gramatyką G nazywamy czwórkę uporządkowaną gdzie: G =

Bardziej szczegółowo

Modelowanie związków encji. Oracle Designer: Diagramy związków encji. Encja (1)

Modelowanie związków encji. Oracle Designer: Diagramy związków encji. Encja (1) Modelowanie związków encji Oracle Designer: Modelowanie związków encji Technika określania potrzeb informacyjnych organizacji. Modelowanie związków encji ma na celu: dostarczenie dokładnego modelu potrzeb

Bardziej szczegółowo

3. Instrukcje warunkowe

3. Instrukcje warunkowe . Instrukcje warunkowe Przykłady.1. Napisz program, który pobierze od użytkownika liczbę i wypisze na ekran słowo ujemna lub nieujemna, w zależności od tego czy dana liczba jest ujemna czy nie. 1 #include

Bardziej szczegółowo