Questions tagged [formal-system]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
14 views

Relativistic formal ethics

I was contemplating the ethics of abortion. It seems like people expect that we have to make a definitive decision about at what age it becomes unethical to abort a fetus / young person. And yet, it ...
Julius H.'s user avatar
  • 947
1 vote
1 answer
33 views

What is the name of the internal relationship system of human experience?

In the course of his life, the subject receive an experience with which he differentiated and perceive the world. Therefore, we can say that there are categories inside its "term name". Here ...
Asd Fgh's user avatar
  • 55
2 votes
1 answer
47 views

The relationship between logical systems and natural language semantics

Every student of philosophy knows that there are systems of logic and that those systems are analyzed in terms of logical properties like soundness, consistency, decidability, completeness, etc. These ...
Julius H.'s user avatar
  • 947
6 votes
4 answers
654 views

General sentence operators

There are lots of operators that act on sentences. Here are a few examples: P and Q not P forall x.P necessarily P eventually P x believes that that P it is obligatory that P etc. The first two ...
David Gudeman's user avatar
0 votes
3 answers
157 views

What happens when you deny an axiom? [closed]

There is no proof that the axiom is true. There is no proof by “Proof by contradiction”. That means that even if you deny the axiom, there will be no contradiction. And if a contradiction is created ...
Display name's user avatar