Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse
Sulge

"mitteilmse" - 3 õppematerjali

Loogika konspekt 1-5
30
pdf

Loogika konspekt 1-5

Definitsioon (ld definitio) on verbaalloogiline operatsioon mille abil avatakse mõiste sisu. Definiendum (ehk defineeritav, tähistatakse Dfd) on mõiste, mida defineeritakse (määratletakse, piiritletakse). Definiens (ehk defineeriv, tähistatakse Dfn) on mõiste(d) või väljendid, mille abil defineeritava mõiste sisu avatakse. Kui definitsioonis on Dfd ja Dfn selgesti eristatavad ja vastastikku asendatavad, siis on tegemist ilmse definitsiooniga; teistel juhtudel on tegemist mitteilmse definitsiooniga. Levinuim ilmse definitsiooni liik on reaaldefinitsioon ehk klassikaline definitsioon, nt: Rööpkülik on nelinurk, mille vastasküljed on paralleelsed. Ristkülik on rööpkülik, mille nurgad on täisnurgad. Ruut on ristkülik, mille küljed on võrdsed. Sellist tüüpi määratlust nimetatakse ka defineerimiseks soomõiste ja liigierisuse kaudu. KLASSIKALINE DEFINEERIMINE 1. Tuleb leida lähim mõiste, mille suhtes määratletav mõiste (Dfd) on alluv

Filosoofia → Loogika
337 allalaadimist
LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK Loogika määratlemisest
348
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

termini mahtu kuuluvate objektide fikseerimine (ekstensionaalne definitsioon). Definiendum (ehk defineeritav, tähistatakse Dfd) on termin, mida defineeritakse. Definiens (ehk defineeriv, tähistatakse Dfn) on termin(id) või väljendid, mille abil defineeritava termini intensioon avatakse. Kui definitsioonis ehk määratluses on Dfd ja Dfn selgesti eristatavad ja vastastikku asendatavad (neil on sama sisu ja maht), siis on tegemist ilmse definitsiooniga; teistel juhtudel on tegemist mitteilmse definitsiooniga. Definitsioone kasutatakse väga erinevates kontekstides ning nende esitamise eesmärk ja esitusviis võib olla vägagi erinev. Tavapraktikas võib eristada mitmeid defineerimise tüüpe (need ei välista üksteist): 1) sätestavad ehk kokkuleppelised (stipulative 'sätestav'); 2) leksikaalsed ehk sõnavaralised (lexical); 3) täpsustavad (precising); 4) teoreetilised ehk teaduslikud (theoretical); 5) operatsionaalsed (operational); 6) rekursiivsed (recursive);

Õigus → Õigus
44 allalaadimist
LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK
197
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

termini mahtu kuuluvate objektide fikseerimine (ekstensionaalne definitsioon). Definiendum (ehk defineeritav, tähistatakse Dfd) on termin, mida defineeritakse. Definiens (ehk defineeriv, tähistatakse Dfn) on termin(id) või väljendid, mille abil defineeritava termini intensioon avatakse. Kui definitsioonis ehk määratluses on Dfd ja Dfn selgesti eristatavad ja vastastikku asendatavad (neil on sama sisu ja maht), siis on tegemist ilmse definitsiooniga; teistel juhtudel on tegemist mitteilmse definitsiooniga. Definitsioone kasutatakse väga erinevates kontekstides ning nende esitamise eesmärk ja esitusviis võib olla vägagi erinev. Tavapraktikas võib eristada mitmeid defineerimise tüüpe (need ei välista üksteist): 1) sätestavad ehk kokkuleppelised (stipulative 'sätestav'); 2) leksikaalsed ehk sõnavaralised (lexical); 3) täpsustavad (precising); 4) teoreetilised ehk teaduslikud (theoretical); 5) operatsionaalsed (operational);

Matemaatika → Matemaatika ja loogika
33 allalaadimist


Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun