Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [logic]

The tag has no usage guidance.

5
votes
0answers
64 views

How to say “Double negation affirms by accident”?

I want to know how to say, "Double negation affirms by accident" or "Double negation affirms accidentally." Would it be duplex negatio affirmat per accidens? This is in reference to the idea from ...
5
votes
1answer
76 views

Does “a priori” have an implied substantive?

Is a priori short for a longer phrase of the form a priori _____? If so, what is the elided substantive? Background, or, How I Got Confused I'm pretty sure that a fortiori is short for a fortiori ...
4
votes
0answers
57 views

Ergo, per circulus in demonstrando sequitur contradictio ex praemissa

I want to capture the meaning of saying, Thus, contradiction follows from the premises by circular reasoning. I'm fully aware of the logical problems of the content of the statement. My concern ...
10
votes
2answers
170 views

The logical “then”

I am interested in translating the word "then" in logical statements like this: "If a number is prime, then it is squarefree." Or maybe better: "If x is even and x+y is odd, then y is odd." In common ...
6
votes
2answers
127 views

How do you translate “the principle of explosion” into Latin?

How to say "the principle of explosion"? Would it be principium crepitum? The principle of explosion usually is understood to mean ex contradictione sequitur quodlibet, yet I'm very curious as to how ...
5
votes
1answer
105 views

Caeteris paribus

Caeteris paribus means "all else being equal" yet, terminologically, also stands in for "all else unchanged". I'm interested in knowing actually how to say "all else unchanged" in a way that bears ...
4
votes
1answer
333 views

Ergo, ex nihilo aliquid et ex nihilo nihil fit

I want to say, "Ergo, something comes from nothing and nothing comes from nothing." Is it correct to translate this as: "Ergo, ex nihilo aliquid et ex nihilo nihil fit"? I'm aware that "ex nihilo ...
9
votes
2answers
198 views

Phrasing “it remains to”

The phrase "it remains to" is pretty common in mathematics. It can be used in other contexts as well, but let me restrict my question to the abstract realm for concreteness. For example, this would ...
8
votes
1answer
231 views

Modus Barbara, Modus Celarent, et Modus Darii: (Modi Barbara, Celarent, et Darii)?

Modus Barbara, Modus Celarent, and Modus Darii are names of valid syllogisms in the medieval taxonomy of valid syllogisms. I'm wondering how to say: "Moduses Barbara, Celarent, and Darii." As far as I'...
2
votes
1answer
56 views

Is it correct to say, “Additionem in prima, secunda, et tertia syllogismi”?

Is it correct to say, "Additionem in prima, secunda, et tertia syllogismi"? I'm trying my very best to say, "The addition of the first, second, and third syllogisms."
8
votes
1answer
132 views

'Conclusio sequitur ex premissis' or 'sequitur conclusio ex premissis'?

I'd like to know how best to translate "the conclusion follows from the premises". 'Conclusio sequitur ex premissis', 'sequitur conclusio ex premissis', or something else entirely?
8
votes
1answer
130 views

“Argumentum ad” vs. “argumentum a”

Is there a difference in meaning between argumentum ad and argumentum a? Does the latter even have authoritative usage in Latin?* Here are some samples that I've found, not always from authoritative ...
5
votes
1answer
430 views

Translating “Contra principia negantem non est disputandum”

In the legal and logical maxim Contra principia negantem non est disputandum, what exactly does principia mean? In English, the word principle means an abstract proposition, or something deep in the ...
10
votes
1answer
180 views

Quando “a fortiori” ortum est?

Quando vocabulum a fortiori (sive a fortiore) ortum est ut nomen artis legis logicæve? In quo opere scripto primum apparuit? Volo intellegere eius rationem originis verificareque verbum elisum "...