La logique, du grec /
, est un terme drv de / 
s snfant a f

et ras
nnement est, dans une premre appr
che, 'tude des r es f
rme es que d
t
respecter t
ute arumentat
n c
rrecte. Le terme fut ut s p
ur a premre f
s
par Xn
crate[rf. ncessare].
E e est depus 'Antqut 'une des randes dscp nes de a ph
s
phe, avec
'thque (ph
s
phe m
ra e) et a physque (scence de a nature). Au M
yen e,
e e ne fure pas exp ctement parm es sept arts braux (trvum : rammare
, da ectque et rht
rque ; quadrvum : arthmtque, 
mtre, astr
n
me et musqu
e). En
utre,
n a assst depus e XIXe sc e (Ge
re B

e, Jev
ns) au dve
ppeme
nt fu urant d'une appr
che mathmatque de a
que. Sa c
nverence
pre avec '
nf
rmatque depus a fn du XXe sc e u a d
nn un rean de vta t. E e tr
uve
depus e XXe sc e de n
mbreuses app cat
ns en nnere, en nustque, en
psych

e c
ntve, en ph
s
phe ana ytque
u en c
mmuncat
n. La
que
antque se dc
mp
se en da ectque, rht
rque.
S
mmare
1 Dfnt
n
2 Hst
re
2.1 Antqut
2.2 re c
ntemp
rane
3 Les dffrentes appr
ches
4 Grands d
manes de a
que
4.1 L
que sy
stque
4.2 L
que pr
p
st
nne e
4.3 Ca cu des prdcats
4.4 L
que m
da e
4.5 L
que ph
s
phque
5 N
t
ns mentares de
que f
rme e
5.1 Syntaxes
5.2 Quantfcat
n
5.3 a t
6 L
que n
n bnare
7 Annexes
7.1 Bb 
raphe
7.2 N
tes et rfrences
8 
r auss
8.1 Artc es c
nnexes
8.2 Lens externes
Dfnt
n
La
que est tude de linfrence.
Histoire
Article dtaill : Histoire de la logique.
Antiquit
La logique est lorigine la recherche de rgles gnrales et formelles permettant de d
istinguer un raisonnement concluant de celui qui ne lest pas. Elle trouve ses p
remiers ttonnements dans les mathmatiques et surtout dans la gomtrie mais cest prin
cipalement sous limpulsion des Mgariques et ensuite dAristote quelle prit son
envol.
La logique a trs tt t utilise contre elle-mme, cest--dire contre les conditions mmes
discours : le sophiste Gorgias lutilise dans son Trait du non-tre afin de prouve
r quil ny a pas dontologie possible : ce nest pas ltre qui est lobjet de no
s penses : la vrit matrielle de la logique est ainsi ruine. Le langage acquiert ainsi
sa propre loi, celle de la logique, indpendante de la ralit. Mais les sophistes on
t t carts de lhistoire de la philosophie (soph