2626

W zakresie logiki formalnej znajdują się rozważania dotyczące sposobów formułowania i analizy tak zwanych formalnych schematów rozumowań niezawodnych (np.: klasyczny rachunek zdań, rachunek nazw, rachunek predykatów...) oraz formalnych schematów rozumowań zawodnych ( w postaci np.: logiki indukcyjnej, logiki modalnej, logiki erotetycznej, logik wielowartościowych itp.)

W zakresie szeroko rozumianej semiotyki logicznej (interpretowanej najczęściej jako tak zwana ogólna teoria znaków) wyróżnia się najczęściej takie działy jak:

Semantyka Logiczna Syntaktyka Logiczna Pragmatyka Logiczna

W zakresie semantyki logicznej znajdować się będą rozważania dotyczących treściowych i zakresowych założeń, jakie zachodzą pomiędzy wyrażeniami językowymi, a rzeczywistością pozajęzykową, do której wyrażenia te się odnoszą ( semantyczna analiza języka dotyczy przede wszystkim tak zwanej znaczeniowej strony języka).

W zakresie syntaktyki logicznej znajdować się będą rozważania dotyczące analizy zależności, jakie zachodzą pomiędzy wyrażeniami językowymi w procesie komunikowania. Syntaktyka logiczna określana jest też niekiedy mianem składni ( gramatyki logicznej). Jej zasadniczym zadaniem jest analiza tak zwanych podstawowych i pochodnych kategorii syntaktycznych oraz ich wpływów na wartość logiczną formułowanych sądów, wypowiedzi złożonych, narracji, itp.

W ramach syntaktyki logicznej najczęściej zajmować się będziemy analizą i wpływem struktury formalnej wypowiedzi oraz ocena z zakresu wypowiedzi na określenie stopnia jej poprawności lub fałszywości.