Results 221 to 230 of about 37,638 (267)
Some of the next articles are maybe not open access.
SSRN Electronic Journal, 2023
This paper documents the existence of a 'formality effect' in government communications. Across three online studies and three field experiments in different policy contexts (total N = 67,632), we show that, contrary to researcher and practitioner predictions, formal government communications are more effective at influencing resident behaviour than ...
Elizabeth Linos +4 more
openaire +2 more sources
This paper documents the existence of a 'formality effect' in government communications. Across three online studies and three field experiments in different policy contexts (total N = 67,632), we show that, contrary to researcher and practitioner predictions, formal government communications are more effective at influencing resident behaviour than ...
Elizabeth Linos +4 more
openaire +2 more sources
Fundamenta Informaticae, 1995
We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomatization of provability and proper reflection rules. The extension is not conservative, but consistency is
Giuseppe Attardi, Maria Simi
openaire +2 more sources
We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomatization of provability and proper reflection rules. The extension is not conservative, but consistency is
Giuseppe Attardi, Maria Simi
openaire +2 more sources
ACM SIGSOFT Software Engineering Notes, 1988
At a previous workshop in this series at Orlando, there was a session on Theory ; at this workshop there was a session on Formalisms . The difference is not just one of terminology: in the intervening three years many things have changed.
openaire +1 more source
At a previous workshop in this series at Orlando, there was a session on Theory ; at this workshop there was a session on Formalisms . The difference is not just one of terminology: in the intervening three years many things have changed.
openaire +1 more source
The "Natural" and the "Formal"
Journal of Philosophical Logic, 2000As we consider the status of claims like: For all statements \(p\), `\(\neg(p \&\neg p)\)' is true, we must consider what \(p\), and accoqrdingly \(\neg p\), range over. Are they statements of an empirical language, in which case the claim seems to be a significant empirical claim, or are they statements of a formal structure that stipulates what ...
openaire +2 more sources
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, 2010A year-long trial has seen a large lightweight verification problem treated by an ad hoc distributed network of identical solvers. The trialled problem is the semantic analysis of the C code in the Linux kernel to exclude a common deadlock possibility.
Peter T. Breuer, Simon Pickin 0001
openaire +1 more source
Information Processing Letters, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Bulletin of Symbolic Logic, 2000
AbstractThe advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy.
openaire +2 more sources
AbstractThe advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy.
openaire +2 more sources
Philosophy of Science, 1949
In some ways, I think, the analytic method in philosophy and science suffers from an embarrassment of riches. It has too many distinctions—in the sense that any distinction which is infirm, but which is yet carted about along with the necessary apparatus of a method, is (at its most innocuous) superfluous.
openaire +1 more source
In some ways, I think, the analytic method in philosophy and science suffers from an embarrassment of riches. It has too many distinctions—in the sense that any distinction which is infirm, but which is yet carted about along with the necessary apparatus of a method, is (at its most innocuous) superfluous.
openaire +1 more source
Journal of Philosophical Logic, 2015
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