Dacă A, apoi B; greșit V.
Aici A și B sunt câteva afirmații; "dacă A, apoi B" și "nu este adevărat că B" ("non-B") - premisa; "Nu este adevărat că A" ("nu-A") este o concluzie; Linia orizontală se află în locul cuvântului "în consecință". O altă intrare:
Dacă A, apoi B. Nu-B. Prin urmare, non-A.
Prin această schemă, de la afirmația afirmației condiționale și negarea consecvenței sale (consecință), are loc trecerea la negarea bazei (antecedentei) cuvântului dat. De exemplu: dacă heliul este un metal, el este conductiv din punct de vedere electric.
Heliul nu este un metal.
Vezi ce "modus Tollens" se află în alte dicționare:
modus - este un termen filosofic care denotă proprietatea unui obiect inerent numai în anumite stări și în funcție de mediul obiectului și de conexiunile în care se află. M. se opune atributului ... Dicționar al termenilor logicii
modus ponendo tolens - este termenul de logică medievală, care denotă următoarele scheme de raționament: Fie A sau B; A. și fie A sau B; V. False B. Nu este adevărat A. Aici A și B sunt câteva afirmații; fie A, fie B și A ale premisei; Nu este adevărat că B (nu ... ... Dicționarul termenilor de logică
inferență concludentă - inferență, inclusiv premisele, care sunt propoziții condiționate (a se vedea declarația condiționată). W. la. poate consta dintr-o singură premisă condiționată, poate include, pe lângă condițional, alte parcele care nu sunt condiționate și pot, de asemenea, ... ... Glosar de termeni de logică
falsificarea - (din falsul latin fals, facio do) procedură care stabilește falsitatea unei teorii sau ipoteze ca rezultat al verificării empirice. Conceptul de F. este fundamental în conceptul metodologic al lui K. Popper, care a fundamentat importanța acestui ... ... Glosar de termeni de logică
Discursivă silogism - vezi Modus ponendo tolens. Modus Tolendo ponens ... Dicționar de termeni de logică
discursivă silogism, a se vedea Modus ponendo tolens. Modus Tolendo ponens ... Dicționar de termeni de logică