请输入您要查询的字词:

 

单词 SecondOrderLogic
释义

second order logic


Second order logic refers to logics with two (or three) types where one type consists of the objects of interest and the second is either sets of those objects or functions on those objects (or both, in the three type case). For instance, second order arithmetic has two types: the numbers and the sets of numbers.

Formally, second order logic usually has:

  • the standard quantifiersMathworldPlanetmath (four of them, since each type needs its own universalPlanetmathPlanetmath and existential quantifiers)

  • the standard connectivesMathworldPlanetmath

  • the relationMathworldPlanetmath = with its normal semantics

  • if the second type represents sets, a relation where the first argument is of the first type and the second argument is the second type

  • if the second type represents functions, a binary function which takes one argument of each type and results in an object of the first type, representing function application

Specific second order logics may deviate from this definition slightly. In particular, there are some first order logics with additional quantifiers whose strength is comparable to that of second order logic. Some mathematicians have argued that these should be considered second order logics, despite not precisely matching the definition above.

Some people, chiefly Quine, have raised philisophical objections to second order logic, centering on the question of whether models require fixing some set of sets or functions as the “actual” sets or functions for the purposes of that model.

Titlesecond order logic
Canonical nameSecondOrderLogic
Date of creation2013-03-22 13:00:17
Last modified on2013-03-22 13:00:17
OwnerHenry (455)
Last modified byHenry (455)
Numerical id8
AuthorHenry (455)
Entry typeDefinition
Classificationmsc 03B15
Synonymsecond-order logic
Synonymsecond order
Synonymsecond-order
Related topicIFLogic
Definessecond order language
Definessecond-order language
Definessecond order theory
Definessecond-order theory
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 11:26:13