Which Joe gave his name to ‘sloppy joes’? We look at five interesting sandwiches and their lexical origins.
1The rule of logic stating that if a conditional statement (“if p then q”) is accepted, and the antecedent (p) holds, then the consequent (q) may be inferred.
- ‘From a conditional statement, one can construct two types of valid inference: modus ponens and modus tollens.’
- ‘He maintained that these methodological principles underlie evaluative practice in science just as modus ponens underlies deductive inference.’
- ‘The statement that q follows by modus ponens from the other two stated as known in the antecedent of the subjunctive principle P; this principle counts on the person to draw the inference to q.’
- ‘This formal fallacy is often mistaken for modus ponens, a valid form of reasoning also using a conditional.’
- ‘We also noted that one of the most fundamental inferences concerning the conditional is modus ponens: a, a c c.’
- ‘It could be a premise either, as some say, as the premise of a propositional scheme such as the modus ponens, or, as others assume, as the conditional premise of a hypothetical syllogism.’
- 1.1 An argument using modus ponens.
- ‘The first three points are a valid form of argument, in the form of modus ponens.’
- ‘Robustness was meant to ensure that an assertable conditional is fit for modus ponens.’
- ‘Consider, for example, propositional logic: here one can start from self-evident axioms and proceed to deduce theorems by argument forms - modus ponens, for example - that are themselves self-evidently valid in an obvious sense.’
Latin, literally ‘mood that affirms’.
We take a look at several popular, though confusing, punctuation marks.
From Afghanistan to Zimbabwe, discover surprising and intriguing language facts from around the globe.
The definitions of ‘buddy’ and ‘bro’ in the OED have recently been revised. We explore their history and increase in popularity.