SEMIOTYKA LOGICZNA Z OGLN METODOLOGI NAUK LOGIKA Wspczesna

SEMIOTYKA LOGICZNA Z OGÓLNĄ METODOLOGIĄ NAUK

LOGIKA Współczesna logika obejmuje trzy podstawowe działy: • Semiotyka logiczna • Logika formalna • Ogólna metodologia nauk

LOGIKA Termin „logika” pochodzi z języka greckiego, gdzie logos oznacza m. in. : słowo, język, myślenie, rozumowanie. Za twórcę logiki jako odrębnej dyscypliny uważa się • ARYSTOTELESA (IV w. p. n. e. ) – rachunek nazw, sylogistyka • STOICY (III w. p. n. e. ) – poszerzyli logikę Arystotelesa o nowy dział: rachunek zdań Logika klasyczna była studiowana i rozwijana przez • SCHOLASTYKÓW (XI – XV w. n. e. )

LOGIKA Doniosły udział w rozwoju i rozumieniu specyfiki logiki miał • LEIBNIZ (XVIII w. n. e. ) – ale nie był zrozumiany przez współczesnych Przełom w rozwoju logiki nastąpił w połowie XIX w. wraz z dokonaniami logików takich jak • Augustus de Morgan (1806 – 1871) • George Boole (1815 – 1864) Dzięki zastosowaniu metod algebraicznych do rozwijania logiki pojawiła się: • LOGIKA MATEMATYCZNA, która współcześnie bujnie się rozwija

SEMIOTYKA LOGICZNA Semiotyka logiczna – to logiczna analiza języka (naturalnego). W semiotyce logicznej bada się język z punktu widzenia jego efektywności jako narzędzia poznawania świata i przekazywania informacji JĘZYK – to system znaków formalnych nazywanych wyrażeniami, uporządkowanych przez odpowiednie reguły składniowe i znaczeniowe. • REGUŁY SKŁADNIOWE – sposoby wiązania i przekształcania wyrażeń przy uwzględnianiu reguł gramatyki • REGUŁY ZNACZENIOWE – wiązanie wyrażeń przy uwzględnianiu ich znaczenia w sensowne całości

SEMIOTYKA LOGICZNA Elementami języka są wyrażenia, które można podzielić na: PROSTE ZŁOŻONE - gdy żadna jego część właściwa nie jest już wyrażeniem - gdy pewna część tego wyrażenia, również jest wyrażeniem • Student • Krzesło • Kobieta • Miłość • Student uniwersytetu • Wygodne krzesło • Kobieta zmienną jest • Stara miłość nie „rdzewieje”

SEMIOTYKA LOGICZNA • Wyrażenie dąb jest wyrażeniem prostym ponieważ żadna jego część: - d -, - ą -, - b -, - dą -, - ąb – nie jest już wyrażeniem języka polskiego UWAGA: wyrażenie człowiek jest wyrażeniem prostym mimo, że jego część wiek jest również wyrażeniem. Ale nie jest to jego część właściwa (oddzielona spacjami) • Wyrażenie Gdańsk jest portem jest wyrażeniem złożonym gdyż wyrażeniami są wyrażenia: Gdańsk, port, jest.

Wypisz wszystkie wyrażenia proste, będące niewłaściwymi częściami wyrażenia prostego: niedostatek • nie (pójdę) • do (kina) • statek (widmo) • (wiele) tek • dostatek (panuje w tym domu) • (na) ostatek • e (tam) • o (k…) • a (tam) • ta (dziewczyna) • te (kobiety) • (rój) os

SEMIOTYKA LOGICZNA Elementami języka są wyrażenia, które można podzielić na: SENSOWNE NONSENSOWNE - To takie, które są zbudowane zgodnie z regułami składni danego języka • Dziś jest ładna pogoda • Wygodne krzesło • Ostatni promień zachodzącego Słońca • Bardzo szybko biegnie - To te, które nie spełniają tego warunku; są pozbawione sensowności • Jeżeli oraz tutaj • Spać Jan koniec • Lub spalił Rzym • Księżyc gdy jest piękny poranek • Dwór pod bieleje

DZIAŁY SEMIOTYKI LOGICZNEJ • SYNTAKTYKA - Bada relacje jakie zachodzą pomiędzy wyrażeniami, niezależnie od tego, do czego te wyrażenia się odnoszą • SEMANTYKA - Bada relacje między wyrażeniami a tym, do czego te wyrażenia się odnoszą • PRAGMATYKA - Bada relacje, jakie zachodzą pomiędzy wyrażeniami a ich użytkownikami

„Przestrzeń językowa” • Żyjemy nie tylko w przestrzeni fizycznej. • Jesteśmy także „zanurzeni” w przestrzeni „sensów i znaczeń”. • Można powiedzieć, że z epistemologicznego punktu widzenia jest ona „pierwotna” w stosunku do przestrzeni fizycznej

