Propoziia i judecata Abstract, ntr-o schem, forma propoziional apare ca un sistem de semne.

Semiotica este teoria general a semnelor (C.W.Morris) Semantica cuprinde: 1. sintaxa logic (sintactica); 2. Semantica logic; 3. pragmatica logic. n logica simbolic: SEMIOTICA a fost iniiat de filosoful american Ch.W.Morris prin lucrarea Fundamentele teoriei semnelor (1938). Procedeele semiotice principale: - formalizarea; - modelarea; - simbolizarea etc. Studiaz: - tipologia semnelor; - conceptele de: - sens; - semnificaie; - sens operaional; - proces comunicativ; - cod; - algoritm;

- traducere etc 1. Sintaxa logic (sintactica)- cerceteaz construciile formale, modul n care semnele se leag ntre ele, construirea i cercetarea limbajelor formalizate (David Hilbert, Rudolf arnap, Turing, Church, N. Chomsky etc.) 2. Semantica logic studiaz raportul semnelor cu obiectele desemnate. Studiaz diferitele interpretri pe care le poate primi un sistem de semne prin conferirea unor

semnificaii semnelor n raport cu obiectele la care se refer semnele (A. Tarski, R. Carnap). 3. Pragmatica logic studiaz modul n care omul nelege i folosete semnele (G. Klaus). Propoziia este un sistem de semne (formal vorbind) ea poate i trebuie studiat din toate cele trei puncte de vedere. a) Din punct de vedere sintactic: propoziia este o relaie ntre termeni (propoziia simpl) sau o relaie ntre propoziii (propoziia compus). b) Din punct de vedere semantic: propoziia are o anumit valoare de adevr. c) Din punct de vedere pragmatic: propoziia exprim atitudinea subiectului fa de propoziie (Atitudinea fa de propoziie privete pragmatica, psihologia, sociologia etc.). Dintre atitudini: cea mai important este asertarea, adic afirmarea sau negarea propoziiei, ceea ce n gramatic se exprim n propoziii enuniative (prop. cognitive). Numai acestea pot fi adevrate sau false proprietate extrem de importan a propoziiilor logice. ntrebrile, comenzile, dorinele nu pot fi adevrate sau false. Pe baza lor se pot construi sisteme de logic pragmatic (logici modale). Logica modern consider c termenul Judecat are neles psihologic, nu logic. Judecata este asertarea (afirmarea sau negarea) propoziiei. Logica formal studiaz propoziia, adic enunul independent de aseriune. Propoziia este ceva ce poate fi afirmat sau negat. Afirmarea sau negarea actual a unei propozii este judecata. Propoziia logic (enunul) se exprim propoziia verbal (sentina). n logica modern, propoziia logic este nelesul propoziiei verbale. Ex. Propoziiile: Punctul A se afl la dreapta punctului B, La dreapta punctului B se afl punctul A, exprim aceeai idee, deci aceeai propoziie logic. O propoziie verbal este totdeauna o parte a limbajului n care este enunat, pe cnd propoziia logic este independent de limbajul n care este exprimat. Propoziiile: - ninge; - il neige;

