Logic, logicism, and intuitions in mathematics

Download

105103.pdf

Date

2001

Author

Karakadılar, Besim

Metadata

Show full item record

Item Usage Stats

161
views

0
downloads

URI

https://hdl.handle.net/11511/12149

Collections

Graduate School of Social Sciences, Thesis

Suggestions

OpenMETU
Core

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.