LOGIKA Semiotyka. Robert Trypuz. 8 października 2013. Katedra Logiki KUL. Robert Trypuz (Katedra Logiki) Semiotyka 8 października 2013 1 / 42



Podobne dokumenty
Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

a) symbole logiczne (wspólne dla wszystkich języków) zmienne przedmiotowe: x, y, z, stałe logiczne:,,,,,, symbole techniczne: (, )

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13. Ciągi.

Metrologia: miary dokładności. dr inż. Paweł Zalewski Akademia Morska w Szczecinie

Wykład 11. a, b G a b = b a,

X i. X = 1 n. i=1. wartość tej statystyki nazywana jest wartością średnią empiryczną i oznaczamy ją symbolem x, przy czym x = 1. (X i X) 2.

O liczbach naturalnych, których suma równa się iloczynowi

MINIMALIZACJA PUSTYCH PRZEBIEGÓW PRZEZ ŚRODKI TRANSPORTU

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

ma rozkład złożony Poissona z oczekiwaną liczbą szkód równą λ i rozkładem wartości pojedynczej szkody takim, że Pr( Y

Stwierdzenie 1. Jeżeli ciąg ma granicę, to jest ona określona jednoznacznie (żaden ciąg nie może mieć dwóch różnych granic).

WSTĘP ZAGADNIENIA WSTĘPNE

Kongruencje Wykład 4. Kongruencje kwadratowe symbole Legendre a i Jac

Politechnika Poznańska

Zasada indukcji matematycznej. Dowody indukcyjne.

a 1, a 2, a 3,..., a n,...

EGZAMIN MATURALNY Z INFORMATYKI MAJ 2012 POZIOM PODSTAWOWY CZĘŚĆ I WYBRANE: Czas pracy: 75 minut. Liczba punktów do uzyskania: 20 WPISUJE ZDAJĄCY

x t 1 (x) o 1 : x s 3 (x) Tym samym S(3) = {id 3,o 1,o 2,s 1,s 2,s 3 }. W zbiorze S(n) definiujemy działanie wzorem

LOGIKA Klasyczny Rachunek Zdań

Teoria. a k. Wskaźnik sumowania można oznaczać dowolną literą. Mamy np. a j = a i =

Znajdowanie pozostałych pierwiastków liczby zespolonej, gdy znany jest jeden pierwiastek

1 Układy równań liniowych

SYSTEM OCENY STANU NAWIERZCHNI SOSN ZASADY POMIARU I OCENY STANU RÓWNOŚCI PODŁUŻNEJ NAWIERZCHNI BITUMICZNYCH W SYSTEMIE OCENY STANU NAWIERZCHNI SOSN

Jarosław Wróblewski Analiza Matematyczna 1, zima 2016/17

Matematyka. Zakres podstawowy. Nawi zanie do gimnazjum. n/m Rozwi zywanie zada Zadanie domowe Dodatkowe Komunikaty Bie ce materiały

Ćwiczenia rachunkowe TEST ZGODNOŚCI χ 2 PEARSONA ROZKŁAD GAUSSA

Parametryzacja rozwiązań układu równań

2 n < 2n + 2 n. 2 n = 2. 2 n 2 +3n+2 > 2 0 = 1 = 2. n+2 n 1 n+1 = 2. n+1

STATYSTYKA OPISOWA WYKŁAD 1 i 2

3. Funkcje elementarne

Matematyka I. Bezpieczeństwo jądrowe i ochrona radiologiczna Semestr zimowy 2018/2019 Wykład 11

WERSJA TESTU A. Komisja Egzaminacyjna dla Aktuariuszy. LX Egzamin dla Aktuariuszy z 28 maja 2012 r. Część I. Matematyka finansowa

Podstawy logiki praktycznej

Wokół testu Studenta 1. Wprowadzenie Rozkłady prawdopodobieństwa występujące w testowaniu hipotez dotyczących rozkładów normalnych

Charakterystyki liczbowe zmiennych losowych: wartość oczekiwana i wariancja

Prawdopodobieństwo i statystyka

Moduł 4. Granica funkcji, asymptoty

z przedziału 0,1. Rozważmy trzy zmienne losowe:..., gdzie X

Instrukcja do ćwiczeń laboratoryjnych z przedmiotu: Badania operacyjne. Temat ćwiczenia: Problemy transportowe cd, Problem komiwojażera

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Elementy rach. macierzowego Materiały pomocnicze do MES Strona 1 z 7. Elementy rachunku macierzowego

Szeregi liczbowe. 15 stycznia 2012

Fundamentalna tabelka atomu. eureka! to odkryli. p R = nh -

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2014/15. n = Rozwiązanie: Stosując wzór na wartość współczynnika dwumianowego otrzymujemy

LICZBY, RÓWNANIA, NIERÓWNOŚCI; DOWÓD INDUKCYJNY

I. Podzielność liczb całkowitych

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

Przemysław Jaśko Wydział Ekonomii i Stosunków Międzynarodowych, Uniwersytet Ekonomiczny w Krakowie

KOMBINATORYKA. Oznaczenia. } oznacza zbiór o elementach a, a2,..., an. Kolejność wypisania elementów zbioru nie odgrywa roli.

