fo-ghlac

head

fo-ghlac (present analytic fo-ghlacann, future analytic fo-ghlacfaidh, verbal noun fo-ghlacadh, past participle fo-ghlactha)

fo-ghlacann (analytic present)
fo-ghlacfaidh (analytic future)
fo-ghlacadh (noun-from-verb)
fo-ghlactha (participle past)
fo-ghlacadh (noun-from-verb)
fo-ghlactha (participle past)
fo-ghlacaim (first-person indicative present singular)
fo-ghlacann tú (indicative present second-person singular)
fo-ghlacair (indicative present second-person singular)
fo-ghlacann sé (indicative present singular third-person)
sí (indicative present singular third-person)
fo-ghlacaimid (first-person indicative plural present)
fo-ghlacann sibh (indicative plural present second-person)
fo-ghlacann siad (indicative plural present third-person)
fo-ghlacaid (indicative plural present third-person)
a fho-ghlacann (indicative present relative)
a fho-ghlacas (indicative present relative)
a bhfo-ghlacann (indicative present relative)
fo-ghlactar (autonomous indicative present)
d'fho-ghlac mé (first-person indicative past singular)
d'fho-ghlacas (first-person indicative past singular)
fho-ghlac mé‡ (first-person indicative past singular)
fho-ghlacas‡ (first-person indicative past singular)
d'fho-ghlac tú (indicative past second-person singular)
d'fho-ghlacais (indicative past second-person singular)
fho-ghlac tú (indicative past second-person singular)
fho-ghlacais‡ (indicative past second-person singular)
d'fho-ghlac sé (indicative past singular third-person)
sí (indicative past singular third-person)
fho-ghlac sé (indicative past singular third-person)
sí‡ (indicative past singular third-person)
d'fho-ghlacamar (first-person indicative past plural)
d'fho-ghlac muid (first-person indicative past plural)
fho-ghlacamar (first-person indicative past plural)
fho-ghlac muid‡ (first-person indicative past plural)
d'fho-ghlac sibh (indicative past plural second-person)
d'fho-ghlacabhair (indicative past plural second-person)
fho-ghlac sibh (indicative past plural second-person)
fho-ghlacabhair‡ (indicative past plural second-person)
d'fho-ghlac siad (indicative past plural third-person)
d'fho-ghlacadar (indicative past plural third-person)
fho-ghlac siad (indicative past plural third-person)
fho-ghlacadar‡ (indicative past plural third-person)
a d'fho-ghlac (indicative past relative)
ar fho-ghlac (indicative past relative)
fo-ghlacadh (autonomous indicative past)
d'fho-ghlacainn (first-person habitual indicative past singular)
fho-ghlacainn‡ (first-person habitual indicative past singular)
bhfo-ghlacainn‡‡ (first-person habitual indicative past singular)
d'fho-ghlactá (habitual indicative past second-person singular)
fho-ghlactá‡ (habitual indicative past second-person singular)
bhfo-ghlactá‡‡ (habitual indicative past second-person singular)
d'fho-ghlacadh sé (habitual indicative past singular third-person)
sí (habitual indicative past singular third-person)
fho-ghlacadh sé (habitual indicative past singular third-person)
sí‡ (habitual indicative past singular third-person)
bhfo-ghlacadh sé (habitual indicative past singular third-person)
sí‡‡ (habitual indicative past singular third-person)
d'fho-ghlacaimis (first-person habitual indicative past plural)
d'fho-ghlacadh muid (first-person habitual indicative past plural)
fho-ghlacaimis (first-person habitual indicative past plural)
fho-ghlacadh muid‡ (first-person habitual indicative past plural)
bhfo-ghlacaimis‡‡ (first-person habitual indicative past plural)
bhfo-ghlacadh muid‡‡ (first-person habitual indicative past plural)
d'fho-ghlacadh sibh (habitual indicative past plural second-person)
fho-ghlacadh sibh‡ (habitual indicative past plural second-person)
bhfo-ghlacadh sibh‡‡ (habitual indicative past plural second-person)
d'fho-ghlacaidís (habitual indicative past plural third-person)
d'fho-ghlacadh siad (habitual indicative past plural third-person)
fho-ghlacaidís (habitual indicative past plural third-person)
fho-ghlacadh siad‡ (habitual indicative past plural third-person)
bhfo-ghlacaidís‡‡ (habitual indicative past plural third-person)
bhfo-ghlacadh siad‡‡ (habitual indicative past plural third-person)
a d'fho-ghlacadh (habitual indicative past relative)
a bhfo-ghlacadh (habitual indicative past relative)
d'fho-ghlactaí (autonomous habitual indicative past)
fho-ghlactaí‡ (autonomous habitual indicative past)
bhfo-ghlactaí‡‡ (autonomous habitual indicative past)
fo-ghlacfaidh mé (first-person future indicative singular)
fo-ghlacfad (first-person future indicative singular)
fo-ghlacfaidh tú (future indicative second-person singular)
fo-ghlacfair (future indicative second-person singular)
fo-ghlacfaidh sé (future indicative singular third-person)
sí (future indicative singular third-person)
fo-ghlacfaimid (first-person future indicative plural)
fo-ghlacfaidh muid (first-person future indicative plural)
fo-ghlacfaidh sibh (future indicative plural second-person)
fo-ghlacfaidh siad (future indicative plural third-person)
fo-ghlacfaid (future indicative plural third-person)
a fho-ghlacfaidh (future indicative relative)
a fho-ghlacfas (future indicative relative)
a bhfo-ghlacfaidh (future indicative relative)
fo-ghlacfar (autonomous future indicative)
d'fho-ghlacfainn (conditional first-person singular)
fho-ghlacfainn‡ (conditional first-person singular)
bhfo-ghlacfainn‡‡ (conditional first-person singular)
d'fho-ghlacfá (conditional second-person singular)
fho-ghlacfá‡ (conditional second-person singular)
bhfo-ghlacfá‡‡ (conditional second-person singular)
d'fho-ghlacfadh sé (conditional singular third-person)
sí (conditional singular third-person)
fho-ghlacfadh sé (conditional singular third-person)
sí‡ (conditional singular third-person)
bhfo-ghlacfadh sé (conditional singular third-person)
sí‡‡ (conditional singular third-person)
d'fho-ghlacfaimis (conditional first-person plural)
d'fho-ghlacfadh muid (conditional first-person plural)
fho-ghlacfaimis‡ (conditional first-person plural)
fho-ghlacfadh muid‡ (conditional first-person plural)
bhfo-ghlacfaimis‡‡ (conditional first-person plural)
bhfo-ghlacfadh muid‡‡ (conditional first-person plural)
d'fho-ghlacfadh sibh (conditional plural second-person)
fho-ghlacfadh sibh‡ (conditional plural second-person)
bhfo-ghlacfadh sibh‡‡ (conditional plural second-person)
d'fho-ghlacfaidís (conditional plural third-person)
d'fho-ghlacfadh siad (conditional plural third-person)
fho-ghlacfaidís‡ (conditional plural third-person)
fho-ghlacfadh siad‡ (conditional plural third-person)
bhfo-ghlacfaidís‡‡ (conditional plural third-person)
bhfo-ghlacfadh siad‡‡ (conditional plural third-person)
a d'fho-ghlacfadh (conditional relative)
a bhfo-ghlacfadh (conditional relative)
d'fho-ghlacfaí (autonomous conditional)
fho-ghlacfaí‡ (autonomous conditional)
bhfo-ghlacfaí‡‡ (autonomous conditional)
go bhfo-ghlaca mé (first-person present singular subjunctive)
go bhfo-ghlacad (first-person present singular subjunctive)
go bhfo-ghlaca tú (present second-person singular subjunctive)
go bhfo-ghlacair (present second-person singular subjunctive)
go bhfo-ghlaca sé (present singular subjunctive third-person)
sí (present singular subjunctive third-person)
go bhfo-ghlacaimid (first-person plural present subjunctive)
go bhfo-ghlaca muid (first-person plural present subjunctive)
go bhfo-ghlaca sibh (plural present second-person subjunctive)
go bhfo-ghlaca siad (plural present subjunctive third-person)
go bhfo-ghlacaid (plural present subjunctive third-person)
go bhfo-ghlactar (autonomous present subjunctive)
dá bhfo-ghlacainn (first-person past singular subjunctive)
dá bhfo-ghlactá (past second-person singular subjunctive)
dá bhfo-ghlacadh sé (past singular subjunctive third-person)
sí (past singular subjunctive third-person)
dá bhfo-ghlacaimis (first-person past plural subjunctive)
dá bhfo-ghlacadh muid (first-person past plural subjunctive)
dá bhfo-ghlacadh sibh (past plural second-person subjunctive)
dá bhfo-ghlacaidís (past plural subjunctive third-person)
dá bhfo-ghlacadh siad (past plural subjunctive third-person)
dá bhfo-ghlactaí (autonomous past subjunctive)
fo-ghlacaim (first-person imperative singular)
fo-ghlac (imperative second-person singular)
fo-ghlacadh sé (imperative singular third-person)
sí (imperative singular third-person)
fo-ghlacaimis (first-person imperative plural)
fo-ghlacaigí (imperative plural second-person)
fo-ghlacaidh (imperative plural second-person)
fo-ghlacaidís (imperative plural third-person)
fo-ghlactar (autonomous imperative)
fo-ghlac
fho-ghlac
bhfo-ghlac

From fo- (“sub”) + glac (“take, accept”).


sujeito

Inherited from Old Galician-Portuguese sogeito, probably a semi-learned borrowing from Latin subiectus. Compare Spanish sujeto (definitely a borrowing) and Galician suxeito.

inh+

(logic) subject (that of which something is stated)


ܐܠܨܬܐ

head

ܐܠܨܬܐ • (transliteration needed) f (plural ܐܠܨܬܐ)

ܐܠܨܬܐ (plural)
ܐܠܨܐ (absolute singular)
ܐܠܨܬܝ (feminine first-person masculine possessed-form singular)
ܐܠܨܬܢ (feminine first-person masculine plural possessed-form)
ܐܠܨܬ (construct singular)
ܐܠܨܬܟ (masculine possessed-form second-person singular)
ܐܠܨܬܟܝ (feminine possessed-form second-person singular)
ܐܠܨܬܟܘܢ (masculine plural possessed-form second-person)
ܐܠܨܬܟܝܢ (feminine plural possessed-form second-person)
ܐܠܨܬܐ (emphatic singular)
ܐܠܨܬܗ (masculine possessed-form singular third-person)
ܐܠܨܬܗ (feminine possessed-form singular third-person)
ܐܠܨܬܗܘܢ (masculine plural possessed-form third-person)
ܐܠܨܬܗܝܢ (feminine plural possessed-form third-person)

From the root ܐ ܠ ܨ related to pressing.


πρότασις

grc-noun

πρότᾰσῐς • (prótăsĭs) f (genitive προτᾰ́σεως); third declension

πρότᾰσῐς (canonical)
prótăsĭs (romanization)
προτᾰ́σεως (genitive)
ἡ πρότᾰσῐς (nominative singular)
προτᾰ́σει (dual nominative)
αἱ προτᾰ́σεις (nominative plural)
τῆς προτᾰ́σεως (genitive singular)
προτᾰσέοιν (dual genitive)
προτᾰ́σεων (genitive plural)
τῇ προτᾰ́σει (dative singular)
προτᾰσέοιν (dative dual)
ταῖς προτᾰ́σεσῐ (dative plural)
προτᾰ́σεσῐν (dative plural)
taîs protắsesĭ (dative plural)
taîs protắsesĭn (dative plural)
τὴν πρότᾰσῐν (accusative singular)
προτᾰ́σει (accusative dual)
τᾱ̀ς προτᾰ́σεις (accusative plural)
πρότᾰσῐ (singular vocative)
προτᾰ́σει (dual vocative)
προτᾰ́σεις (plural vocative)

→ Latin: protasis

→ English: protasis (learned)

→ French: protase (learned)

προτείνω (proteínō, “I stretch forth”) + -σῐς (-sĭs)


infima species

Every infima species of the adaptation can be related unambiguously to a[n] infima species of the standard.

1993, Willem Hirs, “XV: The Use of Terminological Principles and Methods in Medicine”, in Helmi B. Sonneveld, Kurt Loening, editors, Terminology: Applications in Interdisciplinary Communication, page 239:

Combining Leibniz's view about species differentiation with his view that completed individuals constitute infima species, [DM 9; N 326] yields a promising speculation as to why he might hold that any change in property of our Adam would be a different person.

1998, R. O. Savage, Real Alternatives, Leibniz's Metaphysics of Choice, page 95:

So two things are pivotal in the Categories account of primary ousiai: the idea that the things that are ontologically fundamental are basic subjects, and the idea that the ontologically basic entities are instances or members of their infimae species.

2008, Michael J. Loux, Primary Ousia: An Essay on Aristotle's Metaphysics Z and H, page 4:

But when Pratt gives illustrations of his claim, he selects different infimae species under the genus 'material substance'.

2009, James Porter Moreland, The Recalcitrant Imago Dei, page 124:

(logic, philosophy, semantics) The narrowest of species; one that that is not a genus to anything else.


foshuíomh

head

foshuíomh m (genitive singular foshuímh, nominative plural foshuíomhanna)

