user avatar
user avatar
user avatar
BeingOfNothingness
  • Member for 4 years, 1 month
  • Last seen more than 2 years ago
  • Birmingham, UK
1 vote
1 answer
34 views

Second Order Quantification without Ontological Commitment

2 votes
0 answers
60 views

Grounding without fundamental relations

2 votes
2 answers
209 views

Completeness/Soundess of Second Order Logic

1 vote
0 answers
57 views

Recommendation: Second Order Logic textbook

3 votes
1 answer
83 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

1 vote
1 answer
89 views

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

4 votes
1 answer
2k views

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

1 vote
2 answers
286 views

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

1 vote
0 answers
150 views

What is the relation between expressive completeness and semantic completeness

1 vote
2 answers
89 views

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