# Tagged Questions

98 views

### Why do we formalize conceptions?

Why do we always try to formalize conceptions? Let's take the naive conception of sets, why do we try to write down a list of axioms? what do we earn in doing so? I'm looking especially for ...
76 views

### Semantics and Logical structure in Definitons

Continuation of Free and bound variables in "if" statements definitions: A number is even if it is divisible by $2$. The number is even if it is divisible by $2$. Is the usage of the ...
41 views

### Logical structure of definitions

Here are some "concepts" that are confusing me: The assertion $x>2$ is true when we replace $x$ by a number greater than $2$($3$ for example) and false if we replace it by $1$. But the assertion ...
52 views

### The Definition of the Indicative Conditional

From Wikipedia, we have: In natural languages, an indicative conditional is the logical operation given by statements of the form "If A then B". Unlike the material conditional, an indicative ...