Opracowane tezy na logikę

LOGIKA - KOLOKWIUM
(OPRACOWANE TEZY)

  1. Pojecie logiki ogólnej, semiotyki, logiki formalnej, metodologii ogólnej i szczegółowej.

Logika ogólna – pewna teoria języka i związków miedzy zdaniami, proces wiedzo twórczy, czyli coś, co jest źródłem wiedzy, tworzenie wiedzy. W skład logiki ogólnej wchodzi logika formalna (schematy wynikania, niezawodne schematy wnioskowania). Niezawodne stwierdzenia to aksjomaty.

Semiotyka – nauka związana ze znaczeniem języka, teoria języka rozumianego jako system znakowy. Kluczowe słowo to ZNAK, ZNACZENIE.

Logika formalna – W skład logiki ogólnej wchodzi logika formalna (schematy wynikania, niezawodne schematy wnioskowania). Niezawodne stwierdzenia to aksjomaty. Logika formalna zajmuje się raczej kształtowaniem o układem napisów, a nie ich treścią.

Metodologia ogólna i szczegółowa – każda dziedzina nauk ma swoją metodologię. Bada procedury wiedzo twórcze I wytwory tych procesów. Wyróżnia się metodologię ogólną (procedury obecne we wszystkich typach nauk; każda nauka musi mieć przedmiot badań, metody badań I cel swoich badań). Metodologia szczegółowa bada procesy wiedzo twórcze charakterystyczne dla danych typów nauk.

  1. Pojęcie kultury logicznej i myślenia krytycznego

Kultura logiczna – umiejętność posługiwania się językiem, umiejętność myślenia abstrakcyjnego, czyli umiejętność spoglądania na coś z innej perspektywy. Łączy się to z myśleniem krytycznym
Myślenie krytyczne – patrzenie z dystansu, myślenie analityczne, umiejętność spojrzenia na sytuację punkt po punkcie. Umiejętność rozpatrywania zdarzeń z różnych punktów widzenia. Podanie argumentów, wyciągniecie własnych wniosków, umiejętność przyznania się do błędu.

  1. Przedmiot materialny a przedmiot formalny dyscypliny naukowej

Przedmiot materialny nauki – bada naukę całą w uposażeniu, np. etyka to teoria moralności. Bada naukę we wszystkich kontekstach, całościowo. Rozpatrywany z pewnego punktu widzenia.

Przedmiot formalny nauki – kontekst przedmiotu materialnego.

  1. Działy semiotyki


Semiotyka –
teoria języka jako system znakowy. Ogólna teoria języka, która zajmuje się językiem pod kątem jego racjonalności I sprawności w aktach poznawania I komunikowania się.

Działy semiotyki:

Syntaktyka – bada relacje między znakami.

Semantyka – relacja między znakiem a światem poza językowym, czyli rzeczywistością.

Pragmatyka – relacje między znakiem a użytkownikiem znaku, np. Nadawca, twórca.

  1. Semiotyczna definicja języka

    Definicja języka –
    zbiór znaków formalnych scharakteryzowanych możliwie jednoznacznie za pomocą reguł używania i służących do komunikowania się.

  2. Grupy nauk o języku (przykłady)

  1. Funkcje języka (przykłady)

  1. Typy języków (przykłady)

Ze względu na:

  1. Definicja znaku

Znak – coś, co podpada pod zmysły, przy jego pomocy użytkownik jego (znaku) dochodzi do poznania czegoś innego niż ów znak

  1. Typy znaków (przykłady)

Ze względu na:

  1. Kategorie składniowe. Warunki przynależności do tej samej kategorii składniowej:

a. Kategorie nazw:


Pojęcie nazwy
– wyraz lub wyrażenie, które może być podmiotem lub orzecznikiem w zdaniu typu A jest B, np. Norwid był poetą.

Desygnat – przedmiot oznaczony przez daną nazwę
Zakres nazwy
– zbiór desygnatów danej nazwy:

