Something About Everything: Quantificational Logic

2020 ◽  
pp. 291-325
Author(s):  
David Makinson
Keyword(s):  
Quantificational Logic

0182 Basic Quantificational Logic

2017 ◽  
pp. 240-273
Author(s):  
Harry J. Gensler
Keyword(s):  
Quantificational Logic

Concepts

Frege ◽  
2021 ◽  
pp. 31-55
Author(s):  
Charles Travis
Keyword(s):  
Quantificational Logic

At the start Frege had not decided what a concept was to be, but knew well what a concept was supposed to do: to relate to objects which ‘fell under it’ in a fundamentally different way than a name relates to what it names. Such was to be the foundation of his account of quantificational logic. In the end two notions of concept emerge, one on which a concept has representational ‘intent’, another on which it does not. Some notions of unsaturation are discussed. The most natural of these fit what does have predicative intent. (This not all to the good.)

Some aspects of quantificational logic

2019 ◽  
pp. 42-66
Author(s):  
D. C. Makinson
Keyword(s):  
Quantificational Logic

GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE

2014 ◽  
Vol 20 (4) ◽  
pp. 417-448 ◽  
Author(s):  
JAN VON PLATO
Keyword(s):  
Historical Perspective ◽  
Basic Notion ◽  
Infinite Collection ◽  
Quantificational Logic

AbstractFrege explained the notion of generality by stating that each its instance is a fact, and added only later the crucial observation that a generality can be inferred from an arbitrary instance. The reception of Frege’s quantifiers was a fifty-year struggle over a conceptual priority: truth or provability. With the former as the basic notion, generality had to be faced as an infinite collection of facts, whereas with the latter, generality was based on a uniformity with a finitary sense: the provability of an arbitrary instance.

Sign in / Sign up

Export Citation Format

Share Document