Plan wykładu. Analiza danych Wykład 1: Statystyka opisowa. Literatura. Podstawowe pojęcia

1 Twierdzenia o granicznym przejściu pod znakiem całki

Ćwiczenie nr 14. Porównanie doświadczalnego rozkładu liczby zliczeń w zadanym przedziale czasu z rozkładem Poissona

INWESTYCJE MATERIALNE

Analiza matematyczna. Robert Rałowski

P = 27, 8 27, 9 27 ). Przechodząc do granicy otrzymamy lim P(Y n > Y n+1 ) = P(Z 1 0 > Z 2 X 2 X 1 = 0)π 0 + P(Z 1 1 > Z 2 X 2 X 1 = 1)π 1 +

7 Liczby zespolone. 7.1 Działania na liczbach zespolonych. Liczby zespolone to liczby postaci. z = a + bi,

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

PODSTAWY OPRACOWANIA WYNIKÓW POMIARÓW Z ELEMENTAMI ANALIZY NIEPEWNOŚCI POMIAROWYCH

5. Zasada indukcji matematycznej. Dowody indukcyjne.

c 2 + d2 c 2 + d i, 2

Podprzestrzenie macierzowe

Podprzestrzenie macierzowe

Jarosław Wróblewski Analiza Matematyczna 1, zima 2016/ n 333))

O pewnych zastosowaniach rachunku różniczkowego funkcji dwóch zmiennych w ekonomii

Metody badania zbieżności/rozbieżności ciągów liczbowych

Wpływ religijności na ukształtowanie postawy wobec eutanazji The impact of religiosity on the formation of attitudes toward euthanasia

Kolorowanie Dywanu Sierpińskiego. Andrzej Szablewski, Radosław Peszkowski

I kolokwium z Analizy Matematycznej

Matematyka ubezpieczeń majątkowych r. Zadanie 1. Rozważamy proces nadwyżki ubezpieczyciela z czasem dyskretnym postaci: n

D:\materialy\Matematyka na GISIP I rok DOC\07 Pochodne\8A.DOC 2004-wrz-15, 17: Obliczanie granic funkcji w punkcie przy pomocy wzoru Taylora.

L A B O R A T O R I U M T E C H N I K I C Y F R O W E J

WYDZIAŁ ELEKTRYCZNY POLITECHNIKI WARSZAWSKIEJ INSTYTUT ELEKTROENERGETYKI ZAKŁAD ELEKTROWNI I GOSPODARKI ELEKTROENERGETYCZNEJ

Zdarzenia losowe, definicja prawdopodobieństwa, zmienne losowe

Jarosław Wróblewski Analiza Matematyczna A1, zima 2011/12. Kresy zbiorów. x Z M R

Ekonometria Mirosław Wójciak

MACIERZE STOCHASTYCZNE