Zmienna nazwowa – można za nią podstawić nazwy, np. w wyrażeniu „x jest człowiekiem” za x możemy wstawić dowolną stałą nazwową, np. Jan jest człowiekiem, Pies jest człowiekiem, 329 jest człowiekiem.
Funkcja nazwowa – wyraz składający się ze zmiennych i stałych nazwowych, np. Komputer Pana X, Kolokwium Pani Y.
Podział nazw:
- ze względu na ilość desygnatów:

- ze względu na zakres nazwy:

Cechy konstytutywne a cechy konsekutywne nazwy Wszystkie nazwy mają swoje cechy konstytutywne i konsekutywne. Cechy konstytutywne – niezbędne do tego, aby można było precyzyjnie określić dany obiekt. Cechy, które dany obiekt nam tworzą. Cechy konsekutywne – cechy, które go uzupełniają, ale ich brak absolutnie nie powoduje iż dany obiekt przestaje być dla nas tym obiektem, jeśli nie określilibyśmy go cechami konstytutywnymi. Np. „pociąg” – porusza się po torach, lokomotywa i wagony. „pociąg ekspresowy” – pozbawiając go określenia ekspresowy to nadal będzie pociąg.

b. Kategorie zdań:

Pojęcie zdania – wyrażenie, które jest prawdziwe lub fałszywe, zdania oznajmujące.
Pojęcie sądu – znaczenie zdania, sąd w znaczeniu logicznym (to co wspólne), a nie psychologicznym (przeżycia).
Zasada dwuwartościowości – zdanie jest prawdziwe, gdy istnieje stan rzeczy, którego istnienie to zdanie stwierdza. Fałszywe jest natomiast, gdy ten stan rzeczy nie istnieje, np. w Lublinie jest metro.
wartości logicznej zdania
Zmienna zdaniowa, funkcja zdaniowa-przykłady

Podział zdań:

1.analityczne – prawdziwość zdania jest przesądzona ze względu na samo znaczenie użytych w nich słów, np. Trójkąt ma 3 boki.
- wewnętrznie kontradyktoryczne – fałszywość jest przesądzona ze względu na samo znaczenie użytych w nich słów, np. sześcian jest linią; trójkąt ma 6 boków; Polska jest miastem
- syntetyczne – prawdziwość stwierdzamy na podstawie doświadczenia, np. W 1965r. był wielki mróz.
2.egzystencjalne – stwierdzające istnienie lub nieistnienie czegoś
- atoniczne – oceniają przynależność rzeczy do klasy, gatunku, np. X zawiera się w A.; Ania jest szatynką.
- subsumcyjne – określają przynależność klasy, grupy do innej klasy, grupy, np. 1 grupa dziennikarstwa należy do kierunku dziennikarstwa.; Pies jest kręgowcem.

Relacje między zdaniami kwadratu logicznego (przykłady).

Zdania kwadratu logicznego:

Subiektum – podmiot
Predicatum – orzecznik


SaPzdanie ogólno twierdzące, np. Każdy człowiek jest ssakiem., Każdy Polak jest europejczykiem, wszystkie wróble są ptakami.
SePzdanie ogólno przeczące, np. Ludzie nie są zwierzętami. Żaden wieloryb nie jest rybą. Żadna kobieta nie jest matematykiem. Żaden kruk nie jest biały. Żaden student nie jest nauczycielem.
SiPzdanie szczegółowo twierdzące, np. Niektórzy studenci lubią logikę. Pewien aktor jest muzykiem,Pewnie kobiety są blondynkami, Niektórzy matematycy są filozofami.
SoP- zdanie szczegółowo przeczące, np. Niektórzy studenci nie lubią logiki. Pewne ssaki nie są ptakami, Niektóre książki nie są podręcznikami, Istnieją mężczyźni którzy nie są politykami.

Umiejętność rozpoznania i zapisu zdań

c. Funktory:

Definicja funktora – wyróżnienie, które nie jest ani zdaniem ani nazwą, ale wraz z innymi wyrażeniami tworzy wyrażenie bardziej złożone.
Funktor negacji – jeśli zdanie prawdziwe p uzupełnimy funktorem negacji, to powstanie zdanie fałszywe; nie jest tak, że; nieprawda, że.