foshuímh (genitive singular)
foshuíomhanna (nominative plural)
foshuíomh (indefinite nominative singular)
foshuíomhanna (indefinite nominative plural)
a fhoshuímh (indefinite singular vocative)
a fhoshuíomhanna (indefinite plural vocative)
foshuímh (genitive indefinite singular)
foshuíomhanna (genitive indefinite plural)
foshuíomh (dative indefinite singular)
foshuíomhanna (dative indefinite plural)
an foshuíomh (definite nominative singular)
na foshuíomhanna (definite nominative plural)
an fhoshuímh (definite genitive singular)
na bhfoshuíomhanna (definite genitive plural)
leis an bhfoshuíomh (dative definite singular)
don fhoshuíomh (dative definite singular)
leis na foshuíomhanna (dative definite plural)
foshuíomh
fhoshuíomh
bhfoshuíomh
fo-shuíomh (alternative)

(philosophy, logic) postulate, assumption


precisification

en-noun

precisification (countable and uncountable, plural precisifications)

(logic) The process of making a statement more precise.


кырдьык

head

кырдьык • (kırjık)

sah-noun

кырдьык • (kırjık)

From Proto-Turkic *kẹrtü (“true, truth”). Compare Turkish gerçek (“true, truth”).

кырдьык w:sah:кырдьык


сымыйа

head

сымыйа • (sımıya)

Compare to Kazakh шұбұрт (şūbūrt), Chuvash соя (soja), etc.


लिङ्ग

liṅga (romanization)
लिङ्गम् (nominative singular)
लिङ्गे (dual nominative)
लिङ्गानि (nominative plural)
लिङ्गा1 (nominative plural)
लिङ्गम् (accusative singular)
लिङ्गे (accusative dual)
लिङ्गानि (accusative plural)
लिङ्गा1 (accusative plural)
लिङ्गेन (instrumental singular)
लिङ्गाभ्याम् (dual instrumental)
लिङ्गैः (instrumental plural)
लिङ्गेभिः1 (instrumental plural)
लिङ्गाय (dative singular)
लिङ्गाभ्याम् (dative dual)
लिङ्गेभ्यः (dative plural)
लिङ्गात् (ablative singular)
लिङ्गाभ्याम् (ablative dual)
लिङ्गेभ्यः (ablative plural)
लिङ्गस्य (genitive singular)
लिङ्गयोः (dual genitive)
लिङ्गानाम् (genitive plural)
लिङ्गे (locative singular)
लिङ्गयोः (dual locative)
लिङ्गेषु (locative plural)
लिङ्ग (singular vocative)
लिङ्गे (dual vocative)
लिङ्गानि (plural vocative)
लिङ्गा1 (plural vocative)

Pali: liṅga

→ Thai: ลึงค์ (lʉng), ลิงค์ (ling) (or borrowed directly from Sanskrit)

Prakrit: 𑀮𑀺𑀁𑀕 (liṃga) (see there for further descendants)

→ English: lingam

→ Kannada: ಲಿಂಗ (liṅga)

→ Khmer: លិង្គ (lɨng)

From Proto-Indo-Iranian *lingás ~ *ringás (“mark, sign, token”). Cognate with Avestan -𐬌𐬭𐬌𐬧𐬔𐬀 (-iriṇga) (attested in 𐬵𐬀𐬞𐬙𐬋𐬌𐬭𐬌𐬧𐬔𐬀 (haptōⁱriṇga, “the constellation Ursa Major”, literally “having seven signs”)), Sogdian [script needed] (pryng /paring/, “damask textile with markings on it”) (< *upa-ringa-).

cog

(logic) the invariable mark which proves the existence of anything in an object (as in the proposition ‘there is fire because there is smoke’, smoke is the liṅga)


fochontráir

head

fochontráir f (genitive singular fochontráire, nominative plural fochontráirí)

fochontráire (genitive singular)
fochontráirí (nominative plural)
fochontráir (indefinite nominative singular)
fochontráirí (indefinite nominative plural)
a fhochontráir (indefinite singular vocative)
a fhochontráirí (indefinite plural vocative)
fochontráire (genitive indefinite singular)
fochontráirí (genitive indefinite plural)
fochontráir (dative indefinite singular)
fochontráirí (dative indefinite plural)
an fhochontráir (definite nominative singular)
na fochontráirí (definite nominative plural)
na fochontráire (definite genitive singular)
na bhfochontráirí (definite genitive plural)
leis an bhfochontráir (dative definite singular)
don fhochontráir (dative definite singular)
leis na fochontráirí (dative definite plural)
fochontráir
fhochontráir
bhfochontráir

Compare fo- (“sub-”) and contrártha (“contrary”, adjective).


antitheorem

(logic) A syntactically correct expression whose negation is a theorem.


contractionless

a contractionless logic


law of noncontradiction

The statement "this piece of chalk is not a piece of chalk" violates the law of noncontradiction.

(logic) The principle that no statement may be simultaneously true and false at the same time and in the same sense.


principle of explosion

(logic) The principle or axiom of classical logic and some other logical systems stating that if a contradiction or a false proposition is proven to be true, then it proves that everything is true. In symbols: ⊥→P


vacuous truth

(logic) A proposition which is true only because it is a conditional statement with a necessarily false premise, or which asserts a property of all elements of an empty domain of discourse.


論域

/lu̯ən⁵¹⁻⁵³ y⁵¹/

/lu̯ən⁵¹⁻⁵³ y⁵¹/


doxastic logic

en-noun

doxastic logic (countable and uncountable, plural doxastic logics)

(logic) A type of modal logic which deals with statements involving beliefs.

doksastinen logiikka

a logic involving statements about beliefs


paraconsistent logic

paraconsistent logic (plural paraconsistent logics)

principle of explosion
principle of explosion

