International disagreements Fabien Schang

Size: px
Start display at page:

Download "International disagreements Fabien Schang"

Transcription

1 International disagreements Fabien Schang Laboratory for Philosophical Studies National Research University Higher School of Economics, Moscow EFAK X University of Tartu, September 2014

2 Introduction

3 Lord protect me from my friends, I can take care of my enemies. (Voltaire)

4 How to make sense of the above quotation? Why to protect from friends, by definition? An alternative definition of friendship? A case of blatant inconsistency: are friends equally enemies? Can friends be more dangerous than enemies? To what extent are they still friends?

5 Keywords - Allery - Balance - Enmity - Force - Friendship - Hegemony - Indifference - Neutrality - Ontology - Peace - Rivalty - Value - War

6 What is an enemy? Whoever threatens one of several states own security A gradation of danger/enmity

7 A state considers another state as an (actual or potential) enemy to the extent that it perceives the latter s intentions or actions as threatening the focal state s interests. (Kuperman, R. D. & Maoz, Z. & Talmud, I. & Terris, L. G (2001): 3)

8 What is an enemy? Whoever threatens one of several states interests A gradation of danger/enmity By opposition: What is a ally (international friend)? Whoever warrants one or several state s interests International bivalence? Are any two states either allies or enemies with each other (bipolar world)? They may be none: no relation between them (indifference) Neutrality: military indifference

9 A positive, conventional definition of international relations: - friendship F stands for a political agreement between states x,y: F(x,y) - enmity E stands for a political disagreement between states x,y: E(x,y) Agreements and disagreements are expressed by treatises, alliances, organizations, institutions, international regimes International indifference States may be indifferent to each other (neither friends nor enemies) if: - they have no influence on the other s political status - any two states have no international relations Balance: stable system of states Balance needn t entail peace (war may be the ultimate resort for balance preservation) (opposed coalitions in 1914: balanced relations)

10 An account of balance in social networks A model from social psychology: a set of implicit relations (by perception) Fritz Heider s theory of social balance: social networks - a network is a set of relations between objects (individuals, states) - relations are subject to dynamic changes for different purposes - balance is an intended state of psychological perception Heider s theory of balance: - balance is defined through triadic relations R(a,b,c) among the following FFF, FFE, FEF, EFF, EEF, EFE, FEE, EEE - any triad R(a,b,c) is said to be balanced as follows: FFF, EEF, EFE, FEE it is imbalanced, otherwise

11 How to assess the value of the aforementioned statement: (EEF) For every x,y,z: E(x,y) E(y,z)) F(x,z) Example: x = Poland, y = Russia, z = Ukraine (Donbass crisis, 2014) Counter-example: x = Syria, y = Israel, z = Jordania (Black September, 1970) A variant: (EFE) For every x,y,z: E(x,y) F(y,z)) E(x,z) An analogy with arithmetics: E for 1, F for -1 balance is a product of friendships (1) and enmities (-1) EEF (-1).(-1) = 1 EFE (-1).(1) = -1

12 Preliminary assumptions: - analogy in the social relations between individuals and states - related to similar entities (social ontology) within a given network - the actors aim at improving their inner perception - they need to combine several capacities within a field of relative forces Formal philosophy: formal methods to philosophical problems, including political philosophy Back to the roots of IRT (Schang 2014)

13 Several primary issues are in order to characterize the general relation R(a,b) between arbitrary agents a,b (1) The ontology: What is the nature of a and b in IRT? A state-centred reading of international relations: states are the main actors (2) The epistemology: What is the relation R holding between these? A set of various relations within a cooperative game (3) The logic: What are the logical properties of R, if any? A formal treatment of IRT: friendly, hostile,, motivated relations A more fine-grained analysis of E and F as structured opposite integers

14 1. Ontology of IRT

15 What is the international system? A set of relations between nodes (the states) in a social network (the World) For any states a,b in W: a W and b W iff R(a,b) (where R = F or R = E) Globalization: a maximization of the state interrelations in W From several to only one international system (hyper-power at the top) Global and local organization (sets of relations between states): networks Co-operation: a number of combined operations between related states, such that b turns into f(a) = b in W One network, one hegemon? A strategic game between interrelated networks

16 Economic networks ASEAN: Association of Southeast Asian Nations MERCOSUR: Mercado Comùn del Sur CARICOM: Caribbean Community IGAD: Intergovernmental Authority on Development CEMAC: Communauté Economique et Monétaire de l Afrique Centrale ECOWAS: Economic Community of Western African States EFTA: European Free Trade Association NAFTA: North American Free Trade Agreement GCC: Gulf Cooperation Council SADC: Southern African Development Community

17 Military networks NATO: North Atlantic Treaty Organization ESDP: European Security and Defence Policy SCO: Shanghai Cooperation Organization CSTO: Collective Security Treatise Organization AU PSC: Peace and Security Council SADC: Southern African Development Community

18 Cultural networks (Huntington s thesis)

19 A structural approach: the way states are related to each other depends upon the way the whole international system W is organized International system: a set of n states W = {w 1,, w n } within related networks (subsets w 1, w 2, ) Local (regional) ontologies: subsets of states in W = {w 1,,w n } Unipolar world: n = 1 Bipolar world: n = 2 Multipolar world: n > 2 or n = 3 (2 opposite subsets + the rest of the world)

20 Need any two states be enemies once they belong to different ontologies? Example: the political ontology of Europe from 1872 to Complete balance doesn t mean peace, but stability (status quo) - An overall interest is obtained through a set of alliances The European 1907 network is not unipolar, but multipolar - No leadership, but a set of two competing states with balanced forces Balance is to be investigated in the light of the whole network W - The more networks there are, the more complex relations are Pax Americana : one-sided leadership with regional delegations Multipolarity: several networks, several levels of relations

21 3 views of anarchic world (no pre-established order between the states): - Realism: universal enmity (Hobbes) - Liberalism: universal friendship (Kant) Fukuyama: towards a unipolar world from 1991 onwards? - Globalism: particular enmity/friendship, ordering (Locke) + Culturalism : Huntington s Thesis: a set of 9 clashing civilizations (sets of states)

22 3 main paradigms: how are states interests to be characterized? - realism (H. Morgenthau) Anarchic state of war between states, peace as provisory balance Military force is primary - liberalism (K. Waltz) Priority of trading over war Economic force is primary - constructivism (A. Wendt) No force is primary throughout the history of a state

23 Constructivism is a structural theory of the international system that makes the following core claims: (1) states are the principal units of analysis for international political theory; (2) the key structures in the states system are intersubjective rather than material; and (3) state identities and interests are in important part constructed by these social structures, rather than given exogenously to the system by human nature (as neorealists maintain) or domestic politics (as neoliberals favour). (Wendt 1994: 35)

24 2. Epistemology of IRT

25 Are there objective criteria of relevance? A state is to be defined within a unique referential network (that of the leader: the hegemon ) by a set of values (aims) and forces (potential) - military value (human resources, material equipment) - economic value (GDP, technology, subsoil resources) - social value (life level, group relations, religion, political regime) - cultural value (education level, mass culture, world-wide spread) Beyond agreement and disagreement: partnership as a constructive relation Are there official disagreements between different networks?

26 Cultural networks and their enmity degrees (Huntington)

