The Properties And The Philosophical Backgrounds Of Quantifiers In Logic Theories

There is a close relationship between logic theories and philosophical theories.Logic is a tool of thinking and hence is the carrier of philosophical issues.Philosophers always construct logic for their own needs.The use of logic also influences the way philosophers think.Both logic and philosophy have a long history.From the perspective of history,the bases and goals of philosophy have changed a lot,and the logic theories have changed accordingly.In the development of logic theories,the changes in the way that quantitative problems are handled are the most significant.The correctness of Aristotle's syllogism is derived from its analysis of the concept of quantification.The most essential difference between first-order logic and propositional logic is the introduction of quantifiers.It can be said that the invention of quantifiers means the beginning of modern logic,and the use of more quantifiers in contemporary logic makes contemporary logic a breakthrough both in the breadth of the topic and in the depth of the theory.Such a phenomenon is caused by the special role quantifier plays.The changes in the philosopher's attitudes towards entity and technologyThis paper explained how the properties of quantifiers have changed through the development of logic theories.The properties of quantifiers are used as the starting point of explanation of the relationship between logic theories and philosophical theories.Aristotle's syllogism logic is concerned with the universal law of argumentation.The syllogism discusses the universal category of the species.The quantifier can only be used in combination with these categories;Frege regards logic as a cognitive tool,the individual plays an important role in his theory,where quantifiers are used to constrain the relationship between objects and concepts.Frege transforms first-order logic into a tool for expressing scientific theory.The development of contemporary logic comes from the concern for natural language,while contemporary logic expands on the breadth of topics,the objects of contemporary logic are limited to language phenomenon.For example,the montage grammar and the generalized quantifier theory are limits to nature language formalization.Through the analysis of the invention and the extension of quantifiers,the changes in the philosophical background of logic theories are explained.This paper holds the opinion that logic theories have become more sophisticated and varied,while the scope of the logic theories has become more specialized and hence are unable to solve traditional philosophical issues.Therefore,this paper holds an open attitude towards logical tools and concrete phenomena in logic,such as the nature of quantifiers.There is nothing called the best logic theory.People should choose logic tools according to their needs.