Results 21 to 30 of about 77,551 (274)

Logic as a Puzzle-Solving Activity

Análisis Filosófico, 2021
Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections.
Diego Tajer
doaj   +1 more source

To teach logic to prospective mathematics teachers (Part III) [PDF]

Известия Саратовского университета. Новая серия: Серия Философия. Психология. Педагогика, 2022
Introduction. The article is the third part of the author’s article under the same title published in previous issues of this journal. It discusses the problem of forming the logical competencies of future mathematics teachers both at the undergraduate ...
Igoshin, Vladimir Ivanovich
doaj   +1 more source

Complexity results for modal logic with recursion via translations and tableaux [PDF]

Logical Methods in Computer Science
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular, we show several complexity results for multi-agent logics via translations
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir   +4 more
doaj   +1 more source

The social, cosmopolitanism and beyond [PDF]

, 2009
First, this article will outline the metaphysics of ‘the social’ that implicitly and explicitly connects the work of lassical and contemporary cosmopolitan sociologists as different as Durkheim, Weber, Beck and Luhmann. In a second step, I will show that
Appiah, K.A., Beck, U., Beck, U., Beck, U., Beck, U., Beck, U., Beck, U., Brennan, P., Callon, M., Castoriadis, C., Cheah, P., Deleuze, G., Durkheim, É., Durkheim, É., Durkheim, É., Durkheim, É., Foucault, M., Gasché, R., Grosz, E., Heidegger, M., Hetherington, K., Kant, I., Latour, B., Latour, B., Law, J., Law, J., Lee, N.M., Luhmann, N., Luhmann, N., Luhmann, N., Michael Schillmeier, Simmel, G., Stengers, I., Tarde, G., Tarde, G., Tarde, G., Tarde, G., Urry, J., von Foerster, H., Weber, M., Whitehead, A.N.   +40 more
core   +1 more source

The Grand Challenges and Myths of Neural-Symbolic Computation [PDF]

, 2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field.
Lamb, Luis C.
core   +1 more source

The empirical study of norms is just what we are missing

Frontiers in Psychology, 2014
This paper argues that the goals people have when reasoning determine their own norms of reasoning. A radical descriptivism which avoids norms never worked for any science; nor can it work for the psychology of reasoning. Norms as we understand them are
Theodora eAchourioti, Andrew J B Fugard, Keith eStenning   +2 more
doaj   +1 more source

On Middles and Thirds

Computer Sciences & Mathematics Forum, 2023
The purpose of this paper is to revisit the concepts of a third in logic and philosophy that have existed since antiquity, widely separated in time and space, but expressing what we consider a higher level of understanding, without going outside the ...
Joseph Brenner, Zhensong Wang
doaj   +1 more source

Speakable in Quantum Mechanics [PDF]

, 2011
At the 1927 Como conference Bohr spoke the now famous words "It is wrong to think that the task of physics is to find out how nature is. Physics concerns what we can say about nature." However, if the Copenhagen interpretation really holds on to this ...
A. Baltag, A. Döring, A. Kent, A. Peres, A. Peres, A. Peres, A. Stairs, C. J. Isham, D. A. Meyer, D. Bohm, H. J. Folse, J. F. Clauser, J. V. Corbett, K. R. Popper, M. Caspers, M. Dummett, R. B. Griffiths, R. Clifton, R. Hermens, R. P. Feynman, Ronnie Hermens, S. Bell J., T. Maudlin   +22 more
core   +4 more sources

Contraction-free calculi for modal logics S5 and KD45

Lietuvos Matematikos Rinkinys, 2011
It is known that termination and backtracking are among the most important problems in constructing derivations in non-classical logics. In this paper contractionfree and backtracking-free sequent calculi for modal logics S5 and KD45 are presented and ...
Julius Andrikonis, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

Sequent systems for negative modalities

, 2017
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and
Lahav, Ori, Marcos, João, Zohar, Yoni
core   +1 more source