Towards a Modal Logical Treatment of Quantum Physics - fflch-usp

 ! !"#$!! %&
'#() *
!
" !# Æ $
! % & ' Æ ( ) !" # $ % " " # # " # ! & ! ' & " # " (
)
* " $ +,- . / 0
# $ " " #
,,- ,- " 1 !/ % 2
# # 3 ­ !!" # $
# % # & '
&(!(!)*++,!!)
4, $
" # " Æ! 5
" $ 2 # " 3 0 " 0 67,8"
$ $ 3 0 % " " " )
% 2 * " $
# # 0 " " +,- ! +,-!" 0
" & !" +,- 9" " # +,- : # 2
+,- +,- $#!" +,- ;#" # # $" " # +,-" ,-/ " /
/ 0
!" $
$ " : #
3! ;#" # # : 1/
4
# " < "
00!2 " $ #" " " !" # #
# $ # $" # #
" $" # " #" =
#3" 3 3 ! 0 $ $ " > # > Æ : " #3! # :$ # " $ # ! ;#" " # " < % " !" " # " #3 * " ## +" ??!"
# :
#
0 @ "
4" ?A!" # " $ " > " > B# . " C# "
# 9" # : " # ! ( )
. ! : # 2 " " : # #" !
# 3 3 C .3< D E # 9 6?F G"
7!" # #2
! ! !
!
4A # ! ! 1 ; 2 : $"
< $ # =! < $ ! <
1 (
1: 1 #) E 7 $ " " : =" !" $ # 0 6F,8" B# %3 ; H # " H $" ##
$" # C +" ,!" H8 # # $ ;#" C
# H8 $ # H8 ## F" ?" A,A!" ! 0
I " 2 ! 0
" # I ! ! $ " J" ! * " " ! ! . " : # ! # " K " ! % # " ! ! ! %" " " # " " ! # ! !" 0 " # # ( # 0 " # #
# I # . # I ! ## " 3 ?" 76! # " & A" 1 " $ #" : # # " " " -
./ ./ 0
4?
L " " " . A! J" : # / " " " " & " # 0 "
1 " # #! ! " < 0 $ 1 " ! !
# !" 1 #
!
< " # L " ," A??F!
! "# $ M J $ $) # Æ"
$ #" 3 # MN 6 # $ < " ( " % " 3 & " & ! # # " # "
& * " #" 3 ## # !" 0 $#
) H " M $ !" Æ " * " J " = L 2
Ƚ
Ⱦ
È¿
OOOO>
A!
44 1
!" # ;#" # #!
" = % ! " H?2 " " #! " M # # H? " 3 #
" $ ? B # #
! 3 A!) C +" ?+! # " A! ! 0 " # # # " #
" H? 2 " " # 3 ." " " H
HA ## " # ; $
0 " A! ; <
" )
%
& 0 # " < 3 " < , ! 0 3 3 ( $ * ! % 0
Æ " L " # " 0 # @ 4" 44" # !" " " -
1 .2(34 ()5/ 1 . 2((4 ---* 5/ - 6 . / -
7
8 % .2(94 **9/ 7 & : ; <6 ()=" %> ? . 254/ 6 4+
J !" ! ! % !" 2
Ƚ
Ⱦ
È¿
!
OOOOOO
?!
H H " ! H HA H? ## " ( ) (8# " 0 #) J A!" ## # # 2
! 4!
9 # 1 ;" ?! 4!
# # !2 1 ;#" # ?!" #
3 A!
" " #
' (
# # " :" $ # 4!)
4! "
! 4! " " "
( 8 #)
$ < # 0
" " ! #" # " 4! " # 4F
# !
L " 4! *=" 3 # ( " #" # !" 4! ( # ." ) # # 2 # 1
# 2 ) ) $ ) 0 3 'H@ $ . A2 $ )
)*
0 3 3 LN# . *
8 # $" A" ?
F ; 3 :
0 : 3 'N *=" 0 B8L# 9 J
+
*+, -. / &0)"123"2+ +456
*0, 7 8
9 / 7 : ; &+)1312 +446
*", :8< 8 = . >? @ +445
*&, = 0660 )AA
AA!A
*1, @ B 8 C @ 8 +425
*D, 7B ' E 0&1&)+&D3+15 +42+
*5, 9 ! " # F : G +45&
*2, 9 9 $
# <!F 7 +4D2
*4, < -H E "")+0"3+05 +4D1
*+6, $ @ 9 < 8 : 8I $ 8 8H 00)+4530"4 +444
*++, $ @ 9 $
#%
J + . - KH >? @ 066"
*+0, $ @ 9 L? M 7< B / J 7HN%
$
& '
$&
<K'8 / < 066& . *+", 7 () *+,
) 8 $ +425
*+&, ' 7 $
# C 8
@
/ +4&&
*+1, < > 8 ! < > *+
- .
+"63+"4 8 C @ 8 +44" J 0
*+D, / K < 7B 8 / 0 ! / # "
"6"3"DD @ C
@ @ +450
4G
*+5, 9< F - 9< F F' # # ! +2030+" @ C @ @ +42"
@# ? E A,,4