Jak skutecznie reklamować towary konsumpcyjne

Elementy nieliniowe w modelach obwodowych oznaczamy przy pomocy symboli graficznych i opisu parametru nieliniowego. C N

Laboratorium Sensorów i Pomiarów Wielkości Nieelektrycznych. Ćwiczenie nr 1

Ekonomia matematyczna - 1.1

Zeszyty naukowe nr 9

14. RACHUNEK BŁĘDÓW *

UKŁADY RÓWNAŃ LINOWYCH

Damian Doroba. Ciągi. 1. Pierwsza z granic powinna wydawać się oczywista. Jako przykład może służyć: lim n = lim n 1 2 = lim.

MATEMATYKA (poziom podstawowy) przykładowy arkusz maturalny wraz ze schematem oceniania dla klasy II Liceum

Estymacja przedziałowa

MATURA 2014 z WSiP. Zasady oceniania zadań

3 Arytmetyka. 3.1 Zbiory liczbowe.

PROTOKÓŁ nr XLI/05 Z XLI SESJI RADY POWIATU OBORNICKIEGO

Logika dla archeologów

201. a 1 a 2 a 3...a n a 2 1 +a 2 2 +a a 2 n n a 4 1 +a 4 2 +a a 4 n n. a1 + a 2 + a a n 204.

Semiotyka nauka o znakach

Zajęcia nr. 2 notatki

EGZAMIN MATURALNY Z INFORMATYKI

ROZPORZĄDZENIE MINISTRA NAUKI I SZKOLNICTWA WYŻSZEGO 1) z dnia 21 października 2011 r.

Elementy statystyki opisowej Izolda Gorgol wyciąg z prezentacji (wykład I)

Klasyczny rachunek zdań 1/2

Prawdopodobieństwo i statystyka r.

3. Regresja liniowa Założenia dotyczące modelu regresji liniowej

Rachunek prawdopodobieństwa i statystyka W12: Statystyczna analiza danych jakościowych. Dr Anna ADRIAN Paw B5, pok 407 adan@agh.edu.

Transkrypt:

LOGIKA Semiotyka Robert Trypuz Katedra Logiki KUL 8 paździerika 2013 Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 1 / 42

Pla wykładu 1 Semiotyka jako auka 2 Zak 3 Język (w semiotyce) 4 Semiotycze fukcje wyrażeń 5 Kategorie składiowe 6 Rozkład wyrażeń a kategorie składiowe 7 Ćwiczeia Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 2 / 42

Semiotyka jako auka Defiicja semiotyki Semiotyka Semiotyka jest logiczą teorią języka (tj. jej przedmiotem jest każdy język), jest auką badającą język w aspekcie jego poprawości i sprawości* w pozaiu i przekazywaiu (komuikowaiu) iformacji. (*) Sprawy zaczy tu tyle co ekoomiczy i skuteczy. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 3 / 42

Semiotyka jako auka Działy semiotyki Działy semiotyki Sytaktyka (gr. sytaktikos składający, zestawiający) teoria składaia zaków językowych. Sematyka (gr. sematicos ozaczający) dotyczy związku między wyrażeiami języka a rzeczywistością. Pragmatyka (gr. pragma działaie) uwzględia się tutaj relacje pomiędzy zakiem a jego użytkowikiem. Relacje zachodzące: między daym wyrażeiem języka a odpowiedio iym jego wyrażeiem, azywa się relacjami (stosukami) sytaktyczymi, między daym wyrażeiem języka a rzeczywistością, azywa się relacjami (stosukami) sematyczymi między daym wyrażeiem języka a użytkowikiem języka, azywa się relacjami (stosukami) pragmatyczymi. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 4 / 42

Semiotyka jako auka Działy semiotyki Trójkąt semiotyczy Charlesa Sadersa Peirce a Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 5 / 42

Semiotyka jako auka Działy semiotyki Sytaktyka Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 6 / 42

Semiotyka jako auka Działy semiotyki Sematyka Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 7 / 42

