3 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
18801 | Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett] |
20064 | Actions are not mere effects of reasons, but are under their control [Audi,R] |