Funcționare - Conexiune - o consecință
Funcționarea asocierii consecințelor C la S poate fi complet arbitrară. [1]
Fie W operația de adjunct al consecințelor (logică), determinate prin intermediul schemei (L) a § II. Spunem apoi asta este o extensie lingvistică a teoriei ST. În capitolele VII-X se va dovedi că, pentru logica studiată în această carte, extensiile lingvistice sunt întotdeauna nesemnificative. [2]
În aplicații, nu vom defini funcția de adjuncție a consecințelor separat pentru fiecare limbă formalizată. [3]
Adoptăm următoarea definiție a logicii intuiționiste (De asemenea, numit consecințe aderare funcționare intuitionistic) este - operație consecință a atașamentului este determinată de circuitul (L) al V, § 11, în care setul 1 este format din toate tautologie (ti) - ((i) din V § 6 (p. [4]
Afirmația (C) poate, desigur, fi considerată ca definirea funcționării adjuncției consecințelor lui C în limbile formalizate ale primei și ordinii zero. [5]
Vom adopta următoarea definiție logică intuiționiste f 1 (denumite și intuitionistic consecințe de aderare funcționării) este - operațiune consecință a atașamentului este determinată de circuitul (b) din V, § 11, în care setul 1 este format din toate tautologii (M - [(s) din V § 6 (pagina [6]
Simbolurile n vor denota, ca și înainte, operațiunile clasice și intuiționiste ale adjunctului consecințelor. definite în V, § 11 și, respectiv, IX, § 1. [7]
simboluri și 1 va denota, ca și până acum, operațiunile clasice și intuiționiste de adjunct al consecințelor. definite în V, § 11 și, respectiv, IX, § 1. [8]
Dacă ele diferă de logica clasică, atunci ele sunt numite logici non-clasice sau aceeași clasă de operații de adjunct al consecințelor. [9]
Dacă ele diferă de logica clasică, ele sunt numite logins non-clasice sau operații nonclasice de adjunct al consecințelor. [10]
Următorul exemplu de logică este cel mai important: o logică cu două valori (sau: clasică) va fi numită o operație suplimentară de consecințe. (L), unde setul I este compus din toate tautologiile (t) - (t 2) de la § 6 (p.11)
Următorul exemplu de logică este cel mai important: o logică cu două valori (sau: clasică) va fi numită o operație suplimentară de consecințe. definită de schema (b), unde mulțimea I este compusă din toate tautologiile (- (1 (2) în §6 (p.12)
Adoptăm următoarea definiție a logicii intuiționiste (numită și operația intuiționistă a adjunctului consecințelor): aceasta este operația de adjunct al consecințelor. definită de schema (L) din V, § 11, unde setul 1 constă din toate tautologiile (ti) - ((p) din §6 din [13]
Adoptăm următoarea definiție a logicii intuitioniste e 1 (numită și operația intuiționistă a adjunctului consecințelor): aceasta este operația de adjunct al consecințelor. definită de schema (b) din V, § 11, unde mulțimea 1 constă din toate tautologiile (M - (u) din § 6 din [14]
În V, §, am introdus conceptul general de logică ca o cartografiere , care la fiecare limbaj formalizat Y al ordinului zero sau primul asociază o anumită operație de adjuncție a consecințelor în W. [15]
Pagini: 1 2