Results 301 to 310 of about 124,630 (355)
Some of the next articles are maybe not open access.
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
The Annals of Mathematics, 1951
In his book "Integration dans les Groupes Topologique" Weil asserts (p. 129) that if some compact neighborhood of the identity of a topological group is invariant under all inner automorphisms then there are arbitrarily small neighborhoods which are invariant under all inner automorphisms.
openaire +2 more sources
In his book "Integration dans les Groupes Topologique" Weil asserts (p. 129) that if some compact neighborhood of the identity of a topological group is invariant under all inner automorphisms then there are arbitrarily small neighborhoods which are invariant under all inner automorphisms.
openaire +2 more sources
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
Assertion and non-assertion supported by arousal reduction
Journal of Behavior Therapy and Experimental Psychiatry, 1981Abstract Subjects imagined assertive conflict situations and imagined responding in an assertive, aggressive or non-assertive manner. Plethysmographic data suggest that for non-assertive subjects non-assertive behavior is most arousal reducing; while for assertive subjects assertive and aggressive behavior is most arousal reducing. These findings are
M P, Dayton, W L, Mikulas
openaire +2 more sources
Journal of Religion and Health, 1978
To the everyday man or woman, the word "assertive" probably connotes impressions of being outspoken, opinionated, and perhaps more than a little aggressive. Assertiveness can involve these things and often does, but it is not synonymous with aggression, which is usually destructive.
openaire +2 more sources
To the everyday man or woman, the word "assertive" probably connotes impressions of being outspoken, opinionated, and perhaps more than a little aggressive. Assertiveness can involve these things and often does, but it is not synonymous with aggression, which is usually destructive.
openaire +2 more sources
2015
This chapter reviews the understanding of appropriate and effective assertive behaviour in conflict situations. It summarises very briefly the literature concerned with the conceptualisation of assertive behaviour, noting that fuller discussions can be found in R. F. Rakos.
openaire +1 more source
This chapter reviews the understanding of appropriate and effective assertive behaviour in conflict situations. It summarises very briefly the literature concerned with the conceptualisation of assertive behaviour, noting that fuller discussions can be found in R. F. Rakos.
openaire +1 more source