User csp2018

6 votes

2 answers

257 views

How were formal systems and notion syntactic consequence (proof) developed?

asked Feb 14, 2020 at 12:45

5 votes

2 answers

1k views

Why is it that the natural deduction method can't test for invalidity?

asked Apr 27, 2019 at 13:28

5 votes

2 answers

361 views

Is there a generally agreed upon solution to Bradley's Infinite Regress without appeal to Paraconsistent Logic?

asked Sep 15, 2019 at 12:28

4 votes

1 answer

118 views

Are accurate statements about fictional entities false?

asked Sep 14, 2019 at 23:41

3 votes

1 answer

339 views

What should one know about term logic before studying propositional and predicate logic?

asked Apr 22, 2019 at 2:14

3 votes

4 answers

1k views

What's more fundamental than logic and mathematics?

asked Apr 9, 2020 at 12:50

2 votes

2 answers

84 views

Semantics of Properties - Are categories of extensions members or subsets?

asked Sep 22, 2019 at 19:34

2 votes

0 answers

89 views

What are problems that arise by denying the existence of abstract things? [closed]

asked Jun 1, 2019 at 13:43

1 vote

2 answers

366 views

Does "Uncertainty is the only certainty" cause any paradox?

asked Aug 25, 2019 at 15:45

1 vote

3 answers

166 views

Are there natural language examples of n-ary relations greater than 3?

asked Sep 13, 2019 at 9:46

1 vote

2 answers

109 views

What criteria are sufficient for precision in formal semantics?

asked Sep 14, 2019 at 15:21

1 vote

0 answers

98 views

What paradoxes arise from quantifying over EVERYTHING?

asked Sep 18, 2019 at 20:39

0 votes

2 answers

427 views

Is "If...then" not a truly logical connective?

asked Apr 13, 2019 at 16:21

0 votes

1 answer

92 views

How can a undecidable theory be complete?

asked Oct 6, 2019 at 23:26

0 votes

1 answer

49 views

How pardoxes relate to a theory's decidability and completeness

asked Nov 7, 2019 at 15:56

0 votes

0 answers

78 views

The nature of truth and logical connectives

asked Dec 5, 2019 at 20:56

0 votes

1 answer

65 views

How do concepts like "change" and "structure" fit with the object - property distinction?

asked May 22, 2020 at 13:14

0 votes

2 answers

707 views

What are problems that arise by taking a point vs space as the most primitive notion in geometry?

asked Mar 20, 2020 at 10:56

Stack Exchange Network

18 Questions

How were formal systems and notion syntactic consequence (proof) developed?

Why is it that the natural deduction method can't test for invalidity?

Is there a generally agreed upon solution to Bradley's Infinite Regress without appeal to Paraconsistent Logic?

Are accurate statements about fictional entities false?

What should one know about term logic before studying propositional and predicate logic?

What's more fundamental than logic and mathematics?

Semantics of Properties - Are categories of extensions members or subsets?

What are problems that arise by denying the existence of abstract things? [closed]

Does "Uncertainty is the only certainty" cause any paradox?

Are there natural language examples of n-ary relations greater than 3?

What criteria are sufficient for precision in formal semantics?

What paradoxes arise from quantifying over EVERYTHING?

Is "If...then" not a truly logical connective?

How can a undecidable theory be complete?

How pardoxes relate to a theory's decidability and completeness

The nature of truth and logical connectives

How do concepts like "change" and "structure" fit with the object - property distinction?

What are problems that arise by taking a point vs space as the most primitive notion in geometry?