Semiotyka jako auka Działy semiotyki Pragmatyka Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 8 / 42

Zak Zak Defiicja Zak przedmiot (zjawisko, układ rzeczy) podpadający pod zmysły, który odosi użytkowika zaku do przedmiotu iego iż o sam. Zak jest zawsze zakiem czegoś dla kogoś. Przedmiot (zjawisko, układ rzeczy) P1 jest zakiem przedmiotu P2 dla osoby O, gdy zae osobie O reguły pozwalają jej wiązać ze spostrzeżeiem przedmiotu P1 określoą myśl o przedmiocie P2. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 9 / 42

Zak Podział zaków ze względu a sposób odiesieia do przedmiotu 1 Zaki istrumetale muszą być uprzedio rozpozae jako zaki, a astępie kierują uwagę a to, do czego się odoszą. Symptom lub objaw (p. wysypka) Sydrom zbiór symptomów, które łączie staowią ozakę jakiegoś zjawiska. Ozaka ma charakter kowecjoaly; prezetuje coś będąc częścią daego zjawiska (p. wskaźiki iformujące o stopiu miary daego zjawiska uzyskae z przyrządów pomiarowych). Ślad Sygał Hasło 2 Zaki formale prezetują przedmiot wprost, są przezroczyste sematyczie oraz wielopostaciowe. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 10 / 42

