Poetry of a Logical Truth
Related papers
On the connections between reality and logic
Metascience, 2013
A Predicative Characterization of Quantum States and Matte Blanco’s Bi-logic
Lecture Notes in Computer Science, 2014
The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
Journal of Philosophical Logic
We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quantum computation (viewing quantum logic as the logic of quantum registers storing qubits), and make some speculations about mathematics based on quantum principles.
Three-valued logic, indeterminacy and quantum mechanics
Journal of Philosophical Logic, 2001
The paper consists of two parts. The first part begins with the problem of whether the original three-valued calculus, invented by J. Łukasiewicz, really conforms to his philosophical and semantic intuitions. I claim that one of the basic semantic assumptions underlying Łukasiewicz’s three-valued logic should be that if under any possible circumstances a sentence of the form “X will be the case at time t” is true (resp. false) at time t , then this sentence must be already true (resp. false) at present. However, it is easy to see that this principle is violated in Łukasiewicz’s original calculus (as the cases of the law of excluded middle and the law of contradiction show). Nevertheless it is possible to construct (either with the help of the notion of “supervaluation”, or purely algebraically) a different three-valued, semi-classical sentential calculus, which would properly incorporate Łukasiewicz’s initial intuitions. Algebraically, this calculus has the ordinary Boolean structure, and therefore it retains all classically valid formulas. Yet because possible valuations are no longer represented by ultrafilters, but by filters (not necessarily maximal), the new calculus displays certain non-classical metalogical features (like, for example, nonextensionality and the lack of the metalogical rule enabling one to derive “p is true or q is true” from “ ‘p _ q’ is true”). The second part analyses whether the proposed calculus could be useful in formalizing inferences in situations, when for some reason (epistemological or ontological) our knowledge of certain facts is subject to limitation. Special attention should be paid to the possibility of employing this calculus to the case of quantum mechanics. I am going to compare it with standard non-Boolean quantum logic (in the Jauch–Piron approach), and to show that certain shortcomings of the latter can be avoided in the former. For example, I will argue that in order to properly account for quantum features of microphysics, we do not need to drop the law of distributivity. Also the idea of “reading off” the logical structure of propositions from the structure of Hilbert space leads to some conceptual troubles, which I am going to point out. The thesis of the paper is that all we need to speak about quantum reality can be acquired by dropping the principle of bivalence and extensionality, while accepting all classically valid formulas.
The Philosophical Logic
2010
Abstract. The advent of quantum mechanics in the early 20th Century had profound consequences for science and mathematics, for philosophy (Schrödinger), and for logic (von Neumann). In 1968, Putnam wrote that quantum mechanics required a revolution in our understanding of logic per se. However, applications of quantum logics have been little ex-plored outside the quantum domain. Dummett saw some implications of quantum logic for truth, but few philosophers applied similar intuitions to epistemology or ontology. Logic remained a truth-functional ’science’ of correct propositional reasoning. Starting in 1935, the Franco-Romanian thinker Stéphane Lupasco described a logical system based on the inherent dialectics of energy and accordingly expressed in and applicable to complex real processes at higher levels of reality. Unfortunately, Lupasco’s fifteen major publica-tions in French went unrecognized by mainstream logic and philosophy, and unnoticed outside a Francophone intellectual co...
On the Notion of Proposition in Classical and Quantum Mechanics
The Foundations of Quantum Mechanics - Historical Analysis and Open Questions - Cesena 2004, 2006
!
#
%
&
- $ $"
$
'
$
-.
(
(&
'
($ $
"
$
)
-
$*
(
+
$
$,
-
" )
/
!
"
!
!(
$
$
$"
-
)$
- $ ( $"
"
$
"
'
!$
" (
. "
) 0
!
$ !
*
+
,
( $
$
)
1
'
!(
&
"
(&
' )
$
2 $34($ $ ( $ "
$
$
'
" !
5
'
$"
$
$ '
!'
) )
$ (
!
)
2$
!)
$
)'
)$
$
$ 2 $34' $
$
-.
*
'
$"
$ "
"'
+
0, )
'
'
2$ 2 $34) $
$
$
($
)
'
'
+
$
"'
6
7
+
"
1
" $ 2 $34-.
"
- $
($
$ $
(
5
&
$
+
$
!
$ (
- $
"
$
+
$
( $
$
"
5
)'
$
$
"
5
# "
%
$
* 8/9 :,
"
$
- (
$ (
)
"
=
,?
/, @
'
+
,1
8,
'
+
'
"
-"
*
"
@5
*@
)
'
) @
" $
,
$
$
)
($
+
$
$
$
)"
(
$ "
"
$ ' $ )$
-
A ) '
$
$
' $
,
,
",
*! )
)
'
)
-
"*
" *2$
) '
+
- "
"$
'
>
''
'
$
$
$
' $
)
$
)
$"
!
"
$
' $
$
>
5,
,
$
($ $
($
)
(
$
)'
C +
'
$D 2$
(
)
$
!
$ ($ $ ) -
&
) ($ $
& '
)
$
5,
+
"*$
'
$
$
"
!
&
$
)
(
"'
)
-" $
($ $
'
2$
)
)
+
'
' $
+
"
$
5
"
)
'
; (
$
" -
"
"
-"
,2
/, B
"
; (
)
''
) <
'
" *!
*
-
2(
"
"
+
,
" $
,
5
)
($ $
$
'
5 ($
5
)
'
4 +
)
(
+
)
>
$
''
'+
)$ )
)
-"
+
($ $ - " $ $
$ )
5
' $ )
$
$
( $ $
"
8
&
2$
6 $"
6 -
"(
6 $7
"
6 )
$7 *($ '
$"
$
"
"7, $ 6 $7
)
)
4 $ $ $
$ (
- 7
.
$"
+
(
$ 6 $7
)
(
$"
$
$
6 7'
2$ 2 $34- E F
&
')
+
)
$
"
' $ ; ' $
+
"
!
$
($
"
'
*'
5
+
) )
+
,
E F ' )
+
E/F 2$ 2 $34) $
$ (
'
!
"$ )( $
)
2$ 2 $34)
"( & )
"
E F
"
) ($ $
- $
+
) * 6- & - 57 ) , E8F '
+
"
& +
" ($ $
*
$
' $ 5
,
$
' $
>
) >!
! '
($ $ ( &
5
'
( '
&
'
!
!
6
7 * 67, E F E8FE F
(
>!
!
! !
$
.
(
1
" $ ' $ *
,
"
2$ 2
2$
!
$34-
-
-
$
5
$
$
( ' -
) $
$ ' +
(
'
$
'
'
)
)
(
6
'6 ' ' $7
!
'
(
"
)
2$
%$
''
$
(
+
$
B
$
- (
( $ -
)" $
0
( &
5 1
$
$
)
( ' -
)
$
-
$
5
7
$
$
) $ $ ' (
C
'
+
) "
$
$ ( &
)
$
$
5 !
"( & )
$
"
6
7
$ )
' $
%$
$ ) '
' $
& '*
, +
5
"( & ) D
2$ 5
$ +
6
'7 ' $
-"
! '
'
+
(
" & ( *-"
'
)
5
, ($ $
$
5
'
- $
'( ($ +
-" $ 5
5
$ $
6G7
-" - $
+
$
5
(
$
' -"
+
- $
! $
$
($
$ +
$
-" $
)
= $
+
($ $
+
''
( $ & $
+
.
5
+
) > $
$
$
"
$
)$ - $
+
.
5
)
$ )
) '
5
$ "
($ $ $
)
)
)
'
$ $
6G7
- ''
"
" -"
$ '
$ $ 5
$
'
&
'H
I
$
(
( & EJF
"
2
$
.
!
+
+
!
! $
$
+
'+
"
)
' +
3
$
$
2$
'
*$
' $
5
(
$
) 5
(
"
($ $
($ $
$
) 5
'
$
'- $
-
' )
( $
"( &
"
), 2$
$ - $
" '
' $ ($ +
$ 5
- $ 5
$ $
)
"
) 2$
)$
- $
$
$
)
$
$ )
)
! )
"
$ $
'
''
- (
5
)
'
$
) !
( $ $
'
$
$
- ( $
'
( ) $
$'
$
"
''
$
'
$ $
$
$ $
$
$ '
$ 5
(
$
' $
3
) $
)
"
! $
( ) ( $
E F
- "
'
'
' ) $
2$
'
- "
"
$ ' $
-" ($ $
$
5 ( $
+
$ 5$
% $ & $
$
' $
'
( $
$ +
)
EKF
($
$
(
)
$
!
$ (
$
&- (
$
$
''
'
$
) ' $"
(
$
- (
)
$ ($
ELF
2$
$ &
$
(
'
-" $
$"
H
I '
$
($ $
$ (
$
'
' $
(
$
5
"
$
' "
'
$"
$ "
!
) ' ($ $ $ ( ' 5
-"
$
$
=
)"
)$ (
$
) '
($ $ - $ $ ( '
3
' 5
'
)
( &
+
$
J
# $
!
*'
2$
,
!
!
"
E F(
-
(&
- -
.
'+
'
+
2$
$
-
$
-"
- &)
+
-"
'
"
'
$
'+
'
)
'
$
2$
)
- )
"
)
+
6
$ (
$ )
$
($ $ $
"
7
'" ) $
)$
- $ $
' $
"
+
' $
" "
" $
)
$
( ( $
2$
(
"
) 5
$
)
$
$ >
($ $ $
' $
$
$
) ' $ 5
$
+
'
$
$
)
"
6
- $ ) $
$
'
, 2$
)" (
))
$
+
$
" $
2$
'
$ -.
5
' $ +
'
% $ $
' $ 6= '7 $
)
*; '
+
' $ 4-.
?
*4?,
'
& $
$
'
"
- +
+
'
'3 (
0 2$
' $ 6= '7 $ (
'
$
$
$
5
$
5
'
$ (
3
$
2$
' $ 6= '7 '
- '
'
3
# $%
$
$
" '
-
)
)
' $
2$
5
)
)
$
($ $
2$
)$ "
3
'
7 ($ $ .
$ )
*$
"
$
)
'6 & )
'
($
$
-
) $
'3
7
$
+
(
3;
)
''
'' E 9F, 2$
)$
'
4? ($ $
$
- $
'
'
- ' 2$
$
'+
'
( $
- )
- $
!
'
!
(
) " #
2$
($
; (
'
$
$
"$ ) $ 5
2$ -.
5
$ ) $
+
$
$
' 5
) * &
" $
+
' $
'
5
) $ )
'
)
' 6= '7
+
"
)
,
5
)
"
$
) ) !
) '
# $%
!
"
#
*
! )
$"
(
( $
$ E F ($
)
$
'
$
) ) -" ($ $ (
' $
) )
$ '
'
5
$
$
&
)
( )
' $ $"
2
)3
$
& (
2$ ''
$ ( ' $"
- '
; (
&
$ !
$
& ( ) ' $
$
$*
$
,
$"
%$ $ +
'
+
) )
)
)$ " $ ) $
$
$ 6 )$
7 2$
( $
$
= ' !
$
&
'
* $ )$ )$ "
' ,
$
$D
"
(
$ '
'!
$ = '
"
$
6!
$7 E /F
'
( 62$ @) *= ',
$
'
$
"
")
A
'
' & ( )M $ @) M:
'
2$
!
M
)$
-"
$
M7
=
" ( (
)
$
6= '7 )$ 6
$7 ($ $
)
-" $ $
$
$ !
$ (
($ $ $
'
' $
($ * $
)
, - $
'5
)
$
*$
$
$,
"
+
!
.
! $ & $
,
-
$
$"
$
)$
"
" $ )
! '
$
" ) $ +
4'
)
( " B
$
$
( " &
$ $ "( &' $
'$
$
' $ )
( '
!$
$ $
+
+
'
$
$
$
$
'
'
(
" )
$ @
.
) ' $
$
" $ )" '
)
.
$ ((
)$
( '
$
)
'
$
" $ )" '
)
$
)
K
1
5
"
2$ 2
$
2$
6
$
$34-
7(
)$ -
$
$
)
)
-
-
(
- (
* 5
$
,+
&
$
2$ -
6
- '
$
)
$ )$
-
' $
" *
' $
$
' +
=
$
) *
)$ &
")
$
)
$,
" $
''
'
5
>< ()
*
,< *
''
,
$*
$
,1
B )$ ) *, @
2
"
(
$ '"
*- $
$ 0,
$
& $
'
>
*H
*
( :$
,
)
"
"*
,
! $ & $
$
"
(
0
" ($ $ - ) )$
$ )$
"
' " $
)7 ' $ 6= 'N
& $ 67
"
)"
$
+
$ '
( & '
+
(&
' $
" )$ +
$ $
'
$
,
"- (
$ 6
7
$ 6< 7 E8F
2$
"E F
)"
" $
'
'
$
&
"
* .
''
, =
,:
*
, H
* '3
(
'
" $
*
3
,
)
$
"
$
,
3
+
' ) '
'
*:$
*
,
,
" " '
-
>-
"
"M
#
/
0
1
2
"
0
"
0
3
)
#
1
&
'
'
(
'
)
/
0
(
4
!
'
!
L
$"
)
4
5
&
'
3
- &'
$
$ $ $
-"
)
(
'
)
)
-"
$
'
*
)
-
,
)$
)
$
'
(
$
$
$"
( $ 5
$
)
)
-"
( $
"
"
$$ $ " '
$
"$
($
$"
$ "
' " $
$ " $ " " )
$ )$
$
!
M ($
$
$"
$
$
'
* &
:$
I
'
$
E 8F,
$ " " )M
" "
"
$
$"
000 = ( $
$
$ '
(
)
"*
",
"
$"
$ "'
$
( " $
$ " ($ $ 5
$"
'
2$ 2 $345
' $
5 )- (
)
$"
*
"
&
"
"
5 "
#
2$
''
*24@,
%$
$ '
$
-
- (
$
$ '
)
&
'H
$
( -
O
"- $
$
$"
!
%$ $ 2 $34- D
)
$
$
$
) '
"
$
$
&
$
"
&
$ ' $ $
'
:$
O 5
-
$
- (
$
O
" '
( $
$"
24@
-
$"
!
+
-
$ 2 $34($
"
'
+
( $
) - &
5
$ ($
)
'
$
-
)
'
':
* 89 3J8,
!)
$ +
!
+
$
-
"
B $
%
'
"$ )
$ 2
$34-
" ' $
$ $
-
9
$
!
)$
$
24@ 2$
$
$
$
'
&
$ 2
( -
.
$34$
)
$
-
"
-
5
$ '
)
$
0
!
$
"
&
"
"
$
"
!
"
$
%
G
$
*
93 8K9 :, H
& $
$
$
E F
E/F
62$
B
"
=
! < :$
*/999,
) '!
) 6
- P
7
7
6
:
-
)
E FH
6
< ) 7
; - & ' $
$
< ) /
H -- "
1 H
$
@
Q (
- $
/99/
/K 3 L
E8F H
6< )
!
' ?
P
:
)7 +
3 $C98 / LL R
' $
$
< )
E F
6P P
=
7 !
R
'P
! '
B
*/99 , /K 3/L
EJF
6:
- "
$
&=
7 ) 3+ C98 /9 J !<<: G3/99 39 *=
:
- < ( < 2
@ ,
E F?
4
8
)
45'
45'
Q * LKL,
?
)
45'
45'
Q * LL8,
EKF
6=
$
&=
> 2$ +
:
(7 ) 3
+ C9 989 /
ELF
6:
< )
P
:
)
7 :$
8 '
=
) 3
)
$
> 89L *R 2 " & @ ,
E 9F = ;
''
?
N4 $
'+
$
>
'
N ! >
7
32$ 1
2
@ = ;
''
Q
&
=
!2
: - )
* LLJ,
E F
$ 6
$
< )
+
$"
6
$ ;4CLL
9
E /F < @ R
( 6< '
"
7! > 7
"
* L9 ,> @
-" ; " )
1
$
E FH
= ;
''
6 +
) ' $
7
E 8F H :$
6?
$
$
S1
'?
$
7 @ 2:=
B 9 * LL , 83 /K
Related papers
La più recente giurisprudenza della Corte di Giustizia tra mercato e valori olimpici
(Roma, 21 maggio 2024) Università degli Studi di Roma “Foro Italico”, 2024
Microplastics: Holistic overview of source, identification, interaction, health and environmental implications and strategies of abatement
ACTA CHEMICA MALAYSIA, 2021
Tests with a hybrid bearing for a flywheel energy storage system
Superconductor Science and Technology, 2016
Growth Kinetics and Demineralization of Shrimp Shell Using Growth Kinetics and Demineralization of Shrimp Shell Using
Iranica Journal of Energy & Environment, 2011
Games as a Cultural Institute of the “Digital” Space
Гуманитарный вектор, 2020
Low-virulent chronic sternal osteomyelitis in children
The Turkish Journal of Thoracic and Cardiovascular Surgery, 2018
Profiling students’ satisfaction towards university courses with a latent class approach
Proceedings e report, 2023
- Find new research papers in:
- Physics
- Chemistry
- Biology
- Health Sciences
- Ecology
- Earth Sciences
- Cognitive Science
- Mathematics
- Computer Science