Resultats de la cerca
Es mostren 8 resultats
sil·logisme
Lògica
Modalitat d’argumentació deductiva consistent en l’afirmació de dues proposicions, relacionades entre elles i anomenades premisses, de les quals en resulta una altra, dita conclusió
.
Objecte d’anàlisi i sistematització pràcticament exhaustives en l’anomenat Òrganon aristotèlic, el sillogisme, l’estudi del qual integra la sillogística , no és l’única possibilitat d’argument deductiu, bé que l’influx d’Aristòtil determinà una identificació exclusiva entre l’un i l’altre, amb la corresponent reacció antisillogística, per exemple, de Descartes Pel que fa a la relació entre les premisses del sillogisme —anomenades respectivament major i menor , pel fet que la primera inclou el predicat P i la segona el subjecte S, que són recollits en la proposició conclusiva—,…
proposició

Classe de proposicions
Lògica
En la lògica tradicional, contingut lògic del judici, de l’acte mitjançant el qual hom afirma o nega quelcom (predicat) d’alguna cosa (subjecte).
Hom en diu sovint també enunciat , bé que a vegades aquest terme és pres en un sentit neutral, del qual el terme judici reflecteix l’aspecte subjectiu i el terme proposició expressa l’aspecte objectiu La diferenciació entre judici i proposició, necessària en l’ordre lògic, pot ésser omesa en l’ordre epistemològic, com és ara el cas de Kant Entre les diverses divisions que hom n'ha establert cal destacar la corresponent a la distinció entre proposició simple també anomenada categòrica, predicativa o enunciativa , en què un concepte s’uneix a un altre mitjançant la còpula, i proposició composta…
teoria dels tipus
Lògica
En la lògica de classes, conjunt de doctrines elaborades per a resoldre el problema de les anomenades paradoxes lògiques.
En són les més destacades la de BRussell 1908 i la de LChwistek 1921 i FPRamsey 1926
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…
proposició
Lògica
En la lògica simbòlica, sentència l’esquema quantificacional atòmic de la qual inclou lletres predicats (‘F’, ‘G’, ‘H’; corresponents al verb o predicat verbal) i lletres arguments (‘w’, ‘x’, ‘y’, ‘z’; corresponents al subjecte).
En l’esquema logístic, doncs, hom prescindeix de la representació tradicional de proposició segons la qual aquesta consta d’un subjecte i un predicat units per la còpula ‘és’, que no és reconeguda sinó com una de les moltes formes possibles de proposició, i hom estableix, en canvi, que en les proposicions dividides per l’atomisme lògic en atòmiques i compostes un predicat és afirmat d’un argument Representacions quantificacionals de proposicions atòmiques són, per exemple, ‘Fx', on ‘x’ substitueix ‘Pere’, ‘F’ substitueix ‘corre’ o ‘és bo’, etc, i ‘Fx,y' o ‘Fx' segons que F substitueixi ‘…
inferència
Lògica
En la lògica simbòlica, qüestió metalògica relativa a l’establiment de les anomenades regles d’inferència, variables segons els càlculs proposats, que permetin la derivació d’una conclusió a partir d’unes premises.
polivalent
Lògica
Dit del sistema lògic que, a diferència de la lògica tradicional i de la majoria de les lògiques contemporànies (anomenades bivalents, car només admeten dos valors de veritat: ‘‘és veritable’’ i ‘‘és fals’’), accepta més de dos valors de veritat.
Hom en diu trivalent, tetravalent, etc , segons que siguin tres, quatre, etc , els valors que hi siguin admesos d’altra banda, si aquest nombre de valors és finit, hom parla de lògica finitament polivalent i de lògica infinitament polivalent, si el dit nombre de valors és infinit La lògica polivalent, pròpia del s XX bé que hom en cerca antecedents en Aristòtil i en Guillem d’Occam, amb relació al problema dels futurs i futuribles, s’oposa al principi tradicional del non datur tertium i és típicament exemplificable en l’acceptació que, per exemple, una proporció pot ésser “no veritable i…
cercle de Viena
Lògica
Filosofia
Escola lògica, sorgida a Viena vers el 1910 com a reacció contra les especulacions idealistes i afins (com les de les anomenades ciències de l’esperit) dels decennis precedents i decidida a establir una filosofia científica —i una corresponent concepció científica del món—, centrada en l’anàlisi del llenguatge i que derivà cap a un positivisme i un empirisme lògics.
Hereva de la tradició empirista i nominalista —d’Occam a Russell, passant sobretot per Hume— i de la filosofia d’Ernst Mach, fou iniciada per Hans Hahn 1880-1934 i Otto Neurath , entre altres, i establerta definitivament amb l’arribada a Viena de Moritz Schlick , el 1922, i de Rudolf Carnap , el 1926 s’hi incorporaren també aviat científics de les més diverses especialitats KGödel i HKelsen, KMenger, Rvon Mises, ESchrödinger, ESilzel i hi acudiren a formar-se destacades figures nord-americanes Wvan Quine, ENagel i CWMorris Herbet Feigl 1902 difongué l’expressió “positivisme lògic” com a…