Resultats de la cerca
Es mostren 3 resultats
vaguetat
Lògica
Característica de certes frases o enunciats del llenguatge com ara ‘‘aquest home és calb’’ que donen lloc a proposicions inverificables (això és, que no són clarament i exclusivament veritables o falses) i que incompleixen lleis com ara la transitivitat (perquè no hi ha límít precís entre, en l’exemple citat, un ‘‘calb’’ i un ‘‘no calb’’).
En lògica el problema del tractament formal dels predicats vagues ‘calb’, ‘roig’, ‘gran’, etc s’enfronta a l’aparició de paradoxes com la que resulta d’aplicar-hi un sorites per exemple ‘un home amb un cabell és calb doncs un que en tingui 2,3,,10 000, és calb’, fenomen ja analitzat pels grecs D’ençà de l’aparició de la lògica formal moderna, la posició dels lògics ha estat generalment la de considerar la vaguetat com una característica exclusiva sovint com un “defecte” del llenguatge, inabordable i irrellevant per a la lògica matemàtica clàssica Russell 1923 Entre aquells que han acceptat la…
algorisme
Lògica
Matemàtiques
Procediment de càlcul que amb un conjunt ordenat i finit d’instruccions, de símbols i regles o d’operacions, permet trobar la solució d’un problema pas a pas o de forma recursiva.
S’aplica en tots els casos en què l’ús d’una estratègia ordenada i iterativa facilita l’obtenció de solucions Destaquen els algorismes típicament numèrics com el de calcular arrels quadrades o cúbiques, o l’algorisme d’Euclides, per a calcular el màxim comú divisor de dos nombres enters, però també són molt importants avui els algorismes subjacents a molts programes informàtics vàlids per a càlculs matemàtics, així com per a moltes altres aplicacions optimització, jocs, organització, etc Rep el nom del matemàtic persa Muḥammad ibn Mūsà al-Ḫwārizmī
paradoxa
Lògica
Matemàtiques
Enunciat o raonament que porta a dues conclusions mútuament contradictòries però de cap de les quals hom no pot prescindir.
Sovint identificable amb l'antinòmia i àdhuc amb l'aporia, la paradoxa, que té un significat més ampli que l’una i l’altra, sol ésser tipificada en l’afirmació del mentider, quan diu “ara dic mentida” si és veritat que diu mentida, és que menteix, però està dient la veritat, o sia que no està mentint i, si no és veritat que diu mentida, menteix, però no és veritat que digui mentida Les paradoxes d’aquesta mena, consistents en una autoreferència i que solen ésser típiques en les anomenades paradoxes semàntiques o lingüístiques, han estat estudiades des de sempre i hom només ha pogut trobar-ne…