Resultats de la cerca

...contradicció]] i el [[principi d'identitat]], una de les lleis clàssiques del pensament.<ref>{{ref-llibre|capítol = laws of thought|llengua = anglès|títo En la [[lògica proposicional]], el principi del tercer exclòs s'expressa: ...

...entitat]] i el [[principi del tercer exclòs]], una de les lleis clàssiques del pensament.<ref>{{ref-llibre|capítol = laws of thought|llengua = anglès|títo ...enguatge, sinó una metavariable que representa '' qualsevol '' fórmula del llenguatge. ...

Dins d'un [[llenguatge formal]] amb una [[semàntica formal]], una constant lògica és una expressió ...uest argument depèn no només de la connectiva "si ... llavors", sinó també del significat de les constants lògiques "sempre" i "mai". Com es mostra a cont ...

...fins i tot arriben a opinar que la ciència en si mateixa no és més que un llenguatge. Això és especialment important en lògica i matemàtiques. == El llenguatge natural i el llenguatge artificial == ...

...ncia.<ref>TLP 4.113</ref> Està reconegut com una obra filosòfica rellevant del {{segle|XX}}. G. E. Moore va suggerir el títol en llatí de l'obra com a hom ...fluència principalment entre els [[Positivisme lògic|positivistes lògics]] del [[Cercle de Viena]], tals com [[Rudolf Carnap]] i [[Friedrich Waismann]]. L ...

...ògica]] i en camps que relacionats amb aquest com les [[matemàtiques]] i [[filosofia]], és una [[connectiva lògica]] [[bicondicional]] entre [[Proposició (lògic ...sa de l'observació que "si" en anglès té un significat definitori, separat del seu significat com a conjunció proposicional. Aquesta diferència de signifi ...

...a continuar madurant, arribant a la seva forma moderna a [[1963]] a partir del treball de [[Saul Kripke]]. ...es desenvolupa la lògica modal. Si bé aquest treball va establir les bases del tema, des de llavors s'han realitzat nombroses investigacions i avenços. Pe ...

{{IniciBio}} va ser un [[matemàtic]] [[italià]], del {{segle|XVII}}. ...tenen gaires referències sobre la seva biografia, tant és així que la data del seu naixement és incerta.{{sfn|Massa Esteve|1998|p=9}} Se sap que va estudi ...

..., [[filòsof]] i [[eclesiàstic (persona)|eclesiàstic]] [[espanya|espanyol]] del {{segle|XVII}}. ...fer els seus estudis a la Universitat d'Alcalà, on va ingressar a l'[[orde del Cister]], i a la Universitat de Salamanca. El 1638 va rebre el seu ''Magist ...

...e ser reconegut com a veritable per una comunitat determinada. La validesa del coneixement admet diverses formes i requisits segons els camps o àmbits en La ciència i la filosofia, com a coneixement, tenen essencialment com a valor únic de referència la [ ...

{{Filosofia}} ...ia lògica]]. Tradicionalment, la lògica s'ha considerat una branca de la [[filosofia]]. ...

[[Fitxer:Aristoteles Louvre.jpg|miniatura|Aristòtil. Museu del Louvre]] ...bre 2021 |títol=Sil·logisme |editor=Enciclopèdia Catalana}}</ref> a través del qual s'obté una conclusió mitjançant dues premisses: [[premissa]] major, qu ...

...ssament digital d'un senyal d'entrada en temps real, com pot ser l'entrada del senyal d'un fitxer d'[[àudio]], per obtenir les operacions corresponents i ...PSTN Telecomunicacions. En aquest mateix any NEC va començar la producció del PD7710, la primera producció de DSP complets en el món. Un altre avanç en D ...

...[filòsof]] francès, un dels més importants i influents de la segona meitat del {{segle|XX}}.<ref name=":0">{{Ref-publicació|article=Se suicida Gilles Dele ...l seu eminent valor didàctic, contenen les primeres formes de consolidació del seu propi pensament intel·lectual. ...

{{Filosofia}} ...alitat]]. Requereix un [[món]] exterior com a prova de refutació i parteix del supòsit que aquest món es pot conèixer, fet que nega, per exemple, l'[[esce ...

...2006}}</ref> Va intentar explicar el funcionament de la [[ment]] a partir del model dels computadors. ...i d'altres, la [[teoria causal de la referència]] i va formular una teoria del significat pròpia, inventant la noció d'[[externalisme|externalisme semànti ...

...un gran valor per a la [[fonaments de la matemàtica|fonamentació]] i la [[filosofia de la matemàtica]]. ...s que ja són coneguts. [[Euclides]] (300 aC) va ser l'autèntic introductor del mètode deductiu pur en començar la seva obra, els [[Elements d'Euclides|''E ...

...ries en un [[llenguatge formal]]. Hom diu que un conjunt d'enunciats en un llenguatge formal és una '''teoria'''; un '''model''' d'una teoria és una estructura ( ...jançant els elements [[Sintaxi|sintàctics]] (fórmules i demostracions) del llenguatge. Citant la primera pàgina de {{harvtxt|Chang|Keisler|1990|ref=none}}:{{sfn| ...

* Klein va fer molt més explícita la idea que cada llenguatge geomètric tenia els seus propis conceptes, apropiades, així per exemple la Amb motiu del seu ingrés com a professor a la Facultat de Filosofia de la Universitat d'Erlangen, Klein va escriure una memòria en 1872 (que pe ...

[[Fitxer:IQ curve.svg|miniatura|Corba del [[quocient intel·lectual]]]] ...Bertrand|cognom3=García-Allen|nom3=Jonathan|títol=¿Qué es la inteligencia? Del CI a las inteligencias múltiples|llengua=castellà|any=2018|editorial=EMSE E ...