Index des matières
- Publication type: Book chapter
- Book: L’Intuitionnisme dialogique. Une lecture iconoclaste de l’iconoclasme de Brouwer
- Pages: 485 to 488
- Collection: History and Philosophy of Science, n° 29
Index des matières
acte de parole : 213, 224, 269, 380, 459
adolescents : 415
algorithme : 59, 85, 148, 249, 304
ambiguïté : 62, 68, 87, 102, 131-132, 165, 253, 346, 447, 455
analytique/synthétique : 98, 101, 104, 150, 169, 175, 210
antiréalisme : 26, 265, 459
arborescence : 55, 73, 75, 124, 140, 178, 186, 192, 265, 285-302, 313, 327, 346, 349, 362-363, 381, 381, 383, 385, 390, 401, 417, 427, 438, 442, 449
arbre : 75, 124, 288, 290, 371, 447
argument du sujet créateur : 12, 41-58, 260, 357
arithmétique de Heyting : 58
assomption épistémique : 212-13, 443
axiome : 26, 76, 95, 98, 133, 141, 212, 304, 333-334, 340, 373, 387
axiomes de Kreisel : 54-56, 58, 95, 150, 155, 197, 205, 210, 237, 248, 391-392
barre : 82-83, 112-13, 290-91
barre dialogique : 197, 214, 236, 265-310, 313
boite (box) : 228-229, 253-254, 257-58, 262, 274, 276, 283, 287, 293, 296, 299, 359, 441
ça : 378-379
calcul : 12-13, 23, 56, 60, 98, 149, 207, 210, 259, 303, 320-321, 328, 333-34
calculabilité : 48, 57, 59, 66, 148, 168, 207, 302, 335
Cercle de Vienne : 25-26
Cercle Signifique : 20, 26, 122, 397, 400-401
connaissance objective : 20, 109, 115, 137, 248, 340
constructivisme : 18, 22-26, 29, 36-37, 57-58, 59-100, 159, 164, 170, 181, 198, 212, 231, 250-251, 266, 310, 321, 335-36, 340, 344, 404, 406, 414, 420, 428
continuité : 37, 46, 65, 90, 112, 118-119, 121-122, 287, 353, 398, 404, 434, 442, 453
continuum sémiotique : 121, 187, 355, 362, 468
coopération/compétition : 27, 37, 201, 393, 399, 401, 434
coup « Open » : 255-254, 256, 260, 287, 293-94, 297, 441
coupure : 12, 46
critère de Cauchy : 86, 88-89, 91, 118, 144-145, 252-259, 263
criticisme kantien : 137, 150, 166, 168
décidabilité : 48, 54, 204, 262, 286, 302-310, 367
déduction naturelle : 92, 208, 249, 448
déontologie : 400, 438, 453-456
définissabilité dialogique : 176, 200, 214, 287, 290, 310, 444, 456
diagramme : 116-121, 140-141, 180, 195, 197, 269, 299
dialogue booléen : 222-23
dialogue fini : 171, 198
dialogue matériel : 119, 213, 219-223, 225, 227, 233, 246, 249, 251, 287, 369
dogme : 25, 83-84, 314, 464
486émotion : 16, 18, 20-25, 103, 122, 343, 397, 408, 415, 417, 419-420, 463
énoncé élémentaire : 31, 131, 135, 137, 171, 173-75, 186, 188-189, 215, 219-220, 284-287
essence (approche dialogique) : 275-278
esthétique : 122, 124, 347, 440, 442, 444, 450, 456
éthique : 122, 124, 339-340, 349, 421, 453-56
être-à-la-pointe : 329-330, 440
expression signifiante (CTT) : 208, 438-439
facticité : 317, 323-24, 328
finitisme : 334
formalisme : 30-31, 42, 206-207, 239, 244, 318, 321, 372-376, 379, 393-95, 399
formalisme dynamique : 32, 36, 168, 209, 334, 337, 392-393, 434, 452
forme canonique : 79, 83-84, 125, 131, 206-208, 292
forme de vie : 178, 412, 436, 450-451, 456
het scheppend Subjekt = le sujet en train de créer : 45
homme du sous-terrain : 278, 282, 286, 301
hyper-espace sémiotique : 178, 412, 436, 450-452, 456
icône, index, symbole : 27, 32, 48, 52-53, 69, 72-73, 77-79, 84, 108-09, 115-117, 119-120, 123, 140, 144, 176-180, 185, 197, 226, 228, 234, 257, 261, 274, 277, 284, 347, 354, 359, 362, 366, 378, 381, 388-389, 394, 417, 425, 447, 461, 464
identité : 18, 31, 64, 72, 76-78, 106, 112, 131, 140, 147, 149, 153, 168, 177, 272, 292, 301, 364, 388, 448
incommunicabilité : 62, 149, 166, 208, 284, 324, 402, 419, 459, 462
induction barrée : 28, 36, 197, 267, 289-95, 302, 304-09, 313, 427
inférentialisme : 343, 404, 412, 420, 422, 428, 430
infini en puissance / en acte : 29, 82, 120, 140, 172, 187, 192, 225, 269, 278, 283, 288, 303, 313, 397, 447, 464
instructions : 42-43, 85, 131, 134, 140, 164, 193, 268, 270, 324, 459
intériorité : 173, 182, 185, 282, 402, 437-438
intensionnel/extensionnel : 55, 89, 169, 174, 239, 249, 286, 298, 304
internalisation : 187, 271
intersubjectivité : 14, 34, 113, 121, 247-248, 355, 443
intersubjectivité transcendantale : 152, 169
intuition : 15, 45, 101-102, 104-05, 137, 140, 143-144, 157, 248, 323, 327, 448, 450
jeux de langage : 178, 198, 254-255, 409, 444
jugement élémentaire : 24, 140, 173
jugement hypothétique : 13, 25
lambda-calcul : 56, 207, 303, 335
last duty first : 202-05, 405
littérature : 37, 282, 346-347, 349, 382-383, 408, 452-53, 466
logicisme : 12, 25, 34, 61, 76, 125,439
machine de Turing : 57, 303
mapping : 209
mathématiques classiques : 21, 45-46, 236, 372, 457
maxime pragmatique : 172, 174, 177
métalangage : 61, 129, 405
monde de la vie (Lebenswelt) : 23-24, 28, 33, 152, 163, 182-183, 313, 336, 338, 356, 380, 381-383, 412, 453
naturalisme : 155, 284, 316
néo-kantisme : 97-99, 101-102, 106, 109, 316
487nihilisme : 415-16
niveau des parties / des stratégies : 30-31, 120, 200, 249-250, 265-266, 292, 300, 308, 327, 365, 413
objet-preuve : 85, 93, 127-128, 138, 206, 438-39
opacité épistémique : 24, 379
ordinateur : 25, 57, 335, 452
ortholangage : 199, 392-393, 429-33, 451-452
particularistes/méthodistes : 106, 344
phénoménologie : 28, 34-35, 122-23, 125-163
philosophie analytique : 26, 340
pôle-Je / pôle-Tu : 168, 179-80, 185, 452, 455
polyphonie : 377, 381, 450, 452, 455
positivisme : 25-26
pragmatisme : 28, 170, 271, 313-347
praxis primaire/secondaire : 193-194, 218, 301
pré-propositionnalité : 36, 163, 170-195, 444, 466
prédicat : 112, 172, 175-76, 184-185, 191
prédicat iconique : 184-186, 188, 192, 225-27, 259, 274-275, 310, 313
principe de Markoff : 54
principe de continuité : 112, 287
principe des indiscernables : 112, 116
principe du tiers-exclu : 15-16, 43, 48, 54, 94, 119, 198, 201, 205, 214, 218, 228, 251, 365, 405, 432, 456
processus d’indexation : 117, 143-144, 186-187, 192-93, 195, 209, 224, 232, 267, 292, 301, 315, 319, 343, 354, 443-445, 464
profanité : 339, 341, 343-344, 346, 380, 415
programmation fonctionnelle : 23
programme : 13, 21-22, 24
proposant/opposant : 12, 30, 170, 202
propositionnalité : 24, 28, 35, 66, 81-82, 126-129, 131, 136, 173, 176, 200, 205, 214, 225, 267, 353-355, 374, 392, 400, 432, 462
propriété volante (fleeing property) : 46-48, 257
psychologie : 76, 109, 123, 165, 316
psychologisme : 52, 75, 109, 201, 414
raison locale : 205, 213-24, 226, 287-288, 293, 296
raisonnement immanent : 206, 213, 215, 217, 219-20, 443
rang de répétition : 214, 230-01, 254, 301, 439-440
réduction phénoménologique : 23-24, 26, 28, 36, 123, 152, 163-172, 192-195, 247, 266, 267-273, 308, 440, 442, 451, 459
règle socratique : 175, 200, 219-20, 223-224, 52
règles de formation : 89, 238-239, 247
règles de particule / structurelles : 220, 283, 364-366, 372-373, 395, 446
responsabilité : 25-27, 190, 212, 230, 301, 369-370, 415, 440, 456-457
schéma de Kripke : 36, 55-57, 92-95, 127, 197, 235-251, 286, 405
sciences computationnelles : 23, 463
sémantique BHK : 70, 126, 132
sémantique de théorie des modèles : 351
sémiotique : 31-33, 114-16
suites de choix libres : 41-55
signifiance : 74, 79, 225, 265, 398, 400, 407-408, 410, 412, 438
solipsisme : 14-15, 64, 152, 195, 388, 401, 407-408, 410, 440, 456, 459, 462
solipsisme transcendantal : 269, 271, 459
sujet épistémique : 14-15, 25, 79-80, 245, 247-248, 438
sujet créateur : 12-13, 26, 34, 41-58, 114, 149, 151, 159, 210
sujet transcendantal : 35, 103, 115, 488149-153, 157-159, 169, 298, 304, 313, 315, 322, 353-354, 377
symptôme/symbole : 118, 345, 347, 379-380, 391, 455
temporalité : 109, 141, 146, 149, 154-155, 157, 225, 233, 328-330, 367, 402
Théorie Constructive des Types : 13, 24, 80-90, 125-32, 140, 185, 206-212, 353, 438, 463
Théorie des Ensembles : 53, 133, 258
Théorie des Modèles : 50, 220, 249, 351, 405
thèse de Church : 56-57, 59, 148, 210, 303
théorème de Church : 367
type dépendant : 24, 207
validité : 30, 52, 92, 111, 114, 119, 124, 137, 165, 187, 263, 286, 331, 340, 355, 368, 377, 405, 417
vérificationnisme : 26
violence : 187, 420-421, 462
- CLIL theme: 3126 -- SCIENCES HUMAINES ET SOCIALES, LETTRES -- Philosophie
- ISBN: 978-2-406-14271-3
- EAN: 9782406142713
- ISSN: 2260-9873
- DOI: 10.48611/isbn.978-2-406-14271-3.p.0485
- Publisher: Classiques Garnier
- Online publication: 02-08-2023
- Language: French