Język (w semiotyce) Język (w semiotyce Defiicja Język jest to system zaków jedozaczie zdetermioway za pomocą reguł (składiowych i zaczeiowych) ich używaia, służący do porozumiewaia się (w grupie społeczej). Język zbiór zaków + zbiór reguł (składiowych i zaczeiowych) Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 11 / 42

Język (w semiotyce) Metafora zaku i języka Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 12 / 42

Język (w semiotyce) Język vs. metajęzyk Język vs. metajęzyk Defiicja Metajęzyk (gr. meta po) język, którego używamy do mówieia o języku. Zdaie Kot wskoczył a płot stwierdza, że w rzeczywistości zachodzi sta rzeczy taki, że kot wskoczył a płot. Przedmiotem zdaia Zdaie «Kot wskoczył a płot» jest prawdziwe ie jest rzeczywistość, ale własość zdaia Kot wskoczył a płot. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 13 / 42

Język (w semiotyce) Fukcje języka Fukcje języka Fukcje języka 1 fukcja deskryptywa 2 fukcje istrumetale ekspresywa impresywa (agitatywa, sugestywa, dyrektywa, imperatywa) 3 argumetatywa 4 performatywa Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 14 / 42

Semiotycze fukcje wyrażeń Sematyka Fukcje sematycze Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 15 / 42

Semiotycze fukcje wyrażeń Fukcje sematycze Fukcje sematycze Rodzaje fukcji sematyczych Ozaczaie wskazywaie przedmiotu azwy poprzez jej zaczeie. Przedmiot wskazyway przez azwę to jej desygat. Zakresem azwy azywamy zbiór jej desygatów. Kootacja (współozaczaie) wskazywaie treści (zbioru cech charakterystyczych) desygatu. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 16 / 42

Semiotycze fukcje wyrażeń Fukcje sematycze Z klasyki żartu sematyczego Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 17 / 42

Semiotycze fukcje wyrażeń Sytaktyka Fukcje sytaktycze Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 18 / 42

Semiotycze fukcje wyrażeń Fukcje sytaktycze Fukcje sytaktycze 3 rodzaje fukcji sytaktyczych: zastępowaie jedego wyrażeia przez drugie (p. skróty) reprezetowaie fukcja symboli zmieych (p. za x moża podstawiać liczby aturale) przekładaie gdy jedo wyrażeie redukuję do drugiego Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 19 / 42

Semiotycze fukcje wyrażeń Fukcje pragmatycze Pragmatyka Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 20 / 42

Semiotycze fukcje wyrażeń Fukcje pragmatycze Fukcje pragmatycze Fukcje pragmatycze wyrażaie (prezetacja przeżyć) Zaczeie (ses) sposób rozumieia wyrażeia przepisay przez reguły daego języka. stwierdzaie, uzawaie, komuikowaie, rozumieie Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 21 / 42

Kategorie składiowe Kategorie składiowe 3 sposoby wyróżiaia kategorii składiowych pragmatyczy (odwołujemy się do fukcji iformowaia) kategorie samoiformujące zdaia kategorie współiformujące wyrażeia poiżej zdań sematyczy Kategorematy pełią fukcje sematycze samodzielie (p. azwy). Sykategorematy pełią fukcje sematycze iesamodzielie (p. spójiki). sytaktyczy zdaia azwy fuktory (p. spójiki) operatory (p. kwatyfikatory) Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 22 / 42

Kategorie składiowe Zdaia Zdaie Defiicja Zdaie wyrażeie posiadające wartość logiczą. Defiicja Wartość logicza prawda i fałsz. Defiicja Zasada dwuwartościowości głosi, że każde zdaie ma tylko jedą z dwóch wartości logiczych: prawdę, fałsz. (Czasami do zakresu wartości logiczej zalicza się rówież wartości róże od prawdy i fałszu p. ieokreśloość ) Podstawowy podział zdań: zdaie teoretycze (opisowe) zdaia praktycze (ormy, rozkazy, ocey) Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 23 / 42

Kategorie składiowe Zdaia Klasycza defiicja prawdy Defiicja Sąd w sesie logiczym zaczeie (ses) zdaia. Klasycza defiicja prawdy Zdaie jest prawdziwe wtw jeżeli jego zaczeie jest (itecjoalie) idetyczy z przedmiotem tego zdaia, tj. staem rzeczy, do którego zdaie się odosi. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 24 / 42

Kategorie składiowe Nazwy 3 sposoby charakteryzowaia azwy W aspekcie sematyczym azwa pełi fukcję ozaczaia w daym języku, tz. wskazywaia przedmiotu poprzez zaczeie. W aspekcie sytaktyczym azwa jest wyrażeiem, które może być podmiotem bądź orzeczikiem w zdaiu typu A jest B. W aspekcie pragmatyczym azwa jest wyrażeiem, które zaczy, a więc wyraża pojęcie (daje itelektuala przedstawieie czegoś). Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 25 / 42

Kategorie składiowe Nazwy Zaczeie, zakres, desygat, treść Przedmioty, a które wskazuje azwa to jej desygaty (łac. desigo wskazuję). Zaczeie (ses) wspóly dla wszystkich użytkowików języka sposób rozumieia wyrażeia przepisay przez reguły tego języka. Pojęcie itelektuale przedstawieie czegoś; a także sposób rozumieia azwy. Zakres azwy lub deotacją (od łac. deoto ozaczam) zbiór jej desygatów (przy daym zaczeiu) Treść azwy zbiór cech, które łączie przysługują każdemu desygatowi daej azwy. Uwaga! Dwie róże azwy o tym samym zakresie mogą mieć różą treść (p. Superma i Clark Joseph Ket, obeca stolica Polski i ajwiększe miasto ad Wisłą). Zwiększeie treści prowadzi do zmiejszeia zakresu i odwrotie. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 26 / 42

Kategorie składiowe Nazwy Zbiór w sesie kolektywym i dystrybutywym (I) Zbiór w sesie dystrybutywym jest bytem abstrakcyjym, wyróżioym ze względu a jakąś cechę, p.: zbiór studetów sali (zbiór takich bytów, które posiadają cechę bycia studetem) Zbiory o tych samych elemetach są idetycze. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 27 / 42

Kategorie składiowe Nazwy Zbiór w sesie kolektywym i dystrybutywym (II) Zbiór w sesie kolektywym jest relaie istiejącą całością, posiadającą części, p.: zbiór studetów w sali (jako kolektyw, grupa), kopiec piachu, etc. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 28 / 42

Kategorie składiowe Nazwy Podział azw ze względu a liczbę desygatów Odróżiamy: a) azwy ogóle, czyli takie, które mają więcej iż jede desygat (p. kot, ustawa ); b) azwy jedostkowe, tz mające dokładie jede desygat ( obecy papież, Lubli ); c) azwy puste, tz. ie posiadające desygatów (p. sy bezdzietej matki, mamut, Józef Piłsudski, Oufry Zagłoba ). Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 29 / 42

