• Publications
  • Influence
Many-valued tense logic and the problem of determination
  • K. Trzesicki
  • Mathematics, Computer Science
  • Proceedings of the Twentieth International…
  • 23 May 1990
TLDR
The aim of the construction is formalization of the argument from the principle of causality in favor of the thesis of determinism, and it is shown that, if density of time is assumed, the argument fails. Expand
Idea of Artificial Intelligence
Abstract Artificial Intelligence, both as a hope of making substantial progress, and a fear of the unknown and unimaginable, has its roots in human dreams. These dreams are materialized by means ofExpand
Can Ai Be Intelligent?
Abstract The aim of this paper is an attempt to give an answer to the question what does it mean that a computational system is intelligent. We base on some theses that though debatable are commonlyExpand
PHILOSOPHY OF MATHEMATICS AND COMPUTER SCIENCE
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 23 (36) 2011
The theory of argumentation has ever been the subject of interest of logicians. For some informal logicians the post-Fregean formal logic is not a proper tool of representing natural language andExpand
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 9 (22) 2006
Information science is based on the idea of computation. In the 20th century that idea was developed in connection with the problem of decidability. David Hilbert’s formulation of the so-calledExpand
...
1
2
3
...