sorites
Sorites er en kædeslutning, fx "hvis A=B, B=C, C=D og D=E, så er A=E". Matematisk-logisk følger dette ganske enkelt af, at lighed er en transitiv relation, vel nok den mest oplagte af alle. Figurens
Sorites er en kædeslutning, fx "hvis A=B, B=C, C=D og D=E, så er A=E". Matematisk-logisk følger dette ganske enkelt af, at lighed er en transitiv relation, vel nok den mest oplagte af alle. Figurens
Sorites-paradokset Sorites-paradokset (af græsk sorites 'bunkeslutning') viser, at vage prædikater tilsyneladende fører til paradokser. Tænk på en bunke sten. En sten vil ikke blive betragtet som en bunke, to heller ikke osv. Enhver kan kende en bunke, men
siger her, er løgn!" (se Epimenides) og kædeslutningen (sorites): "Er to korn en bunke? Nej. Er tre? Nej. Osv. Altså kan man aldrig lave en bunke". Læs mere i Den Store Danske den megariske skole logik Grækenland i oldtiden – filosofi
og matematik en binær relation R, hvor xRz (x står i relationen R til z), når xRy og yRz . Eksempler er '≥', men ikke 'ǂ', blandt tal, og "er efterkommer af", men ikke "er barn af", blandt mennesker. Se også sorites.