Questions tagged [formal-system]
The formal-system tag has no usage guidance.
7
questions
11
votes
2
answers
1k
views
Why is completeness (as in Gödel completeness theorem) a desirable feature?
When justifying the dominance of first-order theory, an argument that is often made is that it is complete (as shown by Gödel).
This means that a theory formulated in first-order logic has a model if ...
1
vote
2
answers
130
views
Can set elements be predicated of objects?
If we define a set as a cartesian product of properties, do you think that the cartesian product can be predicated of an object?
For example if we define:
Set of names of Captials N = { The name ...
2
votes
0
answers
38
views
Axiomatic and formal establishment of Plato's dialectics
After years of studying Plato I have seen some attempts to formalize somehow Plato's dialectics. To be more precise, I have found writers who present Plato's dialectics (especially as it is presented ...
1
vote
1
answer
35
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 ...
2
votes
1
answer
55
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 ...
6
votes
4
answers
674
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 ...
0
votes
3
answers
184
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 ...