Results 111 to 120 of about 13,404 (166)
Optimizing just-in-time adaptive interventions for interpersonal distress: mechanisms, prediction, and the challenge of engagement. [PDF]
Sci RepJaremba A +5 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Theory and Practice of Object Systems, 1994
A method definition can be viewed as a logical assertion. Whenever we declare a method as the implementation of an operation, we assert that if the operation is invoked on objects of the appropriate types then the method body will satisfy the specification of the operation. This view of methods as assertions is simple but general.
John Lamping, Martín Abadi
openaire +1 more source
A method definition can be viewed as a logical assertion. Whenever we declare a method as the implementation of an operation, we assert that if the operation is invoked on objects of the appropriate types then the method body will satisfy the specification of the operation. This view of methods as assertions is simple but general.
John Lamping, Martín Abadi
openaire +1 more source
2022
Abstract A characteristic element of Frege’s ideography is the assertion sign. This chapter explores its role and its connections with Frege’s conception of assertion, truth, and judgement. It is noted that Frege’s views about the assertion sign changed over the years and that they deeply influenced the work of the early Wittgenstein as ...
openaire +1 more source
Abstract A characteristic element of Frege’s ideography is the assertion sign. This chapter explores its role and its connections with Frege’s conception of assertion, truth, and judgement. It is noted that Frege’s views about the assertion sign changed over the years and that they deeply influenced the work of the early Wittgenstein as ...
openaire +1 more source
Journal of Philosophical Logic, 2009
This short paper argues against typical deflationary accounts of truth, in terms of which the meaning of `true' is given by its acceptance conditions, by bringing out well-known weaknesses of that account. It suggests that a theory that gives the meaning of `true' in terms of assertability conditions, which allow for degrees of acceptance, like ...
openaire +1 more source
This short paper argues against typical deflationary accounts of truth, in terms of which the meaning of `true' is given by its acceptance conditions, by bringing out well-known weaknesses of that account. It suggests that a theory that gives the meaning of `true' in terms of assertability conditions, which allow for degrees of acceptance, like ...
openaire +1 more source
On the distribution of an assertion
Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '82, 1982Given an n-nodes network and an assertion G expressing its correctness, it is shown that G can be decomposed into collection of n local assertions and n.(n-1) “communication” assertions. The special case of a 2-nodes network is first examined, and it is shown how the notion of Galois connections in lattice theory is a basic tool for the assertion ...
Osvaldo Carvalho, Gérard Roucairol
openaire +1 more source
Synthese, 2012
Safety is a notion familiar to epistemologists principally because of the way in which it has been used in the attempt to cast light on the nature of knowledge. In particular, some have argued that an important constraint on knowledge is that one knows p only if one believes p safely.
openaire +1 more source
Safety is a notion familiar to epistemologists principally because of the way in which it has been used in the attempt to cast light on the nature of knowledge. In particular, some have argued that an important constraint on knowledge is that one knows p only if one believes p safely.
openaire +1 more source
Effects of assertive training on three dimensions of assertiveness
Behaviour Research and Therapy, 1977Abstract The relative effectiveness of several components of an assertive training program in shaping assertive responses on three dimensions of assertiveness (refusal, investigatory, commendatory) was assessed. Thirty-two unassertive females were randomly assigned to one of four experimental groups: coaching plus behavior rehearsal plus modeling ...
S M, Turner, H E, Adams
openaire +2 more sources