Logic, logicism, and intuitions in mathematics

Karakadılar, Besim


Temporal logic inference for classification and prediction from data
Kong, Zhaodan; Jones, Austin; Medina, Ayala Ana; Aydın Göl, Ebru; Belta, Calin (2014-04-15)
This paper presents an inference algorithm that can discover temporal logic properties of a system from data. Our algorithm operates on finite time system trajectories that are labeled according to whether or not they demonstrate some desirable system properties (e.g. "the car successfully stops before hitting an obstruction"). A temporal logic formula that can discriminate between the desirable behaviors and the undesirable ones is constructed. The formulae also indicate possible causes for each set of beh...
Rationality of Kuhn's conception of theory-change.
Turanlı, Aydan; Department of Philosophy (1985)
Geometry knowledge test about triangles: evidence on validity and reliability
Ubuz, Behiye (2018-08-01)
In the present study we aimed to develop a multidimensional test assessing high school students' knowledge about triangles, and then to determine the validity evidence for it based on the internal structure and relations to another variable and its reliability. The test developed was administered to 557 tenth grade students. To assess the validity evidence based on the internal structure, the data were analyzed using confirmatory factor analysis, inter-dimension correlations and two-way MANOVA across gender...
Reasoning about and graphing the relationship between covarying quantities: the case of high school students and prospective mathematics teachers
Sofuoğlu, Sevgi; Çetinkaya, Bülent; Department of Secondary Science and Mathematics Education (2015)
The purpose of this study is to investigate high school students’ and prospective mathematics teachers’ graphing, their reasoning and the relation between their graphing and reasoning in the context of a modeling task that requires graphing and covariational reasoning. This study is conducted within a larger project designed to develop in-service and prospective mathematics teachers’ knowledge and skills about modeling and using modeling in mathematics education. Qualitative method is used in the study and ...
Analogical reasoning for risk assessment and cost overrun estimation in construction projects
Çelenligil, Onur; Dikmen Toker, İrem; Birgönül, Mustafa Talat; Department of Civil Engineering (2010)
Project cost increase is the main concern in international construction projects which usually results in disputes and conflicts among the project participants. The aim of this thesis is to construct a database that represents risk event history regarding international construction projects and construct a cost overrun prediction model. It is hypothesized that magnitudes of project related, company related and country related risk factors can be predicted by assessing the level of vulnerability by analogica...
Citation Formats
B. Karakadılar, “Logic, logicism, and intuitions in mathematics,” Middle East Technical University, 2001.