Sökning: "Sten Lindström"
Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Sten Lindström.
Sammanfattning : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. LÄS MER
Sammanfattning : This study deals with the thesis that conceivability implies possibility. Confronted with alleged counterexamples to this thesis, some philosophers have turned to what may be called “idealized” or “more demanding” notions of conceivability. LÄS MER
Sammanfattning : This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. LÄS MER
Sammanfattning : The first aim of this study is to examine the foundation, the conditions and the development of European Social Democracy. Its development is understood as a function of electoral behaviour and its interest in being the party of Government. European Social Democracy has moved from a leftwing position towards the centre. LÄS MER
Sammanfattning : This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. LÄS MER