12) Funktory prawdziwościowe a spójniki mowy potocznej

Funktory prawdziwościowe –
funktory zdaniotwórcze od argumentów zdaniowych, przy których, na podstawie samej tylko wartości logicznej i ich argumentów zdaniowych, a nie od treści tych zdań, można określić jaka jest wartość logiczna całego zdania zbudowanego za pomocą tego funktora.

Funktory prawdziwościowe:

  1. – prawda 0 – fałsz

    • NEGACJA

p ~p
1 0
0 1
p q p v q
1 1 1
1 0 1
0 1 1
0 0 0



p q p^q
1 1 1
1 0 0
0 1 0
0 0 0


p q p q
1 1 0
1 0 1
0 1 1
0 0 0
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
p q p q
1 1 1
1 0 0
0 1 0
0 0 1
p q p/q
1 1 0
1 0 1
0 1 1
0 0 1

Spójniki mowy potocznej:


KONIUNKCJA
(i)
jest prawdziwa, gdy wszystkie jej człony są prawdziwe. Wystarczy, że jeden człon jest fałszywy, wtedy jest już fałszywa.

ALTERNATYWA NIEROZŁĄCZNA (lub)
jest prawdziwa, gdy chociaż jeden jej człon jest prawdziwy np. Jan śpiewa lub tańczy. Jest fałszywa gdy całe zdanie jest fałszywe.

ALTERNATYWA ROZŁĄCZNA (albo)
jest prawdziwa, gdy jeden jej człon jest prawdziwy a drugi fałszywy lub pierwszy jest fałszywy a drugi prawdziwy, np. Jan śpiewa albo tańczy.

DYSJUNKCJA (bądź, bądź)
jest prawdziwa, gdy chociażby jedna jej część jest fałszywa, np. Jan bądź śpiewa bądź tańczy.

RÓWNOWAŻNOŚĆ (wtedy i tylko wtedy)
są prawdziwe gdy mają tą samą wartość logiczną.
Równoważność ma taką samą wartość logiczną.
Równoznaczność ma takie samo znaczenie.
Równoważność formalna-dotyczy prawideł istniejących w przyrodzie, w naturze.
Równoważność materialna-dotyczy konkretnych przypadków.

IMPLIKACJA (jeżeli, to…)
jest fałszywa tylko w jednym przypadku: gdy poprzednik jest prawdziwy a następnik fałszywy,
Typy relacji między zdaniami składowymi w implikacji:
- przyczynowy - relacje naturalne, związane z naturalnymi prawami, z przyrodą
- strukturalny - relacja wynika z rozmieszczenia przedmiotów w przestrzeni i czasie
- tetyczny- relacja wynika z nakazu, z czyjegoś ustanowienia
- analityczny- relacja wynika z sensu słów użytych w implikacji, np. Jeżeli Piotr jest starszy od Pawła, to Paweł jest młodszy od Piotra.

  1. Zasady racjonalnej współpracy konwersacyjnej Paula Grice’a


1. Jakości - nie wygłaszaj twierdzeń uważanych za fałszywe ani też poglądów, które nie mają uzupełnienia
2. Ilości - nie udzielaj informacji ani mniej ani więcej niż to, co jest konieczne
3. Istotności - mów na temat, nie wygłaszaj poglądów nieistotnych
4. Sposobu - mów w sposób zrozumiały, uporządkowany, krótko i jednoznacznie

  1. Przyczyny nieporozumień słownych

  1. Pojęcie eufemizmu (przykłady)

Eufemizm - wyraz luz zwrot zastępujący inne wyrażenia m.in. z powodu ich drastyczności lub dosadności, łagodzący wymowę danego stwierdzenia. Np. ale jest brzydki-nie grzeszy urodą., o złodzieju-ma lepkie ręce, gruby-puszysty, kłamać-mijać się z prawdą, chory psychicznie-ma żółte papiery, leniwy-urodzony w niedzielę.



Wyszukiwarka