Results 31 to 40 of about 339,779 (297)

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

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

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 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

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

Da Costa on ontology: a naturalistic interpretation

Manuscrito, 2011
Da Costa's conception of being modifies that of Quine to incorporate relativization to non-classical logics. A naturalistic view of this conception is discussed. This view tries to extend to logic some ideas of Maddy's naturalism concerning mathematics.
Antonio Mariano Nogueira Coelho
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

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

Natural Deduction System in Paraconsistent Setting: Proof Search for PCont

Journal of Intelligent Systems, 2012
This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov Alexander, Shangin Vasilyi
doaj   +1 more source