Oddělení logiky

logo1cz

indicative-conditionals-in-objective-contexts

Indicative conditionals in objective contexts.

Punčochář, V., Gauker, C.
Theoria, 86, 2020, 651-68
rudolf-carnap-s-inferentialism

Rudolf Carnap's Inferentialism

Peregrin, J.
R. Schuster (ed.): The Vienna Circle in Czechoslovakia, Springer, Cham, 2020, 97-109
the-relevant-logic-of-questions

A Relevant Logic of Questions

Punčochář, V.
Journal of Philosophical Logic 49, 2000, 905-939
the-harmony-of-identity

The Harmony of Identity

Klev, A.
Journal of Philosophical Logic 48, 2019, pp. 867–884
eta-rules-in-martin-l-f-s-type-theory

Eta-Rules in Martin-Löf's Type Theory

Klev, A.
Bulletin of Symbolic Logic 25, 2019, pp. 333-359
logic-and-sets

Logic and Sets

Vlasáková, M.
Logic and Logical Philosophy, online first
the-truth-of-proof-a-hegelian-perspective-on-constructivism

The Truth of Proof: A Hegelian Perspective on Constructivism

Kolman, V.
C. Weiss (ed.): Constructive Cemantics, Springer, Cham, 2019, 149-172
substructural-inquisitive-logic

Substructural Inquisitive Logics

Punčochář, V.
Review of Symbolic Logic 12, 2019, 296-330.
intensionality-in-mathematics

Intensionality in Mathematics

Peregrin, J.
M. Piazza and G. Pulcini (eds.): Truth, Existence and Explanation, Springer, Cham, 2018, 57-70
the-concept-horse-is-a-concept

The concept horse is a concept

Klev, A.
Review of Symbolic Logic 11, 547-572

Oddělení logiky

Filosofický ústav AV ČR, v.v.i.
Jilská 361/1, 110 00 Praha 1
tel.: (+420) 221 183 322

AVCR1

F zakladni text vedle 40