Sentence examples for on logical foundations from inspiring English sources

Thus, Bolzano's philosophy has not remained completely ineffectual: We know that Twardowski was well familiar with Bolzano (Twardowski 1894), and we know that Łukasiewicz was well acquainted with Bolzano's method of idea-variation, as a section in his book on Logical Foundations of Probability Theory (Łukasiewicz 1913, § 24) shows.

Carnap's own essay on this topic "Logical Foundations of the Unity of Science" (1938) was printed as part of the very first number in the encyclopedia.

In section 3.2, we have encountered the idea of a scientist who assesses the probability of a hypothesis in the light of the evidence a conception based on Rudolf Carnap's seminal work "Logical Foundations of Probability" (1950 [1962]).

In his doctoral thesis, "Over de grondslagen der wiskunde" (1907; "On the Foundations of Mathematics"), Brouwer attacked the logical foundations of mathematics, as represented by the efforts of the German mathematician David Hilbert and the English philosopher Bertrand Russell, and shaped the beginnings of the intuitionist school.

The idea of possible worlds raised the prospect of extensional respectability for modal logic, not by rendering modal logic itself extensional, but by endowing it with an extensional semantic theory — one whose own logical foundation is that of classical predicate logic and, hence, one on which possibility and necessity can ultimately be understood along classical Tarskian lines.

Carnap presented a rigorous theory of this kind in his Logical Foundations of Probability (1950).

This paper addresses the logical foundations of goal-regression planning in autonomous rational agents.

("Logical Foundations of Evidential Support," (Fitelson 2006a) is a good example of the genre).

Our aim in this paper is to lay the logical foundations of information disclosure in ontology-based data integration.

Islamic geometers were well versed in this art, but also spent some effort examining the logical foundations of the method.

The second paper provides more thorough logical foundations, and introduces the more general and powerful predicate circumscription approach.