27 Direct relations: relations between any 2 objects in a dyad: R(a,b) Indirect relations: relations between any 2 objects through a third one in a triad: R(a,b,c) = R(a,b).R(b,c,).R(a,c) For every set of n objects, there is a set of (n!/(m!(n-m)!)) m-adic relations Example: with n = 3 objects in m = 2-ary relations It results in a set of (3!/(2!(1!)) = 6/2 = 3 relations Example: alliances in Europe from 1872 to 1907: - a graph including 6 nodes (states), with (6!/3!3!) = 20 possible triads - not any two states are related to each other: gappy cases in W - a graph is composed of nodes related to at least one other nodes

28 Three Emperors League ( ) GB AH FR GE RU IT

29 Triple Alliance (1882) GB AH FR GE RU IT

30 German-Russian Lapse (1890) GB AH FR GE RU IT

31 French-Russian Alliance ( ) GB AH FR GE RU IT

32 Entente Cordiale (1904) GB AH FR GE RU IT

33 British Russian Alliance (1907) GB AH FR GE RU IT

34 Three Emperors League ( ) GB AH FR GE RU IT R(AH,FR) = -1 R(FR,GB) = -1 R(GB,GE) = R(GE,IT) = 1 R(IT,RU) = R(AH,GB) = -1 R(FR,GE) = -1 R(GB,IT) = R(GE,RU) =1 R(AH,GE) = 1 R(FR,IT) = R(GB,RU) = -1 Three Emperors League ( ) R(AH,IT) = R(FR,RU) = -1 R(AH,RU) = 1

35 Three Emperors League ( ) 7 triads: 5 balanced, 2 imbalanced R(AH,FR,GB) = -1 R(FR,GB,GE) = R(GB,GE,IT) = R(GE,IT,RU) = R(AH,FR,GE) = 1 R(FR,GB,IT) = R(GB,GE,RU) = R(AH,FR,IT) = R(FR,GB,RU) = -1 R(GB,IT,RU) = R(AH,FR,RU) = 1 R(FR,GE,IT) = R(AH,GB,GE) = R(FR,GE,RU) = 1 R(AH,GB,IT) = R(FR,IT,RU) = R(AH,GB,RU) = 1 R(AH,GE,IT) = R(AH,GE,RU) = 1 R(AH,IT,RU) =

36 British Russian Alliance (1907) GB AH FR GE RU IT R(AH,FR) = -1 R(FR,GB) = 1 R(GB,GE) = -1 R(GE,IT) = 1 R(IT,RU) = -1 R(AH,GB) = -1 R(FR,GE) = -1 R(GB,IT) = -1 R(GE,RU) = -1 R(AH,GE) = 1 R(FR,IT) = -1 R(GB,RU) = 1 R(AH,IT) = 1 R(FR,RU) = 1 R(AH,RU) = -1

37 British Russian Alliance (1907) 20 triads: 20 balanced, 0 imbalanced R(AH,FR,GB) = 1 R(FR,GB,GE) = 1 R(GB,GE,IT) = 1 R(GE,IT,RU) = 1 R(AH,FR,GE) = 1 R(FR,GB,IT) = 1 R(GB,GE,RU) = 1 R(AH,FR,IT) = 1 R(FR,GB,RU) = 1 R(GB,IT,RU) = 1 R(AH,FR,RU) = 1 R(FR,GE,IT) = 1 R(AH,GB,GE) = 1 R(FR,GE,RU) = 1 R(AH,GB,IT) = 1 R(FR,IT,RU) = 1 R(AH,GB,RU) = 1 R(AH,GE,IT) = 1 R(AH,GE,RU) = 1 R(AH,IT,RU) = 1

38 3. Logic of IRT

39 A logical analysis of friendship/enmity (truth-value in every model) Reflexivity (1) x F(x,x) (2) x E(x,x) Symmetry (3) x y F(x,y) F(y,x) (4) x y E(x,y) E(y,x) Transitivity (5) x y (F(x,y) F(y,z)) F(x,z) (6) x y (E(x,y) E(y,z)) E(x,z)

40 A logical analysis of friendship/enmity (truth-value in every model) Reflexivity (1) x F(x,x) (2) x E(x,x) Symmetry (3) x y F(x,y) F(y,x) (4) x y E(x,y) E(y,x) Transitivity (5) x y (F(x,y) F(y,z)) F(x,z) (6) x y (E(x,y) E(y,z)) E(x,z)

41 A logical analysis of friendship/enmity (truth-value in every model) Reflexivity (1) x F(x,x) (2) x E(x,x) Symmetry (3) x y F(x,y) F(y,x) (4) x y E(x,y) E(y,x) Transitivity (5) x y (F(x,y) F(y,z)) F(x,z) (6) x y (E(x,y) E(y,z)) E(x,z)

42 Heider s theorems of social psychology (truth-value in social models) FFF (5) x y z (F(x,y) F(y,x)) F(x,z) EEF (7) x y z (E(x,y) E(y,x)) F(x,z) EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Corollary : FEE (9) x y z (E(x,y) F(y,x)) E(x,z) (by (3)) Goal: to find (counter-)models for (against) (1)-(9)

43 Heider s theorems of social psychology (truth-value in social models) FFF (5) x y z (F(x,y) F(y,x)) F(x,z) EEF (7) x y z (E(x,y) E(y,x)) F(x,z) EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Corollary : FEE (9) x y z (E(x,y) F(y,x)) E(x,z) (by (3)) Goal: to find (counter-)models for (against) (1)-(9)

44 Heider s theorems of social psychology (truth-value in social models) FFF (5) x y z (F(x,y) F(y,x)) F(x,z) EEF (7) x y z (E(x,y) E(y,x)) F(x,z) EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Corollary : FEE (9) x y z (E(x,y) F(y,x)) E(x,z) (by (3)) Goal: to find (counter-)models for (against) (1)-(9)

45 Heider s theorems of social psychology (truth-value in social models) FFF (5) x y z (F(x,y) F(y,x)) F(x,z) EEF (7) x y z (E(x,y) E(y,x)) F(x,z) EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Corollary : FEE (9) x y z (E(x,y) F(y,x)) E(x,z) (by (3)) Goal: to find (counter-)models for (against) (1)-(9)

46 Heider s theorems of social psychology (truth-value in social models) FFF (5) x y z (F(x,y) F(y,x)) F(x,z) EEF (7) x y z (E(x,y) E(y,x)) F(x,z) EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Corollary : FEE (9) x y z (E(x,y) F(y,x)) E(x,z) (by (3)) Goal: to find (counter-)models for (against) (1)-(9)

47 Heider s theorems of social psychology (truth-value in social models) FFF (5) x y z (F(x,y) F(y,x)) F(x,z) EEF (7) x y z (E(x,y) E(y,x)) F(x,z) EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Corollary : FEE (9) x y z (E(x,y) F(y,x)) E(x,z) (by (3)) Goal: to find (counter-)models for (against) (1)-(9)

48 A more fine-grained account of IRT: OF (Opposition-Friendly) Logic FOL + non-fregean (but referential) semantics Direct relations are defined by means of a question-answer game (QAS) Incompatibility (symbols: INC): contrariety, contradiction (INC = {CT,CD}) Compatibility (symbols: C): subcontrariety, subalternation (C = {SCT,SB}) The logic of opposition (Aristotle) A generalization of sentential to abstract logic: OF (Opposition-Friendly) Logic A Boolean calculus of oppositions (Schang 2012) with opposite-forming operators: op = {cd,ct,sct,sb} Compare with relations/functions: E/e, F/f An application of OF Logic to IRT: states as meaningful objects in W

49 Each object (beyond sentences) in a finite domain W = {,, } is defined by a string of properties, to be accepted (1) or not (0) The sense of is a finite set of n relevant questions about : Q( ) = Q 1 ( ),, Q n ( ) The reference of is a finite set of corresponding answers: A( ) = A 1 ( ),, A n ( ) where A i ( ) maps from L to {1,0} (1: yes-answer; 0: no-answer) Example: A( ) = 1100, A( ) = 0110 with n = 4 For any objects (beyond sentences), defined by bitstrings (sequences of 0-1 single values):

50 1. is the contrary of iff whatever is asserted of is denied of ct( ) = iff {A( } A j ( ) = 1 A j ( ) = 0} 2. is the contradictory of iff whatever is asserted of is denied of, and conversely cd( ) = if {A( } A j ( ) = 1 A j ( ) = 0} 3. is the subcontrary of iff whatever is denied of is asserted of sct( ) = iff {A( } A j ( ) = 0 A j ( ) = 1} 4. is the subaltern of iff whatever is asserted of is also asserted of sb( ) = iff {A( } A j ( ) = 1 A j ( ) = 1} 5. An additional logical relation: independence (IND C) No constraint upon the related objects: freely accepted or rejected together

51 In IRT: enemies are incompatible with each other friends are compatible with each other (rivals are potential enemies: whatever may become an enemy) A calculus of intensional (one-many) opposite-forming operators: op(a) b inc: incompatibility-forming operators c: compatibility-forming operators e(e(a) = f(a), that is: inc(inc(a)) = c(a)? e(f(a)) = f(e(a)) = e(a), that is: inc(c(a)) = c(inc(a)) = inc(a)? Failure of EEF: contraries of contraries may be incompatible with each other (Schang 2012)

52 The questioning: a Question-Answer Game (QAS, Schang (2012)) Every object is individuated by an ordered set of n properties within a question-answer game: Q(s) = Q 1 (s),,q n (s) 4 features to define states throughout a hegemonic network w i W: Q(s) = Q 1 (s),q 2 (s),q 3 (s),q 4 (s) Which questions to characterize states? A 4-tuple of values Q 1 (s) = military agreement in w i? Q 2 (s) = economic agreement in w i? Q 3 (s) = social agreement in w i? Q 4 (s) = cultural agreement in w i?

53 Problems: (1) Oppositions in a globalized network - Only contrariety seems to make sense in a logic of IR - How to render contradiction, subcontrariety, subalternation in IRT? (2) Individuation and differentiation by questioning - What if any two states share all the same values (no qualitative difference)? (3) How to classify states in, according to their respective forces? - Quantitative data (forces), beyond qualitative properties (values)

54 Solution: an arithmetization of the logic of opposition (Schang 2011) 2 main amendments in the model: - No more absolute (yes-no) answers - Relative answers to compare the values of x,y in {w i x w i } A necessary appeal to quantities to define states s as a combination of: - collective coefficients A {2,4,8,16} (to discriminate the significance of any definitional criterion) - individual values v {-1,0,1} (in a multipolar world W with n = 3) - individual forces f {1,2,3,4,5} (1 = very weak; 2 = weak; 3 = average; 4 = strong; 5 = very strong) Av f (s) = A 1 v f (s) + A 2 v f (s) + A 3 v f (s) + A 4 v f (s)

55 Friendship as compatible, globally converging values x y E(x,y) = df Av f (x) + Av f (y) > Av f (x) Example: Av f (x) = Av f (y) = Enmity as incompatible, globally diverging values x y E(x,y) = df Av f (x) + Av f (y) < Av f (x) Example: Av f (x) = Av f (y) =

56 Global vs Local agreements - Two global friends (enemies) F(x,y) may be local enemies (friends) E i (x,y) Example: USA and Saudi Arabia are global friends Av f (USA) + Av f (SA) > Av f (USA), therefore F(USA,SA) local enemies (culturally): A 4 v f (USA) + A 4 v f (SA) < A 4 v f (USA), therefore E 4 (USA,SA) Subordination (political subalternation) as a total agreement - Any state x is subordinate to another state y iff, for every individual value a i : A i (y) + A i (x) > A i (y) A i v f (x) < A i v f (y)

57 Reflexivity (1) x F(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: (a + a) > a (2) x E(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: not (a + a) < a (Note: no schizophrenic state, no self-enemy such that a a)

58 Reflexivity (1) x F(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: (a + a) > a

59 Reflexivity (1) x F(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: (a + a) > a (2) x E(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: not (a + a) < a (Note: no schizophrenic state, no self-enemy such that a a)

60 Reflexivity (1) x F(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: (a + a) > a (2) x E(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: not (a + a) < a (Note: no schizophrenic state, no self-enemy such that a a)

61 Reflexivity (1) x F(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: (a + a) > a (2) x E(x,x) Proof: (Av f (x) + Av f (x) > Av f (x)) For any integer a: not (a + a) < a (Note: no schizophrenic state, no self-enemy such that a a)

62 Symmetry (3) x y F(x,y) F(y,x) Proof: (Av f (x) + Av f (y) > Av f (x)) (Av f (y) + Av f (x) > Av f (y)) For any integers a,b: (a + b) > a iff (b + a) > b (4) x y E(x,y) E(y,x) (Av f (x) + Av f (y) < Av f (x)) (Av f (y) + Av f (x) < Av f (y)) For any integers a,b: (a + b) < a iff (b + a) < b

63 Symmetry (3) x y F(x,y) F(y,x) Proof: (Av f (x) + Av f (y) > Av f (x)) (Av f (y) + Av f (x) > Av f (y)) For any integers a,b: (a + b) > a iff (b + a) > b (4) x y E(x,y) E(y,x) (Av f (x) + Av f (y) < Av f (x)) (Av f (y) + Av f (x) < Av f (y)) For any integers a,b: (a + b) < a iff (b + a) < b

64 Symmetry (3) x y F(x,y) F(y,x) Proof: (Av f (x) + Av f (y) > Av f (x)) (Av f (y) + Av f (x) > Av f (y)) For any integers a,b: (a + b) > a iff (b + a) > b (4) x y E(x,y) E(y,x) (Av f (x) + Av f (y) < Av f (x)) (Av f (y) + Av f (x) < Av f (y)) For any integers a,b: (a + b) < a iff (b + a) < b

65 Symmetry (3) x y F(x,y) F(y,x) Proof: (Av f (x) + Av f (y) > Av f (x)) (Av f (y) + Av f (x) > Av f (y)) For any integers a,b: (a + b) > a iff (b + a) > b (4) x y E(x,y) E(y,x) (Av f (x) + Av f (y) < Av f (x)) (Av f (y) + Av f (x) < Av f (y)) For any integers a,b: (a + b) < a iff (b + a) < b

66 Transitivity (5) x y z (F(x,y) F(y,z)) F(x,z) Proof: x y z F(x,y) F(y,z) F(y,z) Countermodel against (5): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) > Av f (a) Av f (b) + Av f (c) > Av f (b) Not Av f (a) + Av f (c) > Av f (a)

67 Transitivity (5) x y z (F(x,y) F(y,z)) F(x,z) Proof: x y z F(x,y) F(y,z) F(y,z) Countermodel against (5): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) > Av f (a) Av f (b) + Av f (c) > Av f (b) Not Av f (a) + Av f (c) > Av f (a)

68 Transitivity (6) x y z (E(x,y) E(y,z)) E(x,z) Proof: x y z E(x,y) E(y,z) E(y,z) Countermodel against (6): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) < Av f (a) Av f (b) + Av f (c) < Av f (b) Not Av f (a) + Av f (c) < Av f (a)

69 Transitivity (6) x y z (E(x,y) E(y,z)) E(x,z) Proof: x y z E(x,y) E(y,z) E(y,z) Countermodel against (6): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) < Av f (a) Av f (b) + Av f (c) < Av f (b) Not Av f (a) + Av f (c) < Av f (a)

70 Heider s theorems of social psychology FFF (5) x y z (F(x,y) F(y,x)) F(x,z) Proof: See above.

71 Heider s theorems of social psychology FFF (5) x y z (F(x,y) F(y,x)) F(x,z) Proof: See above.

72 Heider s theorems of social psychology EEF (7) x y z (E(x,y) E(y,x)) F(x,z) Proof: x y z E(x,y) E(y,z) F(x,z) Countermodel against (8): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) < Av f (a) Av f (b) + Av f (c) < Av f (b) Not Av f (a) + Av f (c) > Av f (a)

73 Heider s theorems of social psychology EEF (7) x y z (E(x,y) E(y,x)) F(x,z) Proof: x y z E(x,y) E(y,z) F(x,z) Countermodel against (8): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) < Av f (a) Av f (b) + Av f (c) < Av f (b) Not Av f (a) + Av f (c) > Av f (a)

74 Heider s theorems of social psychology EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Proof: x y z E(x,y) F(y,z) E(x,z) Countermodel against (8): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) < Av f (a) Av f (b) + Av f (c) < Av f (b) Not Av f (a) + Av f (c) > Av f (a)

75 Heider s theorems of social psychology EFE (8) x y z (E(x,y) F(y,x)) E(x,z) Proof: x y z E(x,y) F(y,z) E(x,z) Countermodel against (8): Av f (a) = Av f (b) = Av f (c) = Av f (a) + Av f (b) < Av f (a) Av f (b) + Av f (c) < Av f (b) Not Av f (a) + Av f (c) > Av f (a)

76 Heider s theorems of social psychology FEE (9) x y z (F(x,y) E(y,x)) E(x,z) Proof: x y z E(x,y) F(y,z) E(x,z) Proof: by (8) and (3).

77 Heider s theorems of social psychology FEE (9) x y z (F(x,y) E(y,x)) E(x,z) Proof: x y z E(x,y) F(y,z) E(x,z) Proof: by (8) and (3).

78 Political interpretation #1: A hegemonic account of war and peace - Peace (War) results from (imb)alance between values (not only military!) Balance depends upon the values and forces in which related actors differ Relativity of ontology: state interests rely on their relation with the hegemon - Total, Global, Local (im)balance Total (im)balance: friendship (enmity) between any actors a,b in W Global balance: friendship (enmity) between most of the actors a,b in W Local balance: friendship (enmity) between some actors a,b in W - Balance needn t entail peace ( If you want peace, prepare the war ) Some global balances may entail local imbalances World wars occur for want of a strong hegemon beyond the local ontologies when most of the states find interest in imbalance

79 Political interpretation #2: a hegemon-dependent ontology The hegemon strives to maintain its leadership: - through its allies (against the states of opposite networks) - against its allies (by preventing them from augmenting their own capacities) H(x) = df x y Av f (x) > Av f (y) Any ally is a potential enemy: potential rivalty - subjection is a rational choice - any state strives to satisfy its own interest while playing collectively States don t share the same ontology (p) only if they share common values (q) - the converse holds: q p - hegemon proceeds as a Demiurge (ontology-maker)

80 Political interpretation #3: Friendship and Enmity in a Multipolar World? - In a multipolar world (without hegemon) W = {w 1,w 3 }: States cannot have opposed values any more: v = 0 or v = 1 (no more v = -1) - Enmity does not make sense any more: x y Av f (x) + Av f (y) > Av f (x) Can friendship still make sense without enmity, however? - Beyond friendship and enmity: actual rivalty Rivalty: any two states x,y are both cooperating and competing relata RIV(x,y) = df x y z (Av f (x) > Av f (y)) (Av f (y) + Av f (z) > Av f (x)) - A case against Fukuyama s end of history after the Cold War (W = {w 1,w 2 }): No hegemon standing peace, No hegemon = standing rivalty

81 We have not eternal allies and we have not perpetual enemies. Our interests are eternal and perpetual and those interests it is our duty to follow. (Lord Palmerston)

82 Conclusion

83 Summary (1) OF Logic deals with friendship/enmity as compatibility/incompatibility (2) Rivalry goes beyond friendship and enmity (3) Political paradigms lead to various valuations (4) The theorems (1)-(9) rely on the complex valuation of states (5) Back to the Great Debate, about the epistemological status of IRT - OF Logic does not overcome Dilthey s distinction natural/social sciences - both descriptive: values (v) and forces (f), in geopolitics prescriptive: the ordering of values A(x), in political philosophy - A plea for constructivism: dynamic, interdependent values A

84 IRT Science or art of agreement-making? A multi-player game of chess with (or without) one mastermind Who defines the rules of the game? If there is no common ruler, do states really play the same game together?

85 Anarchy is what the states make of it. (Wendt)

86 References Dilthey, W. Introduction to the Human Sciences, Princeton University Press, 1991 Heider, F. Attitudes and cognitive organization, The Journal of Psychology, Vol. 21, 1946: Kaplan, M. The New Great Debate: Traditionalism vs. Science in International Relations, World Politics, Vol. 19, N 1, 1966: 1-20 Kuperman, R. D. & Maoz, Z. & Talmud, I. & Terris, L. G.: What is the enemy of my enemy? Causes and consequences of imbalances international relations, , The Journal of Politics, Vol. 69, n 1, 2007: Schang, F. An arithmetization of the logic of oppositions, talk presented at the World Congress on Logic, Methodology and Philosophy of Sciences, Nancy, July 2011 Schang, F. Abstract logic of oppositions, Logic and Logical Philosophy, Vol. 21, 2012: Schang, F. Making sense of history? A formal theory of international relations, in in Globalistics and Globalization Studies (Aspects & Dimensions of Global Views), L. E. Grinin & I. V. Ilyin & A. V. Korotayev, Volgograd, 2014, Wendt, A. Collective Identity Formation and the International State, American Political Science Review, Vol. 88 (1994)

87 Merci! Thank you! Cпасибо! Aitäh!

Social Balance on Networks: The Dynamics of Friendship and Hatred

Social Balance on Networks: The Dynamics of Friendship and Hatred Social Balance on Networks: The Dynamics of Friendship and Hatred T. Antal, (Harvard), P. L. Krapivsky, and S.Redner (Boston University) PRE 72, 036121 (2005), Physica D 224, 130 (2006) Basic question:

More information

Existence and Predication in Free Logics. Secretaria de Estado de Educação do Distrito Federal, Brasil

Existence and Predication in Free Logics. Secretaria de Estado de Educação do Distrito Federal, Brasil Studia Humana Volume 6:4 (2017), pp. 3 9 DOI: 10.1515/sh-2017-0023 Guilherme Kubiszeski Existence and Predication in Free Logics Secretaria de Estado de Educação do Distrito Federal, Brasil email: guilhermefk4@gmail.com

More information

NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS POLITICAL GEOGRAPHY

NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS POLITICAL GEOGRAPHY NATIONAL RESEARCH UNIVERSITY HIGHER SCHOOL OF ECONOMICS POLITICAL GEOGRAPHY Course syllabus HSE and UoL Parallel-degree Programme International Relations Lecturer and Class Teacher: Dr. Andrei Skriba Course

More information

Modal Calculus of Illocutionary Logic

Modal Calculus of Illocutionary Logic 1 Andrew Schumann Belarusian State University Andrew.Schumann@gmail.com Modal Calculus of Illocutionary Logic Abstract: The aim of illocutionary logic is to explain how context can affect the meaning of

More information

MILITARY ASPECTS OF MONGOLIAN GEOPOLITICS

MILITARY ASPECTS OF MONGOLIAN GEOPOLITICS ARTICLES MILITARY ASPECTS OF MONGOLIAN GEOPOLITICS R.Bold* Three big events have taken place in Mongolia during the last 4 years which are now determining new directions in the na-tional defense policy.

More information

The Interaction between Logic and Geometry in Aristotelian Diagrams

The Interaction between Logic and Geometry in Aristotelian Diagrams The Interaction between Logic and Geometry in Aristotelian Diagrams Lorenz Demey and Hans Smessaert Diagrams 2016 Structure of the talk 2 1 Introduction 2 Informational and Computational Equivalence 3

More information

Bargaining, Information Networks and Interstate

Bargaining, Information Networks and Interstate Bargaining, Information Networks and Interstate Conflict Erik Gartzke Oliver Westerwinter UC, San Diego Department of Political Sciene egartzke@ucsd.edu European University Institute Department of Political

More information

Introduction to Metalogic

Introduction to Metalogic Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)

More information

Hierarchical Simple Games: Weightedness and Structural Characterization

Hierarchical Simple Games: Weightedness and Structural Characterization Hierarchical Simple Games: Weightedness and Structural Characterization Tatiana Gvozdeva, Ali Hameed and Arkadii Slinko Department of Mathematics, The University of Auckland, Private Bag 92019, Auckland,

More information

McTaggart s Argument for the Unreality of Time:

McTaggart s Argument for the Unreality of Time: McTaggart s Argument for the Unreality of Time: A Temporal Logical Analysis Hunan Rostomyan In this paper I want to examine McTaggart s [1908] argument for the unreality of time. McTaggart starts with

More information

Reversed Squares of Opposition in PAL and DEL

Reversed Squares of Opposition in PAL and DEL Center for Logic and Analytical Philosophy, University of Leuven lorenz.demey@hiw.kuleuven.be SQUARE 2010, Corsica Goal of the talk public announcement logic (PAL), and dynamic epistemic logic (DEL) in

More information

WORLD WAR ONE & THE UNITED STATES THE ORIGINS OF WORLD WAR ONE IN EUROPE

WORLD WAR ONE & THE UNITED STATES THE ORIGINS OF WORLD WAR ONE IN EUROPE WORLD WAR ONE & THE UNITED STATES THE ORIGINS OF WORLD WAR ONE IN EUROPE THE SIGNIFICANCE OF WORLD WAR ONE EVERY MAJOR EVENT AFTER 1918 CAN TRACE ITS ORIGINS BACK TO WORLD WAR ONE THE FALL OF FOUR MAJOR

More information

Will Russia and China Jointly Deter the United States? Nikita Perfilyev PhD Candidate, University of Vienna

Will Russia and China Jointly Deter the United States? Nikita Perfilyev PhD Candidate, University of Vienna Will Russia and China Jointly Deter the United States? Nikita Perfilyev PhD Candidate, University of Vienna Nuclear Deterrence Relations } Traditionally dyads } Emphasis on US-Russian, US-Chinese nuclear