(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.

parakonsistentti logiikka

formal logical system without principle of explosion

parakonsistentti logiikka

study of logical systems without principle of explosion

(logic, uncountable) The study of such systems.


disjunctive syllogism

disjunctive syllogism (plural disjunctive syllogisms)

(logic) A logical argument of the form that if there are only two possibilities, and one of them is ruled out, then the other must take place. In symbols: P∨Q,¬P⊢Q


paramodulation

paramodulation (countable and uncountable, plural paramodulations)

(logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.


polysyllogism

(logic) A number of propositions that, together, constitute a sequence of syllogisms

polisillogismo

propositions that together constitute a sequence of syllogisms


[…] obtained by adding the standard modal operators □ (necessity) and ◇ (possibility) to paralogics.


論題

/lu̯ən⁵¹ tʰi³⁵/

/lɵn²² tʰɐi̯²¹/

/lun²²⁻²¹ te¹³/

/lun³³⁻²¹ te²³/

/lu̯ən⁵¹ tʰi³⁵/

/lɵn²² tʰɐi̯²¹/

/lun²²⁻²¹ te¹³/

/lun³³⁻²¹ te²³/


真理値

真理値 (canonical)
shinrichi (romanization)


abdutivo

pt-adj

abdutivo (feminine abdutiva, masculine plural abdutivos, feminine plural abdutivas)

abdutiva (feminine)
abdutivos (masculine plural)
abdutivas (feminine plural)


Hegel

Hegel (nominative singular)
Hegla (genitive singular)
Heglowi (dative singular)
Hegla (accusative singular)
Heglem (instrumental singular)
Heglu (locative singular)
Heglu (singular vocative)


αἰτέω

grc-verb

αἰτέω • (aitéō)

aitéō (romanization)
αἰτέω (active first-person indicative singular)
αἰτέεις (active indicative second-person singular)
αἰτέει (active indicative singular third-person)
αἰτέετον (active dual indicative second-person)
αἰτέετον (active dual indicative third-person)
αἰτέομεν (active first-person indicative plural)
αἰτέετε (active indicative plural second-person)
αἰτέουσῐ (active indicative plural third-person)
αἰτέουσῐν (active indicative plural third-person)
αἰτέω (active first-person singular subjunctive)
αἰτέῃς (active second-person singular subjunctive)
αἰτέῃ (active singular subjunctive third-person)
αἰτέητον (active dual second-person subjunctive)
αἰτέητον (active dual subjunctive third-person)
αἰτέωμεν (active first-person plural subjunctive)
αἰτέητε (active plural second-person subjunctive)
αἰτέωσῐ (active plural subjunctive third-person)
αἰτέωσῐν (active plural subjunctive third-person)
αἰτέοιμῐ (active first-person optative singular)
αἰτέοις (active optative second-person singular)
αἰτέοι (active optative singular third-person)
αἰτέοιτον (active dual optative second-person)
αἰτεοίτην (active dual optative third-person)
αἰτέοιμεν (active first-person optative plural)
αἰτέοιτε (active optative plural second-person)
αἰτέοιεν (active optative plural third-person)
αἴτεε (active imperative second-person singular)
αἰτεέτω (active imperative singular third-person)
αἰτέετον (active dual imperative second-person)
αἰτεέτων (active dual imperative third-person)
αἰτέετε (active imperative plural second-person)
αἰτεόντων (active imperative plural third-person)
αἰτέομαι (first-person indicative middle passive singular)
αἰτέῃ (indicative middle passive second-person singular)
αἰτέει (indicative middle passive second-person singular)
αἰτέεται (indicative middle passive singular third-person)
αἰτέεσθον (dual indicative middle passive second-person)
αἰτέεσθον (dual indicative middle passive third-person)
αἰτεόμεθᾰ (first-person indicative middle passive plural)
αἰτέεσθε (indicative middle passive plural second-person)
αἰτέονται (indicative middle passive plural third-person)
αἰτέωμαι (first-person middle passive singular subjunctive)
αἰτέῃ (middle passive second-person singular subjunctive)
αἰτέηται (middle passive singular subjunctive third-person)
αἰτέησθον (dual middle passive second-person subjunctive)
αἰτέησθον (dual middle passive subjunctive third-person)
αἰτεώμεθᾰ (first-person middle passive plural subjunctive)
αἰτέησθε (middle passive plural second-person subjunctive)
αἰτέωνται (middle passive plural subjunctive third-person)
αἰτεοίμην (first-person middle optative passive singular)
αἰτέοιο (middle optative passive second-person singular)
αἰτέοιτο (middle optative passive singular third-person)
αἰτέοισθον (dual middle optative passive second-person)
αἰτεοίσθην (dual middle optative passive third-person)
αἰτεοίμεθᾰ (first-person middle optative passive plural)
αἰτέοισθε (middle optative passive plural second-person)
αἰτέοιντο (middle optative passive plural third-person)
αἰτέου (imperative middle passive second-person singular)
αἰτεέσθω (imperative middle passive singular third-person)
αἰτέεσθον (dual imperative middle passive second-person)
αἰτεέσθων (dual imperative middle passive third-person)
αἰτέεσθε (imperative middle passive plural second-person)
αἰτεέσθων (imperative middle passive plural third-person)
αἰτέειν (active infinitive)
αἰτέεσθαι (infinitive middle passive plural)
αἰτέων (active masculine participle)
αἰτεόμενος (masculine middle participle passive plural)
αἰτέουσᾰ (active feminine participle)
αἰτεομένη (feminine middle participle passive plural)
αἰτέον (active neuter participle)
αἰτεόμενον (middle neuter participle passive plural)
αἰτῶ (active first-person indicative singular)
αἰτεῖς (active indicative second-person singular)
αἰτεῖ (active indicative singular third-person)
αἰτεῖτον (active dual indicative second-person)
αἰτεῖτον (active dual indicative third-person)
αἰτοῦμεν (active first-person indicative plural)
αἰτεῖτε (active indicative plural second-person)
αἰτοῦσῐ (active indicative plural third-person)
αἰτοῦσῐν (active indicative plural third-person)
αἰτῶ (active first-person singular subjunctive)
αἰτῇς (active second-person singular subjunctive)
αἰτῇ (active singular subjunctive third-person)
αἰτῆτον (active dual second-person subjunctive)
αἰτῆτον (active dual subjunctive third-person)
αἰτῶμεν (active first-person plural subjunctive)
αἰτῆτε (active plural second-person subjunctive)
αἰτῶσῐ (active plural subjunctive third-person)
αἰτῶσῐν (active plural subjunctive third-person)
αἰτοίην (active first-person optative singular)
αἰτοῖμῐ (active first-person optative singular)
αἰτοίης (active optative second-person singular)
αἰτοῖς (active optative second-person singular)
αἰτοίη (active optative singular third-person)
αἰτοῖ (active optative singular third-person)
αἰτοῖτον (active dual optative second-person)
αἰτοίητον (active dual optative second-person)
αἰτοίτην (active dual optative third-person)
αἰτοιήτην (active dual optative third-person)
αἰτοῖμεν (active first-person optative plural)
αἰτοίημεν (active first-person optative plural)
αἰτοῖτε (active optative plural second-person)
αἰτοίητε (active optative plural second-person)
αἰτοῖεν (active optative plural third-person)
αἰτοίησᾰν (active optative plural third-person)
αἴτει (active imperative second-person singular)
αἰτείτω (active imperative singular third-person)
αἰτεῖτον (active dual imperative second-person)
αἰτείτων (active dual imperative third-person)
αἰτεῖτε (active imperative plural second-person)
αἰτούντων (active imperative plural third-person)
αἰτοῦμαι (first-person indicative middle passive singular)
αἰτεῖ (indicative middle passive second-person singular)
αἰτῇ (indicative middle passive second-person singular)
αἰτεῖται (indicative middle passive singular third-person)
αἰτεῖσθον (dual indicative middle passive second-person)
αἰτεῖσθον (dual indicative middle passive third-person)
αἰτούμεθᾰ (first-person indicative middle passive plural)
αἰτεῖσθε (indicative middle passive plural second-person)
αἰτοῦνται (indicative middle passive plural third-person)
αἰτῶμαι (first-person middle passive singular subjunctive)
αἰτῇ (middle passive second-person singular subjunctive)
αἰτῆται (middle passive singular subjunctive third-person)
αἰτῆσθον (dual middle passive second-person subjunctive)
αἰτῆσθον (dual middle passive subjunctive third-person)
αἰτώμεθᾰ (first-person middle passive plural subjunctive)
αἰτῆσθε (middle passive plural second-person subjunctive)
αἰτῶνται (middle passive plural subjunctive third-person)
αἰτοίμην (first-person middle optative passive singular)
αἰτοῖο (middle optative passive second-person singular)
αἰτοῖτο (middle optative passive singular third-person)
αἰτοῖσθον (dual middle optative passive second-person)
αἰτοίσθην (dual middle optative passive third-person)
αἰτοίμεθᾰ (first-person middle optative passive plural)
αἰτοῖσθε (middle optative passive plural second-person)
αἰτοῖντο (middle optative passive plural third-person)
αἰτοῦ (imperative middle passive second-person singular)
αἰτείσθω (imperative middle passive singular third-person)
αἰτεῖσθον (dual imperative middle passive second-person)
αἰτείσθων (dual imperative middle passive third-person)
αἰτεῖσθε (imperative middle passive plural second-person)
αἰτείσθων (imperative middle passive plural third-person)
αἰτεῖν (active infinitive)
αἰτεῖσθαι (infinitive middle passive plural)
αἰτῶν (active masculine participle)
αἰτούμενος (masculine middle participle passive plural)
αἰτοῦσᾰ (active feminine participle)
αἰτουμένη (feminine middle participle passive plural)
αἰτοῦν (active neuter participle)
αἰτούμενον (middle neuter participle passive plural)
ᾔτεον (active first-person indicative singular)
ᾔτεες (active indicative second-person singular)
ᾔτεε (active indicative singular third-person)
ᾔτεεν (active indicative singular third-person)
ᾐτέετον (active dual indicative second-person)
ᾐτεέτην (active dual indicative third-person)
ᾐτέομεν (active first-person indicative plural)
ᾐτέετε (active indicative plural second-person)
ᾔτεον (active indicative plural third-person)
ᾐτεόμην (first-person indicative middle passive singular)
ᾐτέου (indicative middle passive second-person singular)
ᾐτέετο (indicative middle passive singular third-person)
ᾐτέεσθον (dual indicative middle passive second-person)
ᾐτεέσθην (dual indicative middle passive third-person)
ᾐτεόμεθᾰ (first-person indicative middle passive plural)
ᾐτέεσθε (indicative middle passive plural second-person)
ᾐτέοντο (indicative middle passive plural third-person)
ᾔτουν (active first-person indicative singular)
ᾔτεις (active indicative second-person singular)
ᾔτει (active indicative singular third-person)
ᾐτεῖτον (active dual indicative second-person)
ᾐτείτην (active dual indicative third-person)
ᾐτοῦμεν (active first-person indicative plural)
ᾐτεῖτε (active indicative plural second-person)
ᾔτουν (active indicative plural third-person)
ᾐτούμην (first-person indicative middle passive singular)
ᾐτοῦ (indicative middle passive second-person singular)
ᾐτεῖτο (indicative middle passive singular third-person)
ᾐτεῖσθον (dual indicative middle passive second-person)
ᾐτείσθην (dual indicative middle passive third-person)
ᾐτούμεθᾰ (first-person indicative middle passive plural)
ᾐτεῖσθε (indicative middle passive plural second-person)
ᾐτοῦντο (indicative middle passive plural third-person)
αἰτήσω (active first-person indicative singular)
αἰτήσεις (active indicative second-person singular)
αἰτήσει (active indicative singular third-person)
αἰτήσετον (active dual indicative second-person)
αἰτήσετον (active dual indicative third-person)
αἰτήσομεν (active first-person indicative plural)
αἰτήσετε (active indicative plural second-person)
αἰτήσουσῐ (active indicative plural third-person)
αἰτήσουσῐν (active indicative plural third-person)
αἰτήσοιμῐ (active first-person optative singular)
αἰτήσοις (active optative second-person singular)
αἰτήσοι (active optative singular third-person)
αἰτήσοιτον (active dual optative second-person)
αἰτησοίτην (active dual optative third-person)
αἰτήσοιμεν (active first-person optative plural)
αἰτήσοιτε (active optative plural second-person)
αἰτήσοιεν (active optative plural third-person)
αἰτήσομαι (first-person indicative middle singular)
αἰτήσῃ (indicative middle second-person singular)
αἰτήσει (indicative middle second-person singular)
αἰτήσεται (indicative middle singular third-person)
αἰτήσεσθον (dual indicative middle second-person)
αἰτήσεσθον (dual indicative middle third-person)
αἰτησόμεθᾰ (first-person indicative middle plural)
αἰτήσεσθε (indicative middle plural second-person)
αἰτήσονται (indicative middle plural third-person)
αἰτησοίμην (first-person middle optative singular)
αἰτήσοιο (middle optative second-person singular)
αἰτήσοιτο (middle optative singular third-person)
αἰτήσοισθον (dual middle optative second-person)
αἰτησοίσθην (dual middle optative third-person)
αἰτησοίμεθᾰ (first-person middle optative plural)
αἰτήσοισθε (middle optative plural second-person)
αἰτήσοιντο (middle optative plural third-person)
αἰτήσειν (active infinitive)
αἰτήσεσθαι (dual infinitive middle second-person third-person)
αἰτήσων (active masculine participle)
αἰτησόμενος (dual masculine middle participle second-person third-person)
αἰτήσουσᾰ (active feminine participle)
αἰτησομένη (dual feminine middle participle second-person third-person)
αἰτῆσον (active neuter participle)
αἰτησόμενον (dual middle neuter participle second-person third-person)
ᾔτησᾰ (active first-person indicative singular)
ᾔτησᾰς (active indicative second-person singular)
ᾔτησε (active indicative singular third-person)
ᾔτησεν (active indicative singular third-person)
ᾐτήσᾰτον (active dual indicative second-person)
ᾐτησᾰ́την (active dual indicative third-person)
ᾐτήσᾰμεν (active first-person indicative plural)
ᾐτήσᾰτε (active indicative plural second-person)
ᾔτησᾰν (active indicative plural third-person)
αἰτήσω (active first-person singular subjunctive)
αἰτήσῃς (active second-person singular subjunctive)
αἰτήσῃ (active singular subjunctive third-person)
αἰτήσητον (active dual second-person subjunctive)
αἰτήσητον (active dual subjunctive third-person)
αἰτήσωμεν (active first-person plural subjunctive)
αἰτήσητε (active plural second-person subjunctive)
αἰτήσωσῐ (active plural subjunctive third-person)
αἰτήσωσῐν (active plural subjunctive third-person)
αἰτήσαιμῐ (active first-person optative singular)
αἰτήσειᾰς (active optative second-person singular)
αἰτήσαις (active optative second-person singular)
αἰτήσειε (active optative singular third-person)
αἰτήσειεν (active optative singular third-person)
αἰτήσαι (active optative singular third-person)
αἰτήσαιτον (active dual optative second-person)
αἰτησαίτην (active dual optative third-person)
αἰτήσαιμεν (active first-person optative plural)
αἰτήσαιτε (active optative plural second-person)
αἰτήσειᾰν (active optative plural third-person)
αἰτήσαιεν (active optative plural third-person)
αἴτησον (active imperative second-person singular)
αἰτησᾰ́τω (active imperative singular third-person)
αἰτήσᾰτον (active dual imperative second-person)
αἰτησᾰ́των (active dual imperative third-person)
αἰτήσᾰτε (active imperative plural second-person)
αἰτησᾰ́ντων (active imperative plural third-person)
ᾐτησᾰ́μην (first-person indicative middle singular)
ᾐτήσω (indicative middle second-person singular)
ᾐτήσᾰτο (indicative middle singular third-person)
ᾐτήσᾰσθον (dual indicative middle second-person)
ᾐτησᾰ́σθην (dual indicative middle third-person)
ᾐτησᾰ́μεθᾰ (first-person indicative middle plural)
ᾐτήσᾰσθε (indicative middle plural second-person)
ᾐτήσᾰντο (indicative middle plural third-person)
αἰτήσωμαι (first-person middle singular subjunctive)
αἰτήσῃ (middle second-person singular subjunctive)
αἰτήσηται (middle singular subjunctive third-person)
αἰτήσησθον (dual middle second-person subjunctive)
αἰτήσησθον (dual middle subjunctive third-person)
αἰτησώμεθᾰ (first-person middle plural subjunctive)
αἰτήσησθε (middle plural second-person subjunctive)
αἰτήσωνται (middle plural subjunctive third-person)
αἰτησαίμην (first-person middle optative singular)
αἰτήσαιο (middle optative second-person singular)
αἰτήσαιτο (middle optative singular third-person)
αἰτήσαισθον (dual middle optative second-person)
αἰτησαίσθην (dual middle optative third-person)
αἰτησαίμεθᾰ (first-person middle optative plural)
αἰτήσαισθε (middle optative plural second-person)
αἰτήσαιντο (middle optative plural third-person)
αἴτησαι (imperative middle second-person singular)
αἰτησᾰ́σθω (imperative middle singular third-person)
αἰτήσᾰσθον (dual imperative middle second-person)
αἰτησᾰ́σθων (dual imperative middle third-person)
αἰτήσᾰσθε (imperative middle plural second-person)
αἰτησᾰ́σθων (imperative middle plural third-person)
αἰτῆσαι (active infinitive)
αἰτήσᾰσθαι (dual infinitive middle second-person third-person)
αἰτήσᾱς (active masculine participle)
αἰτησᾰ́μενος (dual masculine middle participle second-person third-person)
αἰτήσᾱσᾰ (active feminine participle)
αἰτησᾰμένη (dual feminine middle participle second-person third-person)
αἰτῆσᾰν (active neuter participle)
αἰτησᾰ́μενον (dual middle neuter participle second-person third-person)
ᾔτηκᾰ (active first-person indicative singular)
ᾔτηκᾰς (active indicative second-person singular)
ᾔτηκε (active indicative singular third-person)
ᾔτηκεν (active indicative singular third-person)
ᾐτήκᾰτον (active dual indicative second-person)
ᾐτήκᾰτον (active dual indicative third-person)
ᾐτήκᾰμεν (active first-person indicative plural)
ᾐτήκᾰτε (active indicative plural second-person)
ᾐτήκᾱσῐ (active indicative plural third-person)
ᾐτήκᾱσῐν (active indicative plural third-person)
ᾐτήκω (active first-person singular subjunctive)
ᾐτήκῃς (active second-person singular subjunctive)
ᾐτήκῃ (active singular subjunctive third-person)
ᾐτήκητον (active dual second-person subjunctive)
ᾐτήκητον (active dual subjunctive third-person)
ᾐτήκωμεν (active first-person plural subjunctive)
ᾐτήκητε (active plural second-person subjunctive)
ᾐτήκωσῐ (active plural subjunctive third-person)
ᾐτήκωσῐν (active plural subjunctive third-person)
ᾐτήκοιμῐ (active first-person optative singular)
ᾐτηκοίην (active first-person optative singular)
ᾐτήκοις (active optative second-person singular)
ᾐτηκοίης (active optative second-person singular)
ᾐτήκοι (active optative singular third-person)
ᾐτηκοίη (active optative singular third-person)
ᾐτήκοιτον (active dual optative second-person)
ᾐτηκοίτην (active dual optative third-person)
ᾐτήκοιμεν (active first-person optative plural)
ᾐτήκοιτε (active optative plural second-person)
ᾐτήκοιεν (active optative plural third-person)
ᾔτηκε (active imperative second-person singular)
ᾐτηκέτω (active imperative singular third-person)
ᾐτήκετον (active dual imperative second-person)
ᾐτηκέτων (active dual imperative third-person)
ᾐτήκετε (active imperative plural second-person)
ᾐτηκόντων (active imperative plural third-person)
ᾔτημαι (first-person indicative middle passive singular)
ᾔτησαι (indicative middle passive second-person singular)
ᾔτηται (indicative middle passive singular third-person)
ᾔτησθον (dual indicative middle passive second-person)
ᾔτησθον (dual indicative middle passive third-person)
ᾐτήμεθᾰ (first-person indicative middle passive plural)
ᾔτησθε (indicative middle passive plural second-person)
ᾔτηνται (indicative middle passive plural third-person)
ᾐτημένος ὦ (first-person middle passive singular subjunctive)
ᾐτημένος ᾖς (middle passive second-person singular subjunctive)
ᾐτημένος ᾖ (middle passive singular subjunctive third-person)
ᾐτημένω ἦτον (dual middle passive second-person subjunctive)
ᾐτημένω ἦτον (dual middle passive subjunctive third-person)
ᾐτημένοι ὦμεν (first-person middle passive plural subjunctive)
ᾐτημένοι ἦτε (middle passive plural second-person subjunctive)
ᾐτημένοι ὦσῐ (middle passive plural subjunctive third-person)
ᾐτημένοι ὦσῐν (middle passive plural subjunctive third-person)
ᾐτημένος εἴην (first-person middle optative passive singular)
ᾐτημένος εἴης (middle optative passive second-person singular)
ᾐτημένος εἴη (middle optative passive singular third-person)
ᾐτημένω εἴητον (dual middle optative passive second-person)
εἶτον (dual middle optative passive second-person)
ᾐτημένω εἰήτην (dual middle optative passive third-person)
εἴτην (dual middle optative passive third-person)
ᾐτημένοι εἴημεν (first-person middle optative passive plural)
εἶμεν (first-person middle optative passive plural)
ᾐτημένοι εἴητε (middle optative passive plural second-person)
εἶτε (middle optative passive plural second-person)
ᾐτημένοι εἴησᾰν (middle optative passive plural third-person)
εἶεν (middle optative passive plural third-person)
ᾔτησο (imperative middle passive second-person singular)
ᾐτήσθω (imperative middle passive singular third-person)
ᾔτησθον (dual imperative middle passive second-person)
ᾐτήσθων (dual imperative middle passive third-person)
ᾔτησθε (imperative middle passive plural second-person)
ᾐτήσθων (imperative middle passive plural third-person)
ᾐτηκέναι (active infinitive)
ᾐτῆσθαι (infinitive middle passive plural)
ᾐτηκώς (active masculine participle)
ᾐτημένος (masculine middle participle passive plural)
ᾐτηκυῖᾰ (active feminine participle)
ᾐτημένη (feminine middle participle passive plural)
ᾐτηκός (active neuter participle)
ᾐτημένον (middle neuter participle passive plural)
ᾐτήκειν (active first-person indicative singular)
ᾐτήκη (active first-person indicative singular)
ᾐτήκεις (active indicative second-person singular)
ᾐτήκης (active indicative second-person singular)
ᾐτήκει (active indicative singular third-person)
ᾐτήκειν (active indicative singular third-person)
ᾐτήκετον (active dual indicative second-person)
ᾐτηκέτην (active dual indicative third-person)
ᾐτήκεμεν (active first-person indicative plural)
ᾐτήκετε (active indicative plural second-person)
ᾐτήκεσᾰν (active indicative plural third-person)
ᾐτήμην (first-person indicative middle passive singular)
ᾔτησο (indicative middle passive second-person singular)
ᾔτητο (indicative middle passive singular third-person)
ᾔτησθον (dual indicative middle passive second-person)
ᾐτήσθην (dual indicative middle passive third-person)
ᾐτήμεθᾰ (first-person indicative middle passive plural)
ᾔτησθε (indicative middle passive plural second-person)
ᾔτηντο (indicative middle passive plural third-person)
αἴτημι (alternative Aeolic)

A denominative of an unattested *αἶτος (*aîtos, “something given: allotment, share”), from Proto-Indo-European *h₂ey- (“to give, take”), whence also αἴνυμαι (aínumai), αἶσα (aîsa), αἴτιος (aítios), διαιτάω (diaitáō).

der

384 BCE – 322 BCE, Aristotle, Prior Analytics 1.24.2

384 BCE – 322 BCE, Aristotle, Topics 8.13.2

+obj

accusative ‘something’; with accusative ‘something’ and accusative ‘from someone’

(usually transitive) to ask for, crave, demand, beg [with accusative ‘something’; or with accusative ‘something’ and accusative ‘from someone’]; or with object omitted

(logic, transitive) to postulate, assume


categorical proposition

en-noun

categorical proposition (plural categorical propositions)

(logic) A proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term). There are four types: "all S are P", "all S are not P", "some S are P", and "some S are not P".

mulisiping palagay

a proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term)


