Is Logic Gibberish?
Is Logic Gibberish? We are familiar with the standard notation of predicate logic in which we have what is called variable binding. Thus we have a symbol for (say) existence followed by an “x” and then a formula in which a predicate and bound variable occur (“Ex(Fx)”). How should we read this? It is common […]