More information

Coalitionally strategyproof functions depend only on the most-preferred alternatives.

Coalitionally strategyproof functions depend only on the most-preferred alternatives. Coalitionally strategyproof functions depend only on the most-preferred alternatives. H. Reiju Mihara reiju@ec.kagawa-u.ac.jp Economics, Kagawa University, Takamatsu, 760-8523, Japan April, 1999 [Social

More information

KRIPKE S THEORY OF TRUTH 1. INTRODUCTION

KRIPKE S THEORY OF TRUTH 1. INTRODUCTION KRIPKE S THEORY OF TRUTH RICHARD G HECK, JR 1. INTRODUCTION The purpose of this note is to give a simple, easily accessible proof of the existence of the minimal fixed point, and of various maximal fixed

More information

Kaplan s Paradox and Epistemically Possible Worlds

Kaplan s Paradox and Epistemically Possible Worlds Kaplan s Paradox and Epistemically Possible Worlds 1. Epistemically possible worlds David Chalmers Metaphysically possible worlds: S is metaphysically possible iff S is true in some metaphysically possible

More information

Creative Objectivism, a powerful alternative to Constructivism

Creative Objectivism, a powerful alternative to Constructivism Creative Objectivism, a powerful alternative to Constructivism Copyright c 2002 Paul P. Budnik Jr. Mountain Math Software All rights reserved Abstract It is problematic to allow reasoning about infinite

More information

GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS. Contents 1. Introduction Gödel s Completeness Theorem

GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS. Contents 1. Introduction Gödel s Completeness Theorem GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS BEN CHAIKEN Abstract. This paper will discuss the completeness and incompleteness theorems of Kurt Gödel. These theorems have a profound impact on the philosophical

More information

Commentary on Guarini

Commentary on Guarini University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 5 May 14th, 9:00 AM - May 17th, 5:00 PM Commentary on Guarini Andrew Bailey Follow this and additional works at: http://scholar.uwindsor.ca/ossaarchive

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

Introduction to Epistemic Reasoning in Interaction

Introduction to Epistemic Reasoning in Interaction Introduction to Epistemic Reasoning in Interaction Eric Pacuit Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/~epacuit December 9, 2009 Eric Pacuit 1 We are interested in

More information

CHAPTER 11. Introduction to Intuitionistic Logic

CHAPTER 11. Introduction to Intuitionistic Logic CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated

More information

COMP310 Multi-Agent Systems Chapter 16 - Argumentation. Dr Terry R. Payne Department of Computer Science

COMP310 Multi-Agent Systems Chapter 16 - Argumentation. Dr Terry R. Payne Department of Computer Science COMP310 Multi-Agent Systems Chapter 16 - Argumentation Dr Terry R. Payne Department of Computer Science Overview How do agents agree on what to believe? In a court of law, barristers present a rationally

More information

Williamson s Modal Logic as Metaphysics

Williamson s Modal Logic as Metaphysics Williamson s Modal Logic as Metaphysics Ted Sider Modality seminar 1. Methodology The title of this book may sound to some readers like Good as Evil, or perhaps Cabbages as Kings. If logic and metaphysics

More information

Showing Restraint, Signaling Resolve

Showing Restraint, Signaling Resolve Showing Restraint, Signaling Resolve Coalitions, Cooperation, and Crisis Bargaining Scott Wolford Department of Government University of Texas at Austin 1 October 2013 Scott Wolford (UT Austin) Restraint

More information

CONSTRUCTION OF THE REAL NUMBERS.

CONSTRUCTION OF THE REAL NUMBERS. CONSTRUCTION OF THE REAL NUMBERS. IAN KIMING 1. Motivation. It will not come as a big surprise to anyone when I say that we need the real numbers in mathematics. More to the point, we need to be able to

More information

Emerging communities in networks a flow of ties

Emerging communities in networks a flow of ties Emerging communities in networks a flow of ties Małgorzata J. Krawczyk, Przemysław Gawroński, Krzysztof Kułakowski Complex Systems Group Faculty of Physics and Applied Computer Science AGH University of

More information

Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example

Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example Holger I. MEINHARDT arxiv:1603.00226v1 [cs.gt] 1 Mar 2016 March 6, 2016 Nguyen and Thomas (2016) claimed that they have

More information

Levels of Knowledge and Belief Computational Social Choice Seminar

Levels of Knowledge and Belief Computational Social Choice Seminar Levels of Knowledge and Belief Computational Social Choice Seminar Eric Pacuit Tilburg University ai.stanford.edu/~epacuit November 13, 2009 Eric Pacuit 1 Introduction and Motivation Informal Definition:

More information

Preliminaries. Introduction to EF-games. Inexpressivity results for first-order logic. Normal forms for first-order logic

Preliminaries. Introduction to EF-games. Inexpressivity results for first-order logic. Normal forms for first-order logic Introduction to EF-games Inexpressivity results for first-order logic Normal forms for first-order logic Algorithms and complexity for specific classes of structures General complexity bounds Preliminaries

More information

Motivation. CS389L: Automated Logical Reasoning. Lecture 10: Overview of First-Order Theories. Signature and Axioms of First-Order Theory

Motivation. CS389L: Automated Logical Reasoning. Lecture 10: Overview of First-Order Theories. Signature and Axioms of First-Order Theory Motivation CS389L: Automated Logical Reasoning Lecture 10: Overview of First-Order Theories Işıl Dillig Last few lectures: Full first-order logic In FOL, functions/predicates are uninterpreted (i.e., structure

More information

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University Department of Linguistics Ohio State University October 11, 2011 (Intuitive Idea) Intuitively, a relation is the kind of thing that either holds or doesn t hold between certain things. Examples: Being

More information

KLEENE LOGIC AND INFERENCE

KLEENE LOGIC AND INFERENCE Bulletin of the Section of Logic Volume 4:1/2 (2014), pp. 4 2 Grzegorz Malinowski KLEENE LOGIC AND INFERENCE Abstract In the paper a distinguished three-valued construction by Kleene [2] is analyzed. The

More information

arxiv:physics/ v1 [physics.gen-ph] 21 May 2006

arxiv:physics/ v1 [physics.gen-ph] 21 May 2006 arxiv:physics/0605183v1 [physics.gen-ph] 21 May 2006 Social Balance on Networks: The Dynamics of Friendship and Enmity T. Antal P. L. Krapivsky S. Redner Center for Polymer Studies and Department of Physics,

More information

Leibniz s Possible Worlds. Liu Jingxian Department of Philosophy Peking University

Leibniz s Possible Worlds. Liu Jingxian Department of Philosophy Peking University Leibniz s Possible Worlds Liu Jingxian Department of Philosophy Peking University 1 Contents 1. Leibniz s Motivation 2. Complete Concepts and Possible Individuals 3. Compossibility 3.1. Analytically or

More information

Introduction to Logical Geometry

Introduction to Logical Geometry Introduction to Logical Geometry 3. Visual-Geometric Properties of 2. Aristotelian Diagrams Lorenz Demey & Hans Smessaert ESSLLI 2018, Sofia Structure of the course 2 1. Basic Concepts and Bitstring Semantics

More information

First-Degree Entailment

First-Degree Entailment March 5, 2013 Relevance Logics Relevance logics are non-classical logics that try to avoid the paradoxes of material and strict implication: p (q p) p (p q) (p q) (q r) (p p) q p (q q) p (q q) Counterintuitive?

More information

On the Use of an ATMS for Handling Conflicting Desires

On the Use of an ATMS for Handling Conflicting Desires On the Use of an ATMS for Handling Conflicting Desires Leila Amgoud and Claudette Cayrol Institut de Recherche en Informatique de Toulouse 118, route de Narbonne 31062 Toulouse, France {amgoud, ccayrol}@irit.fr

More information

Combinatorial Agency of Threshold Functions

Combinatorial Agency of Threshold Functions Combinatorial Agency of Threshold Functions Shaili Jain 1 and David C. Parkes 2 1 Yale University, New Haven, CT shaili.jain@yale.edu 2 Harvard University, Cambridge, MA parkes@eecs.harvard.edu Abstract.

More information

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims Introduction INTRODUCTION TO LOGIC 2 Syntax and Semantics of Propositional Logic Volker Halbach In what follows I look at some formal languages that are much simpler than English and define validity of

More information

Introduction to Metalogic

Introduction to Metalogic Introduction to Metalogic Hans Halvorson September 21, 2016 Logical grammar Definition. A propositional signature Σ is a collection of items, which we call propositional constants. Sometimes these propositional

More information

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments. Why logic? Arguments

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments. Why logic? Arguments The Logic Manual INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual web page for the book: http://logicmanual.philosophy.ox.ac.uk/

More information

Introduction to Metalogic 1

Introduction to Metalogic 1 Philosophy 135 Spring 2012 Tony Martin Introduction to Metalogic 1 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: (i) sentence letters p 0, p 1, p 2,... (ii) connectives,

More information

Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI

Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Joanna Golińska-Pilarek National Institute of Telecommunications, Warsaw, J.Golinska-Pilarek@itl.waw.pl We will present complete and

More information

2017 ACUNS ANNUAL MEETING

2017 ACUNS ANNUAL MEETING 2017 ACUNS ANNUAL MEETING @ Sookmyung Women s University Seoul, Korea Saturday June 17, 2017 Panel 3-2 The Next-core of Global Governance Model Unveiled: The Synthesis of Open Globalization and Testing

More information

Philosophy of Mathematics Intuitionism

Philosophy of Mathematics Intuitionism Philosophy of Mathematics Intuitionism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 01/12/15 Classical mathematics Consider the Pythagorean argument that 2 is irrational: 1. Assume that

More information

Section 1.1: Logical Form and Logical Equivalence

Section 1.1: Logical Form and Logical Equivalence Section 1.1: Logical Form and Logical Equivalence An argument is a sequence of statements aimed at demonstrating the truth of an assertion. The assertion at the end of an argument is called the conclusion,

More information

Preliminary Matters. Semantics vs syntax (informally):

Preliminary Matters. Semantics vs syntax (informally): Preliminary Matters Semantics vs syntax (informally): Yuri Balashov, PHIL/LING 4510/6510 o Syntax is a (complete and systematic) description of the expressions of a language (e.g. French, PYTHON, or SL),

More information

I. Induction, Probability and Confirmation: Introduction

I. Induction, Probability and Confirmation: Introduction I. Induction, Probability and Confirmation: Introduction 1. Basic Definitions and Distinctions Singular statements vs. universal statements Observational terms vs. theoretical terms Observational statement

More information

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic Mathematics 114L Spring 2018 D.A. Martin Mathematical Logic 1 First-Order Languages. Symbols. All first-order languages we consider will have the following symbols: (i) variables v 1, v 2, v 3,... ; (ii)

More information

Characterization of Semantics for Argument Systems

Characterization of Semantics for Argument Systems Characterization of Semantics for Argument Systems Philippe Besnard and Sylvie Doutre IRIT Université Paul Sabatier 118, route de Narbonne 31062 Toulouse Cedex 4 France besnard, doutre}@irit.fr Abstract

More information

Polarization and Bipolar Probabilistic Argumentation Frameworks

Polarization and Bipolar Probabilistic Argumentation Frameworks Polarization and Bipolar Probabilistic Argumentation Frameworks Carlo Proietti Lund University Abstract. Discussion among individuals about a given issue often induces polarization and bipolarization effects,

More information

TR : Binding Modalities

TR : Binding Modalities City University of New York (CUNY) CUNY Academic Works Computer Science Technical Reports Graduate Center 2012 TR-2012011: Binding Modalities Sergei N. Artemov Tatiana Yavorskaya (Sidon) Follow this and

More information

under the auspices of the United Nations Educational, Scientific and Cultural Organization (UNESCO)

under the auspices of the United Nations Educational, Scientific and Cultural Organization (UNESCO) LOMONOSOV MOSCOW STATE UNIVERSITY FACULTY OF GLOBAL STUDIES under the auspices of the United Nations Educational, Scientific and Cultural Organization (UNESCO) 23 25 October 2013 3-rd International Scientific

More information

United States Naval Academy (Maryland) University of Pittsburgh at Johnstown TRANSFER COURSE NUMBER PITT JOHNSTOWN COURSE TITLE CREDITS COURSE SUBJECT

United States Naval Academy (Maryland) University of Pittsburgh at Johnstown TRANSFER COURSE NUMBER PITT JOHNSTOWN COURSE TITLE CREDITS COURSE SUBJECT TITLE PITT JOHNSTOWN TITLE EA 301 Aerodynamics 3 PHYS 0000 Non-Equivalent* 3 EA 304 Aerodynamics II 3 PHYS 0000 Non-Equivalent* 3 EA 427 Aerodynamics III 3 PHYS 0000 Non-Equivalent* 3 EC 244 Electronics

More information

A Correlation of. Ohio s Learning Standards in Social Studies. Grade 5

A Correlation of. Ohio s Learning Standards in Social Studies. Grade 5 A Correlation of 2019 To in Social Studies Grade 5 Introduction The all new myworld Interactive Social Studies encourages students to explore their world, expand their thinking, and engage their college,

More information

Philosophy 5340 Epistemology. Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms. Part 2: Theoretical Terms

Philosophy 5340 Epistemology. Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms. Part 2: Theoretical Terms Philosophy 5340 Epistemology Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms Part 2: Theoretical Terms 1. What Apparatus Is Available for Carrying out Analyses?

More information

Philosophy 244: Modal Logic Preliminaries

Philosophy 244: Modal Logic Preliminaries Philosophy 244: Modal Logic Preliminaries By CI Lewis in his 1910 Harvard dis- sertation The Place of Intuition in Knowledge (advised by Josiah Royce). Lewis credits earlier work of Hugh MacColl s. What

More information

Mathematics Review for Business PhD Students Lecture Notes

Mathematics Review for Business PhD Students Lecture Notes Mathematics Review for Business PhD Students Lecture Notes Anthony M. Marino Department of Finance and Business Economics Marshall School of Business University of Southern California Los Angeles, CA 90089-0804

More information

The Axiomatic Method in Social Choice Theory:

The Axiomatic Method in Social Choice Theory: The Axiomatic Method in Social Choice Theory: Preference Aggregation, Judgment Aggregation, Graph Aggregation Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss

More information

We set up the basic model of two-sided, one-to-one matching

We set up the basic model of two-sided, one-to-one matching Econ 805 Advanced Micro Theory I Dan Quint Fall 2009 Lecture 18 To recap Tuesday: We set up the basic model of two-sided, one-to-one matching Two finite populations, call them Men and Women, who want to

More information

CL16, 12th September 2016

CL16, 12th September 2016 CL16, 12th September 2016 for - Soft Outline for - Soft for - Soft The Problem of Anyone who utters: (S) Sherlock Holmes lives in Baker Street would not be objected against by non-philosophers. However:

More information

First-Order Logic. 1 Syntax. Domain of Discourse. FO Vocabulary. Terms

First-Order Logic. 1 Syntax. Domain of Discourse. FO Vocabulary. Terms First-Order Logic 1 Syntax Domain of Discourse The domain of discourse for first order logic is FO structures or models. A FO structure contains Relations Functions Constants (functions of arity 0) FO

More information

Realism and Idealism External Realism

Realism and Idealism External Realism Realism and Idealism External Realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 8/10/15 What is metaphysics? Metaphysics is the attempt to: give a general description of the whole of

More information

Predicate Logic: Sematics Part 1

Predicate Logic: Sematics Part 1 Predicate Logic: Sematics Part 1 CS402, Spring 2018 Shin Yoo Predicate Calculus Propositional logic is also called sentential logic, i.e. a logical system that deals with whole sentences connected with

More information

ILLINOIS CERTIFICATION TESTING SYSTEM

ILLINOIS CERTIFICATION TESTING SYSTEM ILLINOIS CERTIFICATION TESTING SYSTEM FIELD 113 SOCIAL SCIENCE: GEOGRAPHY November 2003 Illinois Certification Testing System FIELD 113 SOCIAL SCIENCE: GEOGRAPHY November 2003 Subarea Range of Objectives

More information

BETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR

BETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR Bulletin of the Section of Logic Volume 38:3/4 (2009), pp. 123 133 Kordula Świȩtorzecka BETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR Abstract In the presented text we shall focus on some specific

More information

Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10

Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Inductive sets (used to define the natural numbers as a subset of R) (1) Definition: A set S R is an inductive

More information

A An Overview of Complexity Theory for the Algorithm Designer

A An Overview of Complexity Theory for the Algorithm Designer A An Overview of Complexity Theory for the Algorithm Designer A.1 Certificates and the class NP A decision problem is one whose answer is either yes or no. Two examples are: SAT: Given a Boolean formula

More information

Mathematical Preliminaries. Sipser pages 1-28

Mathematical Preliminaries. Sipser pages 1-28 Mathematical Preliminaries Sipser pages 1-28 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation

More information

1. Foundations of Numerics from Advanced Mathematics. Mathematical Essentials and Notation

1. Foundations of Numerics from Advanced Mathematics. Mathematical Essentials and Notation 1. Foundations of Numerics from Advanced Mathematics Mathematical Essentials and Notation Mathematical Essentials and Notation, October 22, 2012 1 The main purpose of this first chapter (about 4 lectures)

More information

Model of Empire. Empires. The Mask. The Heart. Geopolitics. Conrad s Idea. Wealth and Power

Model of Empire. Empires. The Mask. The Heart. Geopolitics. Conrad s Idea. Wealth and Power Model of Empire Mask Face of of Rightness Empire Heart Reality of Darkness of Empire Empires Geopolitics The Mask Conrad s Idea The Heart Wealth and Power Geopolitics an analysis of international relations

More information

Expected utility without full transitivity

Expected utility without full transitivity Expected utility without full transitivity Walter Bossert Department of Economics and CIREQ University of Montreal P.O. Box 6128, Station Downtown Montreal QC H3C 3J7 Canada FAX: (+1 514) 343 7221 e-mail:

More information

CS 798: Multiagent Systems

CS 798: Multiagent Systems CS 798: Multiagent Systems and Utility Kate Larson Cheriton School of Computer Science University of Waterloo January 6, 2010 Outline 1 Self-Interested Agents 2 3 4 5 Self-Interested Agents We are interested

More information

COUNCIL OF THE EUROPEAN UNION. Brussels, 2 May /14 CULT 68

COUNCIL OF THE EUROPEAN UNION. Brussels, 2 May /14 CULT 68 COUNCIL OF THE EUROPEAN UNION Brussels, 2 May 2014 9129/14 CULT 68 NOTE from: General Secretariat of the Council to: Permanent Representatives Committee (Part 1) / Council No. prev. doc.: 8892/14 CULT

More information

Non-Western Theories of International Relations

Non-Western Theories of International Relations Non-Western Theories of International Relations Alexei D. Voskressenski Non-Western Theories of International Relations Conceptualizing World Regional Studies Alexei D. Voskressenski MGIMO University Moscow,

More information

On the Evolution of the Concept of Time

On the Evolution of the Concept of Time On the Evolution of the Concept of Time Berislav Žarnić Faculty of Humanities and Social Sciences Research Centre for Logic, Epistemology, and Philosophy of Science University of Split Physics & Philosophy

More information

Non-deteriorating Choice Without Full Transitivity

Non-deteriorating Choice Without Full Transitivity Analyse & Kritik 29/2007 ( c Lucius & Lucius, Stuttgart) p. 163 187 Walter Bossert/Kotaro Suzumura Non-deteriorating Choice Without Full Transitivity Abstract: Although the theory of greatest-element rationalizability

More information

In Defense of Jeffrey Conditionalization

In Defense of Jeffrey Conditionalization In Defense of Jeffrey Conditionalization Franz Huber Department of Philosophy University of Toronto Please do not cite! December 31, 2013 Contents 1 Introduction 2 2 Weisberg s Paradox 3 3 Jeffrey Conditionalization

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

More information

First-Order Logic (FOL)

First-Order Logic (FOL) First-Order Logic (FOL) Also called Predicate Logic or Predicate Calculus 2. First-Order Logic (FOL) FOL Syntax variables x, y, z, constants a, b, c, functions f, g, h, terms variables, constants or n-ary

More information

Definitions: A binary relation R on a set X is (a) reflexive if x X : xrx; (f) asymmetric if x, x X : [x Rx xr c x ]

Definitions: A binary relation R on a set X is (a) reflexive if x X : xrx; (f) asymmetric if x, x X : [x Rx xr c x ] Binary Relations Definition: A binary relation between two sets X and Y (or between the elements of X and Y ) is a subset of X Y i.e., is a set of ordered pairs (x, y) X Y. If R is a relation between X

More information

Central Valley School District Social Studies Curriculum Map Grade 7. August - September

Central Valley School District Social Studies Curriculum Map Grade 7. August - September August - September Geographical/Historical Skills Identify and analyze timelines. Construct and use cause and effect charts. Differentiate between fact and opinion. Use of word webs, flip charts, outlines

More information

Counterfactuals and comparative similarity

Counterfactuals and comparative similarity Counterfactuals and comparative similarity Jeremy Goodman Draft of February 23, 2015 Abstract An analysis of counterfactuals in terms of the comparative similarity of possible worlds is widely attributed

More information

The Mediated Character of Immediate Inferences

The Mediated Character of Immediate Inferences Melentina Toma * The Mediated Character of Immediate Inferences Abstract: In the present article we aim to illustrate the mediated character of inferences designated as being immediate. We analyze immediate

More information

Truthmaker Maximalism defended again. Eduardo Barrio and Gonzalo Rodriguez-Pereyra

Truthmaker Maximalism defended again. Eduardo Barrio and Gonzalo Rodriguez-Pereyra 1 Truthmaker Maximalism defended again 1 Eduardo Barrio and Gonzalo Rodriguez-Pereyra 1. Truthmaker Maximalism is the thesis that every truth has a truthmaker. Milne (2005) attempts to refute it using

More information

Chapter 8. Political Geography

Chapter 8. Political Geography Chapter 8 Political Geography Nations of the World Today human geographers emphasize a thematic approach, concerned with the location of activities in the world, the reasons for particular spatial distributions,

More information

A Modal View of the Semantics of Theoretical Sentences

A Modal View of the Semantics of Theoretical Sentences A Modal View of the Semantics of Theoretical Sentences Holger Andreas Institute for Philosophy, Logic, and Theory of Science - LMU Munich May 3, 2009 Abstract Modal logic has been applied in many different

More information

Matching Theory. Mihai Manea. Based on slides by Fuhito Kojima. MIT

Matching Theory. Mihai Manea. Based on slides by Fuhito Kojima. MIT Matching Theory Mihai Manea MIT Based on slides by Fuhito Kojima. Market Design Traditional economics focuses mostly on decentralized markets. Recently, economists are helping to design economic institutions

More information

DERIVATIONS IN SENTENTIAL LOGIC

DERIVATIONS IN SENTENTIAL LOGIC 5 DERIVATIONS IN SENTENTIAL LOGIC 1. Introduction... 142 2. The Basic Idea... 143 3. Argument Forms and Substitution Instances... 145 4. Simple Inference Rules... 147 5. Simple Derivations... 151 6. The

More information

Economic Interests, Environmental Concerns, and Multilateral Governance The German Approach to the Arctic

Economic Interests, Environmental Concerns, and Multilateral Governance The German Approach to the Arctic Economic Interests, Environmental Concerns, and Multilateral Governance The German Approach to the Arctic Dr. Markus Kaim German Institute for International and Security Affairs, Berlin Carleton University,

More information

Lecture 7. Logic. Section1: Statement Logic.

Lecture 7. Logic. Section1: Statement Logic. Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement

More information

Why on earth did you do that?!

Why on earth did you do that?! Why on earth did you do that?! A simple model of obfuscation-based choice Caspar 9-5-2018 Chorus http://behave.tbm.tudelft.nl/ Delft University of Technology Challenge the future Background: models of

More information

Propositional logic (revision) & semantic entailment. p. 1/34

Propositional logic (revision) & semantic entailment. p. 1/34 Propositional logic (revision) & semantic entailment p. 1/34 Reading The background reading for propositional logic is Chapter 1 of Huth/Ryan. (This will cover approximately the first three lectures.)

More information

Last Updated on 6/25/2018

Last Updated on 6/25/2018 TITLE PITT JOHNSTOWN TITLE AAS 1100 Introduction to African American Studies 3 SOCSCI 0000 Non-Equivalent* 3 ACC 1110 Principles of Accounting I 3 BUS 0000 Non-Equivalent* 3 ACC 1111 Principles of Accounting

More information

On the Chacteristic Numbers of Voting Games

On the Chacteristic Numbers of Voting Games On the Chacteristic Numbers of Voting Games MATHIEU MARTIN THEMA, Departments of Economics Université de Cergy Pontoise, 33 Boulevard du Port, 95011 Cergy Pontoise cedex, France. e-mail: mathieu.martin@eco.u-cergy.fr

More information

4 The semantics of full first-order logic

4 The semantics of full first-order logic 4 The semantics of full first-order logic In this section we make two additions to the languages L C of 3. The first is the addition of a symbol for identity. The second is the addition of symbols that

More information

Disjunctive facts and superposition of states

Disjunctive facts and superposition of states Disjunctive facts and superposition of states Berislav Žarnić Faculty of Humanities and Social Sciences University of Split x y Φ&Φ 2014 7 8 July 2014, Split Overview 1 Motto 2 Methodological introduction:

More information

Nāgārjuna s Logic. Aaron J. Cotnoir

Nāgārjuna s Logic. Aaron J. Cotnoir Nāgārjuna s Logic Aaron J. Cotnoir 1 Nāgārjuna and the Catuskoti The traditional dominant view in Western philosophy is that truth and falsity are semantic categories that exhaust, without overlap, all

More information

Introduction to Turing Machines. Reading: Chapters 8 & 9

Introduction to Turing Machines. Reading: Chapters 8 & 9 Introduction to Turing Machines Reading: Chapters 8 & 9 1 Turing Machines (TM) Generalize the class of CFLs: Recursively Enumerable Languages Recursive Languages Context-Free Languages Regular Languages

More information