Logic, logicism, and intuitions in mathematics

Karakadılar, Besim


Logic Programs, Norms and Action
Çiçekli, Fehime Nihan (Springer, 2012-01-01)
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)
Semantic Communications in Networked Systems: A Data Significance Perspective
Uysal, Elif; KAYA, ONUR; Ephremides, Anthony; Gross, James; Codreanu, Marian; Popovski, Petar; Assaad, Mohamad; Liva, Gianluigi; Munari, Andrea; Soret, Beatriz; Soleymani, Touraj; Johansson, Karl Henrik (2022-7-01)
We present our vision for a departure from the established way of architecting and assessing communication networks, by incorporating the semantics of information, defined not necessarily as the meaning of the messages, but as their significance, possibly within a real-time constraint, relative to the purpose of the data exchange. We argue that research efforts must focus on laying the theoretical foundations of a redesign of the entire process of information generation, transmission, and usage for networke...
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...
Citation Formats
B. Karakadılar, “Logic, logicism, and intuitions in mathematics,” Middle East Technical University, 2001.