Basics of Second-Order Predicate Logic-Reference-Cited by-同舟云学术

Basics of Second-Order Predicate Logic

Published:2023-12-12 Issue:1 Volume:3 Page:1-14
ISSN:2744-208X
Container-title:THE LOGICAL FORESIGHT - Journal for Logic and Science
language:
Short-container-title:tlf

Author:

Ibrulj Nijaz^ORCID

Abstract

The article presents the basics of second-order predicate logic (SOL). The need for a symbolic representation of the general quantifier is pointed out. A distinction is made between the first-order predicate logic (FOL) and the second-order predicate logic (predicates of predicates, relations of relations). The syntax and semantics of the second-order predicate logic are introduced. Logical and non-logical designators and operators, terms, rules for forming logical formulas, status of variables, and rules for variable substitution are introduced. Reference is made to Henkin's semantics of controlled predicates, and an axiomatic system of second-order predicate logic. Russell's analogy for the axiom of choice and methods of proving the validity of the deduction for second-order predicate logic are given.

Publisher

ACADEMIA ANALITICA-Society for Development of Logic and Analytic Philosophy in B&H

Reference16 articles.

1. Cantor, G. ( 1883)."Die Grundlagen eine allgemeine Manningfaltigkeitslehre" in:Cantor, George: (1932) Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Hildesheim. Georg Olms.

2. Carnap, R. (1958).Introduction to Symolic Logic and its Applications. New York: Dover Publications, Inc.

3. Fisk, M (1964, p.63) A Modern Formal Logic. Prentice-Hall Inc., Englewood Cliffs, New Jersey.

4. Fitting, Melvin (2002): Types, Tableaus, and Gödel’s God. Kluwer Academic Publishers

5. Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle, 1879 (Concept script, a formula language, modeled upon that of arithmetic, for pure thought).