TRATAT TEORETIC COMPLET DE LOGICĂ LOGICA DE LA FUNDAMENTE LA MĂIESTRIE Tratat explicativ despre adevăr, validitate, demonstrație și gândire corectă ¬ ∧ ∨ → ∀ ∃ □ ◇ ⊨ ChatGPT București · 29 iulie 2026 Ediție academică integrală PAGINĂ DE TITLU LOGICA DE LA FUNDAMENTE LA MĂIESTRIE Tratat explicativ despre adevăr, validitate, demonstrație și gândire corectă Autor: ChatGPT Ediție: București, 29 iulie 2026 Format: tratat universitar teoretic, nivel introductiv–avansat PREFAȚĂ Acest tratat este exclusiv teoretic și explicativ. Nu presupune cunoașterea prealabilă a filosofiei, matematicii ori notației formale. Fiecare noțiune este introdusă intuitiv, delimitată exact, exprimată simbolic și conectată cu statutul ei semantic și filosofic. Exemplele sunt analizate integral; niciun rezultat nu este lăsat în sarcina cititorului. Teza centrală este calificată și precisă. Validitatea nucleului logic clasic nu este produsă de creier, evoluție, convenție socială ori configurația contingentă a universului fizic. Schimbarea conținutului fizic poate modifica faptele adevărate într-un model, dar nu modifică prin ea însăși semantica identității, a negației sau a consecinței. Un alt rezultat cere declararea unui alt sistem. INTRODUCERE Logica începe cu o distincție simplă și necruțătoare: faptul că o persoană crede o concluzie nu arată că acea concluzie urmează din premise. Cauzele credinței și justificarea credinței sunt obiecte diferite. Din acest punct, tratatul construiește progresiv limbajul propozițional, cuantificarea, teoria modelelor, modalitatea, logicile neclasice și metalogica. Obiectivitatea înseamnă independență de preferință. Normativitatea înseamnă posibilitatea verdictului corect sau incorect. Prescriptivitatea înseamnă că regulile stabilesc cerințele conservării adevărului. Universalitatea privește substituirea oricărui conținut care respectă forma. Invarianța privește păstrarea validității sub variația vocabularului nonlogic. Caracterul neempiric înseamnă că validitatea nu este o generalizare din observații, chiar dacă aplicarea la premise factuale depinde de cunoaștere empirică. Termenul „absolut” este folosit numai în sensul independenței verdictului față de persoană, cultură, planetă, specie, epocă sau univers fizic, odată sensurile clasice fixate. Nu este folosit pentru a declara fără argument că orice logică neclasică este lipsită de sens. CONVENȚII EDITORIALE Casetele roșii marchează verdictele și avertismentele conceptuale. Casetele aurii marchează teoremele. Casetele neutre marchează definițiile. Formulele sunt numerotate automat. Literele P, Q și R desemnează propoziții; x și y desemnează de regulă variabile individuale; Γ este o mulțime de premise; φ și ψ sunt metavariabile; M este un model; D este domeniul; I este interpretarea. Cuprins 5 PARTEA I · CAPITOLUL 1 — Natura logicii LOGICA DE LA FUNDAMENTE LA MĂIESTRIE 1 TRATAT TEORETIC DE LOGICĂ 1. Documentul-sursă „Logica clasică, independentă față de universul fizic și eroarea modală a «logicii alternative inconceptibile»” a fost citit integral. Cele 34 de pagini și toate cele 84 de apariții formale sunt inventariate în capitolul 28. 2. Disputele filosofice sunt prezentate separat de rezultatele formale. O definiție, o teoremă și o interpretare metafizică nu primesc același statut doar fiindcă apar în același capitol. 15 PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate 23 PARTEA III · CAPITOLUL 3 — Logica deductivă, inductivă și abductivă 35 PARTEA IV · CAPITOLUL 4 — Principiile fundamentale ale logicii clasice 45 PARTEA V · CAPITOLUL 5 — Limbajul logicii propoziționale 60 PARTEA VI · CAPITOLUL 6 — Regulile fundamentale de inferență 71 PARTEA VII · CAPITOLUL 7 — Erorile formale 79 PARTEA VIII · CAPITOLUL 8 — Logica predicatelor 91 PARTEA IX · CAPITOLUL 9 — Identitate, existență și indexare 99 PARTEA X · CAPITOLUL 10 — Semantica formală și teoria modelelor 109 PARTEA XI · CAPITOLUL 11 — Demonstrația semantică a noncontradicției 113 PARTEA XII · CAPITOLUL 12 — Logica și realitatea fizică 119 PARTEA XIII · CAPITOLUL 13 — Posibilitate și necesitate 125 PARTEA XIV · CAPITOLUL 14 — Posibilitatea epistemică și eroarea modală 131 PARTEA XV · CAPITOLUL 15 — Necunoaștere, indeterminare și contradicție 135 PARTEA XVI · CAPITOLUL 16 — Logicile neclasice 151 PARTEA XVII · CAPITOLUL 17 — Pluralismul logic 155 PARTEA XVIII · CAPITOLUL 18 — Concepție, imaginație și formalizare 161 PARTEA XIX · CAPITOLUL 19 — Erorile de argumentare 182 PARTEA XX · CAPITOLUL 20 — Sarcina dovezii și reducerea la absurd 188 PARTEA XXI · CAPITOLUL 21 — Logica, creierul și evoluția 192 PARTEA XXII · CAPITOLUL 22 — Logica și fizica cuantică 195 PARTEA XXIII · CAPITOLUL 23 — Lumi posibile și lumi imposibile 197 PARTEA XXIV · CAPITOLUL 24 — Testul socratic al logicii alternative LOGICA DE LA FUNDAMENTE LA MĂIESTRIE 2 TRATAT TEORETIC DE LOGICĂ 199 PARTEA XXV · CAPITOLUL 25 — Metalogica 203 PARTEA XXVI · CAPITOLUL 26 — Filosofia logicii 208 PARTEA XXVII · CAPITOLUL 27 — Logica aplicată dezbaterilor 213 PARTEA XXVIII · CAPITOLUL 28 — Inventarul complet al formulelor din documentul-sursă 298 PARTEA XXIX · CAPITOLUL 29 — Glosarul complet 309 PARTEA XXX · CAPITOLUL 30 — Concluzia generală 313 INDEX TEMATIC 321 BIBLIOGRAFIE LOGICA DE LA FUNDAMENTE LA MĂIESTRIE 3 TRATAT TEORETIC DE LOGICĂ PARTEA I · CAPITOLUL 1 — Natura logicii OBIECTIVUL CAPITOLULUI Delimitarea logicii ca disciplină a consecinței, distinctă de psihologie, retorică, gramatică, matematică, fizică și metafizică. Vocabular central logică , normă , argument , premisă , concluzie , definiție Teza capitolului Logica nu inventariază reacțiile psihologice ale oamenilor, ci evaluează dacă un anumit pas inferențial păstrează adevărul. O convingere poate avea o cauză neurală, socială sau retorică fără a avea o justificare bună. Invers, o demonstrație poate fi impecabilă chiar dacă un auditor nu este convins de ea. Distincția dintre geneza unei credințe și statutul ei rațional este punctul de intrare în întreaga disciplină. În cuvinte foarte simple Capitolul fixează mai întâi sensurile, apoi nivelul formal și abia după aceea consecințele filosofice. Această ordine împiedică folosirea unui simbol drept ornament și împiedică mutarea concluziei dintr-un nivel semantic în altul. Logica Explicația intuitivă Logica este disciplina care ne ajută să vedem dacă o concluzie este susținută de premise, independent de farmecul retoric al vorbitorului. Conceptul operează la nivelul normelor și al condițiilor de evaluare, nu ca descriere a unei particule sau a unui episod cerebral. Obiectivitatea sa înseamnă că verdictul nu se modifică prin preferința evaluatorului, odată ce sensurile și cadrul au fost fixate. Definiția exactă Logica studiază formele, regulile și relațiile de consecință prin care unele propoziții oferă temei pentru altele. Ea are o dimensiune formală, semantică și normativă. Definiția delimitează criteriul de aplicare. O expresie asemănătoare verbal nu intră sub concept dacă schimbă domeniul, indicii, valorile desemnate ori relația de consecință. Această disciplină terminologică este condiția oricărei critici formale. (1) PARTEA I · CAPITOLUL 1 — Natura logicii 4 TRATAT TEORETIC DE LOGICĂ Cum se citește Se citește: „fi este consecință logică a premiselor Gamma”. Cu alte cuvinte, nu există un caz admis în care toate premisele să fie adevărate și concluzia falsă. Lectura verbală nu înlocuiește formula, dar face explicită structura ei. Parantezele, indicii și ordinea simbolurilor rămân constitutive. Ce înseamnă fiecare simbol Litera grecească Γ numește un ansamblu de premise; ⊨ este semnul consecinței semantice; φ, citit „fi”, este concluzia. semnul semantic leagă un model sau un ansamblu de premise de formula satisfăcută. Explicația intuitivă Din „Toate merele din coș sunt roșii” și „Acest fruct este un măr din coș” rezultă „Acest fruct este roșu”. Exemplul simplifică numai conținutul nonlogic. Forma și condițiile de aplicare rămân aceleași, ceea ce permite transferul controlat spre alte domenii. Explicația formală Formula aparține metalimbajului sau combină limbajul-obiect cu metalimbajul. Ea nu descrie direct o proprietate fizică, ci o relație de satisfacere, derivare ori evaluare. Distincția critică este aceea dintre conținutul contingent al propozițiilor și forma relației inferențiale. Forma nu garantează adevărul premiselor, dar stabilește ce urmează dacă acestea sunt admise. Din perspectivă formală, verdictul este determinat de regulile sistemului declarat. Modificarea verdictului cere modificarea unei premise, a interpretării, a semanticii ori a relației de consecință; simpla preferință nu constituie o asemenea modificare. Ce afirmă formula Se citește: „fi este consecință logică a premiselor Gamma”. Cu alte cuvinte, nu există un caz admis în care toate premisele să fie adevărate și concluzia falsă. Afirmația este locală și exactă: ea fixează relația exprimată de operatorii prezenți, fără adaosuri cauzale, psihologice sau metafizice clandestine. Ce nu afirmă formula Nu stabilește singură adevărul factual al premiselor și nu descrie mecanismul psihologic prin care o persoană ajunge să le creadă. Confuzia cea mai frecventă Utilizarea greșită constă în a folosi cuvântul „logic” ca sinonim pentru „îmi place”, „pare probabil” sau „este obișnuit”. „Toți câinii sunt mamifere; pisica este mamifer; deci pisica este câine” are propoziții inteligibile, dar concluzia nu este impusă de premise. PARTEA I · CAPITOLUL 1 — Natura logicii 5 TRATAT TEORETIC DE LOGICĂ Exemplu cotidian complet analizat Dacă toate trenurile de pe linia 1 opresc la Gară și trenul nostru este pe linia 1, atunci va opri la Gară. Cazul este relevant deoarece separă faptul concret de schema care îl organizează. Dacă termenii concreți sunt substituiți uniform, relația formală rămâne aceeași; dacă un termen își schimbă sensul, exemplul încetează să fie o instanță a aceleiași forme. Exemplu filosofic complet analizat Din teza că orice ființă contingentă are un temei și că universul este contingent ar urma că universul are un temei, dacă ambele premise sunt acceptate și forma este corectă. Exemplul filosofic nu dobândește validitate prin importanța subiectului. Premisele metafizice pot fi contestate, însă contestarea adevărului lor trebuie separată de contestarea formei. O concluzie poate urma valid din premise controversate. Formularea corectă Utilizarea corectă presupune logica pentru a testa dacă o concluzie poate fi falsă când premisele sunt adevărate. Formularea corectă declară tipul inferenței și limitează concluzia la ceea ce este susținut. Ea nu împrumută certitudine deductivă unei inferențe defeazibile. Legătura cu restul capitolului Logica furnizează vocabularul prin care capitolul separă normele de simplele regularități. Capitolele ulterioare vor transforma această distincție într-o semantică explicită. Normativ, prescriptiv și descriptiv Explicația intuitivă Un manual de anatomie descrie cum este corpul; o regulă de inferență spune cum trebuie să legăm propozițiile dacă vrem să păstrăm adevărul. Conceptul operează la nivelul normelor și al condițiilor de evaluare, nu ca descriere a unei particule sau a unui episod cerebral. Obiectivitatea sa înseamnă că verdictul nu se modifică prin preferința evaluatorului, odată ce sensurile și cadrul au fost fixate. Definiția exactă O normă logică este un criteriu de evaluare a inferențelor. Ea nu descrie frecvența cu care oamenii raționează corect, ci stabilește condițiile în care concluzia urmează din premise. Definiția delimitează criteriul de aplicare. O expresie asemănătoare verbal nu intră sub concept dacă schimbă domeniul, indicii, valorile desemnate ori relația de consecință. Această disciplină terminologică este condiția oricărei critici formale. Vocabularul tehnic „Descriptiv” înseamnă că relatează ce se întâmplă; „normativ” înseamnă că permite calificarea drept corect sau incorect; „prescriptiv” indică regula ce trebuie urmată pentru un scop rațional. PARTEA I · CAPITOLUL 1 — Natura logicii 6 TRATAT TEORETIC DE LOGICĂ Lectura în limbaj obișnuit Oamenii pot încălca o regulă logică. Faptul psihologic al încălcării nu anulează regula. Explicația formală Distincția critică este aceea dintre conținutul contingent al propozițiilor și forma relației inferențiale. Forma nu garantează adevărul premiselor, dar stabilește ce urmează dacă acestea sunt admise. Ce nu afirmă definiția Nu stabilește singură adevărul factual al premiselor și nu descrie mecanismul psihologic prin care o persoană ajunge să le creadă. Confuzia cea mai frecventă Nu concluziona că o inferență devine validă fiindcă majoritatea o acceptă. Exemplu cotidian complet analizat O reclamă poate produce convingere prin muzică, fără să ofere un argument bun. Psihologia succesului nu este logica justificării. Cazul este relevant deoarece separă faptul concret de schema care îl organizează. Dacă termenii concreți sunt substituiți uniform, relația formală rămâne aceeași; dacă un termen își schimbă sensul, exemplul încetează să fie o instanță a aceleiași forme. Exemplu filosofic complet analizat Dacă evoluția explică de ce recunoaștem modus ponens, aceasta explică facultatea, nu validitatea formei. Exemplul filosofic nu dobândește validitate prin importanța subiectului. Premisele metafizice pot fi contestate, însă contestarea adevărului lor trebuie separată de contestarea formei. O concluzie poate urma valid din premise controversate. Formularea corectă Distincția corectă separă întrebarea „De ce crede persoana.” de „Ce justifică propoziția.”. Formularea corectă declară tipul inferenței și limitează concluzia la ceea ce este susținut. Ea nu împrumută certitudine deductivă unei inferențe defeazibile. Legătura cu restul capitolului Normativ, prescriptiv și descriptiv furnizează vocabularul prin care capitolul separă normele de simplele regularități. Capitolele ulterioare vor transforma această distincție într-o semantică explicită. Argument, premisă și concluzie Explicația intuitivă În logică, un argument nu este o ceartă, ci o structură în care unele afirmații sunt oferite ca motive pentru alta. PARTEA I · CAPITOLUL 1 — Natura logicii 7 TRATAT TEORETIC DE LOGICĂ Conceptul operează la nivelul normelor și al condițiilor de evaluare, nu ca descriere a unei particule sau a unui episod cerebral. Obiectivitatea sa înseamnă că verdictul nu se modifică prin preferința evaluatorului, odată ce sensurile și cadrul au fost fixate. Definiția exactă Un argument este o mulțime ordonată de propoziții: premisele sunt oferite în sprijinul concluziei, iar inferența este legătura pretinsă dintre ele. Definiția delimitează criteriul de aplicare. O expresie asemănătoare verbal nu intră sub concept dacă schimbă domeniul, indicii, valorile desemnate ori relația de consecință. Această disciplină terminologică este condiția oricărei critici formale. (2) Cum se citește Se citește: „avem premisa unu și premisa doi; prin urmare, concluzia C”. Lectura verbală nu înlocuiește formula, dar face explicită structura ei. Parantezele, indicii și ordinea simbolurilor rămân constitutive. Ce înseamnă fiecare simbol P_1 și P_2 sunt prima și a doua premisă; linia separă baza de rezultat; ∴ se citește „prin urmare”; C este concluzia. literele și semnele sunt interpretate conform definiției locale, iar formula primește sens numai în acel cadru. Explicația intuitivă P1: Toate păsările au pene. P2: Mierla este pasăre. C: Mierla are pene. Exemplul simplifică numai conținutul nonlogic. Forma și condițiile de aplicare rămân aceleași, ceea ce permite transferul controlat spre alte domenii. Explicația formală Formula este propozițională ori schematică. Literele pot fi înlocuite uniform cu propoziții determinate, fără schimbarea operatorilor logici. Distincția critică este aceea dintre conținutul contingent al propozițiilor și forma relației inferențiale. Forma nu garantează adevărul premiselor, dar stabilește ce urmează dacă acestea sunt admise. Din perspectivă formală, verdictul este determinat de regulile sistemului declarat. Modificarea verdictului cere modificarea unei premise, a interpretării, a semanticii ori a relației de consecință; simpla preferință nu constituie o asemenea modificare. Ce afirmă formula Se citește: „avem premisa unu și premisa doi; prin urmare, concluzia C”. PARTEA I · CAPITOLUL 1 — Natura logicii 8 TRATAT TEORETIC DE LOGICĂ Afirmația este locală și exactă: ea fixează relația exprimată de operatorii prezenți, fără adaosuri cauzale, psihologice sau metafizice clandestine. Ce nu afirmă formula Nu stabilește singură adevărul factual al premiselor și nu descrie mecanismul psihologic prin care o persoană ajunge să le creadă. Confuzia cea mai frecventă Nu considera fiecare paragraf cu „deci” un argument valid; indicatorul nu garantează forma. „Plouă pentru că strada este udă” poate fi explicație sau inferență abductivă, nu deducție sigură: o mașină de spălat strada este contraexemplu. Exemplu cotidian complet analizat P1: Magazinul este închis duminica. P2: Astăzi este duminică. C: Magazinul este închis. Cazul este relevant deoarece separă faptul concret de schema care îl organizează. Dacă termenii concreți sunt substituiți uniform, relația formală rămâne aceeași; dacă un termen își schimbă sensul, exemplul încetează să fie o instanță a aceleiași forme. Exemplu filosofic complet analizat P1: Orice cunoaștere factivă implică adevăr. P2: Ana știe că P. C: P este adevărat. Exemplul filosofic nu dobândește validitate prin importanța subiectului. Premisele metafizice pot fi contestate, însă contestarea adevărului lor trebuie separată de contestarea formei. O concluzie poate urma valid din premise controversate. Formularea corectă Diagnosticul caută indicatori precum „deoarece”, „fiindcă”, „așadar”, dar verifică rolul, nu doar cuvântul. Formularea corectă declară tipul inferenței și limitează concluzia la ceea ce este susținut. Ea nu împrumută certitudine deductivă unei inferențe defeazibile. Legătura cu restul capitolului Argument, premisă și concluzie furnizează vocabularul prin care capitolul separă normele de simplele regularități. Capitolele ulterioare vor transforma această distincție într-o semantică explicită. Definiții și dispute verbale Explicația intuitivă O definiție fixează ori raportează sensul; nu creează prin simpla stipulare fapte despre lume. Conceptul operează la nivelul normelor și al condițiilor de evaluare, nu ca descriere a unei particule sau a unui episod cerebral. Obiectivitatea sa înseamnă că verdictul nu se modifică prin preferința evaluatorului, odată ce sensurile și cadrul au fost fixate. PARTEA I · CAPITOLUL 1 — Natura logicii 9 TRATAT TEORETIC DE LOGICĂ Definiția exactă Definiția lexicală descrie uzul, cea stipulativă introduce un uz local, cea operațională indică o procedură, iar definiția reală pretinde să surprindă natura lucrului. Definiția delimitează criteriul de aplicare. O expresie asemănătoare verbal nu intră sub concept dacă schimbă domeniul, indicii, valorile desemnate ori relația de consecință. Această disciplină terminologică este condiția oricărei critici formale. (3) Cum se citește x este triunghi exact când x este poligon cu trei laturi. Lectura verbală nu înlocuiește formula, dar face explicită structura ei. Parantezele, indicii și ordinea simbolurilor rămân constitutive. Ce înseamnă fiecare simbol Triunghi și PoligonCuTreiLaturi sunt predicate; bicondiționalul exprimă condiția necesară și suficientă. bicondiționalul cere aceeași valoare pentru cele două componente. Explicația intuitivă Putem stipula că „zorb” înseamnă cană albastră, dar nu demonstrăm astfel că există un zorb. Exemplul simplifică numai conținutul nonlogic. Forma și condițiile de aplicare rămân aceleași, ceea ce permite transferul controlat spre alte domenii. Explicația formală Formula este propozițională ori schematică. Literele pot fi înlocuite uniform cu propoziții determinate, fără schimbarea operatorilor logici. Distincția critică este aceea dintre conținutul contingent al propozițiilor și forma relației inferențiale. Forma nu garantează adevărul premiselor, dar stabilește ce urmează dacă acestea sunt admise. Din perspectivă formală, verdictul este determinat de regulile sistemului declarat. Modificarea verdictului cere modificarea unei premise, a interpretării, a semanticii ori a relației de consecință; simpla preferință nu constituie o asemenea modificare. Ce afirmă formula x este triunghi exact când x este poligon cu trei laturi. Afirmația este locală și exactă: ea fixează relația exprimată de operatorii prezenți, fără adaosuri cauzale, psihologice sau metafizice clandestine. PARTEA I · CAPITOLUL 1 — Natura logicii 10 TRATAT TEORETIC DE LOGICĂ Ce nu afirmă formula Nu stabilește singură adevărul factual al premiselor și nu descrie mecanismul psihologic prin care o persoană ajunge să le creadă. Confuzia cea mai frecventă Nu câștiga o dispută schimbând sensul cuvântului la jumătatea argumentului. O definiție circulară folosește în definiens termenul pe care pretinde să-l explice. Exemplu cotidian complet analizat O definiție operațională a febrei prin pragul unui instrument poate fi utilă, dar depinde de scop și măsurare. Cazul este relevant deoarece separă faptul concret de schema care îl organizează. Dacă termenii concreți sunt substituiți uniform, relația formală rămâne aceeași; dacă un termen își schimbă sensul, exemplul încetează să fie o instanță a aceleiași forme. Exemplu filosofic complet analizat A numi o relație nereflexivă „identitate” nu o transformă în identitate clasică. Exemplul filosofic nu dobândește validitate prin importanța subiectului. Premisele metafizice pot fi contestate, însă contestarea adevărului lor trebuie separată de contestarea formei. O concluzie poate urma valid din premise controversate. Formularea corectă Testează extinderea: prea largă, prea îngustă, circulară sau ambiguă. Formularea corectă declară tipul inferenței și limitează concluzia la ceea ce este susținut. Ea nu împrumută certitudine deductivă unei inferențe defeazibile. Legătura cu restul capitolului Definiții și dispute verbale furnizează vocabularul prin care capitolul separă normele de simplele regularități. Capitolele ulterioare vor transforma această distincție într-o semantică explicită. Domenii vecine și eroarea reducerii Logica poate fi aplicată în fiecare domeniu din tabel, dar nu se reduce la niciunul. O teorie psihologică explică de ce un agent comite afirmarea consecventului; ea nu transformă forma în modus ponens. O teorie fizică poate descrie suportul neural al unei demonstrații; ea nu furnizează contra-modelul semantic care ar face demonstrația nevalidă. Matematica folosește logica, iar unele programe filosofice încearcă să reducă matematica la logică, însă identitatea disciplinelor nu urmează din această dependență. Tabelul 1. Sinteză și control conceptual. Domeniu Obiect principal Tip de evaluare Probă tipică Logică validitatea și consecința normativ un contra-model sau o derivare Psihologie procese și comportamente cognitive descriptiv date empirice și modele cognitive PARTEA I · CAPITOLUL 1 — Natura logicii 11 TRATAT TEORETIC DE LOGICĂ Tabelul 1. Sinteză și control conceptual. Domeniu Obiect principal Tip de evaluare Probă tipică Retorică persuasiunea audienței strategic efectul discursului Gramatică structura expresiilor unei limbi descriptiv și normativ local reguli lingvistice Matematică structuri și relații abstracte demonstrativ demonstrații în axiome Fizică regularități și structuri naturale empiric observație, experiment și modelare Metafizică structura generală a realității ontologic argumente despre fundament și categorie Premisa 1 Premisa 2 Concluzie Figura 1. Harta minimă a argumentului. Figură logică: argument_map. Argument, explicație, dovadă și demonstrație Un argument oferă premise pentru o concluzie. O explicație presupune de regulă faptul explicat și arată de ce ori în virtutea a ce are loc. O dovadă este orice suport justificativ adecvat, în timp ce demonstrația este o secvență explicită de pași autorizați de un sistem. Obiecția atacă o premisă, o inferență sau o interpretare; contraexemplul descrie un caz care păstrează condițiile invocate, dar infirmă generalizarea. DEFINIȚIE Propoziția este conținutul evaluabil semantic. Enunțul este realizarea lingvistică. Afirmația este actul de a prezenta propoziția drept adevărată. Judecata poate desemna actul mental ori conținutul său, în funcție de tradiție. Aceste noțiuni sunt apropiate, dar nu identice. Sinteză teoretică Capitolul 1 a stabilizat sensurile termenilor centrali și a separat forma de conținutul contingent. Rezultatul este o concluzie calibrată: schimbarea unui exemplu nu schimbă regula, iar schimbarea unei reguli trebuie declarată ca atare. Tabelul 2. Sinteză și control conceptual. Nivel Funcție Nivelul sintactic expresiile și regulile lor de formare PARTEA I · CAPITOLUL 1 — Natura logicii 12 TRATAT TEORETIC DE LOGICĂ Tabelul 2. Sinteză și control conceptual. Nivel Funcție Nivelul semantic interpretările, modelele și condițiile de adevăr Nivelul inferențial relația prin care concluzia urmează din premise Nivelul filosofic interpretarea obiectivității, normativității și aplicabilității VERDICT LOCAL Verdict local 1: Delimitarea logicii ca disciplină a consecinței, distinctă de psihologie, retorică, gramatică, matematică, fizică și metafizică. Distincțiile sunt valabile în cadrul semantic precizat și nu autorizează extensii nedeclarate. PARTEA I · CAPITOLUL 1 — Natura logicii 13 TRATAT TEORETIC DE LOGICĂ PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate OBIECTIVUL CAPITOLULUI Separarea proprietăților propozițiilor de proprietățile argumentelor și clarificarea consecinței semantice față de derivabilitatea sintactică. Vocabular central adevăr , falsitate , validitate , soliditate , consecință , derivare Teza capitolului Adevărul califică ceea ce spun propozițiile despre un model sau despre realitate; validitatea califică legătura dintre premise și concluzie. Confundarea lor permite două erori opuse: declararea unui argument valid numai fiindcă are o concluzie adevărată și declararea unei concluzii false numai fiindcă argumentul oferit pentru ea este nevalid. Logica blochează ambele scurtături. În cuvinte foarte simple Capitolul fixează mai întâi sensurile, apoi nivelul formal și abia după aceea consecințele filosofice. Această ordine împiedică folosirea unui simbol drept ornament și împiedică mutarea concluziei dintr-un nivel semantic în altul. Adevăr și validitate Explicația intuitivă Adevărul aparține propozițiilor; validitatea aparține argumentelor. Ele nu sunt două nume pentru același lucru. Conceptul operează la nivelul normelor și al condițiilor de evaluare, nu ca descriere a unei particule sau a unui episod cerebral. Obiectivitatea sa înseamnă că verdictul nu se modifică prin preferința evaluatorului, odată ce sensurile și cadrul au fost fixate. Definiția exactă O propoziție este adevărată dacă lucrurile stau așa cum spune ea, în semantica și contextul fixate. Un argument deductiv este valid dacă imposibilitatea premiselor adevărate cu o concluzie falsă este garantată de formă. Definiția delimitează criteriul de aplicare. O expresie asemănătoare verbal nu intră sub concept dacă schimbă domeniul, indicii, valorile desemnate ori relația de consecință. Această disciplină terminologică este condiția oricărei critici formale. PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate 14 TRATAT TEORETIC DE LOGICĂ (4) Cum se citește Orice model care face toate premisele adevărate face și concluzia adevărată. Lectura verbală nu înlocuiește formula, dar face explicită structura ei. Parantezele, indicii și ordinea simbolurilor rămân constitutive. Ce înseamnă fiecare simbol Γ este setul de premise; ⊨ indică satisfacerea în toate modelele; φ este concluzia. semnul semantic leagă un model sau un ansamblu de premise de formula satisfăcută. Explicația intuitivă „Toate pietrele zboară; granitul este piatră; deci granitul zboară” este valid, deși prima premisă este falsă. Exemplul simplifică numai conținutul nonlogic. Forma și condițiile de aplicare rămân aceleași, ceea ce permite transferul controlat spre alte domenii. Explicația formală Formula aparține metalimbajului sau combină limbajul-obiect cu metalimbajul. Ea nu descrie direct o proprietate fizică, ci o relație de satisfacere, derivare ori evaluare. Distincția critică este aceea dintre conținutul contingent al propozițiilor și forma relației inferențiale. Forma nu garantează adevărul premiselor, dar stabilește ce urmează dacă acestea sunt admise. Din perspectivă formală, verdictul este determinat de regulile sistemului declarat. Modificarea verdictului cere modificarea unei premise, a interpretării, a semanticii ori a relației de consecință; simpla preferință nu constituie o asemenea modificare. Ce afirmă formula Orice model care face toate premisele adevărate face și concluzia adevărată. Afirmația este locală și exactă: ea fixează relația exprimată de operatorii prezenți, fără adaosuri cauzale, psihologice sau metafizice clandestine. Ce nu afirmă formula Nu stabilește singură adevărul factual al premiselor și nu descrie mecanismul psihologic prin care o persoană ajunge să le creadă. Confuzia cea mai frecventă Nu respinge forma validă doar fiindcă nu accepți premisele și nu accepta forma nevalidă doar fiindcă îți place concluzia. O concluzie adevărată obținută prin ghicire nu transformă inferența într-una validă. PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate 15 TRATAT TEORETIC DE LOGICĂ Exemplu cotidian complet analizat „București este în România; 2 + 2 = 4; deci apa fierbe la 100°C la nivelul mării” poate avea enunțuri adevărate, dar concluzia nu urmează. Cazul este relevant deoarece separă faptul concret de schema care îl organizează. Dacă termenii concreți sunt substituiți uniform, relația formală rămâne aceeași; dacă un termen își schimbă sensul, exemplul încetează să fie o instanță a aceleiași forme. Exemplu filosofic complet analizat Un argument despre liberul arbitru poate fi valid chiar dacă o premisă metafizică rămâne contestată. Exemplul filosofic nu dobândește validitate prin importanța subiectului. Premisele metafizice pot fi contestate, însă contestarea adevărului lor trebuie separată de contestarea formei. O concluzie poate urma valid din premise controversate. Formularea corectă Testează validitatea prin căutarea unui contra-model, apoi verifică separat adevărul premiselor. Formularea corectă declară tipul inferenței și limitează concluzia la ceea ce este susținut. Ea nu împrumută certitudine deductivă unei inferențe defeazibile. Legătura cu restul capitolului Adevăr și validitate furnizează vocabularul prin care capitolul separă normele de simplele regularități. Capitolele ulterioare vor transforma această distincție într-o semantică explicită. Soliditatea Explicația intuitivă Validitatea garantează legătura; adevărul premiselor furnizează punctul de plecare. Soliditatea le cere pe amândouă. Conceptul operează la nivelul normelor și al condițiilor de evaluare, nu ca descriere a unei particule sau a unui episod cerebral. Obiectivitatea sa înseamnă că verdictul nu se modifică prin preferința evaluatorului, odată ce sensurile și cadrul au fost fixate. Definiția exactă Un argument deductiv este solid dacă și numai dacă este valid și toate premisele sale sunt adevărate. Definiția delimitează criteriul de aplicare. O expresie asemănătoare verbal nu intră sub concept dacă schimbă domeniul, indicii, valorile desemnate ori relația de consecință. Această disciplină terminologică este condiția oricărei critici formale. (5) PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate 16 TRATAT TEORETIC DE LOGICĂ Cum se citește A este solid exact când A este valid și are premise adevărate. Lectura verbală nu înlocuiește formula, dar face explicită structura ei. Parantezele, indicii și ordinea simbolurilor rămân constitutive. Ce înseamnă fiecare simbol Solid(A) spune că argumentul A este solid; ↔ înseamnă „dacă și numai dacă”; ∧ este conjuncția. conjuncția cere satisfacerea ambelor componente; bicondiționalul cere aceeași valoare pentru cele două componente. Explicația intuitivă Toți oamenii sunt muritori; Socrate este om; deci Socrate este muritor. Exemplul simplifică numai conținutul nonlogic. Forma și condițiile de aplicare rămân aceleași, ceea ce permite transferul controlat spre alte domenii. Explicația formală Formula este propozițională ori schematică. Literele pot fi înlocuite uniform cu propoziții determinate, fără schimbarea operatorilor logici. Distincția critică este aceea dintre conținutul contingent al propozițiilor și forma relației inferențiale. Forma nu garantează adevărul premiselor, dar stabilește ce urmează dacă acestea sunt admise. Din perspectivă formală, verdictul este determinat de regulile sistemului declarat. Modificarea verdictului cere modificarea unei premise, a interpretării, a semanticii ori a relației de consecință; simpla preferință nu constituie o asemenea modificare. Ce afirmă formula A este solid exact când A este valid și are premise adevărate. Afirmația este locală și exactă: ea fixează relația exprimată de operatorii prezenți, fără adaosuri cauzale, psihologice sau metafizice clandestine. Ce nu afirmă formula Nu stabilește singură adevărul factual al premiselor și nu descrie mecanismul psihologic prin care o persoană ajunge să le creadă. Confuzia cea mai frecventă Nu numi „fals” un argument; numește false propozițiile și valid sau nevalid argumentul. Un argument valid cu o premisă falsă este nesolid; un argument cu premise adevărate, dar formă nevalidă, este tot nesolid. Exemplu cotidian complet analizat Dacă biletul este valid, poți intra; biletul este valid; deci poți intra, presupunând că regula este reală. PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate 17 TRATAT TEORETIC DE LOGICĂ Cazul este relevant deoarece separă faptul concret de schema care îl organizează. Dacă termenii concreți sunt substituiți uniform, relația formală rămâne aceeași; dacă un termen își schimbă sensul, exemplul încetează să fie o instanță a aceleiași forme. Exemplu filosofic complet analizat Un argument filosofic solid nu cere consens, ci premise adevărate și inferență validă. Exemplul filosofic nu dobândește validitate prin importanța subiectului. Premisele metafizice pot fi contestate, însă contestarea adevărului lor trebuie separată de contestarea formei. O concluzie poate urma valid din premise controversate. Formularea corectă Evaluează în două coloane: forma, apoi premisele. Formularea corectă declară tipul inferenței și limitează concluzia la ceea ce este susținut. Ea nu împrumută certitudine deductivă unei inferențe defeazibile. Legătura cu restul capitolului Soliditatea furnizează vocabularul prin care capitolul separă normele de simplele regularități. Capitolele ulterioare vor transforma această distincție într-o semantică explicită. Consecință semantică și derivabilitate sintactică Explicația intuitivă Putem verifica o concluzie privind toate modelele sau construind o demonstrație după reguli. Acestea sunt două perspective diferite. Conceptul operează la nivelul normelor și al condițiilor de evaluare, nu ca descriere a unei particule sau a unui episod cerebral. Obiectivitatea sa înseamnă că verdictul nu se modifică prin preferința evaluatorului, odată ce sensurile și cadrul au fost fixate. Definiția exactă Consecința semantică afirmă conservarea adevărului în modele. Derivabilitatea sintactică afirmă existența unui șir finit de formule obținute din premise prin regulile unui calcul. Definiția delimitează criteriul de aplicare. O expresie asemănătoare verbal nu intră sub concept dacă schimbă domeniul, indicii, valorile desemnate ori relația de consecință. Această disciplină terminologică este condiția oricărei critici formale. (6) Cum se citește Prima formulă vorbește despre toate interpretările; a doua despre existența unei dovezi în sistem. Lectura verbală nu înlocuiește formula, dar face explicită structura ei. Parantezele, indicii și ordinea simbolurilor rămân constitutive. PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate 18 TRATAT TEORETIC DE LOGICĂ Ce înseamnă fiecare simbol ⊨ se citește „implică semantic”; ⊢, numit turnichet, se citește „demonstrează” sau „derivă”; Γ sunt premisele, iar φ concluzia. semnul semantic leagă un model sau un ansamblu de premise de formula satisfăcută; turnichetul sintactic indică existența unei derivări în calcul. Explicația intuitivă Un tabel de adevăr poate arăta că P și P→Q implică semantic Q; o demonstrație naturală derivă Q prin modus ponens. Exemplul simplifică numai conținutul nonlogic. Forma și condițiile de aplicare rămân aceleași, ceea ce permite transferul controlat spre alte domenii. Explicația formală Formula aparține metalimbajului sau combină limbajul-obiect cu metalimbajul. Ea nu descrie direct o proprietate fizică, ci o relație de satisfacere, derivare ori evaluare. Distincția critică este aceea dintre conținutul contingent al propozițiilor și forma relației inferențiale. Forma nu garantează adevărul premiselor, dar stabilește ce urmează dacă acestea sunt admise. Din perspectivă formală, verdictul este determinat de regulile sistemului declarat. Modificarea verdictului cere modificarea unei premise, a interpretării, a semanticii ori a relației de consecință; simpla preferință nu constituie o asemenea modificare. Ce afirmă formula Prima formulă vorbește despre toate interpretările; a doua despre existența unei dovezi în sistem. Afirmația este locală și exactă: ea fixează relația exprimată de operatorii prezenți, fără adaosuri cauzale, psihologice sau metafizice clandestine. Ce nu afirmă formula Nu stabilește singură adevărul factual al premiselor și nu descrie mecanismul psihologic prin care o persoană ajunge să le creadă. Confuzia cea mai frecventă Nu presupune că ⊢_L_1 și ⊢_L_2 coincid pentru calculi diferiți. Un motor de demonstrație poate eșua să găsească rapid o dovadă chiar dacă relația semantică este valabilă. Exemplu cotidian complet analizat Verificarea tuturor combinațiilor de adevăr este semantică; scrierea pașilor unei demonstrații este sintactică. Cazul este relevant deoarece separă faptul concret de schema care îl organizează. Dacă termenii concreți sunt substituiți uniform, relația formală rămâne aceeași; dacă un termen își schimbă sensul, exemplul încetează să fie o instanță a aceleiași forme. PARTEA II · CAPITOLUL 2 — Adevăr, falsitate și validitate 19 TRATAT TEORETIC DE LOGICĂ