Logika, Pedagogika studia magisterskie, logika


Logika, wykład I (23.10.10).

Prowadzący: prof. dr hab. Marek Nowak

Materiały do pobrania: http://www.filozof.uni.lodz.pl/prac/mn/mat_dyd.html

Literatura:

Z. Ziembiński „Logika praktyczna”

B. Stanosz „Wprowadzenie do logiki formalnej”

B. Stanosz „Ćwiczenia z logiki”

A. Indrzejczak „Elementy logiki”

K. Ajdukiewicz „Logika pragmatyczna”

Literatura dodatkowa:

J. Pelc „Wstęp do semiotyki”

J.R. Searle „Czynności mowy”

J.L. Austin „Jak działać słowami” [w:] „Mówienie i poznawanie”

T. Pawłowski „Tworzenie pojęć w naukach humanistycznych”

M. Tokarz „Elementy pragmatyki logicznej”

K. Ajdukiewicz „Język i poznanie”

Analiza rozumowania

Trzy systemy logiczne formalizują wnioskowanie dedukcyjne:

I - sylogistyka (rachunek nazw, logika nazw), zapoczątkowana przez Arystotelesa

II - klasyczna logika zdaniowa (zerowego rzędu), początki przed II wojną światową

III - logika kwantyfikatorów (predykatów pierwszego rzędu)

Sprawdzanie rozumowania w życiu codziennym możliwe jest tylko w oparciu o logikę klasyczną.

Wnioskowanie - najważniejszy typ rozumowania.

Ustalanie kryteriów poprawności wniosków

Kryterium zależy od form w jakich występuje wniosek i form w jakich występują przesłanki.

Arystoteles wprowadził pojęcie substancji, które są wypadkową dwóch czynników: materii (bez kształtu) i formy (decydującej o istocie obiektu).

Zdania posiadają materię i formę. Formą zdań jest schemat.

a jest b - zdanie podmiotowo orzecznikowe

Przykład: Wisła jest najdłuższą rzeką w Polsce.

Stosunek form wniosku do form przesłanek - relacja konsekwencji logicznej (relacja wynikania)

X ├ α - α wynika z X

gdzie:

X - zbiór form przesłanek

├ - relacja wynikania logicznego

α - forma wniosku

0x08 graphic
X ├ α - α nie wynika z X

Logika nazw - para złożona z języka formalnego i relacji konsekwencji (L,├)

gdzie:

L - język formalny (sformalizowany)

Klasyczne zdania kategoryczne

Wyróżniane są 4 typy:

Każde S jest P - zdanie ogólnotwierdzące

Niektóre S są P - zdanie szczegółowotwierdzące

Żadne S nie są P - zdanie ogólnoprzeczące

Niektóre S nie są P - zdanie szczegółowoprzeczące

gdzie:

S - podmiot

P - orzecznik

Wnioskowanie dedukcyjne (wg Ajdukiewicza)

Wnioskowanie to proces myślowy, w którym na podstanie uznania pewnych zdań zwanych przesłankami dochodzi się do uznania zdania zwanego wnioskiem przy czym stopień stanowczości uznania wniosku nie przewyższa stopnia pewności uznania przesłanki.

Wnioskowanie zawodne (np. przez indukcję) - stopień pewności uznania wniosku jest niższy od stopnia uznania przesłanki

Wnioskowanie niezawodne - stopień pewności uznania wniosku jest równy stopniu uznania przesłanki.

I klasa wniosków - wnioski dedukcyjne (wynika logicznie z przesłanek) - są niezawodne

II klasa wniosków - wnioski entymematyczne (w których została przemilczana któraś
z przesłanek)

Semantyczny sposób definiowania relacji

Ch. Morris stwierdził, iż znak ma trzy odniesienia, tworzące zarazem trzy dziedziny semiotyki:

semantyka - bada relacje znaku wobec obiektu

syntaktyka - bada relacje znaków do innych znaków

pragmatyka - bada relacje znaku wobec jego użytkownika

Funkcja syntaktyczna - wymienialne wyrażenia

Klasa nazw indywidualnych - tylko podmiot, takie nazwy, które służą do oznaczania poszczególnych tych a nie innych przedmiotów, nie przypisując przez to samo danemu przedmiotowi takich czy innych właściwości wyróżniających go.

Klasa nazw generalnych - nazwy, które przysługują przedmiotom ze względu na jakieś cechy, które tym przedmiotom przypisujemy.

Teoria opisująca język etniczny - teoria czynności mowy - illokucja

Czynności illokucyjne:

0x08 graphic
Wisła jest najdłuższą rzeką w Polsce.

czynność odnoszenia czynność orzekania

Nazwa indywidualna to taka nazwa, przy użyciu której nie mogę wykonać czynności orzekania.

Zbiór jest abstraktem. Zbiór jest jednoznacznie określony przez swoje elementy.

Nazwy dzielmy ze względu na ilość desygnatów na:

- o intencji ogólnej

- o intencji jednostkowej

- o intencji sprzecznej

Zadanie:

dłoń, palec, paznokieć, ręka

Stosunek zakresów:

dłoń0x08 graphic
palec paznokieć ręka

człowiek, Polak, urzędnik, ekonomista

0x08 graphic

człowiek

0x08 graphic
0x08 graphic

Polak urzędnik

0x08 graphic

ekonomista

miasto, ulica, Warszawa, miasto wojewódzkie

0x08 graphic

miasto

ulica miasto wojewódzkie

Warszawa

ssak, kręgowiec, zwierzę, zwierzę żyjące w lesie

0x08 graphic

zwierzę

zwierzę

żyjące

w lesie

ssak

kręgowiec

kwadrat, prostokąt, równoległobok, rąb

0x08 graphic

równoległobok

rąb kwadrat prostokąt

mebel, mebel drewniany, krzesło, stół, stół drewniany

0x08 graphic

mebel

krzesło

stół stół mebel

drewniany drewniany

samochód, samochód osobowy, silnik, pojazd o napędzie benzynowym

0x08 graphic

samochód

samochód

osobowy

pojazd o napędzie

benzynowym

silnik



Wyszukiwarka