Logika : klasyczny rachunek zdań sylogistyczny. (Arystoteles)
Logika – jedna z nauk filozoficznych składająca się z :
- logiki formalnej (symboliczna, matematyczna)
- semiotyki (nauka o znakach i wyrażeniach)
- metodologia nauk (klasyfikująca różne nauki i badająca ich metody postępowania)
Semiotyka dzieli się na 3 gł. dyscypliny :
1) Syntaktykę (ogólna teoria budowy wyrażeń językowych, klasyfikuje wyrażenia językowe oraz bada ich struktury. Podst. Pojęcie : kategoria syntaktyczna wyrażenia)
2) Semantykę (zajmuje się badaniem relacji między językiem a rzeczywistością po za językową (światem))
3) Pragmatykę (bada relacje między językiem, a użytkownikami języka)
Kategoria syntaktyczna wyrażenia : wyrażenia X i Y danego języka J należą do tej samej kategorii syntaktycznej wyrażeń języka J, wtedy i tylko wtedy gdy w dowolnym wyrażeniu sensownym W języka J po zastąpieniu X przez Y lub odwrotnie, powstałe wyrażenie W1 jest sensowne w języku J.
‘Pies i kot’ cudzysłów oznacza, że chodzi o wyrażenie
Mysz i kot
Pies i mysz należą do tej samej kategorii syntaktycznej
Pies i kot
Pies lub kot
i i albo należą do tej samej kategorii syntaktycznej
pies i kot
pies i jeżeli to to jest bez sensu, z czego wynika, że kot i jeżeli to są z różnych kategorii syntaktycznych
4 kategorie syntaktyczne wyrażeń :
1) Nazwy
2) Zdania
3) Spójniki (funktory, łączniki, konektywy)
4) Operatory (są to wyrażenia, które służą do wiązania zmiennych, typowe opratory w logice to
Nazwa, od łac. Nomen
Syntaktyczna definicja nazwy:
Nazwa jest to wyrażenie samodzielne, w dowolnym języku występujące w roli podmiotu lub orzecznika w zdaniu.
np. Małgorzata jest studentka
podmiot orzecznik
Semantyczna definicja nazwy :
Nazwa jest to wyrażenie samodzielne, oznaczające pewien przedmiot. Przedmiot oznaczany przez daną nazwę, nazywa się je desygnatem. Zbiór wszystkich desygnatów danej nazwy to jest zakres nazwy – denotacja nazwy lub ekstensja nazwy. Większość nazw posiada treść nazwy, która jest zbiorem wszystkich cech istotnych które można orzec o każdym z jej desygnatów. Istotna cecha – cecha konstytutywna desygnatu nazwy. Odróżnia się je od cech konsekutywnych(przypadłościowe wg. Arystotelesa)-nieistotne cechy, rzecz może nie posiadać tej cechy. Treść nazwy nazywa się pojęciem. Treść to znaczenie danej nazwy. Treść to intensja nazwy.
Człowiek :
desygnatem jest każdy podmiot, o którym można powiedzieć, że jest człowiekiem.
Zakresem – jest zbiór wszystkich ludzi
Komprehensja – zbiór wszystkich możliwych desygnatów danej nazwy, np. zmarli, żyjący, nienarodzeni
Intencja : mieć 2 nogi, rozum, nieopierzony
Nazwy ze względu na budowę :
Wszystko co nie jest psem część nazwy
Ze względu na liczbę desygnatów :
· Nazwy niepuste –
Ze względu na naturę ontologiczną desygnatu :
Ze względu na sposób odnoszenia się do desygnatu :
Ze względu na budowę desygnatu :
Ze względu na rozstrzygalność przynależności desygnatu do jej zakresu :
Ze względu na „wielkość” zakresu desygnatu :
Zdanie
Definicja syntaktyczna :
Wyrażenie danego języka J wtedy i tylko wtedy gdy jest z zbudowane zgodnie regułami gramatyki tego języka.
Zdania pytające : Czy pada deszcz?
Zdania wyrażające prośbę : Proszę uchylić okno.
Zdania wyrażające życzenie : Niech stanie się światłość.
Zdania oznajmujące : Deszcz pada.
Trójkąt odżywia się zdrowo. (bez sensu, ale zbudowany dobrze gramatycznie)
Definicja semantyczna :
Zdanie jest to wyrażenie danego języka J, które posiada wartość logiczną, czyli jest prawdziwe lub fałszywe. Tylko zdania oznajmujące mogą posiadać wartość logiczną. Pytania i prośby nie są prawdziwe ani fałszywe. Zdanie oznajmujące posiada wartość logiczną gdy stwierdza zachodzenie pewnego stanu rzeczy w świecie i wtedy jest prawdziwe.
Zdanie oznajmujące posiada wartość logiczną i gdy stwierdza zachodzenie pewnego stanu rzeczy w świecie, który nie zachodzi jest fałszywe.
Np. na Marasie mieszka 100 000 ludzi.
Nie zawsze zdania oznajmujące w oczywisty sposób posiadają wartość logiczną. Są trzy rodzaje zdań oznajmujących, że wątpi się że są prawdziwe lub fałszywe :
1)Zdania o przyszłości : np. 21.12.2018 Małgorzata poślubi Ździsława.
2)Zdania o przedmiotach nieistniejących : Wilk zjadł czerwonego kapturka.
3)Zdania o wartościach (wyrażają aprobatę, lub dezaprobatę ) : Serial M jak Miłość to najpiękniejszy film.
Zdanie o wartości nie ma wartości -> emotywiści
Zdanie a sąd w sensie logicznym :
Piotr lubi Pawła.
Peter likes Paul.
Treść wspólna różnym zdaniom to sąd lub znaczenie. Sąd – byt ponad językowy.
Podziały zdań :
Ze względu na budowę :
Proste : żadna jego część sama nie jest zdaniem, np. Pies czeka.
Złożone : część zdania jest sama zdaniem, np. Pies nie czeka. -> Nie prawda, że pies czeka. Pies gryzie, a kot drapie.
Ze względu na status poznawczy (infor.):
Analityczne : wartość logiczna jest ustalana wyłącznie na podstawie znaczenia, np. Kawaler jest to nieżonaty mężczyzna. (nie muszę nic badać)
Syntetyczne : wartość logiczna zależy od stanu świata, np. Słońce świeci.
Spójnik – wyrażenie niesamodzielne, służące do tworzenia nowych wyrażeń, z danego wyrażenia lub wyrażeń. Wyrażenie z którego dany spójnik tworzy nowe wyrażenie to argument spójnika.
Ze względu na liczbę argumentów spójniki dzielimy na :
-jednoargumentowe
-dwuargumentowe
-wieloargumentowe
Przykładem spójnika jednoargumentowego jest nie w wyrażeniu nie-pies.
Przykładem spójnika dwuargumentowego jest jeżeli….., to…..
Jeżeli pada deszcz, to ulice są mokre.
Przykładem spójnika trójargumentowego jest wyznał.
Adam wyznał Ewie miłość. (bo Adam, Ewa, miłość.)
Ze względu na kategorię syntaktyczną argumentu lub argumentów spójników, spójniki dzielimy na :
Nazwotwórcze : np. „i” w wyrażeniu pies i kot, ponieważ z nazw powstaje nazwa.
Zdaniotwórcze : ze zdania lub zdań powstają zdania, np. jeżeli…,to… , ale (Pada deszcz, ale jest ciepło), albo, i (Pada deszcz i jest ciepło), oraz
Spójniki spójnikotwórcze, tzw. Superspójniki : np. Słońce świeci
Nazwa spójnik (spaja słońce, w zdanie słońce świeci)
Słońce mocno świeci.
Nazwa superspójnik argument dla spójnika „mocno”
Wnikliwość syntaktyczna
Ułamek syntaktyczny – struktura zbudowana z licznika i mianownika oraz kreski ułamkowej, obrazująca graficznie sposób działania spójników (i superspójników)
n-nazwa
z-zdanie
Opis budowy ułamka syntaktycznego : w mianowniku podajemy symbole kategorii syntaktycznych argumentów danego spójnika, a w liczniku symbol kategorii syntaktycznej wyrażenia zbudowanego przez dany spójnik z danych argumentów danego spójnika.
Spójnik i w wyrażeniu pies i kot
...
qbgirl