The Genesis and Development of Free Logic in the 20th Century

冯艳
DOI: https://doi.org/10.3969/j.issn.1672-7835.2004.04.001
2004-01-01
Abstract:Free logic appeared in the fifties of the 20th century. It is a new branch of philosophical logic. Free logic has been well developed in the proof-theory and semantics since it appeared. However, little work on free logic has been done in the domestic academic circle. The author introduces how free logic was created and developed in the 20th century. The significance and the value of free logic are pointed out. The author expects more people to work on the field and to promote the development of free logic.
What problem does this paper attempt to address?