Kategorie składiowe Nazwy Podział azw ze względu a sposób w jaki azwa wskazuje a swoje desygaty Odróżiamy: a) azwy geerale (od łac. geus rodzaj), które wskazują a swoje desygaty poprzez zaczeie (p. azwy kot, ustawa ) b) azwy idywiduale (p. Katolicki Uiwersytet Lubelski Jaa Pawła II, Lubli, Zeobia Kotowska ) wskazujące a swe desygaty poprzez kowecję. Mówi się, iż azwy geerale spełiają fukcję ozaczaia. Nazwa N ozacza przedmiot P wtedy i tylko wtedy, gdy moża ją zgodie z prawdą orzec o tym przedmiocie, to zaczy gdy prawdziwe jest zdaie P jest N. Nazwy idywiduale spełiają fukcję sematyczą azywaia. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 30 / 42

Kategorie składiowe Nazwy Podział azw ze względu a to czym jest desygat azwy Odróżiamy: a) azwy kokrete, gdy desygat azwy jest kokretem, czyli jakimś idywiduum czaso-przestrzeym (p. kot, prokurator ), b) azwy abstrakcyje, których desygaty określa się zwykle jako własości przedmiotów (p. białość ), staów rzeczy lub relacje między przedmiotami (p. bycie wyższym od ). Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 31 / 42

Kategorie składiowe Nazwy Supozycje reala (prosta, zwykła) gdy azwa geerala odosi się do idywiduum (tj. fukcjouje jako azwa kokreta), p. Widzę tego psa., Wąż ukąsił Zosię w łydkę. formala gdy azwa geerala odosi się do gatuku przedmiotów (fukcjouje jako azwa geerala), p. Pies jest ssakiem., Wąż jest pospolitym gadem w krajach tropikalych., Giewosz pospolity jest wężem materiala gdy wyraz użyty jest jako zak dla siebie samego, p. «Wąż» składa się z trzech liter, «Pies» ma cztery litery Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 32 / 42

Kategorie składiowe Fuktory Fuktory Fuktor wyrażeie ie samodziele, które wraz z iymi wyrażeiami tworzy wyrażeia bardzie złożoe. Podział fuktorów ze względy a całość, która powstaje w wyiku łączeia fuktora z argumetami (zdaio-, azwo-, fuktorotwórcze) ze względu a ilość argumetów ze względu a to z czym tworzy (p. zdaiowe od argumetów azwowych) fuktory prawdziwościowe (ekstesjoale) fuktory ieprawdziwościowe (itesjoale) Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 33 / 42

Kategorie składiowe Operatory Operatory Operator wyrażeie, które wiąże zmiee. Kwatyfikatory: dla każdego, iektóry (p. x (x > 4)) Operator abstrakcji zbiór takich..., że... (p. {x : x > 4}) Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 34 / 42

Kategorie składiowe Dwa wyrażeia ależą do tej samej kategorii składiowej Kiedy dwa wyrażeia języka J ależą do tej samej kategorii składiowej? Dwa wyrażeia języka J ależą do tej samej kategorii składiowej wtedy i tylko wtedy, gdy po zastąpieiu jedego przez drugie z każdego wyrażeia zdaiowego J otrzymujemy zowu wyrażeie zdaiowe J. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 35 / 42

