Timeline for Are contradictory propositions in the propositional logic still contradictory in the predicate logic?
Current License: CC BY-SA 4.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 13, 2021 at 5:42 | comment | added | Falcon | Thank you very much for your time and your many helpful clarifications! | |
Nov 7, 2021 at 20:17 | comment | added | user236343 | @Falcon I did my best to answer your questions in an edit | |
Nov 7, 2021 at 20:13 | history | edited | user236343 | CC BY-SA 4.0 |
Answered followup questions .
|
Nov 7, 2021 at 3:59 | comment | added | Falcon | My error was in failing to account for this ambiguity, an ambiguity arisen from, as you put it, “the nuances of generics”. | |
Nov 7, 2021 at 3:59 | comment | added | Falcon | And if all of the above is correct, would the following also hold, do you think? On account of differences in truth-value between generics and their corresponding quantified-statements, the inference from any generic to its corresponding quantified-statement is not tautologous. Because of this untautologousness, no generic is guaranteed any particular quantifier: generics tend thereby to be ambiguous in regards to quantification, and we must supply the missing quantifier through recourse to context in natural language. | |
Nov 7, 2021 at 3:59 | comment | added | Falcon | Generics don’t express quantification because a generic might be true and its corresponding quantified-statement false, and vice versa--your two examples: “Ducks lay eggs” is true, but “ALL ducks lay eggs” is false; “Primary school teachers are female” is false, but “SOME primary school teachers are female” is true. | |
Nov 7, 2021 at 3:58 | comment | added | Falcon | Thank you for your answer! So, what you are saying is the following? “S are P” does not necessarily translate to “All S are P” or to “Some S are P”, neither does “S are not P” necessarily translate to “All S are not P” or to “Some S are not P”. This is because “S are P” and “S are not P” are generics, and generics express neither universal nor existential quantification. | |
Nov 6, 2021 at 15:08 | vote | accept | Falcon | ||
Nov 6, 2021 at 15:08 | |||||
S Nov 5, 2021 at 0:35 | review | First answers | |||
Nov 5, 2021 at 16:43 | |||||
S Nov 5, 2021 at 0:35 | history | answered | user236343 | CC BY-SA 4.0 |