Logika formalna i języka cz.2 05.11.2013

1. Kategorie języka (semantyczne)

   1. Zdania

   2. Nazw

   3. Funktory

Zdanie (w sensie logicznym) – wypowiedzi stwierdzające jakiś stan rzeczy lub negujące go. (stwierdzające że jest tak a tak lub nie jest tak a tak)

Sąd Chronologia

(2) (psychika) 1.myśl o stanie rzeczy

2.wyrazem sądu w

Zdanie języku w zdanie

(twór językowy)

(1) Stan rzeczy

(rzeczywistość)

Relacja zdania

1. Zdanie – stan rzeczy

   1. Prawdziwość/fałszywość zdania

(prawda – fałsz w sensie logicznym)

- prawda: zgodność ze stanem rzeczy

- fałsz: niezgodność ze stanem rzeczy

1. Sąd (przekonanie) – zdanie

   1. Prawdomówność/kłamstwo

(prawda – fałsz w sensie logicznym)

- prawdomówność zgodność zdania z sądem

- kłamstwo niezgodność zdania z sądem (przekonaniem)

Typy zdań

Prawdziwe (1)

Zdania wartości logiczne

Fałszywe (0)

Syntetyczne sposób rostrzygania

Zdania wartości logicznej

Analityczne

- syntetyczne: rozstrzyga doświadczenie. Np. pada deszcz

- analityczne: wartości logiczne rozstrzyga analiza użytych w nim słów, np. kilometr ma 1000 metrów

Podmiotowo - orzecznikowe

Zdania

Podmiotowo – orzeczeniowe

-podmiotowo – orzecznikowe, orzeczenie imienne (łącznik + orzecznik):

S jest P

(subradum) łącznik piaedicatum

Podmiot predykat,orzecznik

o.imienne

podmiotowo – orzeczeniowe, orzeczenie proste (osobowa forma czasownika)

f(S) – s (podmiot) ma własność f (czasownik)

np.

Jan śpi

Typy zdań podmiotowo orzecznikowych:

- SaP: zdanie ogólno twierdzące każde S jest P

- SeP: zdanie ogólnoprzeczace każde S nie jest P (żadne S nie jest P)

- SiP: zdanie szczegółowo twierdzące pewne S są P, istnieją S które są P

- SoP: zdanie szczegółowo przeczące pewne S nie są P, istnieją S które nie są P

````