Rozkład wyrażeń a kategorie składiowe Rozkład wyrażeń a kategorie składiowe (I) }{{} Ja biegie. } {{ } z Mądry } {{ } }{{} Ja biegie. } {{ } z Ja biegie szybko. }{{} Mądry } {{ } } {{ } z i }{{}, } {{ } z z pięky } {{ } }{{} Ja biegie szybko } {{ } } {{ } z z z a }{{} z z, wykład. } {{ } Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 36 / 42

Rozkład wyrażeń a kategorie składiowe Rozkład wyrażeń a kategorie składiowe (II) Marysia wie, że } {{ } } {{ } }{{} Ja jest mądrym studetem }{{} } {{ } } {{ }. z z,z, Marysia wie, } {{ } }{{} z, }{{} że z }{{} Ja jest mądrym studetem }{{} } {{ } } {{ }. z, Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 37 / 42

Rozkład wyrażeń a kategorie składiowe Rozkład wyrażeń a kategorie składiowe (III) Pada } {{ } deszcz } {{ } z Nie pada }{{} z z }{{} z i }{{} z z,z deszcz } {{ } świeci } {{ } słońce } {{ }. z. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 38 / 42

Ćwiczeia Ćwiczeie 1 1 Wskaż jaka jest fukcja astępujących wypowiedzi: a) Kto skończył pisać kolokwium, wychodzi a korytarz. b) Jaie, ja ciebie chrzczę w imię Ojca, i Sya, i Ducha Świętego. c) Jestem zdumioy Pańską igoracją! d) Żada porząda dziewczya ie ubiera się w te sposób. e) Jesteście Państwo ojcami chrzestymi tej koalicji i ie udawajcie, że ie macie z ią ic wspólego. 2 Wskaż, które z poiższych przedmiotów lub zdarzeń (dla kogo i w jakiej sytuacji) są zakami: a) książka apisaa w języku chińskim b) zak zakaz wjazdu pośrodku zamkiętego, zamiowaego poligou c) podiesieie ręki d) otatka a margiesie książki zapisaa brzydkim i ieczytelym charakterem pisma ( ) Marek Lechiak, Elemety logiki dla prawików, Wydawictwo KUL, 2006, s. 15. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 39 / 42

Ćwiczeia Ćwiczeie 2 Podaj po trzy przykłady azw, które są zarazem: a) kokrete, jedostkowe i geerale; b) ogóle i geerale; c) puste i geerale. ( ) Marek Lechiak, Elemety logiki dla prawików, Wydawictwo KUL, 2006, s. 24. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 40 / 42

Ćwiczeia Ćwiczeie 3 1 Określ w jakiej supozycji wyraz kot występuje w astępujących zdaiach: a) Koty i psy łażą po ulicach. b) Filemo był dorodym kotem rasy perskiej. c) Kot ma trzy litery, kot, cztery łapy. d) Koty są drapieżikami z rodziy kotowatych. 2 Określ kategorie składiowe wyrazów w wyrażeiach złożoych: a) Pelagia, Atoi i Aa lubią filmy przygodowe. b) Jeżeli Zeobia kocha mądrego Hipolita, to Zeobia dobrze czyi. c) Po deszczu zaświeciło słońce. d) Dorode i zdrowe podgrzybki rosą w borze pod sosami. e) Zmęczoy Ja zasął a kaapie. f) Prawicy lub filozofowie siedzą w kawiari i piją herbatę. g) Albo Ja zda ostati egzami, albo Ja powtórzy rok studiów. h) Córka Zeoa została przyjęta a studia. ( ) Marek Lechiak, Elemety logiki dla prawików, Wydawictwo KUL, 2006, s. 20 21, 24. Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 41 / 42

Ćwiczeia Źródła ilustracji i zdjęć http://www.2miuty.pl/assets/2007/8/20/jigsaw.jpg http://www.ick.com.pl/img/175/90/ kreci/109 puzle.jpg http://cd-i.imagechef.com/ic/templimg2/puzzle.jpg http://www.forwardedge.et/images/siteimages/team%20with%20puzzle%20pieces.jpg http://faculty.smu.edu/mhouseho/teachig/engl2311/ ClearigUp.JPG http://www.coleurop.be/cotet/studyprogrammes/law/ images/studets%20i%20a%20course.%20b%20031.jpg Robert Trypuz (Katedra Logiki) Semiotyka 8 paździerika 2013 42 / 42