Inducerea (epagoge greacă, latină ins - .. Orientare), tipul de generalizări asociate cu anticiparea rezultatelor observațiilor și experimentelor pe baza datelor privind experiența anterioară. Acesta este motivul pentru care vorbesc despre ...
Deducere (latină deductio - excreție.) Trecerea de la general la particular; într-un sens mai specific, termenul „D.“ se referă la procesul de inferență, t. e. trecerea diferitelor reguli sau logica din ...
O consecință logică, hotărârea (teză, declarație, formulă), pe cale de consecință (sau în alt mod logic rezultă) din incinta (inferență sau retragerea parcelelor, constând dintr-o serie de ...
Logic (din limba greacă. Logik), știința metodelor acceptabile de motivare. Cuvântul „L.“ în utilizarea sa modernă de semnificații, deși nu la fel de conotații bogate, cum ar fi greaca veche. logo-uri, din care ...
Calculul natural, calcul de deducere naturale, deducerea naturale, denumirea comună a calculului logic, a intrat și a studiat în 1934 de către logicianul german G. Gentzen (și independența polonez ...
lege logică, denumirea comună a legilor care stau la baza deducție logică. Conceptul de L. s. datează conceptul antic grecesc logos'e ca o condiție prealabilă pentru obiectivul ( „natural“) este corect ...
algebra logicii, secțiunea matematică. logica enunț de învățare, văzut din partea de valoare logică (adevărat sau fals), și operații logice pe ele. A. l. Acesta are originea în ...
Trimiterea, în sensul cel mai larg - care, pe baza cărora o concluzie sau inferență. AP poate fi fapte sau declarații de fapte, principii, axiome, postulate, deci, în general, orice eveniment sau remarci -. Datele brute din care, fie direct, fie prin intermediul unor raționamente pot fi învățate orice informații noi pentru noi. În acest sens, vom spune același lucru despre inducerea AP. și P. deducere.
Într-un sens restrâns, cu constructe logica deductivă formale de fapt, numite declarații P., care sunt supuse unei anumite reguli de inferență, sau simbolizând formula lor inclusă în formularea de reguli de inferență, „limbajul cercetătorului.“ „Symmetrical“ la conceptul de IP este conceptul de consecință logică. Aceste concepte sunt, în general vorbind, sunt relative: o declarație poate fi VP într-o singură aplicare a regulilor de inferență și consecință - în cealaltă. Formalismele logice de tip axiomatic (vezi. Logic) P. deducție primii pași în avans sunt înregistrate sub formă de axiome care m. O. juca rolul de spații „absolute“ sau GP - procedura de retragere ar trebui să înceapă neapărat cu ei. În termeni naturali. această motivare se realizează printr-o cunoscută în antichitate „acord de principiu“, P. absolut nr.
Indiferent de natura oricărei P. uzate care sunt o condiție prealabilă pentru un argument logic sau probe. Esențială este problema naturii P. nepostoronnem din afară în acest argument AP poate fi întotdeauna înlocuit, dimpotrivă, fără a aduce atingere argumentului. Această regulă corespunde legii logice. care poate fi numită „legea parcelelor handed“:
Problemele de identificare a consecințelor datelor nepostoronnih P. și P. Potrivit anchetei sunt sarcini logice de bază. În formalismul algebra situațiilor, aceste probleme au o soluție completă (a se vedea. Algebra logicii).