INTUITION AND PRINCIPLES OF IF LOGIC: CONCEPTUAL BASIS VS. FORMAL TECHNIQUE
Vitaliy Valentinovich Tselishchev1,2
1Institute of Philosophy and Law, Siberian Branch of the Russian Academy of Science, 8, Nikolaev st., 630090, Novosibirsk, Russia
2Novosibirsk National Research State University, 2, Pirogov st., 630090, Novosibirsk, Russia
Keywords: IF-логика, квантор, пропозициональные связки, сколемовские функции, теоретико-игровая семантика, IF logic, quantifier, propositional connectives, Skolem functions, game theoretic semantics
Abstract
The article considers complications of the IF logic apparatus caused by the need to eliminate its counterintuitive consequences. It is shown that this leads to complication of the IF logic conceptual apparatus which contradicts its original goals. In particular, we consider the need to distinguish two types of skolemization, as well as the interpretation of propositional connectives leading to modification of the concept of branching quantifiers in IF logic.
|
