CW, logika


konwersatorium 1

język - narzędzie służące do komunikowania się, składające się z systemu znaków;

J = (S, G, Ż)

S - słownik;

G - reguły gramatyczne (syntaktyczne);

Ż - reguły znaczeniowe (semantyczne);

znaczenie wyrażeń:

- sens deskryptywny - odniesienie do przedmiotów, ich cech i związków między nimi;

- sens pragmatyczny (emocjonalny) - zawiera oceny przedmiotów, emocje i postawy wobec nich;

„gliniarz”, „policjant”, „stróż prawa”;

znaczenie wyrażeń:

- dosłowne - znaczenie jest złożeniem znaczeń wyrazów składowych;

- idiomatyczne - znaczenie nie jest złożeniem wyrazów składowych;

funkcje języka:

  1. informacyjna - emocje nie są zamierzone; opis faktów; np. tekst naukowy;

  2. ekspresywna - celem jest dawanie wyrazu emocji i wywoływanie podobnych;

  3. dyrektywna - powodowanie działania lub zakaz;

  4. zobowiązania się - do określonego zachowania;

wyrażenie performatywne - użycie ich w pewnych okolicznościach powoduje zaistnienie stanu opisywanego (ceremonie);

konwersatorium 2 - kategorie wyrażeń w szczególności zdań - (291004)

kategoria syntaktyczna (składniowa) - klasa wyrażeń wzajemnie wymienialnych;

wyrażenia wzajemnie wymienialne - można wymienić i otrzymać ciąg będący wyrażeniem;

np. do tej samej kategorii syntaktycznej należą wyrażenia:

Jan pisze list.

Jan czyta list.

Jan odbiera list.

kategorie syntaktyczne:

  1. zdania i nazwy;

  2. predykaty i spójniki;

  3. słówka modalne i kwantyfikujące;

zdania

zdanie w sensie logicznym - wyrażenie które jest prawdziwe lub fałszywe;

rodzaje zdań:

          1. analityczne - prawdziwe na mocy swego znaczenia i swej budowy; nie wymagany jest kontakt poznawczy z rzeczywistością;

Prostokąt ma cztery boki.

          1. wewnętrznie sprzeczne (kontradyktoryczne) - fałszywe na mocy swego znaczenia i swej budowy; nie wymagany jest kontakt poznawczy z rzeczywistością;

Trójkąt ma cztery boki.

          1. syntetyczne - wartość logiczna nie jest określona przez samo ich znaczenie i budowę; wymagany jest kontakt poznawczy z rzeczywistością;

związki logiczne między zdaniami α i β:

  1. równoważność - zdanie „α <=> β” jest analityczne; wykluczone, że jedno z nich jest prawdziwe, a drugie fałszywe;

Warszawa jest stolicą Polski.

Stolicą Polski jest Warszawa.

  1. sprzeczność - zdanie „α <=> β” jest wewnętrznie sprzeczne; wykluczona jest współprawdziwość i współfałszywość zdań;

Każdy student uczy się logiki.

Niektórzy studenci nie uczą się logiki.

  1. dopełnianie się - zdanie „α lub β” jest zdaniem analitycznym; wykluczona jest współfałszywość zdań;

Niektóre kwiaty są białe.

Niektóre kwiaty nie są białe.

  1. wykluczanie się - zdanie „α i β” jest zdaniem wewnętrznie sprzecznym; wykluczona jest współprawdziwośćzdań;

Ten kwiat jest biały.

Ten kwiat jest niebieski.

konwersatorium 3 - nazwy - (261104)

nazwy

nazwa - wyrażenie służące do oznaczania przedmiotów;

desygnat nazwy - przedmiot, którego nazwa jest znakiem;

zakres nazwy - klasa wszystkich desygnatów danej nazwy;

