Definice: Porovnání verzí

Odebrán 1 bajt ,  před 7 lety
m
bez shrnutí editace
m (Bot: Odstranění 59 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q101072))
m
 
== Klasická definice ==
Podle [[Aristotelés|Aristotela]] je definice specifickým soudem, který má strukturu trojčlenného soudu ([[subjekt]] – [[kopula]] – [[predikát]]). Tvar definice je tedy "definiendum je definiens" <ref>[http://www.borber.com/files/FIL103-Odkaz-Aristotelske-logiky.doc Bernard, B. (2004). Odkaz Aristotelské logiky.]</ref>. V symbolických zápisech se pro významovou rovnost definovaného výrazu s výrazuemvýrazem definujícím užívá znak <math>=_{def}</math> nebo <math>=_{df}</math> (čte se "definičně rovno").
 
V klasické (aristotelovské) definici má definiens dvě části:
# druhový rozdíl (''differentia specifica'') v rámci tohoto rodu.
 
Tak v definici "čtverec je čtyřúhelník pravoúhlý rovnostranný" je "čtverec" definiendum, "čtyřúhelník" je nejblíže nadřazený rod a "pravoúhlý rovnostranný" je druhový rozdíl, který [[čtverec]] odlišuje od jiných [[čtyřúhelník|čtyřúhleníkůčtyřúhelníků]].<ref name="učebnice MU">[http://boss.ped.muni.cz/vyuka/material//Logika/SKRIPTALopravene.swf učebnice logiky]</ref>
 
== Další způsoby definování a hlavní typy definic ==