Results 271 to 280 of about 741,275 (315)
Some of the next articles are maybe not open access.
Synthese, 2008
Kripke claims that there are necessary a posteriori truths and contingent a priori truths. These claims challenge the traditional Kantian view that (K) All knowledge of necessary truths is a priori and all a priori knowledge is of necessary truths.
openaire +1 more source
Kripke claims that there are necessary a posteriori truths and contingent a priori truths. These claims challenge the traditional Kantian view that (K) All knowledge of necessary truths is a priori and all a priori knowledge is of necessary truths.
openaire +1 more source
Synthese, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Modals as Predicates of Modal Objects
2016This talk will outline a novel semantics of modals based not on possible worlds and quantifiers ranging over them, but on what I will call ‘modal objects’, entities of the sort of permissions, obligations, needs, abilities, and essences. According to that semantics, modal predicates take modal objects as their implicit (Davidsonian)
openaire +1 more source
Journal of Symbolic Logic, 1946
The purpose of this article is to give a survey of some results I have found in investigations concerning logical modalities. The results refer: (1) to semantical systems, i.e., symbolic language systems for which semantical rules of interpretation are laid down; (2) to corresponding calculi, i.e., syntactical systems with primitive sentences and a ...
openaire +2 more sources
The purpose of this article is to give a survey of some results I have found in investigations concerning logical modalities. The results refer: (1) to semantical systems, i.e., symbolic language systems for which semantical rules of interpretation are laid down; (2) to corresponding calculi, i.e., syntactical systems with primitive sentences and a ...
openaire +2 more sources
Studia Logica, 2012
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1996
We add a binary operator ≥ to the logical language, with intended meaning of φ<ψ: ‘φ is at least as likely, probable, or trustworthy, as ψ’. The operator ≥ is interpreted on Kripke structures, making it possible to define the standard necessity operator □ in terms of ≥.
openaire +2 more sources
We add a binary operator ≥ to the logical language, with intended meaning of φ<ψ: ‘φ is at least as likely, probable, or trustworthy, as ψ’. The operator ≥ is interpreted on Kripke structures, making it possible to define the standard necessity operator □ in terms of ≥.
openaire +2 more sources
Modal Scepticism, Unqualified Modality, and Modal Kinds
Philosophia, 2011I formulate and defend two sceptical theses on specific parts of our modal knowledge (unqualified and absolute modalities). My main point is that unqualified modal sentences are defective in that they fail to belong unambiguously to specific modal kinds and thus cannot be evaluated; hence, we must be sceptical of beliefs involving them.
openaire +1 more source
Synthese, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Modal Realism, Modal Rationalism, Modal Naturalism
2012This chapter summarizes the accounts of modal realism, modal rationalism, and modal naturalism. It details the author's attempt to develop a framework that is compatible with the denial of actualist accounts of modality. It also alludes to some ways that the contrast between modal naturalism and modal rationalism connects with many of the issues that ...
openaire +1 more source
Modal Synthesis Modal Correction — Modal Coupling
1982Modal synthesis is a technical term closely related to the development of the finite element technique. Especially in dealing with large structural systems with some thousand physical degrees of freedom, modal synthesis has proved to be an efficient means to reduce computational errors and to minimize computer costs by decomposing the system into ...
openaire +1 more source