1. |
|
|
2. |
|
|
3. |
- Jovičić [Tomic], Taeda, 1968-
(författare)
-
Authority-based argumentative strategies : Three models for their evaluation
- 2002
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- This dissertation is on argumentative strategies based on authority. In its first half, three of the most elaborate and influential approaches in argumentation theory, related to the models developed in this work, are analyzed: Douglas Walton's dialectical frame for analysis of arguments from expert opinion; Frans van Eemeren and Peter Houtlosser's pragma-dialectical approach to strategic maneuvering in argumentation; the concept of strategy used in Else Barth and Erik Krabbe's formal dialectics.The second half contains three models for evaluation of argumentative strategies based on authority. Argumentative strategies are explained as a specific combination of the reasoning aspects and the social aspects of an argumentative activity.The models are developed on the basis of three case studies. Each of the models is related to a particular type of authority-based argumentative strategy. It is claimed that the criteria for evaluation of such strategies vary with respect to the type of reasoning and the type of the audience group to which the strategy is directed. The evaluative criteria vary as well with respect to the type of authorities used and to the role the authority has in the reasoning.The models are given as a tool that different audience groups my use to analyze argumentation in situations in which the role of authorities and critical thinking is crucial.
|
|
4. |
- Leitgeb, Hannes, et al.
(författare)
-
Dynamic doxastic logic : why, how, and where to?
- 2007
-
Ingår i: Synthese. - : Springer Science and Business Media LLC. - 0039-7857 .- 1573-0964. ; 155:2, s. 167-190
-
Tidskriftsartikel (refereegranskat)abstract
- We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gardenfors's impossibility result on the Ramsey test is highlighted by a comparison with Arrow's impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.
|
|
5. |
- Lindahl, Lars, et al.
(författare)
-
Operative and justificatory grounds in legal argumentation
- 2003
-
Ingår i: Logic, law, morality: thirteen essays in practical philosophy in honour of Lennart Åqvist. - 9150616722 ; , s. 185-200
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- A legal term that serves as a middle term in legal inferences can do so in different ways. A distinction between ‘mere’ vehicles of inference and operative middle terms will be shown to be important. It will be indicated how operative conditions give rise to the question of justificatory conformity or unconformity. At the end of the paper, it will be suggested how justificatory conformity is relevant to the coherence of legal argumentation.
|
|
6. |
- Lindström, Sten, 1945-, et al.
(författare)
-
Modal logic and Philosophy
- 2007
-
Ingår i: Handbook of Modal Logic. - Amsterdam, Boston : Elsevier. - 0444516905 - 9780444516909 ; , s. 1149-1214
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important for modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter.
|
|
7. |
|
|
8. |
-
Logicism, Intuitionism, and Formalism : What has become of them?
- 2008
-
Samlingsverk (redaktörskap) (refereegranskat)abstract
- The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s.The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them? To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today? These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.The volume will be of interest primarily to researchers and graduate students of philosophy, logic, mathematics and theoretical computer science. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.
|
|
9. |
- Rabinowicz, Wlodek, et al.
(författare)
-
Actual Truth, Possible Knowledge
- 1994
-
Ingår i: Theoretical Aspects of Reasoning about Knowledge, Proceedings of the Fifth Conference. - : Morgan Kaufmann Publishers. ; , s. 122-137
-
Bokkapitel (refereegranskat)
|
|
10. |
- Sandqvist, Tor
(författare)
-
An Inferentialist Interpretation of Classical Logic
- 2005
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- The aim of this work is to provide an account of the meanings of the standard logical operators meeting the following requirements:1) It should meet Dummettian standards of intelligibility; specifically, it should do without any notion of recognition-transcendent truth.2) It should validate Classical logic.Two theories – essentially variations on a common theme – are offered, the one aiming for formal simplicity, the other aspiring to slightly greater philosophical sophistication.In both theories, the basic idea – adopted from writers such as Prawitz and Tennant – is to regard inferential relations among logically complex sentences as supervenient on, and motivated by, a base of conceptually and/or empirically grounded inferential relations among the logical atoms. In the simple version, such a base is taken to be any (single-conclusion) consequence relation closed under Cut and the other standard structural rules. The more complex theory takes bases to be finite sets of inference rules for atomic sentences, notably including some rules embodying disjunctive judgments. The object-language syntax is quite liberal, capable of accommodating, but not limited to, second-order logic.Surprisingly, in both of its variants, this Intuitionistically flavoured semantics turns out, by constructively valid meta-reasoning, to validate Excluded Middle in the object language – despite failure, from the semantic perspective, of Bivalence. That is to say, a base neither supporting A nor not-A will nevertheless support A-or-not-A.For the simpler semantics, Classical logic is shown to be both sound and complete. By contrast, the more complex version turns out to render valid, in addition to Classical logic, a limited, predicative principle of Comprehension, as well as the Axiom of Choice.
|
|
11. |
- Segerberg, Krister
(författare)
-
“A completeness proof in full DDL.”
- 1999
-
Ingår i: Philosophical crumbs: essays dedicated to Ann-Mari Henschen-Dahlquist on the occasion of her seventy-fifth birthday. - : Uppsala: Department of Philosophy. ; , s. 195-207
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
12. |
|
|
13. |
|
|
14. |
- Segerberg, Krister
(författare)
-
A Modal Logic of Metaphor
- 2011
-
Ingår i: Studia Logica. - : Springer Science and Business Media LLC. - 0039-3215 .- 1572-8730. ; 99:1-3, s. 337-347
-
Tidskriftsartikel (refereegranskat)abstract
- The purpose of this paper is to suggest a formal modelling of metaphors as a lingustic tool capable of conveying meanings from one conceptual space to another. This modelling is done within DDL (dynamic doxastic logic).
|
|
15. |
|
|
16. |
|
|
17. |
|
|
18. |
|
|
19. |
- Segerberg, Krister, 1936-
(författare)
-
Blueprint for a dynamic deontic logic
- 2009
-
Ingår i: Journal of Applied Logic. - : Elsevier BV. - 1570-8683 .- 1570-8691. ; 7:4, s. 388-402
-
Tidskriftsartikel (refereegranskat)abstract
- Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulae. In a second step we distinguish between what we call real and deontic actions.
|
|
20. |
- Segerberg, Krister
(författare)
-
“Conditional action.”
- 1995
-
Ingår i: Conditionals: from philosophy to computer science.. - : Oxford: Clarendon Press. ; , s. 241-265
-
Bokkapitel (refereegranskat)
|
|
21. |
- Segerberg, Krister
(författare)
-
D Delta L : a dynamic deontic logic
- 2012
-
Ingår i: Synthese. - : Springer Science and Business Media LLC. - 0039-7857 .- 1573-0964. ; 185, s. 1-17
-
Tidskriftsartikel (refereegranskat)abstract
- This paper suggests that it should be possible to develop dynamic deontic logic as a counterpart to the very successful development of dynamic doxastic logic (or dynamic epistemic logic, as it is more often called). The ambition, arrived at towards the end of the paper, is to give formal representations of agentive concepts such as "the agent is about to do (has just done) " as well as of deontic concepts such as "it is obligatory (permissible, forbidden) for the agent to do ", where stands for an action (event).
|
|
22. |
- Segerberg, Krister
(författare)
-
Decidability of four modal logics
- 1968
-
Ingår i: Theoria. - : Wiley. - 0040-5817 .- 1558-5816 .- 0040-5825 .- 1755-2567. ; 34, s. 21-25
-
Tidskriftsartikel (refereegranskat)
|
|
23. |
- Segerberg, Krister
(författare)
-
Decidability of S4.1
- 1968
-
Ingår i: Theoria. - : Wiley. - 0040-5817 .- 1558-5816 .- 0040-5825 .- 1755-2567. ; 34, s. 7-20
-
Tidskriftsartikel (refereegranskat)
|
|
24. |
|
|
25. |
|
|
26. |
- Segerberg, Krister
(författare)
-
Dynamic logic
- 1995
-
Ingår i: The Cambridge dictionary of philosophy. - : Cambridge: Cambridge University Press.
-
Annan publikation (övrigt vetenskapligt/konstnärligt)
|
|
27. |
- Segerberg, Krister, 1936-
(författare)
-
Foreword
- 2009
-
Ingår i: The picture theory of language. - Lampeter : The Edwin Mellen press. ; , s. i-iv
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
28. |
- Segerberg, Krister
(författare)
-
“Further questions about hypertheories.”
- 1997
-
Ingår i: Odds and ends: Philosophical essays dedicated to Wlodek Rabinowicz. - : Uppsala: Department of Philosophy. ; , s. 171-184
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
29. |
- Segerberg, Krister, 1936-
(författare)
-
Introductory Conversation
- 2009
-
Ingår i: Discourses on social software. - Amsterdam : Amsterdam University Press.
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
30. |
- Segerberg, Krister
(författare)
-
“Irrevocable revision.”
- 1997
-
Ingår i: The bulletin of symbolic logic. ; 3
-
Annan publikation (övrigt vetenskapligt/konstnärligt)
|
|
31. |
- Segerberg, Krister
(författare)
-
"Modellings for two types of action"
- 2003
-
Ingår i: A philosophical smorgasbord. Essays on action, truth, and other things in honour of Frederick Stoutland. - : Uppsala: Department of Philosophy, Uppsala University. ; , s. 151-156
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
32. |
- Segerberg, Krister
(författare)
-
On the Logic of "To-morrow"
- 1967
-
Ingår i: Theoria. - : Wiley. - 0040-5817 .- 1558-5816 .- 0040-5825 .- 1755-2567. ; 33, s. 45-52
-
Tidskriftsartikel (refereegranskat)
|
|
33. |
|
|
34. |
- Segerberg, Krister
(författare)
-
“Results, consequences, intentions.”
- 1999
-
Ingår i: Actions, norms, values: discussion with Georg Henrik von Wright. - : Berlin & New York: Walter de Gruyer. ; , s. 147-157
-
Bokkapitel (refereegranskat)
|
|
35. |
- Segerberg, Krister
(författare)
-
Some completeness theorems in the dynamic doxastic logic of iterated belief revision
- 2010
-
Ingår i: The Review of Symbolic Logic. - 1755-0203. ; 3:2, s. 228-246
-
Tidskriftsartikel (refereegranskat)abstract
- The success of the AGM paradigm-the theory of belief change initiated by Alchourron, Gardenfors, and Makinson-is remarkable, as even a quick look at the literature it has generated will testify.(1) But it is also remarkable, at least in hindsight, how limited was the original effort. For example, the theory concerns the beliefs of just one agent; all incoming information is accepted; belief change is uniquely determined by the new information; there is no provision for nested beliefs. And perhaps most surprising: there is no analysis of iterated change. In this paper it is that last restriction that is at issue. Our medium of study is dynamic doxastic logic (DDL). The success of the AGM paradigm The particular contribution of the paper is detailed completeness proofs for three dynamic doxastic logics of iterated belief revision. The problem of extending the AGM paradigm to include iterated change has been discussed for years, but systematic discussions have appeared only recently (see Segerberg, 2007 and forthcoming, but also van Benthem, 2007; Rott, 2006; Zvesper, 2007).(2)
|
|
36. |
- Segerberg, Krister
(författare)
-
"Some Meinong/Chisholm theses"
- 2003
-
Ingår i: Logic, law, morality. Thirteen essays in practical philosophy in honour of Lennart Åqvist.. - : Uppsala: Department of Philosophy, Uppsala University. ; , s. 67-77
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
37. |
|
|
38. |
- Segerberg, Krister
(författare)
-
“Some questions about hypertheories.”
- 1995
-
Ingår i: In Logic for a change: Essays dedicated to Sten Lindström. - : Department of Philosophy, Uppsala University. ; , s. 136-154
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
39. |
|
|
40. |
- Segerberg, Krister
(författare)
-
“The deontic logic of actual obligation.”
- 1997
-
Ingår i: For good measure: philosophical essays dedicated to Jan Odelstad on the occasion of his fiftieth birthday. - : Uppsala: Department of Philosophy. ; , s. 210-217
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
41. |
|
|
42. |
- Segerberg, Krister
(författare)
-
“To do and not to do.”
- 1996
-
Ingår i: Logic and reality: Essays on the legacy of Arthur Prior. - : Oxford: Clarendon Press. ; , s. 301-313
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
43. |
- Segerberg, Krister
(författare)
-
Trying to Model Metaphor
- 2012
-
Ingår i: LOGICA YEARBOOK 2011. - LONDON : COLLEGE PUBLICATIONS. ; , s. 279-287
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Among the many possible functions of metaphor-there are many-one is to convey information. In this short paper I try to outline a theory for what might happen when someone tries to get at the information contained in someone else's metaphor.
|
|
44. |
|
|
45. |
- Segerberg, Krister
(författare)
-
“Updating hypertheories.”
- 1998
-
Ingår i: Not without cause. - : Uppsala: Department of Philosophy. ; , s. 216-223
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
46. |
- Segerberg, Krister, 1936-
(författare)
-
von Wright and the practical syllogism
- 2009
-
Ingår i: Philosophical Probings. - Köpenhamn : Automatic Press/VIP. - 8792130208 ; , s. 93-109
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
47. |
-
The Philosophy of Sören Halldén
- 1993
-
Ingår i: Theoria: a Swedish Journal of Philosophy. - 0040-5825. ; 59:1-3, s. 1-300
-
Annan publikation (refereegranskat)
|
|