Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Favorites infavorites:mine
infavorites:1234
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with Search options user 1678

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

0
votes
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
7
votes
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
13
votes
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
11
votes
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
4
votes
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