user avatar
user avatar
user avatar
BeingOfNothingness
  • Member for 4 years, 2 months
  • Last seen more than 2 years ago
  • Birmingham, UK
4 votes
1 answer
2k views

What, at present, are the major unsolved problems of logic?

1 vote
2 answers
294 views

Why is Truth the default designated value in logic and language?

2 votes
2 answers
215 views

Completeness/Soundess of Second Order Logic

1 vote
0 answers
151 views

What is the relation between expressive completeness and semantic completeness

1 vote
2 answers
95 views

Is the Completeness of a logical system considered an integral part any 'good' logical system?

1 vote
1 answer
90 views

What is the proof for the Reductio (in a derivation)

3 votes
1 answer
86 views

A taxonomy of Meta-Ethics (Reference Request)

3 votes
1 answer
75 views

On Putnam's belief that we can choose a logic system based on the task at hand

2 votes
0 answers
60 views

Grounding without fundamental relations

1 vote
0 answers
58 views

Recommendation: Second Order Logic textbook

1 vote
1 answer
34 views

Second Order Quantification without Ontological Commitment