Stone space

Named after Marshall Harvey Stone (1903–1989), an American mathematician.

For every Boolean algebra there is a Boolean ring corresponding to it. The prime spectrum of a Boolean ring is a Stone space.

topological space
topological space#English

(topology, logic) A topological space constructed from a Boolean algebra, whose points are ultrafilters on the algebra.


closed formula

closed formula (plural closed formulas or closed formulae)

closed formulas (plural)
closed formulae (plural)

(logic) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.


Herbrand universe

Herbrand universe (plural Herbrand universes)

Named after Jacques Herbrand (1908–1931), French mathematician.

(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)


Herbrand function

Herbrand function (plural Herbrand functions)

universal quantifier
universal quantifier

(logic) A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).


Skolem function

Skolem function (plural Skolem functions)

Named after Thoralf Skolem (1887–1963), Norwegian mathematician.

existential quantifier
existential quantifier

(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).


prenex normal form

(logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.


ὑποτάσσω

grc-verb

ῠ̔ποτᾰ́σσω • (hŭpotắssō)

ῠ̔ποτᾰ́σσω (canonical)
hŭpotắssō (romanization)
ῠ̔ποτᾰ́σσω (active first-person indicative singular)
ῠ̔ποτᾰ́σσεις (active indicative second-person singular)
ῠ̔ποτᾰ́σσει (active indicative singular third-person)
ῠ̔ποτᾰ́σσετον (active dual indicative second-person)
ῠ̔ποτᾰ́σσετον (active dual indicative third-person)
ῠ̔ποτᾰ́σσομεν (active first-person indicative plural)
ῠ̔ποτᾰ́σσετε (active indicative plural second-person)
ῠ̔ποτᾰ́σσουσῐ (active indicative plural third-person)
ῠ̔ποτᾰ́σσουσῐν (active indicative plural third-person)
ῠ̔ποτᾰ́σσω (active first-person singular subjunctive)
ῠ̔ποτᾰ́σσῃς (active second-person singular subjunctive)
ῠ̔ποτᾰ́σσῃ (active singular subjunctive third-person)
ῠ̔ποτᾰ́σσητον (active dual second-person subjunctive)
ῠ̔ποτᾰ́σσητον (active dual subjunctive third-person)
ῠ̔ποτᾰ́σσωμεν (active first-person plural subjunctive)
ῠ̔ποτᾰ́σσητε (active plural second-person subjunctive)
ῠ̔ποτᾰ́σσωσῐ (active plural subjunctive third-person)
ῠ̔ποτᾰ́σσωσῐν (active plural subjunctive third-person)
ῠ̔ποτᾰ́σσοιμῐ (active first-person optative singular)
ῠ̔ποτᾰ́σσοις (active optative second-person singular)
ῠ̔ποτᾰ́σσοι (active optative singular third-person)
ῠ̔ποτᾰ́σσοιτον (active dual optative second-person)
ῠ̔ποτᾰσσοίτην (active dual optative third-person)
ῠ̔ποτᾰ́σσοιμεν (active first-person optative plural)
ῠ̔ποτᾰ́σσοιτε (active optative plural second-person)
ῠ̔ποτᾰ́σσοιεν (active optative plural third-person)
ῠ̔πότᾰσσε (active imperative second-person singular)
ῠ̔ποτᾰσσέτω (active imperative singular third-person)
ῠ̔ποτᾰ́σσετον (active dual imperative second-person)
ῠ̔ποτᾰσσέτων (active dual imperative third-person)
ῠ̔ποτᾰ́σσετε (active imperative plural second-person)
ῠ̔ποτᾰσσόντων (active imperative plural third-person)
ῠ̔ποτᾰ́σσομαι (first-person indicative middle passive singular)
ῠ̔ποτᾰ́σσῃ (indicative middle passive second-person singular)
ῠ̔ποτᾰ́σσει (indicative middle passive second-person singular)
ῠ̔ποτᾰ́σσεται (indicative middle passive singular third-person)
ῠ̔ποτᾰ́σσεσθον (dual indicative middle passive second-person)
ῠ̔ποτᾰ́σσεσθον (dual indicative middle passive third-person)
ῠ̔ποτᾰσσόμεθᾰ (first-person indicative middle passive plural)
ῠ̔ποτᾰ́σσεσθε (indicative middle passive plural second-person)
ῠ̔ποτᾰ́σσονται (indicative middle passive plural third-person)
ῠ̔ποτᾰ́σσωμαι (first-person middle passive singular subjunctive)
ῠ̔ποτᾰ́σσῃ (middle passive second-person singular subjunctive)
ῠ̔ποτᾰ́σσηται (middle passive singular subjunctive third-person)
ῠ̔ποτᾰ́σσησθον (dual middle passive second-person subjunctive)
ῠ̔ποτᾰ́σσησθον (dual middle passive subjunctive third-person)
ῠ̔ποτᾰσσώμεθᾰ (first-person middle passive plural subjunctive)
ῠ̔ποτᾰ́σσησθε (middle passive plural second-person subjunctive)
ῠ̔ποτᾰ́σσωνται (middle passive plural subjunctive third-person)
ῠ̔ποτᾰσσοίμην (first-person middle optative passive singular)
ῠ̔ποτᾰ́σσοιο (middle optative passive second-person singular)
ῠ̔ποτᾰ́σσοιτο (middle optative passive singular third-person)
ῠ̔ποτᾰ́σσοισθον (dual middle optative passive second-person)
ῠ̔ποτᾰσσοίσθην (dual middle optative passive third-person)
ῠ̔ποτᾰσσοίμεθᾰ (first-person middle optative passive plural)
ῠ̔ποτᾰ́σσοισθε (middle optative passive plural second-person)
ῠ̔ποτᾰ́σσοιντο (middle optative passive plural third-person)
ῠ̔ποτᾰ́σσου (imperative middle passive second-person singular)
ῠ̔ποτᾰσσέσθω (imperative middle passive singular third-person)
ῠ̔ποτᾰ́σσεσθον (dual imperative middle passive second-person)
ῠ̔ποτᾰσσέσθων (dual imperative middle passive third-person)
ῠ̔ποτᾰ́σσεσθε (imperative middle passive plural second-person)
ῠ̔ποτᾰσσέσθων (imperative middle passive plural third-person)
ῠ̔ποτᾰ́σσειν (active infinitive)
ῠ̔ποτᾰ́σσεσθαι (infinitive middle passive plural)
ῠ̔ποτᾰ́σσων (active masculine participle)
ῠ̔ποτᾰσσόμενος (masculine middle participle passive plural)
ῠ̔ποτᾰ́σσουσᾰ (active feminine participle)
ῠ̔ποτᾰσσομένη (feminine middle participle passive plural)
ῠ̔ποτᾰ́σσον (active neuter participle)
ῠ̔ποτᾰσσόμενον (middle neuter participle passive plural)
ῠ̔ποτᾰ́ξω (active first-person indicative singular)
ῠ̔ποτᾰ́ξεις (active indicative second-person singular)
ῠ̔ποτᾰ́ξει (active indicative singular third-person)
ῠ̔ποτᾰ́ξετον (active dual indicative second-person)
ῠ̔ποτᾰ́ξετον (active dual indicative third-person)
ῠ̔ποτᾰ́ξομεν (active first-person indicative plural)
ῠ̔ποτᾰ́ξετε (active indicative plural second-person)
ῠ̔ποτᾰ́ξουσῐ (active indicative plural third-person)
ῠ̔ποτᾰ́ξουσῐν (active indicative plural third-person)
ῠ̔ποτᾰ́ξοιμῐ (active first-person optative singular)
ῠ̔ποτᾰ́ξοις (active optative second-person singular)
ῠ̔ποτᾰ́ξοι (active optative singular third-person)
ῠ̔ποτᾰ́ξοιτον (active dual optative second-person)
ῠ̔ποτᾰξοίτην (active dual optative third-person)
ῠ̔ποτᾰ́ξοιμεν (active first-person optative plural)
ῠ̔ποτᾰ́ξοιτε (active optative plural second-person)
ῠ̔ποτᾰ́ξοιεν (active optative plural third-person)
ῠ̔ποτᾰ́ξομαι (first-person indicative middle singular)
ῠ̔ποτᾰ́ξῃ (indicative middle second-person singular)
ῠ̔ποτᾰ́ξει (indicative middle second-person singular)
ῠ̔ποτᾰ́ξεται (indicative middle singular third-person)
ῠ̔ποτᾰ́ξεσθον (dual indicative middle second-person)
ῠ̔ποτᾰ́ξεσθον (dual indicative middle third-person)
ῠ̔ποτᾰξόμεθᾰ (first-person indicative middle plural)
ῠ̔ποτᾰ́ξεσθε (indicative middle plural second-person)
ῠ̔ποτᾰ́ξονται (indicative middle plural third-person)
ῠ̔ποτᾰξοίμην (first-person middle optative singular)
ῠ̔ποτᾰ́ξοιο (middle optative second-person singular)
ῠ̔ποτᾰ́ξοιτο (middle optative singular third-person)
ῠ̔ποτᾰ́ξοισθον (dual middle optative second-person)
ῠ̔ποτᾰξοίσθην (dual middle optative third-person)
ῠ̔ποτᾰξοίμεθᾰ (first-person middle optative plural)
ῠ̔ποτᾰ́ξοισθε (middle optative plural second-person)
ῠ̔ποτᾰ́ξοιντο (middle optative plural third-person)
ῠ̔ποτᾰ́ξειν (active infinitive)
ῠ̔ποτᾰ́ξεσθαι (dual infinitive middle second-person third-person)
ῠ̔ποτᾰ́ξων (active masculine participle)
ῠ̔ποτᾰξόμενος (dual masculine middle participle second-person third-person)
ῠ̔ποτᾰ́ξουσᾰ (active feminine participle)
ῠ̔ποτᾰξομένη (dual feminine middle participle second-person third-person)
ῠ̔ποτᾰ́ξον (active neuter participle)
ῠ̔ποτᾰξόμενον (dual middle neuter participle second-person third-person)
ῠ̔ποτᾰ́ττω (alternative Attic)

→ Greek: υποτάσσω (ypotásso) (learned)

From ῠ̔πο- (hŭpo-, “under”) + τᾰ́σσω (tắssō, “to place”).

affix

108 CE, Arrian, Discourses of Epictetus 4.1.161

to put after
(logic) to take as a minor premise


(algebra, logic) Boolean value corresponding to truth


impredicative

(logic, of a proposition) definable only in terms of a totality of which it is itself a part


conectivo

(logic) connective (function that operates on truth values)


corolário

Learned borrowing from Latin corōllārium.

lbor

(mathematics, logic) corollary (proposition which follows easily)


predicamento

Borrowed from Medieval Latin praedicāmentum, derived from Latin praedicō (“to declare, proclame, predicate”).

der

I numeri […] si ritruovano in tutti i parlari di tutte le lingue; perchè il parlare cade sotto il predicamento della quantità

1570, Benedetto Varchi, L'Ercolano - Volume secondo, published 1804, pages 299–300:

Numbers are found in every form of every language, for speech falls under the predicament of quantity

(logic, philosophy) predicament, category


predicamento

(chiefly logic and philosophy) predicament (a definite class, state or condition)


predicamento

(logic) predicament (that which is predicated); a category.


masked man fallacy

en-noun

masked man fallacy (plural masked man fallacies)

masked man fallacies (plural)
masked-man fallacy (alternative)

That is to say, one cannot infer from one's subjective state of certainty and uncertainty about two propositions, to the objective connection or lack of connection between them; but it is just such an inference that Descartes seems to be making about himself and his body, and which gives his argument its embarrassing resemblance to the masked man fallacy.

1978, Bernard Williams, Descartes: The Project of Pure Enquiry, New York: Routledge, published 2005, page 97:

Consider the Masked Man fallacy, which shows that I can know something under one description but not under another.

1999, Jonathan E. Pike, From Aristotle to Marx: Aristotelianism in Marxist social ontology, Ashgate, page 176:

[…] that because the per diem payments are compensatory, ipso facto they are not travel expenses. Without further explication, this latter proposition might be thought to exemplify a species of the so-called masked man fallacy ("I know who my father is; I do not know who the masked man is; so, my father is not the masked man.").

2001, Reports of the Tax Court of the United States, volume 117:

(logic, philosophy) A fallacy of inferring that since one knows (or does not know) something by one description, one must know (or not know) it by another, as in "I know who my father is. I do not know who the masked man is. Therefore, my father is not the masked man."


counterextension

counterextension (countable and uncountable, plural counterextensions)

(countable, logic) The set of tuples of values that, used as arguments, do not satisfy the predicate.


kontrprzykład

kontrprzykład (nominative singular)
kontrprzykłady (nominative plural)
kontrprzykładu (genitive singular)
kontrprzykładów (genitive plural)
kontrprzykładowi (dative singular)
kontrprzykładom (dative plural)
kontrprzykład (accusative singular)
kontrprzykłady (accusative plural)
kontrprzykładem (instrumental singular)
kontrprzykładami (instrumental plural)
kontrprzykładzie (locative singular)
kontrprzykładach (locative plural)
kontrprzykładzie (singular vocative)
kontrprzykłady (plural vocative)


Zirkelschluss

de-noun

Zirkelschluss m (strong, genitive Zirkelschlusses, plural Zirkelschlüsse)

Zirkelschlusses (genitive)
Zirkelschlüsse (plural)
Zirkelschluss (nominative singular)
Zirkelschlüsse (definite nominative plural)
Zirkelschlusses (genitive singular)
Zirkelschlüsse (definite genitive plural)
Zirkelschluss (dative singular)
Zirkelschlusse (dative singular)
Zirkelschlüssen (dative definite plural)
Zirkelschluss (accusative singular)
Zirkelschlüsse (accusative definite plural)
Zirkelschluß (alternative)

Zirkel (“circle”) + Schluss (“conclusion”)

compound

begging the question
begging the question

begging the question, circular reasoning, circular argument (a type of argument)


Zirkelbeweis

de-noun

Zirkelbeweis m (strong, genitive Zirkelbeweises, plural Zirkelbeweise)

Zirkelbeweises (genitive)
Zirkelbeweise (plural)
Zirkelbeweis (nominative singular)
Zirkelbeweise (definite nominative plural)
Zirkelbeweises (genitive singular)
Zirkelbeweise (definite genitive plural)
Zirkelbeweis (dative singular)
Zirkelbeweise (dative singular)
Zirkelbeweisen (dative definite plural)
Zirkelbeweis (accusative singular)
Zirkelbeweise (accusative definite plural)


destructive sorites

en-noun

destructive sorites (plural destructive sorites)

In a destructive Sorites, you, of course, go back from the denial of the last consequent to the denial of the first antecedent

1826, Richard Whately, Elements of Logic:

reductio ad absurdum
reductio ad absurdum

(logic) A form of reductio ad absurdum which involves the denial of the first of a series of dependent propositions as a consequence of the denial of the last.


indutivo

pt-adj

indutivo (feminine indutiva, masculine plural indutivos, feminine plural indutivas)

indutiva (feminine)
indutivos (masculine plural)
indutivas (feminine plural)

Borrowed from Late Latin inductīvus, from Latin indūcō.

(logic) inductive (relating to logical induction)


դատողություն

head

դատողություն • (datoġutʻyun) (traditional orthography spelling դատողութիւն)

datoġutʻyun (romanization)
orthography spelling դատողութիւն (traditional)
դատողություն (nominative singular)
դատողություններ (nominative plural)
դատողության (dative singular)
դատողությունների (dative plural)
դատողությունից (ablative singular)
դատողություններից (ablative plural)
դատողությամբ (instrumental singular)
դատողություններով (instrumental plural)
դատողությունում (locative singular)
դատողություններում (locative plural)
դատողությունը (definite nominative singular)
դատողությունն (definite nominative singular)
դատողությունները (definite nominative plural)
դատողություններն (definite nominative plural)
դատողությանը (dative definite singular)
դատողությանն (dative definite singular)
դատողություններին (dative definite plural)
դատողությունս (first-person nominative possessive singular)
դատողություններս (first-person nominative plural possessive)
դատողությանս (dative first-person possessive singular)
դատողություններիս (dative first-person plural possessive)
դատողությունիցս (ablative first-person possessive singular)
դատողություններիցս (ablative first-person plural possessive)
դատողությամբս (first-person instrumental possessive singular)
դատողություններովս (first-person instrumental plural possessive)
դատողությունումս (first-person locative possessive singular)
դատողություններումս (first-person locative plural possessive)
դատողությունդ (nominative possessive second-person singular)
դատողություններդ (nominative plural possessive second-person)
դատողությանդ (dative possessive second-person singular)
դատողություններիդ (dative plural possessive second-person)
դատողությունիցդ (ablative possessive second-person singular)
դատողություններիցդ (ablative plural possessive second-person)
դատողությամբդ (instrumental possessive second-person singular)
դատողություններովդ (instrumental plural possessive second-person)
դատողությունումդ (locative possessive second-person singular)
դատողություններումդ (locative plural possessive second-person)

hy-decl-noun

դատողություն

դատողությունը/դատողությունն

դատողություններ

դատողությունները/դատողություններն

դատողությանը/դատողությանն

դատողությունների, դատողությանց**

դատողություններին

դատողությունից

դատողություններից

դատողությամբ, դատողությունով*

դատողություններով

դատողությունում

դատողություններում

դատողությունս

դատողություններս

դատողությանս

դատողություններիս, դատողությանցս**

դատողությունիցս

դատողություններիցս

դատողությամբս, դատողությունովս*

դատողություններովս

դատողությունումս

դատողություններումս

դատողությունդ

դատողություններդ

դատողությանդ

դատողություններիդ, դատողությանցդ**

դատողությունիցդ

դատողություններիցդ

դատողությամբդ, դատողությունովդ*

դատողություններովդ

դատողությունումդ

դատողություններումդ

From Old Armenian դատողութիւն (datołutʻiwn).


οὐσία

grc-noun

οὐσίᾱ • (ousíā) f (genitive οὐσίᾱς); first declension

οὐσίᾱ (canonical)
ousíā (romanization)
οὐσίᾱς (genitive)
ἡ οὐσῐ́ᾱ (nominative singular)
οὐσῐ́ᾱ (dual nominative)
αἱ οὐσῐ́αι (nominative plural)
τῆς οὐσῐ́ᾱς (genitive singular)
οὐσῐ́αιν (dual genitive)
οὐσῐῶν (genitive plural)
τῇ οὐσῐ́ᾳ (dative singular)
οὐσῐ́αιν (dative dual)
ταῖς οὐσῐ́αις (dative plural)
τὴν οὐσῐ́ᾱν (accusative singular)
οὐσῐ́ᾱ (accusative dual)
τᾱ̀ς οὐσῐ́ᾱς (accusative plural)
οὐσῐ́ᾱ (singular vocative)
οὐσῐ́ᾱ (dual vocative)
οὐσῐ́αι (plural vocative)
οὐσίη (alternative Ionic)
ἐσσία (alternative Doric)
ὠσία (alternative Doric)

Greek: ουσία (ousía)

→ Arabic: أُوسِيَّة (ʔūsiyya)

desc

→ Old Church Slavonic: естьство (estĭstvo) (calque) (see there for further descendants)

→ Old Church Slavonic: сѫщьство (sǫštĭstvo) (calque) (see there for further descendants)

From ὤν, οὖσᾰ, ὄν (ṓn, oûsă, ón, “being”), the present participle of εἰμῐ́ (eimĭ́) (“to be”), + -ῐ́ᾱ (-ĭ́ā, abstract noun suffix).

384 BCE – 322 BCE, Aristotle, Categories 1B.26

384 BCE – 322 BCE, Aristotle, Metaphysics 1045B.29

384 BCE – 322 BCE, Aristotle, Categories 2B.5

384 BCE – 322 BCE, Aristotle, Categories 2A.15

384 BCE – 322 BCE, Aristotle, Metaphysics 1035B.29

384 BCE – 322 BCE, Aristotle, Metaphysics 1043A.30

384 BCE – 322 BCE, Aristotle, On the Soul 412A.16

384 BCE – 322 BCE, Aristotle, Metaphysics 1037A.5

384 BCE – 322 BCE, Aristotle, On the Soul 412A.19

384 BCE – 322 BCE, Aristotle, Metaphysics 1035B.15

384 BCE – 322 BCE, Aristotle, Posterior Analytics 87A.36

(philosophy) synonym of φύσις (phúsis) stable being, immutable reality

(logic) substance as the leading category


deduktiivisuus

deduktiivisuus (nominative singular)
deduktiivisuudet (nominative plural)
deduktiivisuus (accusative nominative singular)
deduktiivisuudet (accusative nominative plural)
deduktiivisuuden (accusative genitive singular)
deduktiivisuudet (accusative genitive plural)
deduktiivisuuden (genitive singular)
deduktiivisuuksien (genitive plural)
deduktiivisuutta (partitive singular)
deduktiivisuuksia (partitive plural)
deduktiivisuudessa (inessive singular)
deduktiivisuuksissa (inessive plural)
deduktiivisuudesta (elative singular)
deduktiivisuuksista (elative plural)
deduktiivisuuteen (illative singular)
deduktiivisuuksiin (illative plural)
deduktiivisuudella (adessive singular)
deduktiivisuuksilla (adessive plural)
deduktiivisuudelta (ablative singular)
deduktiivisuuksilta (ablative plural)
deduktiivisuudelle (allative singular)
deduktiivisuuksille (allative plural)
deduktiivisuutena (essive singular)
deduktiivisuuksina (essive plural)
deduktiivisuudeksi (singular translative)
deduktiivisuuksiksi (plural translative)
deduktiivisuudetta (abessive singular)
deduktiivisuuksitta (abessive plural)
deduktiivisuuksin (instructive plural)
See the possessive forms below. (comitative)
deduktiivisuuteni (nominative singular)
deduktiivisuuteni (nominative plural)
deduktiivisuuteni (accusative nominative singular)
deduktiivisuuteni (accusative nominative plural)
deduktiivisuuteni (accusative genitive singular)
deduktiivisuuteni (accusative genitive plural)
deduktiivisuuteni (genitive singular)
deduktiivisuuksieni (genitive plural)
deduktiivisuuttani (partitive singular)
deduktiivisuuksiani (partitive plural)
deduktiivisuudessani (inessive singular)
deduktiivisuuksissani (inessive plural)
deduktiivisuudestani (elative singular)
deduktiivisuuksistani (elative plural)
deduktiivisuuteeni (illative singular)
deduktiivisuuksiini (illative plural)
deduktiivisuudellani (adessive singular)
deduktiivisuuksillani (adessive plural)
deduktiivisuudeltani (ablative singular)
deduktiivisuuksiltani (ablative plural)
deduktiivisuudelleni (allative singular)
deduktiivisuuksilleni (allative plural)
deduktiivisuutenani (essive singular)
deduktiivisuuksinani (essive plural)
deduktiivisuudekseni (singular translative)
deduktiivisuuksikseni (plural translative)
deduktiivisuudettani (abessive singular)
deduktiivisuuksittani (abessive plural)
deduktiivisuuksineni (comitative plural)
deduktiivisuutesi (nominative singular)
deduktiivisuutesi (nominative plural)
deduktiivisuutesi (accusative nominative singular)
deduktiivisuutesi (accusative nominative plural)
deduktiivisuutesi (accusative genitive singular)
deduktiivisuutesi (accusative genitive plural)
deduktiivisuutesi (genitive singular)
deduktiivisuuksiesi (genitive plural)
deduktiivisuuttasi (partitive singular)
deduktiivisuuksiasi (partitive plural)
deduktiivisuudessasi (inessive singular)
deduktiivisuuksissasi (inessive plural)
deduktiivisuudestasi (elative singular)
deduktiivisuuksistasi (elative plural)
deduktiivisuuteesi (illative singular)
deduktiivisuuksiisi (illative plural)
deduktiivisuudellasi (adessive singular)
deduktiivisuuksillasi (adessive plural)
deduktiivisuudeltasi (ablative singular)
deduktiivisuuksiltasi (ablative plural)
deduktiivisuudellesi (allative singular)
deduktiivisuuksillesi (allative plural)
deduktiivisuutenasi (essive singular)
deduktiivisuuksinasi (essive plural)
deduktiivisuudeksesi (singular translative)
deduktiivisuuksiksesi (plural translative)
deduktiivisuudettasi (abessive singular)
deduktiivisuuksittasi (abessive plural)
deduktiivisuuksinesi (comitative plural)
deduktiivisuutemme (nominative singular)
deduktiivisuutemme (nominative plural)
deduktiivisuutemme (accusative nominative singular)
deduktiivisuutemme (accusative nominative plural)
deduktiivisuutemme (accusative genitive singular)
deduktiivisuutemme (accusative genitive plural)
deduktiivisuutemme (genitive singular)
deduktiivisuuksiemme (genitive plural)
deduktiivisuuttamme (partitive singular)
deduktiivisuuksiamme (partitive plural)
deduktiivisuudessamme (inessive singular)
deduktiivisuuksissamme (inessive plural)
deduktiivisuudestamme (elative singular)
deduktiivisuuksistamme (elative plural)
deduktiivisuuteemme (illative singular)
deduktiivisuuksiimme (illative plural)
deduktiivisuudellamme (adessive singular)
deduktiivisuuksillamme (adessive plural)
deduktiivisuudeltamme (ablative singular)
deduktiivisuuksiltamme (ablative plural)
deduktiivisuudellemme (allative singular)
deduktiivisuuksillemme (allative plural)
deduktiivisuutenamme (essive singular)
deduktiivisuuksinamme (essive plural)
deduktiivisuudeksemme (singular translative)
deduktiivisuuksiksemme (plural translative)
deduktiivisuudettamme (abessive singular)
deduktiivisuuksittamme (abessive plural)
deduktiivisuuksinemme (comitative plural)
deduktiivisuutenne (nominative singular)
deduktiivisuutenne (nominative plural)
deduktiivisuutenne (accusative nominative singular)
deduktiivisuutenne (accusative nominative plural)
deduktiivisuutenne (accusative genitive singular)
deduktiivisuutenne (accusative genitive plural)
deduktiivisuutenne (genitive singular)
deduktiivisuuksienne (genitive plural)
deduktiivisuuttanne (partitive singular)
deduktiivisuuksianne (partitive plural)
deduktiivisuudessanne (inessive singular)
deduktiivisuuksissanne (inessive plural)
deduktiivisuudestanne (elative singular)
deduktiivisuuksistanne (elative plural)
deduktiivisuuteenne (illative singular)
deduktiivisuuksiinne (illative plural)
deduktiivisuudellanne (adessive singular)
deduktiivisuuksillanne (adessive plural)
deduktiivisuudeltanne (ablative singular)
deduktiivisuuksiltanne (ablative plural)
deduktiivisuudellenne (allative singular)
deduktiivisuuksillenne (allative plural)
deduktiivisuutenanne (essive singular)
deduktiivisuuksinanne (essive plural)
deduktiivisuudeksenne (singular translative)
deduktiivisuuksiksenne (plural translative)
deduktiivisuudettanne (abessive singular)
deduktiivisuuksittanne (abessive plural)
deduktiivisuuksinenne (comitative plural)
deduktiivisuutensa (nominative singular)
deduktiivisuutensa (nominative plural)
deduktiivisuutensa (accusative nominative singular)
deduktiivisuutensa (accusative nominative plural)
deduktiivisuutensa (accusative genitive singular)
deduktiivisuutensa (accusative genitive plural)
deduktiivisuutensa (genitive singular)
deduktiivisuuksiensa (genitive plural)
deduktiivisuuttaan (partitive singular)
deduktiivisuuttansa (partitive singular)
deduktiivisuuksiaan (partitive plural)
deduktiivisuuksiansa (partitive plural)
deduktiivisuudessaan (inessive singular)
deduktiivisuudessansa (inessive singular)
deduktiivisuuksissaan (inessive plural)
deduktiivisuuksissansa (inessive plural)
deduktiivisuudestaan (elative singular)
deduktiivisuudestansa (elative singular)
deduktiivisuuksistaan (elative plural)
deduktiivisuuksistansa (elative plural)
deduktiivisuuteensa (illative singular)
deduktiivisuuksiinsa (illative plural)
deduktiivisuudellaan (adessive singular)
deduktiivisuudellansa (adessive singular)
deduktiivisuuksillaan (adessive plural)
deduktiivisuuksillansa (adessive plural)
deduktiivisuudeltaan (ablative singular)
deduktiivisuudeltansa (ablative singular)
deduktiivisuuksiltaan (ablative plural)
deduktiivisuuksiltansa (ablative plural)
deduktiivisuudelleen (allative singular)
deduktiivisuudellensa (allative singular)
deduktiivisuuksilleen (allative plural)
deduktiivisuuksillensa (allative plural)
deduktiivisuutenaan (essive singular)
deduktiivisuutenansa (essive singular)
deduktiivisuuksinaan (essive plural)
deduktiivisuuksinansa (essive plural)
deduktiivisuudekseen (singular translative)
deduktiivisuudeksensa (singular translative)
deduktiivisuuksikseen (plural translative)
deduktiivisuuksiksensa (plural translative)
deduktiivisuudettaan (abessive singular)
deduktiivisuudettansa (abessive singular)
deduktiivisuuksittaan (abessive plural)
deduktiivisuuksittansa (abessive plural)
deduktiivisuuksineen (comitative plural)
deduktiivisuuksinensa (comitative plural)

(logic) deducibility (capability of being deduced, quality of being deducible)


ignoratio elenchi

/ˌɪɡ.nəˈɹeɪ.ʃiˌoʊ ɪˈlɛŋ.kaɪ/

/ˌɪɡ.nəˈɹɑ.tiˌoʊ/

From Latin ignōrātiō elenchī (“ignorance of the refutation”).

bor

The fallacy of presenting an argument that may or may not be logically valid, but fails to address the issue in question.


semifactual

From semi- + factual. In the logic sense, introduced by Nelson Goodman.

(logic) A conditional with a false antecedent and a true consequent.


prova dos nove

pt-noun

prova dos nove f (plural provas dos nove)

O seguro está muito bem modelado e a prova dos nove é que a inadimplência é baixa.

(logic, rhetoric) a definitive proof of the point stated


απαγωγή

head

απαγωγή • (apagogí) f (plural απαγωγές)

el-noun

απαγωγή • (apagogí) f (plural απαγωγές)

apagogí (romanization)
απαγωγές (plural)
απαγωγή (nominative singular)
απαγωγές (nominative plural)
απαγωγής (genitive singular)
απαγωγών (genitive plural)
απαγωγή (accusative singular)
απαγωγές (accusative plural)
απαγωγή (singular vocative)
απαγωγές (plural vocative)

Inherited from Ancient Greek ἀπαγωγή (apagōgḗ).


ratio formalis

en-noun

ratio formalis (plural rationes formales)

From Latin ratiō (“reason”) + fōrmālis (“formal”).

(philosophy, logic) the formal grounds for something; the essential attributes of matter as they appear in the mind or in a definition.


公設

/kʊŋ⁵⁵ ʂɤ⁵¹/

/kʊŋ⁵⁵ t͡sʰiːt̚³/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ³³ siɛt̚⁵/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/

/kʊŋ⁵⁵ ʂɤ⁵¹/

/kʊŋ⁵⁵ t͡sʰiːt̚³/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ³³ siɛt̚⁵/

/kɔŋ⁴⁴⁻²² siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/

/kɔŋ⁴⁴⁻³³ siɛt̚³²/


metavariable

The pragmatic process of substitution requires some given context to provide an appropriate substituend for a metavariable projected by a pronoun.

2006 March 13, Lutz Martin, “Relative Clause Construal”, in The Dynamics of Language, Brill, →ISBN, page 85:

If it is a programming language, it will almost always have its own notion of variables, and hence the distinction between object-language variables and metavariables is useful.

2016, Aaron Stump, Verified Functional Programming in Agda, page 198:

(logic) A symbol or string of symbols belonging to a metalanguage and standing for elements of some object language.


ポーランド記法

ポーランド記法 (canonical)
pōrandokihō (romanization)

ポーランド (Pōrando, “Poland”) + 記法 (kihō, “notation”)

compound

中置記法

中置記法 ちゅうちきほう


真理値表

真理値表 (canonical)
shinrichihyō (romanization)

真理値 (shinrichi, “truth value”) + 表 (hyō, “table”)


predicat

→ English: predicate

French: prédicat

Vous voyez donc que c'est que un subiect maieur, & un mineur, & un predicat.

1571, Franc Sedile, Les sciences et secrets des arts, page 9:


tabela-verdade

pt-noun

tabela-verdade f (plural tabelas-verdade)

tabelas-verdade (plural)
tabela verdade (alternative)

(logic) truth table (table showing all possible truth-values for an expression)


διαίρεσις

grc-noun

δῐαίρεσῐς • (dĭaíresĭs) f (genitive δῐαιρέσεως); third declension

δῐαίρεσῐς (canonical)
dĭaíresĭs (romanization)
δῐαιρέσεως (genitive)
ἡ δῐαίρεσῐς (nominative singular)
δῐαιρέσει (dual nominative)
αἱ δῐαιρέσεις (nominative plural)
τῆς δῐαιρέσεως (genitive singular)
δῐαιρεσέοιν (dual genitive)
δῐαιρέσεων (genitive plural)
τῇ δῐαιρέσει (dative singular)
δῐαιρεσέοιν (dative dual)
ταῖς δῐαιρέσεσῐ (dative plural)
δῐαιρέσεσῐν (dative plural)
taîs dĭairésesĭ (dative plural)
taîs dĭairésesĭn (dative plural)
τὴν δῐαίρεσῐν (accusative singular)
δῐαιρέσει (accusative dual)
τᾱ̀ς δῐαιρέσεις (accusative plural)
δῐαίρεσῐ (singular vocative)
δῐαιρέσει (dual vocative)
δῐαιρέσεις (plural vocative)

σῠνᾰγωγή

antonym(s) of “division into logical genus and species”

σῠ́νθεσῐς

antonym(s) of “division of subject and predicate”

σῠναίρεσῐς

antonym(s) of “resolution of a diphthong into two syllables”

desctree

→ Latin: diaeresis
→ English: diaeresis
→ French: diérèse
→ Portuguese: diérese
→ Spanish: diéresis

From διαιρέω (diairéō, “take apart, cleave, divide”) + -σις (-sis), from δια- (dia-, “apart”) + αἱρέω (hairéō, “take, grasp”).

προσῳδία

προσῳδίαι ἑλληνικαί

360 BCE, Plato, The Sophist 267d

384 BCE – 322 BCE, Aristotle, Prior Analytics 1.31

428 BCE – 347 BCE, Plato, Phaedrus 266b

(logic) division into logical genus and species (γένος (génos) and εἶδος (eîdos))

384 BCE – 322 BCE, Aristotle, On Interpretation 1.16a

(logic) separation of the subject and predicate

384 BCE – 322 BCE, Aristotle, Sophistical Refutations 33.177a


conservative extension

en-noun

conservative extension (plural conservative extensions)

(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.


one-to-many

"Being a genetic mother of" is a one-to-many relation from the set of cats to the set of cats.

(mathematics, logic, of a relationship between two sets) Having the property that an element of one set may be assigned by the relationship to several elements in the other set, but that a given element in the second set can have only one member of the first set assigned to it.


many-to-one

(mathematics, logic, of a relationship between two sets) Having the property that many elements of one set may be assigned by the relationship to one element in the other set, and that a given element in the first set can be assigned by only one member of the second set.


many-to-many

"Is a fellow citizen with" is a many-to-many relationship on the set of people (from the set of people to the set of people).

(mathematics, logic, of a relationship between two sets) Having the property that many elements of one set may be assigned by the relationship to any element in the other set, and that a given element in the first set can also be assigned more than one member of the second set.


monadic second-order logic

monadic second-order logic (countable and uncountable, plural monadic second-order logics)

universe of discourse
universe of discourse

(logic) A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.


επαγωγή

head

επαγωγή • (epagogí) f (plural επαγωγές)

el-noun

επαγωγή • (epagogí) f (plural επαγωγές)

epagogí (romanization)
επαγωγές (plural)
επαγωγή (nominative singular)
επαγωγές (nominative plural)
επαγωγής (genitive singular)
επαγωγών (genitive plural)
επαγωγή (accusative singular)
επαγωγές (accusative plural)
επαγωγή (singular vocative)
επαγωγές (plural vocative)

(philosophy, logic) induction (thought processes leading to a conclusion)


elementary equivalence

en-noun

elementary equivalence (plural elementary equivalences)

(logic) A relation between two structures which have the property that every first-order formula is valid in one structure if and only if it is valid in the other.


λήμμα

límma (romanization)
λήμματα (plural)
λήμμα (nominative singular)
λήμματα (nominative plural)
λήμματος (genitive singular)
λημμάτων (genitive plural)
λήμμα (accusative singular)
λήμματα (accusative plural)
λήμμα (singular vocative)
λήμματα (plural vocative)

Learnedly, from Ancient Greek λῆμμᾰ (lêmmă), from *λῆβ-μα. For stem ληβ-, see verb λαμβάνω (lambánō).

(mathematics, logic) lemma (proved theorem used in the proof of another)


πάθημα

grc-noun

πᾰ́θημᾰ • (pắthēmă) n (genitive πᾰθήμᾰτος); third declension

πᾰ́θημᾰ (canonical)
pắthēmă (romanization)
πᾰθήμᾰτος (genitive)
τὸ πᾰ́θημᾰ (nominative singular)
πᾰθήμᾰτε (dual nominative)
τᾰ̀ πᾰθήμᾰτᾰ (nominative plural)
τοῦ πᾰθήμᾰτος (genitive singular)
πᾰθημᾰ́τοιν (dual genitive)
πᾰθημᾰ́των (genitive plural)
τῷ πᾰθήμᾰτῐ (dative singular)
πᾰθημᾰ́τοιν (dative dual)
τοῖς πᾰθήμᾰσῐ (dative plural)
πᾰθήμᾰσῐν (dative plural)
toîs păthḗmăsĭ (dative plural)
toîs păthḗmăsĭn (dative plural)
τὸ πᾰ́θημᾰ (accusative singular)
πᾰθήμᾰτε (accusative dual)
τᾰ̀ πᾰθήμᾰτᾰ (accusative plural)
πᾰ́θημᾰ (singular vocative)
πᾰθήμᾰτε (dual vocative)
πᾰθήμᾰτᾰ (plural vocative)
τὸ πᾰ́θημᾰ (nominative singular)
πᾰθήμᾰτε (dual nominative)
τᾰ̀ πᾰθήμᾰτᾰ (nominative plural)
τοῦ πᾰθήμᾰτος (genitive singular)
πᾰθημᾰ́τοιν (dual genitive)
πᾰθημᾰ́των (genitive plural)
τῷ πᾰθήμᾰτῐ (dative singular)
πᾰθημᾰ́τοιν (dative dual)
τοῖς πᾰθημᾰ́τοις (dative plural)
τὸ πᾰ́θημᾰ (accusative singular)
πᾰθήμᾰτε (accusative dual)
τᾰ̀ πᾰθήμᾰτᾰ (accusative plural)
πᾰ́θημᾰ (singular vocative)
πᾰθήμᾰτε (dual vocative)
πᾰθήμᾰτᾰ (plural vocative)

From πάσχω (páskhō, “suffer”) + -μᾰ (-mă).


MSO

(logic, computer science) Monadic second-order logic.


material equivalence
material equivalence

(logic) material equivalence; if and only if


forgetful functor

en-noun

forgetful functor (plural forgetful functors)

(category theory) a functor that forgets or drops some or all of its input's structure or properties before mapping to the output

gleymskuvarpi

category theory: a functor that forgets its inputs's structure


negação

[ne.ɡaˈsɐ̃ʊ̯̃]

/nɨ.ɡɐˈsɐ̃w̃/

[nɨ.ɣɐˈsɐ̃w̃]

(logic) negation (proposition which is the contradictory of another proposition)


se e somente se

(logic) if and only if (implies and is implied by)


liar paradox

liar paradoxes (plural)
liar's paradox (alternative)

Graham Priest has argued the liar paradox is a true dialetheia.

(philosophy, logic) A paradox involving statements such as "this sentence is false", or "the following statement is true: the previous statement is false", which cannot be meaningfully regarded as either true or false.


klausuuli

klausuuli (nominative singular)
klausuulit (nominative plural)
klausuuli (accusative nominative singular)
klausuulit (accusative nominative plural)
klausuulin (accusative genitive singular)
klausuulit (accusative genitive plural)
klausuulin (genitive singular)
klausuulien (genitive plural)
klausuulia (partitive singular)
klausuuleja (partitive plural)
klausuulissa (inessive singular)
klausuuleissa (inessive plural)
klausuulista (elative singular)
klausuuleista (elative plural)
klausuuliin (illative singular)
klausuuleihin (illative plural)
klausuulilla (adessive singular)
klausuuleilla (adessive plural)
klausuulilta (ablative singular)
klausuuleilta (ablative plural)
klausuulille (allative singular)
klausuuleille (allative plural)
klausuulina (essive singular)
klausuuleina (essive plural)
klausuuliksi (singular translative)
klausuuleiksi (plural translative)
klausuulitta (abessive singular)
klausuuleitta (abessive plural)
klausuulein (instructive plural)
See the possessive forms below. (comitative)
klausuulini (nominative singular)
klausuulini (nominative plural)
klausuulini (accusative nominative singular)
klausuulini (accusative nominative plural)
klausuulini (accusative genitive singular)
klausuulini (accusative genitive plural)
klausuulini (genitive singular)
klausuulieni (genitive plural)
klausuuliani (partitive singular)
klausuulejani (partitive plural)
klausuulissani (inessive singular)
klausuuleissani (inessive plural)
klausuulistani (elative singular)
klausuuleistani (elative plural)
klausuuliini (illative singular)
klausuuleihini (illative plural)
klausuulillani (adessive singular)
klausuuleillani (adessive plural)
klausuuliltani (ablative singular)
klausuuleiltani (ablative plural)
klausuulilleni (allative singular)
klausuuleilleni (allative plural)
klausuulinani (essive singular)
klausuuleinani (essive plural)
klausuulikseni (singular translative)
klausuuleikseni (plural translative)
klausuulittani (abessive singular)
klausuuleittani (abessive plural)
klausuuleineni (comitative plural)
klausuulisi (nominative singular)
klausuulisi (nominative plural)
klausuulisi (accusative nominative singular)
klausuulisi (accusative nominative plural)
klausuulisi (accusative genitive singular)
klausuulisi (accusative genitive plural)
klausuulisi (genitive singular)
klausuuliesi (genitive plural)
klausuuliasi (partitive singular)
klausuulejasi (partitive plural)
klausuulissasi (inessive singular)
klausuuleissasi (inessive plural)
klausuulistasi (elative singular)
klausuuleistasi (elative plural)
klausuuliisi (illative singular)
klausuuleihisi (illative plural)
klausuulillasi (adessive singular)
klausuuleillasi (adessive plural)
klausuuliltasi (ablative singular)
klausuuleiltasi (ablative plural)
klausuulillesi (allative singular)
klausuuleillesi (allative plural)
klausuulinasi (essive singular)
klausuuleinasi (essive plural)
klausuuliksesi (singular translative)
klausuuleiksesi (plural translative)
klausuulittasi (abessive singular)
klausuuleittasi (abessive plural)
klausuuleinesi (comitative plural)
klausuulimme (nominative singular)
klausuulimme (nominative plural)
klausuulimme (accusative nominative singular)
klausuulimme (accusative nominative plural)
klausuulimme (accusative genitive singular)
klausuulimme (accusative genitive plural)
klausuulimme (genitive singular)
klausuuliemme (genitive plural)
klausuuliamme (partitive singular)
klausuulejamme (partitive plural)
klausuulissamme (inessive singular)
klausuuleissamme (inessive plural)
klausuulistamme (elative singular)
klausuuleistamme (elative plural)
klausuuliimme (illative singular)
klausuuleihimme (illative plural)
klausuulillamme (adessive singular)
klausuuleillamme (adessive plural)
klausuuliltamme (ablative singular)
klausuuleiltamme (ablative plural)
klausuulillemme (allative singular)
klausuuleillemme (allative plural)
klausuulinamme (essive singular)
klausuuleinamme (essive plural)
klausuuliksemme (singular translative)
klausuuleiksemme (plural translative)
klausuulittamme (abessive singular)
klausuuleittamme (abessive plural)
klausuuleinemme (comitative plural)
klausuulinne (nominative singular)
klausuulinne (nominative plural)
klausuulinne (accusative nominative singular)
klausuulinne (accusative nominative plural)
klausuulinne (accusative genitive singular)
klausuulinne (accusative genitive plural)
klausuulinne (genitive singular)
klausuulienne (genitive plural)
klausuulianne (partitive singular)
klausuulejanne (partitive plural)
klausuulissanne (inessive singular)
klausuuleissanne (inessive plural)
klausuulistanne (elative singular)
klausuuleistanne (elative plural)
klausuuliinne (illative singular)
klausuuleihinne (illative plural)
klausuulillanne (adessive singular)
klausuuleillanne (adessive plural)
klausuuliltanne (ablative singular)
klausuuleiltanne (ablative plural)
klausuulillenne (allative singular)
klausuuleillenne (allative plural)
klausuulinanne (essive singular)
klausuuleinanne (essive plural)
klausuuliksenne (singular translative)
klausuuleiksenne (plural translative)
klausuulittanne (abessive singular)
klausuuleittanne (abessive plural)
klausuuleinenne (comitative plural)
klausuulinsa (nominative singular)
klausuulinsa (nominative plural)
klausuulinsa (accusative nominative singular)
klausuulinsa (accusative nominative plural)
klausuulinsa (accusative genitive singular)
klausuulinsa (accusative genitive plural)
klausuulinsa (genitive singular)
klausuuliensa (genitive plural)
klausuuliaan (partitive singular)
klausuuliansa (partitive singular)
klausuulejaan (partitive plural)
klausuulejansa (partitive plural)
klausuulissaan (inessive singular)
klausuulissansa (inessive singular)
klausuuleissaan (inessive plural)
klausuuleissansa (inessive plural)
klausuulistaan (elative singular)
klausuulistansa (elative singular)
klausuuleistaan (elative plural)
klausuuleistansa (elative plural)
klausuuliinsa (illative singular)
klausuuleihinsa (illative plural)
klausuulillaan (adessive singular)
klausuulillansa (adessive singular)
klausuuleillaan (adessive plural)
klausuuleillansa (adessive plural)
klausuuliltaan (ablative singular)
klausuuliltansa (ablative singular)
klausuuleiltaan (ablative plural)
klausuuleiltansa (ablative plural)
klausuulilleen (allative singular)
klausuulillensa (allative singular)
klausuuleilleen (allative plural)
klausuuleillensa (allative plural)
klausuulinaan (essive singular)
klausuulinansa (essive singular)
klausuuleinaan (essive plural)
klausuuleinansa (essive plural)
klausuulikseen (singular translative)
klausuuliksensa (singular translative)
klausuuleikseen (plural translative)
klausuuleiksensa (plural translative)
klausuulittaan (abessive singular)
klausuulittansa (abessive singular)
klausuuleittaan (abessive plural)
klausuuleittansa (abessive plural)
klausuuleineen (comitative plural)
klausuuleinensa (comitative plural)

< Swedish klausul, compare English clause


szillogizmus

szillogizmusok (plural)
szillogizmus (nominative singular)
szillogizmusok (nominative plural)
szillogizmust (accusative singular)
szillogizmusokat (accusative plural)
szillogizmusnak (dative singular)
szillogizmusoknak (dative plural)
szillogizmussal (instrumental singular)
szillogizmusokkal (instrumental plural)
szillogizmusért (causal-final singular)
szillogizmusokért (causal-final plural)
szillogizmussá (singular translative)
szillogizmusokká (plural translative)
szillogizmusig (singular terminative)
szillogizmusokig (plural terminative)
szillogizmusként (essive-formal singular)
szillogizmusokként (essive-formal plural)
szillogizmusban (inessive singular)
szillogizmusokban (inessive plural)
szillogizmuson (singular superessive)
szillogizmusokon (plural superessive)
szillogizmusnál (adessive singular)
szillogizmusoknál (adessive plural)
szillogizmusba (illative singular)
szillogizmusokba (illative plural)
szillogizmusra (singular sublative)
szillogizmusokra (plural sublative)
szillogizmushoz (allative singular)
szillogizmusokhoz (allative plural)
szillogizmusból (elative singular)
szillogizmusokból (elative plural)
szillogizmusról (delative singular)
szillogizmusokról (delative plural)
szillogizmustól (ablative singular)
szillogizmusoktól (ablative plural)
szillogizmusé (singular)
szillogizmusoké (plural)
szillogizmuséi (singular)
szillogizmusokéi (plural)
szillogizmusom (first-person possessed-single possessive singular)
szillogizmusaim (first-person possessed-many possessive singular)
szillogizmusod (possessed-single possessive second-person singular)
szillogizmusaid (possessed-many possessive second-person singular)
szillogizmusa (possessed-single possessive singular third-person)
szillogizmusai (possessed-many possessive singular third-person)
szillogizmusunk (first-person plural possessed-single possessive)
szillogizmusaink (first-person plural possessed-many possessive)
szillogizmusotok (plural possessed-single possessive second-person)
szillogizmusaitok (plural possessed-many possessive second-person)
szillogizmusuk (plural possessed-single possessive third-person)
szillogizmusaik (plural possessed-many possessive third-person)

From Latin syllogismus, from Ancient Greek συλλογισμός (sullogismós, “inference, conclusion”). With -izmus ending.


誤謬

誤謬 (canonical)
gobyū (romanization)
gobiu (romanization)
ごびう (hiragana historical)


aletiologia

(logic) alethiology (branch of logic dealing with truth and error)


alético

pt-adj

alético (feminine alética, masculine plural aléticos, feminine plural aléticas)

alética (feminine)
aléticos (masculine plural)
aléticas (feminine plural)

(logic) alethic (pertaining to the modalities of truth)


نفي

نَفْي (canonical)
nafy (romanization)
نَفْي (indefinite informal singular triptote)
النَّفْي (definite informal singular triptote)
نَفْي (construct informal singular triptote)
نَفْيٌ (indefinite nominative singular triptote)
النَّفْيُ (definite nominative singular triptote)
نَفْيُ (construct nominative singular triptote)
نَفْيًا (accusative indefinite singular triptote)
النَّفْيَ (accusative definite singular triptote)
نَفْيَ (accusative construct singular triptote)
نَفْيٍ (genitive indefinite singular triptote)
النَّفْيِ (definite genitive singular triptote)
نَفْيِ (construct genitive singular triptote)

→ Persian: نفی (nafy)

→ Ottoman Turkish: نفی (nefiy)

> Turkish: nefiy (inherited)

→ Crimean Tatar: nefiy

نَفْيُ النَّفْيِ إِثْبَاتٌ

The negation of negation is an affirmation.


tiên đề

[tiən˧˧ ʔɗe˨˩]

[tiəŋ˧˧ ʔɗej˦˩]

[tiəŋ˧˧ ʔɗej˨˩]

Sino-Vietnamese word from 先 (“before; previous”) and 題 (“title”).

vi-etym-sino

Tiên đề Ơ-clít về đường thẳng song song: qua một điểm nằm ngoài một đường thẳng, có một và chỉ một đưởng thẳng song song với đường thẳng đó.

Euclidean axiom on parallel lines: through a point that's not on a line, there's one and only one line that's parallel with that line.

(philosophy, mathematics, logic, proof theory) an axiom


định lí

[ʔɗïŋ˧˨ʔ li˧˦]

[ʔɗɨn˨˩ʔ lɪj˨˩˦]

[ʔɗɨn˨˩˨ lɪj˦˥]

Định lý Huygen cho phép tìm mômen quán tính của một vật thể đối với trục đã cho Oz₁ trong trường hợp đã biết mômen quán tính của vật thể đó đối với trục bất kỳ Az₂ song song với Oz₁.

1979, S.M. Targ, translated by Phạm Huyền, Giáo trình giản yếu cơ học lý thuyết, NXB đại học và trung học chuyên nghiệp Hà Nội, page 339:

Huygens' theorem allows to find the moment of inertia of some body relative to a given axis Oz₁ in the case the moment of inertia of that body relative to an arbitrary axis Az₂ parallel to Oz₁ is known.


contradição em termos

pt-noun

contradição em termos f (plural contradições em termos)

contradiction in terms
contradiction in terms

(rhetoric, logic) contradiction in terms (expression in which the terms contradict one another)


ตรรกวิบัติ

th-noun

ตรรกวิบัติ • (dtàk-gà-wí-bàt)

From Sanskrit तर्क (tarka, “argument; reasoning; etc.”) + विपत्ति (vipatti, “adversity; calamity; difficulty; disaster; hardship; etc.”); equivalent to ตรรก (dtàk) + วิบัติ (wí-bàt).

com

ตรรก (dtàk) + วิบัติ (wí-bàt)


antepredicamento

it-noun

antepredicamento m (plural antepredicamenti)


antepredicamento

pt-noun

antepredicamento m (plural antepredicamentos)

(logic) antepredicament (prerequisite to a clear understanding of a predicament)


antilogismo

(logic) antilogism (false syllogism in which two premises contradict the third)


antilogism

(logic) A false syllogism in which two premises contradict the third


noneism

From none + -ism, coined by Richard Routley.

(logic, metaphysics) The theory that some things do not exist, and it is possible to quantify over non-existent things using the particular or existential quantifier.


switching function

en-noun

switching function (plural switching functions)

Boolean function
Boolean function#English


contrapose

en-verb

contrapose (third-person singular simple present contraposes, present participle contraposing, simple past and past participle contraposed)

contraposes (present singular third-person)
contraposing (participle present)
contraposed (participle past)
contraposed (past)

We certainly do not want to take our simple categorical statements and contrapose them into cumbersome natural language.

2005, Robert Malcolm Murray, Nebojsa Kujundzic, Critical Reflection: A Textbook for Critical Thinking, →ISBN, page 214:

To contrapose an argument one swaps the conclusion with any one of the premisses and negates each of the swapped statements.

2006, Philosophy of Psychology and Cognitive Science, →ISBN, page 461:

But subjunctive conditionals do not contrapose, and we are misled into accepting a sensitivity condition by confusing it with a safety condition.

2015, Ernest Sosa, Judgment and Agency, →ISBN, page 120:

(transitive, logic) To place in contraposition.


contraposed

Inductive extrapolation, in effect, is grounded in the contraposed universal generalisation 'where the reason, so the target.'

2001, Jonardon Ganeri, Philosophy in Classical India: The Proper Work of Reason, →ISBN, page 118:


law of identity

The law of identity states that an apple is an apple.

(logic) The logical principle that anything equals itself, expressed by the symbolic equation A=A.


law of nontriviality

Aristotle argued the law of non-triviality was an inevitable belief for all people because denying it is not possible if a person is going to behave in a discriminating way.

(logic) The rule that states that not all propositions are true, the opposite of trivialism.


πρόσληψις

grc-noun

πρόσληψῐς • (próslēpsĭs) f (genitive προσλήψεως or προσλήψῐος); third declension

πρόσληψῐς (canonical)
próslēpsĭs (romanization)
προσλήψεως (genitive)
προσλήψῐος (genitive)
ἡ πρόσληψῐς (nominative singular)
προσλήψει (dual nominative)
αἱ προσλήψεις (nominative plural)
τῆς προσλήψεως (genitive singular)
προσληψέοιν (dual genitive)
προσλήψεων (genitive plural)
τῇ προσλήψει (dative singular)
προσληψέοιν (dative dual)
ταῖς προσλήψεσῐ (dative plural)
προσλήψεσῐν (dative plural)
taîs proslḗpsesĭ (dative plural)
taîs proslḗpsesĭn (dative plural)
τὴν πρόσληψῐν (accusative singular)
προσλήψει (accusative dual)
τᾱ̀ς προσλήψεις (accusative plural)
πρόσληψῐ (singular vocative)
προσλήψει (dual vocative)
προσλήψεις (plural vocative)

English: proslepsis

προσλᾰμβᾰ́νω (proslămbắnō, “take or receive besides or in addition, get over and above”) + -σῐς (-sĭs)

suffix

προσλᾰμβᾰ́νω

384 BCE – 322 BCE, Aristotle, Prior Analytics 2.5.58b

150 CE – 250 CE, Alexander of Aphrodisias, in APr. 378.14

Phlp., in APr. 416.24

Aps., Rh. p.288

50 CE – 250 CE, Apollonius Dyscolus, On Conjunctions 250.18

Crinis, Stoic. 3.269

46 CE – 120 CE, Plutarch, Moralia 2.387c

50 CE – 250 CE, Apollonius Dyscolus, On Conjunctions 250.21

160 CE – 210 CE, Sextus Empiricus, Outlines of Pyrrhonism 2.149

3rd century CE, Diogenes Laertius, Lives and Opinions of Eminent Philosophers 7.82

(logic, rhetoric) additional assumption
minor premise


論理学

論理学 (canonical)
ronrigaku (romanization)

[ɾõ̞n̺ɾʲiɡa̠kɯ̟]

論理 (ronri, “logic”) + 学 (-gaku, “-logy; -graphy”)


disyuntiva

Feminine substantive form of disyuntivo.


equisatisfiable

The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.

2015, Xu Lu, Zhenhua Duan, Cong Tian, “Extending PPTL for Verifying Heap Evolution Properties”, in arXiv:

(logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).


equisatisfiability

(logic, of two formulas) The condition of being equisatisfiable.


spriedums

spriedums (nominative singular)
spriedumi (nominative plural)
sprieduma (genitive singular)
spriedumu (genitive plural)
spriedumam (dative singular)
spriedumiem (dative plural)
spriedumu (accusative singular)
spriedumus (accusative plural)
spriedumu (instrumental singular)
spriedumiem (instrumental plural)
spriedumā (locative singular)
spriedumos (locative plural)
spriedum (singular vocative)
spriedumi (plural vocative)

From spriest (past stem: spried-) (“to judge”) + -ums.

suffix

spriest <small>(past stem: spried-</small>)

sprieduma priekšmets

sprieduma subjekts, predikāts

vispārējs spriedums

daļējs spriedums

hipotētisks spriedums

paradokss ir pārsteidzošs divu spriedumu savienojums, kurā no formāli loģiskā viedokļa viens spriedums otru izslēdz, taču reāli abi ir vienlīdz iespējami

a paradox is a surprising union of two judgments in which, from a formally logical viewpoint, one judgment excludes the other, but in reality both are equally possible

(logic) judgment (a type of thinking which expresses in affirmative or negative form objects and their characteristics with respect to each other)


paradokss

paradokss (nominative singular)
paradoksi (nominative plural)
paradoksa (genitive singular)
paradoksu (genitive plural)
paradoksam (dative singular)
paradoksiem (dative plural)
paradoksu (accusative singular)
paradoksus (accusative plural)
paradoksu (instrumental singular)
paradoksiem (instrumental plural)
paradoksā (locative singular)
paradoksos (locative plural)
paradoks (singular vocative)
paradoksi (plural vocative)

Via other European languages, ultimately borrowed from Latin paradoxum, itself a borrowing from Ancient Greek παράδοξος (parádoxos, “unexpected, strange”).

uder

kāds nepielūdzams paradokss: no tā, kas daudz dara, prasa arvien vairāk un vairāk

what implacable paradox: from he who does a lot one asks always more and more

un nu slimajam jāmierina veselais!... nežēlīgs paradokss

and now the sick must satisfy the healthy!... a cruel paradox

asociatīvā dzeja ar savu spēju dialektiski apvienot un izskaidrot pretrunas, paradoksus ir sarežģītāka, tā prasa no lasītāja piepūli lasīt un domāt, salīdzināt un saprast

associative poetry with its ability to unify and explain contradictions (and) paradoxes dialectically is more complex, it requires from the reader an effort to read and think, to compare and understand

paradox (a contradiction between statements assumed to be simultaneously true; a contradiction to something known or believed to be true, to something that is usually the case)


paradoksāls

head

paradoksāls (definite paradoksālais, comparative paradoksālāks, superlative visparadoksālākais, adverb paradoksāli)

paradoksālais (definite)
paradoksālāks (comparative)
visparadoksālākais (superlative)
paradoksāli (adverb)
paradoksāls (masculine nominative singular)
paradoksāli (masculine nominative plural)
paradoksāla (feminine nominative singular)
paradoksālas (feminine nominative plural)
paradoksāla (genitive masculine singular)
paradoksālu (genitive masculine plural)
paradoksālas (feminine genitive singular)
paradoksālu (feminine genitive plural)
paradoksālam (dative masculine singular)
paradoksāliem (dative masculine plural)
paradoksālai (dative feminine singular)
paradoksālām (dative feminine plural)
paradoksālu (accusative masculine singular)
paradoksālus (accusative masculine plural)
paradoksālu (accusative feminine singular)
paradoksālas (accusative feminine plural)
paradoksālu (instrumental masculine singular)
paradoksāliem (instrumental masculine plural)
paradoksālu (feminine instrumental singular)
paradoksālām (feminine instrumental plural)
paradoksālā (locative masculine singular)
paradoksālos (locative masculine plural)
paradoksālā (feminine locative singular)
paradoksālās (feminine locative plural)
paradoksālais (masculine nominative singular)
paradoksālie (masculine nominative plural)
paradoksālā (feminine nominative singular)
paradoksālās (feminine nominative plural)
paradoksālā (genitive masculine singular)
paradoksālo (genitive masculine plural)
paradoksālās (feminine genitive singular)
paradoksālo (feminine genitive plural)
paradoksālajam (dative masculine singular)
paradoksālajiem (dative masculine plural)
paradoksālajai (dative feminine singular)
paradoksālajām (dative feminine plural)
paradoksālo (accusative masculine singular)
paradoksālos (accusative masculine plural)
paradoksālo (accusative feminine singular)
paradoksālās (accusative feminine plural)
paradoksālo (instrumental masculine singular)
paradoksālajiem (instrumental masculine plural)
paradoksālo (feminine instrumental singular)
paradoksālajām (feminine instrumental plural)
paradoksālajā (locative masculine singular)
paradoksālajos (locative masculine plural)
paradoksālajā (feminine locative singular)
paradoksālajās (feminine locative plural)
paradoksālo (masculine singular vocative)
paradoksālais (masculine singular vocative)
paradoksālie (masculine plural vocative)
paradoksālo (feminine singular vocative)
paradoksālā (feminine singular vocative)
paradoksālās (feminine plural vocative)

From paradokss (“paradox”) + -āls. Probably not formed as such in Latvian, but borrowed and adapted from other European languages.

paradoksāls gadījums, stāvoklis

paradoksāls atzinums, apgalvojums

paradoksāla asprātība

paradoksāli salīdzinājumi

ir reizes, kad dzejnieku var izprovocēt uz atcerēšanos... traģiskais un komiskais, sīkais un nozīmīgais tad parādās dzīves paradoksālos mezglojumos

there are times when a poet can trigger memories... the tragic and the comic, the petty and the meaningful show themselves in life's paradoxical entanglements

paradoxical (relating to, expressing, a paradox)


paradoksalitāte

paradoksalitāte (nominative singular)
paradoksalitātes (genitive singular)
paradoksalitātei (dative singular)
paradoksalitāti (accusative singular)
paradoksalitāti (instrumental singular)
paradoksalitātē (locative singular)
paradoksalitāte (singular vocative)

From paradoksāls (“paradoxical”) + -itāte, with paradoksāls from paradokss (“paradox”) + -āls. Probably not formed as such in Latvian, but borrowed and adapted from other European languages.

A. Kolbergu interesē pretišķīgais cilvēku raksturos un likteņos, tā paradoksalitāte

A. Kolbergs was interested in what is contradictory in people's characters and destinies, in their paradoxicality

paradoksalitāte, kur traģiskais piesegts are dažādu gradāciju smiekliem... šo nelielo noevli padara par būtisku sociālo problēmu pētījumu

the paradoxicality in which the tragic is covered with several gradations of laughter... made this small novel into a significant piece of research on social problems

paradoxicality (the state or quality of that which is paradoxical)


paradoksālums

paradoksālums (nominative singular)
paradoksāluma (genitive singular)
paradoksālumam (dative singular)
paradoksālumu (accusative singular)
paradoksālumu (instrumental singular)
paradoksālumā (locative singular)
paradoksālum (singular vocative)

From paradoksāls (“paradoxical”) + -ums, with paradoksāls from paradokss (“paradox”) + -āls.

sprieduma paradoksālums

the paradoxicality of the judgment, verdict