Definice (z latinského de = od, pryč a finis = hranice, tedy definitio = ohraničení, vymezení) je pokud možno jednoznačné určení významu nějakého pojmu. Pojem, který se definuje, je také nazýván definiendum (latinsky „co se má definovat“), zatímco popis významu definovaného pojmu se označuje jako definiens (latinsky „definující“). Předefinování (redefinice) pak označuje ustanovení nové definice nahrazující tu stávající.
Podle Aristotela je definice specifickým soudem, který má strukturu trojčlenného soudu (subjekt – kopula – predikát). Tvar definice je tedy "definiendum je definiens". V symbolických zápisech se pro významovou rovnost definovaného výrazu s výrazem definujícím užívá znak
=
d
e
f
{\displaystyle =_{def}}
nebo
=
d
f
{\displaystyle =_{df}}
(čte se "definičně rovno").
V klasické (aristotelovské) definici má definiens dvě části:
nejbližší nadřazený pojem čili rod (lat. genus proximum) a
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ů.
Další způsoby definování a hlavní typy definic
předdefinitorní formy - nedostatečně precizní definice používané např. tehdy, když by bylo přesné definování zbytečné nebo kontraproduktivní (např.
Copyright 2024 puzzlefactory.com Všechna práva vyhrazena.