podział nazw:

  1. ze względu na liczbę wyrazów składowych:

  • ze względu na charakter tego, do czego się odnoszą:

    1. ze względu na sposób wskazywania desygnatów:

    1. ze względu na liczbę desygnatów

    1. ze względu na ostrość zakresu:

    stosunki między zakresami nazw:

            1. zamienność zakresów (równoważność) - zakresy nazw A i B są sobie równe;

    A: Warszawa - B: obecna stolica Polski

    0x08 graphic
    0x01 graphic

            1. podrzędność nazwy A względem nazwy B - każdy desygnat nazwy A jest desygnatem B, ale nie każdy desygnat nazwy B jest desygnatem A;

    A: Polska - B: kraj europejski;

    0x08 graphic
    0x01 graphic

            1. nadrzędność nazwy A względem nazwy B; każdy desygnat nazwy B jest desygnatem A, ale nie każdy desygnat nazwy A jest desygnatem B;

    A: stolica - B: Warszawa

    0x08 graphic
    0x01 graphic

            1. krzyżowanie się zakresów - istnieją A które są B; istnieją A które nie są B; istnieją B które nie są A;

    A: sportowiec - B: nie piłkarz

    0x08 graphic
    0x01 graphic

            1. wykluczanie się zakresów - istnieją A które nie są B; istnieją B które nie są A; nie istnieją desygnaty oznaczające obie nazwy;

    A: ziemniak - B: nie warzywo0x08 graphic
    0x01 graphic

    konwersatorium 4 - predykaty, spójniki, słówka modalne i kwantyfikujące - (101204)

    predykaty

    predykat n-argumentowy - wyrażenie które łączy wyrazy w zdanie;

    Kot je.

    Basia jest chudsza niż Kasia.

    predykat równości - dwuargumentowy „jest”

    Stolicą Polski jest Warszawa.

    predykaty mają desygnaty:

    Ogórek jest zielony.

    Basia jest żoną Bartka.

    para uporządkowana (x,y) - ważna jest kolejność:

    relacja bycia żoną

    Basia jest żoną Bartka.

    x R y

    relacja dwuczłonowa - klasa uporządkowana dwuelementowa;

    pole relacji - zbiór przedmiotów, na którym relacja jest określona, czyli tych i tylko tych przedmiotów, które mogą pozostawać w danej relacji;

    konwers relacji - relacja odwrotna

    relacja bycia rodzicem (R) - relacja bycia dzieckiem (R-1);

    xRy <=> y R-1x

    klasy relacji

    1. relacja zwrotna - każdy element pola jest w relacji sam ze sobą;

    xRx

    każdy człowiek jest tego samego wzrostu co on sam

    1. relacja symetryczna

    jeżeli xRy to yRx

    jeżeli Ewa jest moją siostrą to ja jestem siostrą Ewy.

    1. relacja przechodnia

    jeżeli xRy i yRz to xRy

    jeżeli Jarek jest wyższy niż Marek i Marek jest wyższy niż Darek, to Jarek jest wyższy niż Darek.

    1. relacja równoważności

    gdy trzy powyższe zachodzą;

    1. relacja antysymetryczna

    jeżeli xRy to nieprawda że yRx

    jeżeli Kasia jest matką Basi, to nieprawda że Basia jest matką Kasi.

    funkcja - relacja jednoznaczna, czyli takie przyporządkowanie poszczególnych elementów jednego zbioru dokładnie 1 elementu innego zbioru;

    przyporządkowanie studentowi numeru indeksu;

    funkcja wzajemnie jednoznaczna - dwuczłonowa relacja taka, że ona i jej konwers są jednoznaczne

    bycie żoną - bycie mężem;

    spójniki

    spójnik - każde i tylko takie wyrażenie, które łącznie ze zdaniem bądź zdaniami tworzy zdania;

    spójnik jednoargumentowy - Nieprawda, że Kasia jest mężczyzną.

    spójnik dwuargumentowy - Kasia studiuje lub pracuje w sklepie.

    podział:

    spójnik

    Prawdziwość zdania złożonego

    Fałszywość zdania złożonego

    Przykłady z języka naturalnego

    oznaczenie

    Negacji jednoargumentowy

    Argument = F

    Argument = P

    Nieprawda, że…

    nie

    ┐ ~

    Alternatywy dwuargumentowy

    Chociaż jeden argument = P

    Oba argumenty = F

    … lub…

    Koniunkcji dwuargumentowy

    Oba argumenty = P

    Chociaż jeden argument =F

    …i…

    …oraz…

    …a…

    ^

    Implikacji, nieprzemienność argumentów;

    α - poprzednik,

    β - następnik;

    α = F lub β = P

    α = P i β = F

    jeżeli…, to…

    skoro…, to…

    gdy…, to…

    -> =>

    równoważności

    oba argumenty = F lub

    oba argumenty = P

    argumenty mają różną wartość logiczną

    …wtedy i tylko wtedy gdy…

    <=> ≡

    słówka modalne

    słówka modalne - frazy za pomocą których tworzymy zdania modalne; spójnik jednoargumentowy; są przykładami spójników nieprawdziwościowych; np. konieczne jest, że…, możliwe jest, że…

    słówka kwantyfikujące

    słówka kwantyfikujące - inne wyrażenia niż spójniki, za pomocą których budujemy zdania: każdy, niektórzy, nikt, czasem, nigdy;

    konwersatorium 5 (210105)

    wynikanie - rodzaj uzasadniania, który może zachodzić między przesłankami a wnioskiem i ogólnie między zdaniami;

    przesłanka - zdanie na którego podstawie uznajemy inne za prawdziwe; od nich zaczyna się wnioskowanie;

    wniosek - zdanie, które uznajemy za prawdziwe w rezultacie wnioskowania;

    wnioskowanie - proces myślowy, polegający na tym, że ktoś przyjmując pewne zdanie lub kilka zdań za prawdziwe dochodzi do przeświadczenia o prawdziwości innego zdania;

    1. wynikanie

    2. (α1 ^ α2 ^… ^ αn) -> β

    3. jeśli (α1 i α2 i… i αn) wtedy β

  • wynikanie nie zachodzi gdy:

    1. wnioskowanie

    - wtedy gdy wniosek wynika z przesłanek;

    - prawdziwość przesłanek gwarantuje prawdziwość wniosku;

    - jeżeli wnioskowanie jest dedukcyjne to każde inne nie różniące się od niego formą też jest dedukcyjne;

    - jeżeli wnioskowanie jest dedukcyjne to dodanie jakiejkolwiek przesłanki nie zmieni faktu wynikania wniosku z przesłanek;

    - wychodząc od prawdopodobnych przesłanek możemy dojść do fałszywego wniosku, lecz spodziewamy się w sposób racjonalny, że wniosek będzie prawdziwy;

    - redukcyjne - z wniosku wynika przesłanka, choć z przesłanek nie wynika wniosek; wnioskowanie biegnie od następstwa do racji, więc kierunek jego jest niezgodny z kierunkiem wynikania zdań;

    - indukcyjne - na podstawie wielu przesłanek jednostkowych stwierdzających, że poszczególne zbadane przedmioty pewnego rodzaju mają pewną cechę, dochodzi się do wniosku ogólnego, że każdy przedmiot tego rodzaju taką cechę posiada;

    mam kartkę na której jest napisane:

     

    II grupa

    teoria:

    - zd. w sensie logicznym;

    - nazwy konkretne, generalne;

    - predykaty - przykłady;

    2. Jakie to zdania? uzasadnij

    Niektórzy studenci pracują.

    Niektórzy studenci nie pracują.

    Żaden student nie pracuje.

    3. czy relacja bycia czyimś kolegą jest równorzędna?

    4. podaj 5 kryteriów nazw "Amazonka", "Mecz piłkarski"

    5. podaj relacje, schematy

    "oko" i "siatkówka oka"

    "mleko" i "nie piwo"

    6. czy relacja bycia rówieśnikami jest równorzędna?

     

    I grupa

    teoria:

    - nazwa - podaj przykład;

    - podział na generalne, indywidualne;

    1. rodzaje nazw "smok wawelski", "uczciwy polityk"

    2. zw. między zakresami nazw przedstaw graficznie

    "warzywo" i "burak"

    "miasto w Polsce" i "Kraków"

    3. Każdy student ma wykład z logiki.

    4. Nieprawda, że dziś jest 21.I., bo dziś jest wtorek.

    wg wykresu negacji i implikacji należy przedstawić ...

    http://members.lycos.co.uk/nonameuwb

    A

    B

    B

    A

    A

    B

    A

    B

    A

    B

    4



    Wyszukiwarka

    Podobne podstrony:
    ćw. Logika, psychologia
    ĆW. LOGIKA, Logika
    logika prag CW LISTA 1
    logika ii cw id 272129 Nieznany
    logika wyboru ekonom. ćw, Zarządzanie, MIKROEKONOMIA
    logika-zadania (ćw 2 i 3), PRAWO - Studia, Logika
    ćw 4 Profil podłużny cieku
    biofiza cw 31
    Kinezyterapia ćw synergistyczne
    Cw 1 ! komorki
    Pedagogika ćw Dydaktyka
    Cw 3 patologie wybrane aspekty
    Cw 7 IMMUNOLOGIA TRANSPLANTACYJNA
    Cw Ancyl strong
    Cw 1 Zdrowie i choroba 2009
    Rehabilitacja medyczna prezentacja ćw I

    więcej podobnych podstron