# Search Results

Results tagged with Search options user 1678
5 results

For questions about logic, whether it concerns syllogistic logic, mathematical logic or the nature of logic itself.

able to find one now, as the "real" reading of "if-then" reasoning was and is a matter of heated philosophical debate. Relevance logic is one approach to it. But p => q always being equivalent to (¬p v … q) is not even true in intuitionistic logic. The mathematical structures called Heyting algebras provide a whole family of related formal interpretation of the => connective. Lastly, I want to …
answered Jul 30 '13 by Nikolaj-K
I feel it's pretty obvious that doing math gives you experience with deduction systems. The question as posted could be translated into "has need to do more practical work an influence on doing philos …
answered Jul 30 '12 by Nikolaj-K
4answers
In today's mathematics, we have many variants of logic (propositional, first order, higher order, fuzzy logic, etc.). These are all self-consistent formal systems that are based on some set of axioms … is one and only one real logic after which our thoughts can be ordered. On the other hand, in principle, the different logics could have been available to Wittgenstein before 1920. I don't know if …
asked Apr 1 '12 by Nikolaj-K
used is a strange word in this context (not to be confused with the technical term valid in logic). Because there are several similar theories, with which you do arithmetic and arithmetic like operations … . If something in a 'system' is true, say the statement "2+3=5", and the theory as a whole turns out to be invalid, I'd still use "2+3=5". Similarly, something being wrong in a particular logic or …
answered May 8 '12 by Nikolaj-K
only philosophical deductions which are for the ages are of the form "If we agree on these formal chains of reason in analytical logic, then this letters on my page lead to these". It only gets …
answered Jul 23 '13 by Nikolaj-K