No (95)
Number of found documents:
95
Published from
to
Propositional Attitudes Revised
Materna, Pavel; Duží, M.
2001 - English
A dialogue concerning the type-theoretical character of propositional attitudes. One kind can be defined as a relation that links the individual (subject) with the construction underlying the subordinate clause, the second kind links the individual with the proposition denoted by that sentence. The second kind is out of question if the subordinate clause is a mathematical one.
Keywords:
logic
Available at various institutes of the ASCR
Propositional Attitudes Revised
A dialogue concerning the type-theoretical character of propositional attitudes. One kind can be defined as a relation that links the individual (subject) with the construction underlying the ...
(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL)
Majer, Ondrej
2001 - English
Pavel Tichý's Transparent Intensional Logic (TIL)is a power ful tool for the logical analysis of natural language. The article discusses one of the key notions of TIL - the notion of trivialisation. Trivialisation belongs to the formal apparatus of the theory but is essentially connected to its philosophical background. The aim of the paper is to clarify the philosophical role of trivialisation and to discuss its counterparts in standard logical systems.
Keywords:
logic
Available at various institutes of the ASCR
(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL)
Pavel Tichý's Transparent Intensional Logic (TIL)is a power ful tool for the logical analysis of natural language. The article discusses one of the key notions of TIL - the notion of trivialisation. ...
Concatenation
Tondl, Ladislav
2001 - English
The paper aims to study the concept explanation in various spheres of rational human activity, including communication. In explaining concatenation processes with respect to their goal orientation we have to take into account various aspects of the following concepts: compatibility of entities, the domain and limits of their substitution, the structure and rules governing the entities .
Keywords:
concatenation; structure; rules
Available at various institutes of the ASCR
Concatenation
The paper aims to study the concept explanation in various spheres of rational human activity, including communication. In explaining concatenation processes with respect to their goal orientation we ...
Absolute and Relative Concepts in Logic
Peregrin, Jaroslav
2001 - English
We should distinguish two kinds of logical pursuit. The first is the pursuit of the explication of the absolute concepts of truth, proof, consequence etc.; the second is the pursuit of their counterparts which are relativized to a linguistic system. The former leads to the 'logic as a language' notion; the other to the 'logic as a calculus' one. These two pursuits are, of course, not unrelated (the latter may be taken as a way of carrying out the former); however, many logicians appear to simply identify logic with one of them. And while it is feasible to identify logic with the first of them (possibly taking the second as a means of accomplishing it), it is not so feasible to identify it with the second.
Keywords:
logic
Available at various institutes of the ASCR
Absolute and Relative Concepts in Logic
We should distinguish two kinds of logical pursuit. The first is the pursuit of the explication of the absolute concepts of truth, proof, consequence etc.; the second is the pursuit of their ...
The Logica Yearbook 2000
Majer, Ondrej
2001 - English
The volume comprises most of the papers presented at the international symposium LOGICA 2000. Following the traditiof the LOGICA symposia, the papers deal with a broad range of problems in logic revelant to philosophy. Contributors include Gabriel Sandu, Jaroslav Peregrin and Göran Sundholm.
Keywords:
logic
Available at various institutes of the ASCR
The Logica Yearbook 2000
The volume comprises most of the papers presented at the international symposium LOGICA 2000. Following the traditiof the LOGICA symposia, the papers deal with a broad range of problems in logic ...
Priest Ambrož and East-Bohemian Utraquism: Hradec and Oreb
Lášek, Jan Blahoslav
2000 - English
A Biography of Priest Ambrož from Hradec Králové in context of History of Husitism.
Keywords:
East-Bohemian Utraquism
Available at various institutes of the ASCR
Priest Ambrož and East-Bohemian Utraquism: Hradec and Oreb
A Biography of Priest Ambrož from Hradec Králové in context of History of Husitism.
Simple Concepts and Simple Expressions
Materna, Pavel
2000 - English
Materna's explication of concepts as abstract procedures, i.e., constructions, has to meet the following problem: Does it hold that analysing expressions of a natural language we have to associate simple expressions (mostly: consisting of one word only) with simple concepts, i.e., constructions which are not analysable into other constructions? Some necessary definitions and principles.
Keywords:
logic
Available at various institutes of the ASCR
Simple Concepts and Simple Expressions
Materna's explication of concepts as abstract procedures, i.e., constructions, has to meet the following problem: Does it hold that analysing expressions of a natural language we have to associate ...
The Logic of Anaphora
Peregrin, Jaroslav
2000 - English
The paper addresses foundational questions concerning the dynamic semantics of natural language based on dynamic logic of the Groenendijko-Stokhofian kind. Discussing a series of model calculi of increasing complecity, it shows in detail how usual semantics of dynamic logic can be seen as emerging from the account for certain inferential patterns of natural language, namely those governing anaphora. In this way, the current 'dynamic turn' of logic is argued to be reasonably seen not as the product of changing the focus of logic from the relation of entailment to "a structure of human cognitive action" (van Benthem), but rather as merely another step in our long-term effort to master more and more inferential patterns.
Keywords:
anaphora; dynamic logic
Available at various institutes of the ASCR
The Logic of Anaphora
The paper addresses foundational questions concerning the dynamic semantics of natural language based on dynamic logic of the Groenendijko-Stokhofian kind. Discussing a series of model calculi of ...
The Logica Yearbook 1999
Childers, Timothy
2000 - English
The Logica Yearbook 1999 contains a selection of papers delivered at the LOGICA 1999 conference. The contributions cover a wide variety of topics in philosophical logic, reflecting the character of the conference. Contributors include Stuart Shapiro, Goran Sundholm, Jan Wolenski, Wlodek Rabinowicz, J.H. Sobel and Jaroslav Peregrin.
Keywords:
logic
Available at various institutes of the ASCR
The Logica Yearbook 1999
The Logica Yearbook 1999 contains a selection of papers delivered at the LOGICA 1999 conference. The contributions cover a wide variety of topics in philosophical logic, reflecting the character of ...
The University of Paris and the Foundations of the Bohemian Reformation
Herold, Vilém
2000 - English
The influence of the University of Paris on the Predecessors of M.Jan Hus and on Bohemia.
Keywords:
philosophy
Available at various institutes of the ASCR
The University of Paris and the Foundations of the Bohemian Reformation
The influence of the University of Paris on the Predecessors of M.Jan Hus and on Bohemia.
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases