schemă, care exprimă o relație cu t. sp. de adevăr și falsitate dintre universal afirmative, universal negativ, și la adesea chastnootritsatelnym judecăți trad. logic, având același subiect și același predicat și notate cu literele A, E, I, O (Fig 1.); propusă în secolul al 11-lea. Mihailom Psellom.
Relația n o n e n h și n și I se caracterizează prin aceea că, subordonând hotărârea validității (A sau E) slave corespunzător determină judecata valabilității (I sau O) și judecata sclav minciună face falsitatea subordonându judecata; raportul dintre d n n t r o și n o s t u (subkontrarnosti) caracterizat prin aceea că una dintre hotărârile falsitate podprotivnyh determină valabilitatea celuilalt.
(Dimpotrivă, și relația de contradicție vezi. Kontradiktornoe contrarii atitudine și atitudine).
L. a. Se presupune că ligamentul „este“ ( „core“) este folosit în hotărârile sens existențial, potrivit căruia judecata A, I, E, O S sugerează existența unei clase de obiecte (adică, un subiect care nu este gol) și cuvântul " nek- „are sens“ gât-secară, și, eventual, toate. "
Dacă vom renunța la ultima condiție și să înțeleagă „nek-“ ca „numai nek-“ (care corespunde uneia dintre sensurile de utilizare a cuvântului în naturile. Limba), condițiile de valabilitate a I și O sunt aceleași și relația dintre A, I, E, Despre exprimat deja logic. delta, în litere-k set I și O marca același vârf (a se vedea figura 2 ..) (rus propus logician H. A. Vasilevym.); Aici relația dintre A, E și D (I echivalent), sunt caracterizate prin aceea că trei propoziții unul și numai unul poate fi adevărat.
Conducerea în LA. Cu inerent sistemului său de adevăr și relațiile falsității este, de asemenea, utilizat pentru a exprima relația dintre hotărârile modale (a se vedea. Modality) [fig. 3, într-un Νp rom, Ν PIATA LOGICAL p, SQUARE LOGICAL Νp și grila logică Ν SQUARE LOGICAL p exprima, respectiv, hotărârile "trebuie p" (care este echivalentă cu afirmația "Nu poate să nu-p"), „nu trebuie p "(" nu puteți p ")," nu este necesar p "(" poate nu-p ") și" nu este necesar să nu-p "(" poate p „)].
Compus judecata grilă logică Νp și LOGICAL SQUARE LOGICAL SQUARE N p de "și" semn ( ) Dă naștere la judecata hazardului ( „șansa ca p“) și rezultanta unui sistem de relații între cele trei hotărâri modale exprimate logic. triunghi (Fig. 4).
Lit:. Asmus V. F. logic, M. 1947, p. 143-46; Minto B. deductivă și logica inductivă. per. din limba engleză. Ediția a 5. M. 1905, Voi. 1, ch. 3, cap. 2; Vasiliev H. Α. Pe judecăți parțiale pe triunghiul opus, legea exclus a patra, Kaz. 1910 Bochenski J. M. Formale Logik, Freiburg - Münch. 1956.
B. Shvyrev. București.
Enciclopedia filozofică. Cele 5 Vols -. M. sovietice Enciclopedia. Editat de FV Konstantinov. 1960-1970.
Vezi ce „grila de logică“, în alte dicționare:
Logic pătrat - o diagramă care servește să memoreze mnemonica o relație logică între universal afirmativă (A), negativ universal (E) la des (I) și judecăți chastnootritsatelnymi (A). Pătratul logic este prezentată în figură. ... ... Dicționar de logica termenilor
opuse pătrat - o diagramă care servește să memoreze mnemonica o relație logică între universal afirmativă (A), negativ universal (E) la des (I) și hotărârile chastnootritsatelnymi (A). Pătratul logic este prezentată în figură. ... ... Dicționar de logica termenilor
Logic - știința metodelor acceptabile de motivare (logike̅ greacă.). Cuvântul „LA“, în utilizarea sa modernă de sensuri, cu toate că nu conotații la fel de bogate, cum ar fi greaca veche. logos, din care este derivat. În spiritul tradiției cu conceptul ... O mare Enciclopedia sovietică
Anicius Manlius Torquatus Severin Boetsy - Despre scolasticii medievale vezi Boethius din Dacia Boetius Boetius ... Wikipedia.
Hotărârea - forma Hotărârea de gândire în care fie afirma sau nega despre subiectul, proprietățile sau relațiile dintre obiectele sale. Tipuri de judecăți și relațiile dintre ele sunt studiate în logica filosofică. În judecata logică matematică ... ... Wikipedia
contrarii opus - (. Lat opusă contrarius) raportul dintre opus, sau opuse, judecăți (. vezi pătrat logic) ... Dicționar de logica termenilor
Silogism - o concluzie, în care, pe baza mai multor avize cu privire la necesitatea de a obține o nouă propunere numită concluzia. Spre deosebire de S. ca o deducere mediocră, numită inferență directă că, în care concluzia ... ... Collegiate dicționar FA Brockhaus și IA Efron
Occam - (Ockkam, Occam) William (cca 1285 1349) Ing.. filosof, logician și scriitor politic biserică, un reprezentant al scolasticilor târzii. călugăr franciscan. A studiat și a predat la Oxford. În 1323, în legătură cu acuzația de erezie a fost numit de Papa Ioan al XXII ... ... Filozofic Enciclopedia
- LucyLeo Sortator pătrat logic. Sortator LucyLeo „pătrat logic“ este un cadou perfect pentru copilul tau! formă specială cuiere permite colectarea cifrele într-o coloană de o singură formă. Cifrele făcute izspetsialnogo ... Citește mai mult Vand pentru 798 de ruble
- Lumea de jucării din lemn joc educativ Logic pătrat. joc „pătrat logic“ de învățământ pentru o lungă perioadă de timp va lua atentia copilului. Jocul este conceput ca o bază de lemn cu zece stâlpi de lemn și 16 forme geometrice de albastru, ... Read More Cumpără pentru 690 de ruble
- Pătratul logic, mici. Kid se propune să rezolve sarcina interesantă este sortarea elementelor în formă, numărul de găuri (poate fi 1, 2, 3 și 4). În plus, nu este doar dreptul de a pune obiecte pe ... More Cumpără acum pentru 662 de ruble