Quantification Theory with Identity and Functional Constants

1979 ◽  
pp. 37-42
Author(s):  
Richard E. Grandy
Keyword(s):  
Quantification Theory

Modern Quantification Theory

2021 ◽  
Author(s):  
Shizuhiko Nishisato ◽  
Eric J. Beh ◽  
Rosaria Lombardo ◽  
Jose G. Clavel
Keyword(s):  
Quantification Theory

scholarly journals Study on the Attractiveness Factors of Online Courses

2019 ◽  
Vol 9 (2) ◽  
pp. 128 ◽  
Author(s):  
Jia-Xuan Han ◽  
Min-Yuan Ma
Keyword(s):  
Online Teaching ◽  
Online Courses ◽  
Rapid Development ◽  
Grid Method ◽  
Type I ◽  
Digital Learning ◽  
Key Factors ◽  
Quantification Theory ◽  
Global Trend ◽  
Education Industry

With the rapid development of online courses, digital learning has become a global trend. In this context, this study analyzed the high intake population of online courses for online affective cognition, and explored what the user’s attraction factors for online courses are. The key factors that affect consumers’ usage of online courses and the weights of impact relations are presented, aiming to provide guidance for future improvement of online courses. This study was conducted through the evaluation grid method of Miryoku engineering. In order to make the charm factors more accurate and representative, this study summarized the charm elements using the Kawakita Jiro (KJ) method, and then quantified the factors in the form of a questionnaire. Through the statistical analysis of the questionnaire and quantification theory type I, the correlation between the charm feeling and the online course as well as the weight of each item (original evaluation item) and category (specific evaluation item) were calculated. Through the research and discussion on the charm factors of online teaching, the results analyzed and integrated in this paper could give more substantive suggestions and help to the education industry.

scholarly journals Hazard inspection for landslides on roads using quantification theory

2017 ◽  
Vol 54 (4) ◽  
pp. 125-133
Author(s):  
Takeshi KUWANO ◽  
Takashi HARA ◽  
Fumihiko YOKOO ◽  
Mitsuya ENOKIDA
Keyword(s):  
Quantification Theory

scholarly journals Evaluation of the Treatment for Sudden Hearing Loss -Analysis with the Quantification Theory of the First Type-

1988 ◽  
Vol 1988 (Supplement24) ◽  
pp. 85-91
Author(s):  
Yasuo Ishitani ◽  
Masahiko Taniguchi ◽  
Yoshiro Arisawa ◽  
Yasuo Koike
Keyword(s):  
Hearing Loss ◽  
Sudden Hearing Loss ◽  
Quantification Theory ◽  
Loss Analysis

scholarly journals Kant on Existential Import

2014 ◽  
Vol 19 (2) ◽  
pp. 207-232 ◽  
Author(s):  
Alberto Vanzo
Keyword(s):  
Formal Logic ◽  
Square Of Opposition ◽  
Standard Interpretation ◽  
Quantification Theory ◽  
Traditional Logic ◽  
Existential Import ◽  
Modern Standard

AbstractThis article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (theAandIsentences of the traditional square of opposition) have existential import, whereas negative sentences (EandO) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall within the remit of Kant's formal logic. Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments.

Logic of many-sorted theories

1952 ◽  
Vol 17 (2) ◽  
pp. 105-116 ◽  
Author(s):  
Hao Wang
Keyword(s):  
Identity Relation ◽  
Predicate Calculus ◽  
Axiomatic Theory ◽  
Quantification Theory ◽  
System 2 ◽  
Usual Theory ◽  
Set Up ◽  
The Many ◽  
Axiomatic Systems

Certain axiomatic systems involve more than one category of fundamental objects; for example, points, lines, and planes in geometry; individuals, classes of individuals, etc. in the theory of types or in predicate calculi of orders higher than one. It is natural to use variables of different kinds with their ranges respectively restricted to different categories of objects, and to assume as substructure the usual quantification theory (the restricted predicate calculus) for each of the various kinds of variables together with the usual theory of truth functions for the formulas of the system. An axiomatic theory set up in this manner will be called many-sorted. We shall refer to the theory of truth functions and quantifiers in it as its (many-sorted) elementary logic, and call the primitive symbols and axioms (including axiom schemata) the proper primitive symbols and proper axioms of the system. Our purpose in this paper is to investigate the many-sorted systems and their elementary logics.Among the proper primitive symbols of a many-sorted system Tn (n = 2, …, ω) there may be included symbols of some or all of the following kinds: (1) predicates denoting the properties and relations treated in the system; (2) functors denoting the functions treated in the system; (3) constant names for certain objects of the system. We may either take as primitive or define a predicate denoting the identity relation in Tn.

Sign in / Sign up

Export Citation Format

Share Document