64 suhted: Aleetilised modaalsused, Aristoteles, Ateism, Augustus De Morgan, Šona keel, Üldisuskvantor, Boole'i algebra, Brendan Balcerak Jackson, Busa keel, Charles Sanders Peirce, De docta ignorantia, De interpretatione, Disjunktsioon, EI, EI-loogikaelement, Eitav kõneliik, Ekvivalents, Enesestmõistetavus, Ethics and Language, Eve keel, Fact, Fiction, and Forecast, Filosoofia mõisteid, Filosoofiline loogika, Gottlob Frege, Hassaniija keel, Hüüumärk, Intuitsionistlik loogika, Kategooriad, Kõneliik, Konjunktsioon, Konnektor (keeleteadus), Kontradiktoorsus, Laenamine (muusika), Lauseeitus, Loogikatehe, Maasai keel, Matemaatiliste sümbolite loend, Mõistekiri, MD5, Meaning and Knowledge, Metafüüsika (Baumgarten), Neljas meditatsioon, NING-EI, Njandža keel, Otsustus, Philosophy of Mathematics: An Introduction, Pierre Abélard, Principia Ethica, Rööpvärat, Rundi keel, ..., Space and Time, Täiendkood, Tõeväärtus (andmetüüp), Teine analüütika, Termin (loogika), The Refutation of Idealism, Unaarne tehe, Vabadus, Valetaja paradoks, Vastuolulisus, Väitlause, Välistatud kolmanda seadus, VÕI-EI, Verilog. Laienda indeks (14 rohkem) »
Aleetilised modaalsused
Aleetilised modaalsused on paratamatu tõesusega seotud modaalsused.
Uus!!: Eitus ja Aleetilised modaalsused · Näe rohkem »
Aristoteles
Aristoteles. Koopia Lysippose (4. sajand eKr) kaotsiläinud pronksskulptuurist (1.–2. sajand pKr). Louvre. Aristoteles (384 eKr Stageira – 7. märts 322 eKr Chalkis) oli vanakreeka filosoof, polühistor, Platoni õpilane, Aleksander Suure õpetaja.
Uus!!: Eitus ja Aristoteles · Näe rohkem »
Ateism
Ateism (vanakreeka sõnast ἄθεος atheos, 'jumalata') on laias mõistes usu puudumine Jumala või jumalate olemasolusse.
Uus!!: Eitus ja Ateism · Näe rohkem »
Augustus De Morgan
Augustus De Morgan (27. juuni 1806 Madura, India – 18. märts 1871 London, Inglismaa) oli inglise matemaatik ja loogik, kelle töö on loogikaõpetuse jaoks väga oluline olnud.
Uus!!: Eitus ja Augustus De Morgan · Näe rohkem »
Šona keel
Šona keel on Nigeri-Kordofani hõimkonna Bantu S-rühma keelte hulka kuuluv keel, mida kõneldakse peamiselt Zimbabwes.
Uus!!: Eitus ja Šona keel · Näe rohkem »
Üldisuskvantor
Üldisuskvantor (sümbol \forall) on predikaatloogikas sümbol, mille abil väljendatakse, et miski on tõsi kõige kohta (või kõige asjasse puutuva kohta).
Uus!!: Eitus ja Üldisuskvantor · Näe rohkem »
Boole'i algebra
Boole'i algebra on hulk koos sellel defineeritud kahe kommutatiivse, assiotsiatiivse, teineteise suhtes distributiivse ja neelduva binaarse algebralise tehtega, mida nimetatakse konjunktsiooniks (tähis ∧) ning disjunktsiooniks (tähis ∨), ja involutsioon, mis kannab nime eitus või täiend (tähis ¬).
Uus!!: Eitus ja Boole'i algebra · Näe rohkem »
Brendan Balcerak Jackson
Brendan Balcerak Jackson on Ameerika Ühendriikide filosoof, Miami Ülikooli dotsent.
Uus!!: Eitus ja Brendan Balcerak Jackson · Näe rohkem »
Busa keel
Busa keel on mande keelkonda ja Nigeri-Kordofani hõimkonda kuuluv Nigeerias kasutatav keel.
Uus!!: Eitus ja Busa keel · Näe rohkem »
Charles Sanders Peirce
Charles Sanders Peirce umbes 1870 Charles Sanders Peirce (10. september 1839 Cambridge (Massachusetts) – 19. aprill 1914) oli USA filosoof ja mitmekülgne teadlane, polühistor, sealhulgas loogik ja matemaatik.
Uus!!: Eitus ja Charles Sanders Peirce · Näe rohkem »
De docta ignorantia
"De docta ignorantia" ("Õpetatud mitteteadmisest") on Nicolaus Cusanuse teos.
Uus!!: Eitus ja De docta ignorantia · Näe rohkem »
De interpretatione
"De interpretatione" (vanakreeka keeles Περὶ ἑρμηνείας (Peri hermeneias)) on Aristotelese teos, osa Organonist.
Uus!!: Eitus ja De interpretatione · Näe rohkem »
Disjunktsioon
Tehte \scriptstyle A \lor B Venni diagramm Tehte \scriptstyle A \lor B \lor C Venni diagrammDisjunktsioon ehk loogiline liitmine on binaarne loogikatehe: lausete A ja B disjunktsioon A\veeB loetakse vääraks parajasti siis, kui laused A ja B on mõlemad väärad ning tõeseks kõigil muudel juhtudel.
Uus!!: Eitus ja Disjunktsioon · Näe rohkem »
EI
EI võib tähendada.
Uus!!: Eitus ja EI · Näe rohkem »
EI-loogikaelement
EI-loogikaelement (ingl k NOT gate või inverter) on ühe sisendi ja ühe väljundiga loogikaelement, mis realiseerib loogilise eituse tehet.
Uus!!: Eitus ja EI-loogikaelement · Näe rohkem »
Eitav kõneliik
Eitav kõneliik ehk negatiiv on kõneliik, mis väljendab öeldisverbiga kirjeldatava tegevuse eitust, nt Kati ei läinud poodi.
Uus!!: Eitus ja Eitav kõneliik · Näe rohkem »
Ekvivalents
Ekvivalents ehk bikonditsionaal ehk vastavus on loogikatehe, mis vastab seosele "...
Uus!!: Eitus ja Ekvivalents · Näe rohkem »
Enesestmõistetavus
Enesestmõistetavus ehk iseenesestmõistetavus ehk iseenesest teada olek (ladina keeles esse per se notum, inglise keeles self-evidence) on filosoofias propositsiooni (mõtte, väite) omadus, mis seisneb selles, et sellest pole võimalik aru saada ilma teadmiseta, et see on tõene.
Uus!!: Eitus ja Enesestmõistetavus · Näe rohkem »
Ethics and Language
"Ethics and Language" ("Eetika keel") on Charles Stevensoni filosoofiline teos.
Uus!!: Eitus ja Ethics and Language · Näe rohkem »
Eve keel
Eve keelt, mida nimetatakse ka ewe või éwé keeleks, kõneldakse Aafrikas, täpsemalt Togos ja Ghana kaguosas.
Uus!!: Eitus ja Eve keel · Näe rohkem »
Fact, Fiction, and Forecast
"Fact, Fiction, and Forecast" on Nelson Goodmani filosoofiline raamat.
Uus!!: Eitus ja Fact, Fiction, and Forecast · Näe rohkem »
Filosoofia mõisteid
Siin on loetletud filosoofia mõisteid.
Uus!!: Eitus ja Filosoofia mõisteid · Näe rohkem »
Filosoofiline loogika
Filosoofiline loogika (inglise philosophical logic) on ratsionaalse mõtlemise filosoofiline uurimine.
Uus!!: Eitus ja Filosoofiline loogika · Näe rohkem »
Gottlob Frege
Frege (umbes 1879) Friedrich Ludwig Gottlob Frege (8. november 1848 Wismar – 26. juuli 1925 Bad Kleinen) oli saksa matemaatik, loogik ja filosoof, keda peetakse tänapäeva matemaatilise loogika rajajaks.
Uus!!: Eitus ja Gottlob Frege · Näe rohkem »
Hassaniija keel
Hassaniija keel on araabia keele murre, mis on Mauritaania araabiakeelsete elanike, enamasti beduiinide emakeel.
Uus!!: Eitus ja Hassaniija keel · Näe rohkem »
Hüüumärk
Hüüumärk Hüüumärk (!) on kirjavahemärk, mida kasutatakse tavaliselt lause lõpus lause rõhutamiseks.
Uus!!: Eitus ja Hüüumärk · Näe rohkem »
Intuitsionistlik loogika
Intuitsionistlik loogika (inglise intuitionistic logic) on mitteklassikaline loogika, millele pani aluse hollandi matemaatik Arend Heyting (1898-1980).
Uus!!: Eitus ja Intuitsionistlik loogika · Näe rohkem »
Kategooriad
"Kategooriad" (vanakreeka keeles Περὶ τῶν κατηγοριῶν (Perì tṓn katēgoriṓn), ladina keeles Categoriae) on Aristotelese teos.
Uus!!: Eitus ja Kategooriad · Näe rohkem »
Kõneliik
Kõneliik on tegusõna grammatiline kategooria, mille liikmed on eesti keeles ja paljudes teistes keeltes jaatav kõne (afirmatiiv) ja eitav kõne (negatiiv).
Uus!!: Eitus ja Kõneliik · Näe rohkem »
Konjunktsioon
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.
Uus!!: Eitus ja Konjunktsioon · Näe rohkem »
Konnektor (keeleteadus)
Konnektoriks ehk konnektiiviks nimetatakse formaalse keele või loomuliku keele loogilisi konstante, mille abil lausetest moodustatakse liitlauseid.
Uus!!: Eitus ja Konnektor (keeleteadus) · Näe rohkem »
Kontradiktoorsus
Kontradiktoorsus on teatud tüüpi suhe kahe propositsiooni, otsustuse või väite vahel.
Uus!!: Eitus ja Kontradiktoorsus · Näe rohkem »
Laenamine (muusika)
Laenamine (inglise keeles borrowing) on muusika kompositsioonimeetod, mille puhul uues muusikas kasutatakse olemasoleva materjali või printsiipi.
Uus!!: Eitus ja Laenamine (muusika) · Näe rohkem »
Lauseeitus
Lauseeitus on üks kahest kõneliigist (jaatav ja eitav kõneliik), mida laiemalt mõistetakse ühe tegusõna grammatilise kategooriana.
Uus!!: Eitus ja Lauseeitus · Näe rohkem »
Loogikatehe
Loogikatehe on loogikas tõefunktsionaalne tehe propositsioonidega.
Uus!!: Eitus ja Loogikatehe · Näe rohkem »
Maasai keel
Maasai keel ehk masai keel (maasai keeles ɔl Maa) on Niiluse-Sahara keelehõimkonna Ida-Niiluse harusse kuuluv keel, mida räägitakse Lõuna-Keenias ja Põhja-Tansaanias.
Uus!!: Eitus ja Maasai keel · Näe rohkem »
Matemaatiliste sümbolite loend
Siin on valik sümboleid matemaatika eri valdkondadest.
Uus!!: Eitus ja Matemaatiliste sümbolite loend · Näe rohkem »
Mõistekiri
"Mõistekirja" tiitelleht "Mõistekiri" ("Begriffsschrift") on Gottlob Frege umbes 80-leheküljeline raamat loogikast.
Uus!!: Eitus ja Mõistekiri · Näe rohkem »
MD5
MD5 (ingliskeelsest nimest Message Digest 5) on levinud räsifunktsioon, mille väljundiks on 128-bitine kontrollsumma (ingl. checksum).
Uus!!: Eitus ja MD5 · Näe rohkem »
Meaning and Knowledge
"Meaning and Knowledge" ("Tähendus ja teadmine") on Hilary Putnami 1976.
Uus!!: Eitus ja Meaning and Knowledge · Näe rohkem »
Metafüüsika (Baumgarten)
"Metafüüsika" ("Metaphysica") on Alexander Gottlieb Baumgarteni ladinakeelne teos.
Uus!!: Eitus ja Metafüüsika (Baumgarten) · Näe rohkem »
Neljas meditatsioon
Neljas meditatsioon on René Descartesi teose "Meditatsioonid esimesest filosoofiast" neljas peatükk.
Uus!!: Eitus ja Neljas meditatsioon · Näe rohkem »
NING-EI
NING-EI (ingl k NAND sõnadest not and) on konjunktsiooni eituse loogikatehe (Shefferi funktsioon).
Uus!!: Eitus ja NING-EI · Näe rohkem »
Njandža keel
Njandža keel on Nigeri-Kordofani hõimkonda Bantu keelte hulka kuuluv keel.
Uus!!: Eitus ja Njandža keel · Näe rohkem »
Otsustus
Otsustus (inglise keeles judgment, saksa keeles Urteil) on loogikas mõtlemisvorm, milles midagi jaatatakse või eitatakse, st tunnistatakse (mõttes) mingi propositsioon tõeseks või vääraks.
Uus!!: Eitus ja Otsustus · Näe rohkem »
Philosophy of Mathematics: An Introduction
"Philosophy of Mathematics: An Introduction" on David Bostocki filosoofiline raamat, mis ilmus 2009.
Uus!!: Eitus ja Philosophy of Mathematics: An Introduction · Näe rohkem »
Pierre Abélard
Jean Vignaud. Abélard ja Héloïse Fulberti poolt üllatatuna. Õli lõuendil, 1819 Abélard ja Héloïse ühes "Roosiromaani" käsikirjas, Chantilly, musée Condé (14. sajand) Pierre Abélard (ladinapäraselt Petrus Abaelardus; umbes 1079 Le Pallet Nantes'i lähedal – 21. aprill 1142 Saint-Marceli klooster Chalon-sur-Saône'i lähedal) oli prantsuse skolastiline filosoof ja teoloog.
Uus!!: Eitus ja Pierre Abélard · Näe rohkem »
Principia Ethica
"Principia Ethica" on 1903.
Uus!!: Eitus ja Principia Ethica · Näe rohkem »
Rööpvärat
Paralleelport (rööpvärat, rööpport) on liides, mida kasutatakse erinevate välisseadmete ühendamiseks arvutiga.
Uus!!: Eitus ja Rööpvärat · Näe rohkem »
Rundi keel
Rundi keel on bantu keelte hulka kuuluv keel, mis on Ida-Aafrikas asuva Burundi Vabariigi rahvuskeeleks (koos prantsuse keelega).
Uus!!: Eitus ja Rundi keel · Näe rohkem »
Space and Time
"Space and Time" on Richard Swinburne'i filosoofiline raamat.
Uus!!: Eitus ja Space and Time · Näe rohkem »
Täiendkood
Täiendkood on kahendarv, mis saadakse, kui otsekoodi madalamad (väiksema kohakaaluga) kohad kopeeritakse (kirjutatakse ümber) kuni esimese 1-ni kaasa arvatud ja ülejäänud kõrgemad (suurema kohakaaluga) kohad inverteeritakse (inverteerimisega tehakse loogilise eituse ehk negatsioonitehe).
Uus!!: Eitus ja Täiendkood · Näe rohkem »
Tõeväärtus (andmetüüp)
Tõeväärtus on arvutiteaduses kahe võimaliku väärtusega andmetüüp, mille väärtusteks on kas tõene või väär.
Uus!!: Eitus ja Tõeväärtus (andmetüüp) · Näe rohkem »
Teine analüütika
"Teine analüütika" on Aristotelese teos, mis on kirjutatud umbes 350 eKr.
Uus!!: Eitus ja Teine analüütika · Näe rohkem »
Termin (loogika)
Termin (kreeka keeles horos, ladina keeles terminus, inglise keeles term) on traditsioonilises loogikas propositsiooni (predikatsiooni, otsustuse) põhiosa.
Uus!!: Eitus ja Termin (loogika) · Näe rohkem »
The Refutation of Idealism
"The Refutation of Idealism" ("Idealismi kummutus") on George Edward Moore'i artikkel, mis ilmus 1903 ajakirjas Mind.
Uus!!: Eitus ja The Refutation of Idealism · Näe rohkem »
Unaarne tehe
Unaarne tehe ehk unaarne operatsioon on matemaatikas ainult ühe operandiga algebraline tehe.
Uus!!: Eitus ja Unaarne tehe · Näe rohkem »
Vabadus
Vabadus, ka priius, kõige üldisemas mõttes on takistuste, piirangute või sunni puudumine.
Uus!!: Eitus ja Vabadus · Näe rohkem »
Valetaja paradoks
Valetaja paradoks on paradoks, mis tekib, kui mingi propositsiooni kohta jõutakse järeldusele, et ta on tõene parajasti siis, kui ta ei ole tõene.
Uus!!: Eitus ja Valetaja paradoks · Näe rohkem »
Vastuolulisus
Vastuolulisus on propositsioonide kogumi omadus, mis seisneb selles, et on loogiliselt võimatu, et kõik sellesse kuuluvad propositsioonid oleksid tõesed.
Uus!!: Eitus ja Vastuolulisus · Näe rohkem »
Väitlause
Väitlause ehk jutustav lause on sisult ja vormilt markeerimata lausetüüp.
Uus!!: Eitus ja Väitlause · Näe rohkem »
Välistatud kolmanda seadus
Välistatud kolmanda seadus ehk välistatud kolmanda reegel ehk välistatud kolmanda printsiip ehk välistatud kolmanda põhilause (ka tertium non datur, principium exclusi tertii) on reegel loogikas, mille kohaselt tõene on kas propositsioon või tema eitus, kolmandat võimalust pole.
Uus!!: Eitus ja Välistatud kolmanda seadus · Näe rohkem »
VÕI-EI
VÕI-EI (ingl k NOR sõnadest not or) on disjunktsiooni eituse loogikatehe (Peirce’i funktsioon).
Uus!!: Eitus ja VÕI-EI · Näe rohkem »
Verilog
Verilog, standardiseeritult IEEE 1364, on riistvarakirjelduskeel (HDL), mida kasutatakse elektriliste süsteemide modelleerimiseks.
Uus!!: Eitus ja Verilog · Näe rohkem »