SEMIOTYKA LOGICZNA Elementami języka są wyrażenia, które można podzielić na: KATEGORIE SYNTAKTYCZNE – duże klasy wyrażeń wzajemnie wymienialnych w wyrażeniach sensownych Dwa wyrażenia w 1 i w 2 języka J należą do tej samej kategorii syntaktycznej wety i tylko wtedy, gdy po zastąpieniu w 1 przez w 2 (lub odwrotnie) w dowolnym wyrażeniu sensownym otrzymamy w rezultacie nadal wyrażenie sensowne.

Wzajemna wymienialność wyrażeń Fryderyk pije Fryderyk śpiewa Fryderyk tańczy Fryderyk śpi Ewa pije mleko Ewa pije wodę źródlaną Ewa pije kawę Fryderyk pije wódkę

Wskaż wyrażenia należące do tej samej kategorii syntaktycznej co wyrażenie GDAŃSK Gdańsk jest portem {Szczecin, Puck, Zakopane, Oraz, Biegnie, Pies} Szczecin jest portem Puck jest portem Zakopane jest portem Oraz jest portem Biegnie jest portem Pies jest portem

NIE MAMY PROBLEMU Z WYRAŻENIAMI: Oraz jest portem Biegnij jest portem ale jak zakwalifikować zdanie: Pies jest portem – jest zbudowane zgodnie z regułami !!! Wyrażenie: pies jest portem jest wyrażeniem sensownym. Ale mówić o psie że jest portem wydaje się BEZSENSOWNE. Bezsens – to wyrażenie przeczące naszym regułom znaczeniowym. Dlatego pies jest portem nie jest nonsensowne ale bezsensowne. A co z wyrażeniem: cena jest za droga ! Przykłady wyrażeń poprawnych składniowo (sensownych) lecz niepoprawnych znaczeniowo (czyli, którem nie możemy przypisać znaczenia zgodnie z regułami znaczeniowymi): • • • Kwiaty były zardzewiałe Cezar jest liczbą pierwszą Cebula pachnie niebiesko Potworność pije kamienie Kopanie świta muchowo

Wszystkie kategorie syntaktyczne dzielimy na: PODSTAWOWE - Do nich zaliczamy: Zdania (bierzemy pod uwagę tylko zdania oznajmujące) Nazwy (wyrażenia służące do oznaczania przedmiotów w sensie filozoficznym, czyli bardzo szeroko) • • Fryderyk Człowiek Pozaziemski człowiek Żonaty kawaler FUNKTOROWE - Do nich zaliczamy: Funktory Funktor jest to wyrażenie, które służy do tworzenia wyrażeń złożonych. Rolę funktorów mogą pełnić: spójniki, przymiotniki, przysłówki, … Argument funktora to wyrażenie bądź wyrażenia, które wiąże dany funktor.

FUKTORY STANOWIĄ CAŁĄ RODZINĘ RÓŻNYCH KATEGORII ZE WZGLĘDU NA TO, CO TWORZY FUNKTORY DZIELIMY NA: 1) Zdaniotwórcze; 2) Nazwotwórcze; 3) Funktorotwórcze ZE WZGLĘDU NA KATEGORIĘ ARGUMENTÓW WYRÓŻNIAMY FUNKTORY 1) od arg. zdaniowych; 2) od arg. nazwowych; 3) od arg. funktorowych ZE WZGLĘDU NA LICZBĘ ARGUMENTÓW WYRÓŻNIAMY FUNKTORY: 1) jednoargumentowe; 2) dwuargumentowe; 3) trójargumentowe

Ze skrzyżowania tych trzech podziałów otrzymujemy wspomnianą rodzinę kategorii funktorowych. Poszczególne kategorie syntaktyczne oznaczamy pewnymi symbolami. INDEKS SYNTAKTYCZNY – to symbol przyporządkowany danej kategorii syntaktycznej. • Kategoria ZDAŃ – z • Kategoria NAZW – n • Kategoria FUNKTORY - --Indeks syntaktyczny funktorów tworzymy w postaci ułamka, w którym nad kreską umieszczamy indeks wyrażenia tworzonego przez dany funktor, natomiast pod kreską umieszczamy indeks (bądź indeksy) argumentów funktora.

Utwórz indeksy syntaktyczne wszystkich wyrażeń prostych w danym wyrażeniu złożonym •

Utwórz indeksy syntaktyczne wszystkich wyrażeń prostych w danym wyrażeniu złożonym • •

Utwórz indeksy syntaktyczne wszystkich wyrażeń prostych w danym wyrażeniu złożonym • Funktor funktoro -twórczy

Utwórz indeksy syntaktyczne wszystkich wyrażeń prostych w danym wyrażeniu złożonym •

Utwórz indeksy syntaktyczne wszystkich wyrażeń prostych w danym wyrażeniu złożonym •

Utwórz indeksy syntaktyczne wszystkich wyrażeń prostych w danym wyrażeniu złożonym •

Utwórz indeksy syntaktyczne wszystkich wyrażeń prostych w danym wyrażeniu złożonym •