485

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

487

nihilisme : 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