- es schneit sunt diferite, fiind exprimate n limbi diferite. Cu toate acestea, ele au acelai neles i acest neles alctuiete propoziia logic. Vom distinge: 1. judecata este esertarea propoziiei; 2. propoziia logic este nelesul propoziiei verbale; 3. propoziia verbal este o parte a limbajului n care este enunat. Propoziia logic formeaz obiectul logicii formale. Valoarea de adevr a propoziiei sau valoarea logic desemneaz capacitatea propoziiei de a fi adevrat sau fals. Constituie o caracteristic esenial a propoziiei. La nivelul noiunii vorbim de exactitate i la nivelul inferenei (raionamentului) de validitate. Teoria adevrului aparine gnoseologiei dar i metalogicii abordarea semantic a conceptului de adevr (Alfred Tarsky). O propoziie adevrat este o propoziie care spune c lucrurile se petrec aa i aa, iar ele chiar se petrec aa i aa. 1. Conceptul realist de adevr Aristotel. 2. Utilitatea Adevrul se constituie abia n cursul experienei sub forma a ceea ce este avantajos pentru condiia noastr (W. James). J. Dewey (instrumentalist) teoriile nu sunt dect unelte ale aciunii. 3. Teoria coerenei versiune tiinific a pragmaticii pune n cauz poziia acceptrii. Se consider c este adevrat ceea ce accept omul de tiin. La nivelul logicii i al metalogicii teoria semantic a adevrului. Mai multe proprieti ale adevrului: a) relativitatea o propoziie este adevrat numai n raport cu un anumit sistem logic. Ex.: enunul terului exclus: 1. este acceptat ca o lege n sistemul de logic realizat de Whitehead Russell n Principia Mathematica, dar 2. este respins n logica intuiionist (Principia - Heyting). Conform lui Tarsky definiia propoziiei adevrate trebuie s se adapteze la nivelul de complexitate a limbajului logic (numr finit sau infinit de propoziii, vocabular finit sau infinit, nr. finit sau infinit de categorii semantice etc.).

Opoziia sistemul valorilor logice este exclusiv i exausiv (O propoziie nu poate avea dou valori de adevr diferite n acelai timp). n logica clasic (bivalent) valorile de adevr sunt contradictorii ntre ele: - sunt supuse legii noncontradiciei (un enun nu poate fi adevrat i fals n acelai timp); - legii terului exclus (un enun trebuie s fie adevrat sau fals, tertium non datur). n sistemele logice polivalente (n care se opereaz cu mai mult de dou valori de adevr) valorile logice sunt contrarii ntre ele (se supun legii noncontradiciei, dar nu se mai supun terului exclus, ci unei legi mai generale, a termenului n + 1 exclus (cnd sunt115 date n valori de adevr Vi, atunci ele trebuie s aib o alt valoare de adevr, deosebit de aceasta). c) Valorile de adevr existente ntr-un sistem logic nu sunt toate de aceeai importan. n logica clasic ne intereseaz n primul rnd adevrul (1) fa de fals (0) ce caracterizeaz legile logice enunuri adevrate n orice lume posibil. n sistemele logice plurivalente exist valori preferate, denumite valori desemnate i se bucur de o proprietate cu totul remarcabil. Adevrul (i, mai general, valorile desemnate) este o proprietate deductiv ereditar n mulimea propoziiilor. Aceast proprietate afirm c ntreaga posteritate a unei propoziii adevrate este alctuit numai din propoziii adevrate. n cazul valorii 1, aceasta se transmite de la o propoziie la toate propoziiile care deriv din ea prin deducii corecte. (Adevrul este conservativ n raport cu schemele valide de inferen). Logica formal ca tiin se dezvolt pe acest fundament. nsuirea de a fi adevrat sau fals nu este o proprietate a obiectelor, ci o caracteristic a aseriunilor despre obiecte, a propoziiilor. Adevrul este un concept metalogic, mai precis un concept semantic. Trebuie tratat difereniat de celelalte concepte pentru a nu se nate paradoxe semantice. Cnd Epimenide Cretanul spune: Eu mint. Minte sau spune adevrul? n folosirea predicatelor adevrat sau fals se impune o restricie: aceste predicate nu pot fi folosite n propoziiile care se refer la ele nsele (teoria autoreferinei). Afirmaia c o propoziie este adevrat sau fals aparine metalimbajului.

Principiul diferenierii nivelurilor de limbaj. (Whitehead - Russell) Clasificarea tradiional a judecilor n logica clasic, s-a ncetenit un sistem de clasificare a judecilor nu a propoziiilor care i are izvorul n Organom i a fost definitivat de Im. Kant. Sistem tradiional cuprinde pentru clasificri ale judecilor, dup patru criterii: 1. Calitate: afirmative, negative, indefinite; 2. Cantitate: universale, particulare, singulare; 3. Relaie: categorice, ipotetice, disjunctive; 4. Modalitate: asertorice, problematice, apodictice. Aceste diviziuni sunt depite de logica modern.