Skip to main content
Tim's user avatar
Tim's user avatar
Tim's user avatar
Tim
  • Member for 13 years, 1 month
  • Last seen more than a month ago
11 votes
11 answers
9k views

Does philosophy belong to empirical science or formal science?

9 votes
7 answers
3k views

Is scientific method entirely based on statistics (statistical inference)?

4 votes
2 answers
380 views

Does logic have a more proper word to mean something similar to dilemma but neutral?

3 votes
1 answer
392 views

Do "No S is P" and "All S are not P" mean the same?

1 vote
1 answer
45 views

Does subalternation apply only to syllogistic logic, but not to other logic systems?

1 vote
1 answer
86 views

Do the following two derivations imply each other?

1 vote
0 answers
59 views

How should an argument containing an exceptive proposition be tested?

1 vote
3 answers
208 views

Are these statements tautologies?

1 vote
1 answer
132 views

What do the meanings of ponens and tollens have to do with Modus Ponens and Modus Tollens? [closed]

0 votes
1 answer
704 views

How shall I understand Wittgenstein's comment on Russell's work?

0 votes
0 answers
73 views

Is there a semantic version of the deductive theorem for an arbitrary logic system?

0 votes
1 answer
79 views

What logical differences are between "if" in conditional clauses and "provided that" in proviso clauses?

0 votes
1 answer
90 views

How shall I understand these two "oppositions": pragmatism against idealism, positivism against irrationalism?

0 votes
2 answers
104 views

Is philosophical truth always necessary truth?

0 votes
0 answers
47 views

What differences and relationships are between "innate ideas" and "presuppositions of knowledge"?

0 votes
1 answer
132 views

What is the justification of a complex dilemma?

0 votes
0 answers
39 views

Is there an OR-elimination rule for antecedent?

0 votes
0 answers
18 views

Are there inference rules for introducing and elimination implication `->` in the antecedent (the part on the left of `|-`)? [duplicate]

0 votes
1 answer
179 views

Are there inference rules for introducing and elimination implication `->` in the antecedent (the part on the left of `|-`)?

0 votes
0 answers
46 views

Can the relationships of contradictory, contrary and subcontrary between P and Q be represented in terms of logical operations?

0 votes
3 answers
225 views

What is a false counterpart of tautology called?

-1 votes
1 answer
60 views

Does "business logic" mean formulation of business by logic? [closed]