open-index/open-wikipedia-markdown huggingface dataset:
Rœulx

''''*  estas komunumo de Francio, kiu apartenas al la historia regiono Henegovio (france *Hainaut* respektive flandre Henegouwen), kies plej granda parto ekde 1830 estas parto de la Reĝlando Belgio, sed plia, suda parto jam ekde 1678 apartenas al Francio. Ĝi situas en la departemento *Nord* [] (okcidentflandre *Noorderdepartement*), en la regiono Hauts-de-France (prononco [], laŭvorte "supraĵo de Francio" pikarde *Heuts-d'Franche*) kaj en la antaŭa regiono Nordo-Kaleza Markolo (france *Nord-Pas-de-Calais* , nederlande/flandre *Noord-Nauw van Calais*). Fine de  en la komunumo vivis  sur areo de  kvadrataj kilometroj, kio rezultigas loĝdenson de  loĝantoj/km². Administre la komunumo apartenas al la arondismento *Valenciennes* (france *Arrondissement de Valenciennes* respektive okcidentflandre *Arroundissement Valencyn*), kaj al la kantono **.

Ĝiaj loĝantoj en la franca nomiĝas *roeulxois(es)''.

## Vidu ankaŭ 
* Komunumoj de Nord
* Lourches (stacidomo)

## Eksteraj ligiloj 
* 


Kategorio:Komunumoj de Nord
Mensa ekzercado

eta|Piktrogramo pri mensa ekzercado
**Mensa ekzercado**, aŭ *cerba ekzercado* (nomita ankaŭ *kogna trejnado*) estas programo de regula aktiveco cele al reteno kaj plibonigo de la kognaj kapabloj. La esprimo “kogna kapablo” kutime referencas al la komponantoj de flua inteligento kiel la plenuma funkcio kaj la memortrejnado. La kogna trejnado pruvas hipotezon ke kognaj kapabloj povas esti retenitaj kaj plibonigitaj pere de ekzercado de la cerbo, analoge al la maniero per kiu la fizika taŭgeco estas plibonigita per la korpekzercado. Aktivecoj de kogna trejnado povas okazi en nombraj manieroj kiel per trejnado de korvaskula taŭgeco, ludado de retaj ludoj aŭ kompletado de kognaj taskoj kongrue kun trejnreĝimo, ludante videoludojn kiuj postulas vid-spacan resonadon, kaj engaĝiĝinte en novaj aktivecoj kiel danco, arto, kaj muziko.

Scienca esplorado pri la efektiveco de aktivecoj de cerba trejnado konkludis, ke ili ne havas efikon sur la inteligento aŭ la ĉiutaga kogna kapablo, kaj ke plej programoj ne montris reviziitajn publikigitajn pruvarojn pri ties efikeco. Estas ampleksa debato ene de la scienca komunumo pri la efikeco de cerbotrejnaj programoj kaj polemiko pri la etiko promocii cerbotrejnan programaron al eventuale vundeblaj subjektoj.

Ekzercado utilas por lernado de metiaj kapabloj, ekzemple ceramiko, pentrarto ktp., kaj de mensaj kapabloj, ekzemple lingvolernado, pere de ekzercoj en lecionoj de lernolibro pri nova lingvo ktp.

## Notoj 
Kategorio:Aplika psikologio
Kategorio:Trejnado
Kategorio:Kogna neŭroscienco
Kategorio:Neŭropsikologio
Premiso

**Premiso** estas bone difinita en PIV: "Ĉiu el la du unuaj frazoj (maĵora kaj minora) de silogismo, el kiuj oni tiras konkludon. Tiel oni povas diri, ke en logiko premiso estas ĉiu el la propozicioj antaŭaj al la konkludo de la argumento. En valida argumento, la premisoj implicas la konkludon, sed tio lasta ne estas necesa por ke propozicio estu premiso: lo nura gravo estas ties loko en la argumento, ne ties rolo. Ĉar temas pri propozicioj, la premisoj ĉiam jesas aŭ neas ion kio povas esti vera aŭ falsa.

Oni konsideru la jenan argumenton:

# O estas mardo aŭ merkredo.
# Se ĝi estas mardo, tiam mi devas iri labori.
# Se ĝi estas merkredo, tiam mi devas iri labori.
# Tial, mi devas iri labori.

En tiu argumento, la propozicioj 1a, 2a kaj 3a estas la premisoj, kaj la propozicio 4a estas la konkludo. Argumento povas havi ajnan nombron (ĝenerale kun fino) de premisoj, eĉ 0 (en kies kazo la konkludo kutime estas teoremo kaj logika vero).

# Ĉiuj homoj havas hararon.
# Davido estas homo.
# Tial, Davido havas hararon.

Estas argumentoj de unusola premiso (*estis almenaŭ unu atestanto* aŭ *Johano vidis ĉion*), kaj argumentoj kun pli ol unu premiso. Tiel okazas ĉe ordinaraj silogismoj de du premisoj: nome «granda premiso» (kiu enhavas la plej grandan terminon, predikato de la konkludo) kaj «malgranda premiso» (kiu enhavas la plej malgrandan terminon, kiu funkcias kiel subjekto en la konkludo). Por ekzemplo:

# Ĉiuj mamuloj estas animaloj de varma sango. (granda premiso)
# Ĉiuj homoj estas mamuloj. (malgranda premiso)
# Tial, ĉiuj homoj estas animaloj de varma sango. (konkludo)

## Vidu ankaŭ 
* Aksiomo

## Notoj 
Kategorio:Logiko
Le Quesnoy

**Le Quesnoy** estas franca  situanta en departemento Nord, regiono Hauts-de-France.

Ĝiaj loĝantoj nomiĝas *Quercitains*.

## Vidu ankaŭ 
* Komunumoj de Nord
* Le Quesnoy (stacidomo)

## Eksteraj ligiloj 
* 


Kategorio:Komunumoj de Nord
Kathryn Garcia

**Kathryn A. GARCIA** (antaŭe **McIver**; naskiĝis la ) estas la eksa komisionestro por la Fako de Sanitareco de Nov-Jorko. Antaŭe, ŝi servis en la rolo de provizora prezidanto kaj ĉefoficisto de la Aŭtoritato de Loĝejoj de Nov-Jorko kaj estis nomumita "caro de manĝaĵo" por la programo je kriza manĝaĵo de Nov-Jorko dum la kriza respondo pri COVID-19.
Kathryn Garcia kandidatiĝis por Urbestro de Nov-Jorko en la baloto de 2021.

## Frua vivo kaj edukado 
Kathryn Garcia naskiĝis en Brooklyn kaj estis adoptita de Bruce C. McIver kaj Ann McIver. Tiu kreskiĝis en la najbareco de Park Slope. Ties patro estis la ĉefa parlimentano pri laboro por la eksa urbestro de Nov-Jorko Edward I. Koch, kaj ties patrino estis profesoro de la angla lingvo ĉe Medgar Evers College kaj estis nomumita kiel administra direktoro de la Alianco de la Areo de Morningside. La aktoro Clark Gregg estas ties kuzo.

Garcia kompletigis sian primaran edukadon ĉe P.S. 321 en Park Slope kaj diplomiĝis de Stuyvesant Mezlernejo en Manhattan. Tiu ĉeestis la Universitaton de Viskonsino ĉe Madison kaj ricevis bakalaŭron je ekonomiko kaj historio.

## Personaj aferoj 
Garcia edziniĝis kun Jerry Garcia je 1995, sed ili poste eksedziĝis. Garcia havas du infanojn, Anna kaj Alex. Ekde 2014, Garcia loĝas en la najbareco de Park Slope.

## Referencoj 
Kategorio:Vivantaj homoj
Kategorio:Naskiĝintoj en 1970
Kategorio:Usonaj politikistoj
Zoltán Szilassy

**Zoltán Szilassy** [silaŝi], laŭ hungarlingve kutima nomordo **Szilassy Zoltán** estis hungara agronomo, redaktoro, altlerneja instruisto, parlamenta deputito. Liaj nobelaj antaŭnomoj estis *szentiváni, pilisi kaj szilasi* [sentivAni, piliŝi, silaŝi].

Zoltán Szilassy naskiĝis la  en Léva (Hungara reĝlando, Aŭstra Imperio, nuntempa Levice en Slovakio), li mortis la  en Budapeŝto.
 
## Biografio 
Zoltán Szilassy akiris agronomian diplomon en Ekonomia Akademio (Magyaróvár) en 1884. Post la diplomo li laboris en magnata bieno, inter 1885 – 1892 li estis asistanto en la akademio apud Sándor Cserháti. En 1892 li translokiĝis al Budapeŝto kaj li havis altan postenon en agronomia organizaĵo kaj li redaktis agrarajn gazetojn. Li ankaŭ studvojaĝis eksterlande. Inter 1905–1918 li estis parlamentano. Li ricevis hungaran premion en 1896, serban en 1899. Lia edzino naskis 4 filinojn inter 1896-1900.

## Elektitaj kontribuoj 
* *A fű-féle takarmánynövények termesztése* (1892)
* *A filippopoli kiállítás és Bulgária mezőgazdasági viszonyai* (1892)
* *Amerikai mezőgazdaság* (1897, 1898)
* *Szálas takarmánynövények termesztése* (kunaŭtoro, 1907, 3-a eldono en 1928)

## Fontoj 
* hungarlingva biografio
* hungarlingva biografio
* hungarlingva biografio
* hungarlingva biografio (la koncerna teksto estas legebla en la 9-a paĝo)
* hungarlingva biografio (la koncerna teksto estas legebla en la 2-a punkto)
* hungarlingva biografio (la koncerna teksto estas legebla en la 414-a paĝo)

## Referencoj 
Kategorio:Hungaraj agronomoj
Kategorio:Hungaraj altlernejaj instruistoj
Kategorio:Hungaraj politikistoj
Kategorio:Hungaraj redaktoroj
Kategorio:Budapeŝtanoj
Televisora Andina de Mérida

**Televisora ​​Andina de Mérida (TAM)** [en Esperanto: Anda Televidstacio de Merido] estas privata regiona televida kanalo kun sidejo en la urbo Merido situanta en la regiono Venezuelaj Andoj. TAM estis fondita la 2-an de septembro 1982, de la tiama Respublika Prezidanto D-ro Luis Herrera Campins, kiu oficialigis la malfermon de la unua regiona VHF-malferma signala televidstacio en la lando, kaj tre precipe de Fr. Ugo Anzil, kiu dum multaj jaroj direktis ĉi tiun faman andan komunikilon.

Ĝia slogano estas "***Tam Nuestra Como Siempre***" (en Esperanto: Tiom nia kiel ĉiam, sed kun vortoluda ĉar anstataŭ la gramatike ĝusta vorto "Tan" oni uzas la mallongigon de la nomo "Tam").

TAM estas la sola signalo malfermita ĉe VHF en la urbo Merido.

Kalkulante diversajn proprajn televidajn programojn de novaĵelsendoj kaj aktualaj aferoj menciindas Noticias TAM, Con Bendetto, Cuarto poder, Expresión, La esquina caliente, Buenos días Mérida, Mérida es..., TAM en los toros, Montaña llano y folklore, Al son de los nuestro, Zona relax, Fútbol venezolano, Competencia, Sin exceso, Santa misa kaj Ventana de la vida; krome ĝi havis amuzajn seriojn kiel Ĉinaj Dramoj kaj animeo, inkluzive de la televidaj blokoj Cine Acción, Cine Aventura kaj Cine Infantil por la transdono de filmoj.

## Vidu ankaŭ 
* Merido (Venezuelo)
* Televido en Venezuelo

Kategorio:Kulturo de Venezuelo
Kategorio:Venezuela televido
Kategorio:Televidkanaloj
Kategorio:Merido (Venezuelo)
Miklós Takács

**Miklós Takács** [miklOŝ takAĉ], laŭ hungarlingve kutima nomordo kaj kun plena nomo **Takács Miklós Antal Imre** estis hungara arbaristo, politikisto. Lia nobela antaŭnomo estis *saári* [ŝAri].

Miklós Takács naskiĝis en 1906 en Szombathely, li mortis en 1967 en Szombathely.

## Biografio 
Miklós Takács komence li iĝis ĉarpentisto, poste li akiris arbaristan diplomon en arbarista akademio en Győr en 1935. Post la diplomo li estis arbarista inspektoro en  Csepreg, Kőszegpaty, Nemescsó kaj Pusztacsó. Tiutempe li ofte kontribuis en hungaraj kaj germanaj gazetoj pri arbaraj kaj abelbredadaj temoj. Dum la nazia erao (1944-1945) li laborigis judajn trudlaboristojn en la arbaroj, tial ili evitis la koncentrejojn. Depost la 2-a mondmilito li politikadis en la socialdemokrata partio. En 1948 li ne akceptis la komunistojn kune kun Anna Kéthly, tial ili estis eksigitaj el la partio. Dum la 1950-aj jaroj li estis plurfoje arestita kaj torturita. Dum la Hungara revolucio de 1956 li estis aktiva en la partio, tial poste li estis arestita, tamen ne longe. 

## Fontoj 
* http://dictionnaire.sensagent.leparisien.fr/miklos+takacs/en-en/
* https://hu.wikipedia.org/wiki/Tak%C3%A1cs_Mikl%C3%B3s_(politikus)

## Referencoj 
Kategorio:Hungaraj forstistoj
Kategorio:Hungaraj politikistoj
129550 Fukuten

'*129550 *Fukuten''''' estas  tre malgranda, malhela asteroido de la ĉefa asteroida zono malkovrita la  de la japana amatora astronomo Tomimaru Okuni elde la observatorio de Nan'jo (gubernio Jamagata, Japanio).

## Nomo 
Ĝi ŝuldas sian nomon al la *Fukushima Tenmon Doukoukai*, lokala astronomia asocio kun 40 anoj, kiu gastigis festojn de la steloj kaj fotografiajn ekspoziciojn por civitanoj de Fukuŝima de ties fondo en 1968.

## Eksteraj ligiloj 
* 
* 
* 

Kategorio:Asteroidoj de la ĉefa zono
Kategorio:Malkovrita de Tomimaru Okuni
Kategorio:Astronomiaj objektoj malkovritaj en 1996
Air liquide

**Air liquide**, antaŭe ''L'Air liquide'', signife "Likva aero", estas franca industria grupo de internacia amplekso, specialiĝanta pri industriaj gasoj, do gasoj por industrio, sano, la medio kaj esplorado. Ĝi ĉeestas en okdek landoj tra la mondo kaj servas pli ol 3,6 milionojn da klientoj kaj pacientoj. La grupo Air Liquide estas listigita en la Pariza Borso kaj estas inkluzivita en la konsisto de la indekso CAC 40, la Euro Stoxx 50 kaj la FTSE4Good.

## Referencoj 
## Eksteraj ligiloj 
* 

Kategorio:Gasoj
Kategorio:Francaj firmaoj
Konsekvenco

eta|Historia leciono pri kaŭzeco kaj konsekvencoj sen jarnumeroj
En logiko, la **logika konsekvenco** estas la rilato inter la premisoj kaj la konkludo de argumento dedukte valida.​ La rilato de logika konsekvenco estas ŝlosila koncepto de la logiko.​ Du trajtoj ĝenerale akceptitaj de la rilato kun la logika konsekvenco estas, ke tiu estas «necesa» kaj «formala».​

En PIV konsekvenco estas "Tio, kio logike sekvas el starigita principo" kaj "Logika aŭ racia interligiteco inter faktoj aŭ ideoj".

## Notoj 
Kategorio:Konceptoj en logiko
Kalvinana preĝejo (Biatorbágy)

La **Kalvinana preĝejo** estas religia monumento historia ekde 2004 en urbo Biatorbágy (Hungario).

## Historio 
La unua mencio pri kalvinanoj okazis en iam vilaĝo Bia en 1626. (En la alia vilaĝo Torbágy katolikoj vivis.) En 1710 kalvinana kirko estis konstruita, en 1811 la apuda paroĥo bruldetruiĝis. En 1870 la preĝejo estis trakonstruita kaj pligrandigita, sed similaj laboroj okazis ankaŭ en aliaj tempoj, sed pri tio mankas datenoj. Ŝajnas, la orgeno alvenis en 1880. Ŝtormo detruis la preĝejturon en 1924. Nova paroĥejo estis konstruita en 2003, nova kunvena domo en 2005, poste mem la kirko estis plene renovigita. Intertempe en urboparto Torbágy estas kalvinana grupo, sed ili ne atingas la nivelon paroĥo.

## Konstruaĵo 
La kirko situas sola en korto, la fasado estas simetria. Meze la turo nur iomete reliefas kaj estas oklatera. La ĉefenirejo funkcias tra la turo, sed estas 2 enirejoj ankaŭ en aliaj lokoj. Super la ĉefenirejo estas duobla fenestro, apud la enirejo ambaŭflanke po unu altaj kaj mallarĝaj fenestroj. La navo finiĝas en plurlatera absido. 

## Fontoj 
* hungare kun fotoj
* hungare kun foto
* hungare kun foto
* http://www.szeporszag.hu/Biai+reform%C3%A1tus+templom+-+Biatorb%C3%A1gy.latnivalo 

Bia Reformed church, back. - Bia, Biatorbágy, Pest County, Hungary.jpg|Absido
Bia Reformed church, Community house. - Bia, Biatorbágy, Pest County, Hungary.jpg|Nova kunvena domo
Biai Református templom, emlékkő. - Pest megye, Biatorbágy.jpg|Memorŝtono

Biatorbágy
Biatorbágy
Koronelo

eta|Coronella austriaca
eta|Habitato de la Coronella austriaca
**Koronelo** (*Coronella*) estas senvenena serpento el la familio de kolubredoj. Ĝi havas glatajn senkilajn skvamojn. Estas tri specioj el kiuj du aperas en Eŭropo kaj Azio kaj unu estas endemia en Hindio.

La nomo de ĉi tiu genro, *Coronella*, estas la diminutivo de la latina *corona*, tio estas "malgranda krono", rilate al la makulo havanta ĉi tiun formon sur la malantaŭo de ilia kapo.

## Specioj 
* *Coronella austriaca* (Laurenti, 1768)
* *Coronella brachyura* (Günther, 1866)
* *Coronella girondica* (Daudin, 1803)

Kategorio:Serpentoj
Kategorio:Kolubredoj
Thales Group

**Thales Group** estas elektronika grupo specialiĝinta pri aerspaca, defenda, sekureca kaj tera transporto, kies ĉefsidejo estas en la distrikto La Défense de Parizo.

Listigita en la pariza borso, ĉeestanta en 80 landoj kaj dunganta 80.000 dungitojn ekde la 2a de aprilo 2019, Taleso estas unu el la mondaj gvidantoj en ekipaĵoj por aeronaŭtiko, spaco, defendo, sekureco kaj transportmanieroj.

## Referencoj 
## Eksteraj ligiloj 
* 

Kategorio:Francaj firmaoj
Kategorio:Produktantaj firmaoj
Lajos Tamás (agronomo)

**Lajos Tamás** [lajoŝ tamAŝ], laŭ hungarlingve kutima nomordo **Tamás Lajos** estas rumania hungara agronomo.

Lajos Tamás naskiĝis la  en Borșa (Cluj) (Rumanio).
 
## Biografio 
Lajos Tamás apartenis al la hungara minoritato en Rumanio, en Transilvanio. Li maturiĝis en gimnazio de Dej, poste li akiris agronomian diplomon en agrikultura altlernejo en Cluj, poste li doktoriĝis en la sama loko en 1953. Li laboris en kelkaj lokoj, tamen inter 1962 kaj 1986 li estis esploristo en agrikultura stacio de Târgu Mureș. Li okupiĝis pri produktado de sukerbetoj, poste li pensiuliĝis en 1986. Li kontribuis rumane kaj hungare. En 2001 li ricevis eksteran membrecon de Hungara Scienca Akademio.

## Elektitaj kontribuoj 
* *Combaterea buruienilor la principalele culturi agricole pe cale chimică şi mecanică* (kunaŭtoro, 1968)
* *A burgonya növényápolása* (disertaĵo, 1973) 
* *Takarmánynövények termesztése* (kunaŭtoro, 1981)

## Fontoj 
* hungarlingva biografio 

## Referencoj 
Kategorio:Hungaraj agronomoj
Kategorio:Rumanaj agronomoj
Kategorio:Transilvaniaj hungaroj
129555 Armazones

'*129555 *Armazones''''' estas  asteroido de la ĉefa asteroida zono, proksima deµla orbita resonanco 1:2 kun Marso.

## Malkovro 
Ĝi estis malkovrita la  de la itala amatora astronomo Vincenzo Silvano Casulli elde la Observatorio Colleverde di Guidonia en Colleverde, parto de Guidonia Montecelio (Italio).

## Nomo 
Ĝi ŝuldas sian nomon al Cerro Armazones, monto de Ĉilio. La konsilantaro de la Eŭropa suda observatorio elektis tiun monton kiel situejo por la planita Eŭropa Ekstreme Granda Teleskopo pro ties bonegaj kondiĉoj por optika astronomio.

## Notoj kaj referencoj 
## Eksteraj ligiloj 
* 
* 
* 

Kategorio:Asteroidoj de la ĉefa zono
Kategorio:Malkovrita de Vincenzo Silvano Casulli
Kategorio:Astronomiaj objektoj malkovritaj en 1996
(129583) 1997 SV14

**(129583) 1997 SV14** estas troja asteroido de Jupitero, malkovrita la 28-an de septembro 1997 en la kadro de la astronomia kampanjo *Spacewatch* elde la Nacia Observatorio de Kitt Peak proksime de Tucson (Usono).

Ĝi orbitas ĉe la punkto de Lagrange L4 de la sistemo Suno-Jupitero, do estas ano de la tiel nomata «Greka Tendaro».

## Notoj kaj referencoj 
## Eksteraj ligiloj
* 
* 
* 

Kategorio:Trojaj asteroidoj
Kategorio:Malkovrita de Spacewatch
Kategorio:Astronomiaj objektoj malkovritaj en 1997
Palaco de Kulturo de la Naciecoj

250px|eta|Palaco de Kulturo de la Naciecoj en 2020
250px|eta|Palaco de Kulturo de la Naciecoj en 1959
La **Kultura Palaco de la Naciecoj** () en Pekino estis konstruita en 1959 kiel unu el la "Dek Grandaj Konstruaĵoj" (十大 建筑 Shí Dà Jiànzhù) de Pekino, sur bazo projektita de arkitekto Zhang Bo.

La konstruaĵo estis konstruita laŭ la stilo de socialisma klasikismo kun tradiciaj ĉinaj motivoj por la 10-a datreveno de la fondo de la Ĉina Popola Respubliko. Ĝi havas muzeon (50 000 ekspoziciaĵoj, konstanta ekspozicio pri la materia kulturo de la  de Ĉinio), bibliotekon (600 000 volumoj), teatron kaj hotelon.

La areo de konstruaĵoj estas 32 000 kvadrataj metroj. La ĉefa konstruaĵo havas 13 etaĝojn kaj altas 67 metrojn. La fasado de la konstruaĵo estas blanka kaj la konstruaĵo havas tradician ĉin-stilan tegmenton kun bluaj vitraj tegoloj.

La enirejo estas ornamita per la ĉinaj vortoj "团結" (tuánjié: "solidareco") kaj "进步" (jìnbù: "progreso").

Kategorio:Vizitindaĵoj en Pekino
Kategorio:Konstruaĵoj en Pekino
Kategorio:Kulturo de Ĉinio
Kategorio:Bibliotekoj
Klaus von Klitzing

**Klaus von KLITZING** (naskiĝis la 28-an de junio 1943 en Środa) estas germana fizikisto, konata pro eltrovo de la integrala kvantuma Hall-efiko. Pro tio li ricevis la Nobel-premion pri fiziko en 1985.

## Referencoj 
Kategorio:Membroj de la Papa Akademio de la Sciencoj
Kategorio:Germanaj fizikistoj
Kategorio:Nobel-premiitoj pri fiziko
Kategorio:Studentoj de la universitato de Würzburg
(129558) 1996 XQ8

**(129558) 1996 XQ8** estas marsrenkonta asteroido malkovrita la  en la kadro de la kampanjo *Spacewatch* elde la Nacia Observatorio de Kitt Peak proksime de Tucson (Arizono, Usono).

## Orbito 
Ĝia discentra orbito ekstere tanĝas tiun de Marso sed pro sia granda orbita klineco ĝi restas iom malproksima de tiu ĉi planedo. Ĝia marsa MOID estas 0,29417 astronomia unuo, tie estas 44,007 milionoj da km.

## Eksteraj ligiloj
* 
* 
* 

Kategorio:Marsrenkontaj asteroidoj
Kategorio:Malkovrita de Spacewatch
Kategorio:Astronomiaj objektoj malkovritaj en 1996
Herbert Kroemer

**Herbert KROEMER** (25-an de aŭgusto de 1928) estas Instruisto de Elektra inĝenierarto kaj komputado en la Universitato de Kalifornio, en Santa Barbara; li ricevis doktorigon pri teoria fiziko en 1952 de la Universitato de Göttingen, Germanio.

En 2000, li kaj Ĵores Alfjorov estis premiitaj ĉiu kun kvarona parto de Nobel-premio pri fiziko por "disvolviĝo de heterostrukturoj por duonkonduktivaj de alta rapido kaj optikelektroniko".

## Referencoj 
Kategorio:Nobel-premiitoj pri fiziko
Kategorio:Usonaj Nobel-premiitoj
Kategorio:Usonaj fizikistoj
Kategorio:Germanaj fizikistoj
Kategorio:Membroj de la Usona Nacia Akademio de Sciencoj
129561 Chuhachi

'*129561 *Chuhachi'''* estas tre malgranda, malhela asteroido de la ĉefa asteroida zono malkovrita la  de la japana astronomo Akimasa Nakamura elde la Observatorio Kuma Kogen en Kuma, Japanio.

## Nomo 
Ĝi estis nomita en memoro de la japana memlerninta aeronaŭtika inĝeniero Ninomiya Chuhachi (japane : 二宮忠八, *Ninomiya Chūhachi'', 1866–1936), la unua japano, kiu flugigis helicpelatan modelon de aviadilo en 1891. Homloĝata aviadilo, ne finita en la epoko de Ninomiya pro manko de mono, estis konstruita en 1991 laŭ lia projektado, kaj ĝi flugis sur 50 metroj.

## Eksteraj ligiloj 
* 
* 
* 

Kategorio:Asteroidoj de la ĉefa zono
Kategorio:Malkovrita de Akimasa Nakamura
Kategorio:Astronomiaj objektoj malkovritaj en 1997
Sanofi

**Sanofi** estas franca internacia kompanio kies agadoj inkluzivas farmacion (precipe preskribaj medikamentoj en la kampoj de diabeto, maloftaj malsanoj, multnombra sklerozo kaj onkologio kaj sanigaj produktoj) kaj vakcinoj.

La ĉefa franca kompanio pri esplorado kaj disvolviĝo, Sanofi investis 5 894 miliardojn da eŭroj en ĉi tiu areo en 2018 (17,1% de vendoj).

## Referencoj 
## Eksteraj ligiloj 
* 

Kategorio:Francaj firmaoj
Susan Haack

**Susan HAACK** (Buckinghamshire (Anglio) 23-an de julio 1945 - Miamo (Usono) 10-an de marto 2026) estis profesoro de filozofio kaj juro en la Universitato de Miami en Usono. Ŝi verkis verkojn por diversaj filozofiaj fakoj, inter kiuj logiko, filozofio de lingvo, epistemologio kaj metafiziko. Ŝia pragmatismo derivas el tiu de Charles Sanders Peirce.

La plej grava kontribuo de Haack al filozofio estas ŝia teorio epistemologia, kiu estas klopodo eviti la logikajn problemojn de la pura fondismo (kiu povas rezulti en reveno al la infinito) kaj de la pura koherismo (kiu povas rezulti en cirkleco). Ŝi ilustras tiun ideon per la metaforo de la krucvort-enigmo. Versio tre simpligita de tiu produkto jenas: trovi respondon el ŝlosilhelpo estas simila al fundamenta fonto (bazita sur evidento empiria).

## Kelkaj verkoj 
* Deviant Logic. *Cambridge University Press*, 1974.
* Haack, Susan; Kolenda, Konstantin (1977). "Two Fallibilists in Search of the Truth". Proceedings of the Aristotelian Society. 51 (Supplementary Volumes): 63–104. doi:10.1093/aristoteliansupp/51.1.63. JSTOR 4106816.
* Philosophy of Logics. *Cambridge University Press*, 1978.
* Evidence and Inquiry. Blackwell, 1993. Dua eldono, Prometheus Books 2009.
* Deviant Logic, Fuzzy Logic: Beyond the Formalism. Ĉikago: *University of Chicago Press*, 1996.
* "Vulgar Rortyism," The New Criterion 16, 1997.
* Manifesto of a Passionate Moderate: Unfashionable Essays. Ĉikago: *University of Chicago Press*, 1997.
* Defending Science – Within Reason: Between Scientism and Cynicism. Prometheus Books, 2003. ISBN 1-59102-117-0.
* "Trial and Error: The Supreme Court's Philosophy of Science". American Journal of Public Health, 2005.
* Pragmatism, Old and New (Robert Lane, asocia eldonisto). Prometheus Books, 2006.
* Putting Philosophy to Work: Inquiry and Its Place in Culture. Prometheus Books, 2008.
* Evidence Matters: Science, Proof and Truth in the Law. *Cambridge University Press*, 2014.

Kategorio:Usonaj filozofoj
Kategorio:Analizaj filozofoj
Kategorio:Filozofoj pri lingvo
Kategorio:Pragmatistoj
Kategorio:Lernantaro de la Universitato de Kembriĝo
Kategorio:Esploristoj de juro
Newton da Costa

**Newton Carneiro Affonso da Costa** (16-a de Septembro 1929 en Kuritibo, Brazilo 16-an de aprilo 2024) estis brazila matematikisto, logikisto, kaj filozofo. Li studis inĝenieradon kaj matematikon en la Federacia Universitato de Paranao en Kuritibo kaj la titolo de lia doktoriga disertacio en 1961 estis *Topologiaj spacoj kaj kontinuaj funkcioj*.

Li estis profesoro de la Federacia Universitato de Paranao, de la Universitato de San-Paŭlo, kaj de la Ŝtata Universitato de Campinas. Li estis ankaŭ vizitanta profesoro en institucioj de Aŭstralio, Francio, Usono, Pollando, Italio, Argentino, Meksiko kaj Peruo. Aktuale li estas vizitanta profesoro en la Departamento de Filozofio de la Federacia Universitato de Sankta Katarino.

Liaj verkoj, publikigitaj en pli ol 250 libroj, temas pri kampoj tiom diversaj kiom filozofio de la scienco, filozofio de la fiziko, teorioj de la vero, fundamentoj de la matematiko, ekonomiko, teorio de komputado kaj juro, inter aliaj fakoj.

## Verkoj 
* N.C.A. da Costa, Lógica Indutiva e Probabilidade. Hucitec-EdUSP, 2a. ed., São Paulo, 1993.
* N.C.A. da Costa, Logique Classique et Non-Classique. Paris, Masson, 1997.
* N.C.A. da Costa, O conhecimento científico. São Paulo, Discurso Editorial, 2a. Ed., 1999.
* N.C.A. da Costa and S. French, Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning. (Oxford Studies in Philosophy of Science), Oxford University Press, 2003.

## Notoj 
Kategorio:Brazilaj filozofoj
Kategorio:Brazilaj matematikistoj
Kategorio:Brazilaj profesoroj
Ringonatriko

eta|Ringonatriko
**Ringonatriko** (Natrix natrix) estas senvenena serpento el la familio Natrikenoj (Natricidae). La genro Natriko longtempe estas konsiderata kiel apartenanta al la familio de Kolubredoj (Colubridae). La ringonatriko inter 1826 kaj 1907 estis metata en la genro Tropidonotus, kaj la nomo *Tropidonotus natrix* ofte aperas en malnova literaturo.

La ringonatriko dankas sian nomon al la flavaj makuloj ambaŭflanke de la kolo, tuj malantaŭ la kapo, kiuj supre kelkfoje kunfluas kaj rememorigas ringon.

[eta|[Habitato (ekologio)|Habitato (ruĝe)]]

Kategorio:Serpentoj
Kategorio:Kolubredoj
Klasika logiko

**Klasika logiko** aŭ **normiga logiko** estas formala sistemo kiu sekvas la jenajn principojn:

* Principo de la tria ekskludita
* Principo de nekontraŭdiro
* Principo de eksplodo
* Monotoneco de la implico

La plej komunaj ekzemploj de klasikaj logikoj estas la propozicia logiko, la unuaranga logiko (aŭ Predikatkalkulo de unua ordo) kaj la duaranga logiko (aŭ de supera ordo).

La klasikaj logikoj estas la formalaj sistemoj plej studitaj kaj uzitaj el ĉiuj.

## Notoj 
## Bibliografio 
* Graham Sacerdote, Una Introducción a Lógica No Clásica: De Si a Es, 2a eldono, TAZA, 2008, ISBN 978-0-521-67026-5
* Warren Goldfard, "Deductive Lógica", 1a eldono, 2003, ISBN 0-87220-660-2

Kategorio:Logiko
Ravindra Kelekar

**Ravindra KELEKAR** [ravindra kelekaar; en la konkana: रविंद्र कॆळॆकार], (La , en Cuncolim, Portugala Barato - la , en Margao, Goao, Barato), konata kiel "Ravindrabab", estis barata verkisto, kiu verkis ĉefe en la konkana, kaj ankaŭ en la maratha kaj la hindia lingvoj. Li estis profunde influita de Gandhi kaj partoprenis en la Hinda Sendependiga Movado, kaj la sendependiga movado de Goao. Li ankaŭ estis aktivulo por la konkana lingvo, kaj kampanjis por la oficialigo de la konkana.eta|Ravindra KelekarLi verkis dekojn da libroj. Inter ili estis libroj pri la konkana lingvo; la premiita vojaĝlibro *Himaalajaant* (1976); konkanigo de la Mahabharato (1985, en du volumoj); kaj studo pri Gandhi (en la hindia, 1985). Li estis redaktoro de la revuoj *Meerg* (1953-55), *Gomantbharati* (1956-60), kaj dum pli ol du jardekoj li redaktis la revuon *Jaag* [ĝaag]. Li ricevis multajn beletrajn premiojn. En 2006 li iĝis la unua verkisto en la konkana kiu ricevis la premion Gjanpith.

## Referencoj 
Kategorio:Barataj verkistoj
Kategorio:Gjanpith-laŭreatoj
Johann Michael Heinze

[eta|Johann Michael Heinze, portreto laŭ [Johann Ernst Heinsius, 1790, en la Gleim-domo en Halberstadt]]
**Johann Michael HEINZE** (naskiĝinta la  en Bad Langensalza, mortinta la  en Vajmaro) estis germana pedagogo, lernejestro kaj klasika filologo.

## Vivo 
Heinze, kiu ankaŭ membris ĉe la lingvosocieto *Deutsche Gesellschaft* en Göttingen, iĝis en 1749 vicrektoro de Michaelis-lernejo (Lüneburg) kaj ekde 1753 ĝia ĉefo. En 1770 oni vokis lin Vajmaron je la Vilhelmo-Ernesto-gimnazio. La postenon tiun li havis ĝis pensiuliĝo. Ambaŭloke li skribis plurajn pedagogiajn skribaĵojn. Tamen tiutempe pli furoris tradukoj liaj de verkoj de Cicerono, Seneko kaj Demosteno.

Lia antologio latinlingva *Chrestomathia poetica* admiritis tre ankaŭ de la fama filologo kaj bibliotekisto Johann Matthias Gesner kaj ĝuis inter 1755 kaj 1787 tri eldonojn.

Friedrich Adolf von Heinze, medicinisto kaj urbestro, estis filo lia.

## Literaturo 
* Artikolo "Heinze, Johann Michael" de Karl Ernst Hermann Krause, ĉe: Allgemeine Deutsche Biographie, herausgegeben von der Historischen Kommission bei der Bayerischen Akademie der Wissenschaften, Band 11 (1880), p.&nbsp;664, (tie ĉi interrete)

Kategorio:Germanaj pedagogoj
Kategorio:Germanaj klasikaj filologoj
Kategorio:Tradukistoj
Kategorio:Estroj de Vilhelmo-Ernesto-gimnazio
Tempa logiko

La **tempa logiko** estas etendo de la modala logiko, kiu estas praktike uzata en sistemoj de reguloj, kie gravas la nocio de tempo. Ekzistas ia rilato kun aliaj variaĵoj de logiko, por ekzemplo, la modala logiko. Ties studo havas gravon en la informadiko ĝis aktuale.

Por ekzemplo, oni konsideru la frazon: "Mi malsatas"; kvankam ties signifo estas sendependa de la tempo, la valoro de vero aŭ falseco de tiu frazo povas varii pro la tempo en determinita sistemo kiu inkludas manĝagadojn; tial, depende de la sistemo, kelkajn fojojn ĝi estos vera kaj aliajn falsa, kvankam neniam estos vera kaj falsa samtempe.

La tempa logiko estis jam studita de Aristotelo; en kelkaj de liaj verkoj estas esprimoj kiuj montras ian analogion kun la tempa logiko de unua ordo; tiel aperas esprimoj kun ekzistokvantigiloj kaj universalaj kvantigiloj.

## Eksteraj ligiloj 
* 

Kategorio:Logiko
Doksasta logiko

La **doksasta logiko** (de la antikva greka δόξα, *doksa*, "kredo") estas modala logiko kiu temas pri la rezonado pri la kredoj. Tipe, doksasta logiko uzas la esprimon B_c p \, por signifi "la rezonanto *c* krdas, ke *p* estas vera", kaj la aro B_c \, referencas al kredaro de *c*.

Ekzistas kompleta paralelismo inter la rezonantoj kiuj kredas en propozicioj kaj la matematikaj sistemoj kiuj pruvas propoziciojn. Uzante la doksastan logikon, oni povas esprimi la episteman ekvivalenton de la teoremo de la nekompleteco de Gödel, same kiel la teoremon de Löb, kaj aliajn metamatematikajn rezultojn.

Oni atentas pri tre diversaj tipoj de rezonantoj, inter kiuj preciza, malpreciza, supozita, konsistanta, normala, pekuliara, regulara, refleksiva, stabila, nestabila, modesta, rara kaj timida.

## Notoj 
Kategorio:Kredo
Kategorio:Logiko
Kategorio:Sistemoj
Carlo Rubbia

**Carlo RUBBIA**, OMRI, (31-an de marto 1934) estas itala partikla fizikisto kaj inventisto kiu dividis la Nobel Premion en Fiziko en 1984 kun Simon van der Meer pro laboro gvidanta al la eltrovo de la W kaj Z partikloj ĉe CERN.

## Edukado 
Rubbia studis fizikon ĉe la Universitato de Pisa kaj Scuola Normale en Pisa. Li diplomiĝis pri kosmaj radiaj eksperimentoj en 1957 kun Marcello Conversi. Rubbia akiris sian italan doktorecan gradon (Laurea) en 1958 de la Universitato de Pisa.

## Referencoj 
Kategorio:Partiklaj fizikistoj
Kategorio:Nobel-premiitoj pri fiziko
Kategorio:Membroj de la Papa Akademio de la Sciencoj
Kategorio:Italaj fizikistoj
Kategorio:Eksperimentaj fizikistoj
Predikatkalkulo

**Logiko de la unua ordo**, nomata ankaŭ **predikatlogiko** aŭ **predikatkalkulo**, estas formala sistemo konstruita por studi la inferencon en *lingvo de la unua ordo*.​ La logikaj lingvoj de la unua ordo estas, siavice, formalaj lingvoj kun kvantoroj aplikataj al nur objektaj variabloj kaj kun predikatoj kaj funkcioj, kies argumentoj estas nur objektaj konstantoj aŭ objektaj variabloj.

La logiko de la unua ordo havas esprim-povon superan al tiu de la propozicia logiko.

Logiko de supera ordo estas formo de predikatkalkulo kiu estas distingata de la unuaranga logiko pere de aldonaj kvantigiloj (de supera ordo) kaj, foje, per pli forta semantiko.

## Notoj 
Kategorio:Logiko
Guntram A. Plangg

**Guntram Adolf PLANGG** (naskiĝinta la  en Bürs; mortinta la 25-an de decembro 2024 en Rum) estis aŭstra romanisto, specialisto pri la romanĉa lingvo, loknomscienculo kaj lingvisto.

## Vivo kaj agado 
Plangg studis germanistikon, romanistikon kaj anglistikon en Innsbruck kaj Poitiers. Doktoriĝo lia estis en 1957 en Innsbruck ĉe Alwin Kuhn pri romanĉa loknomscienca temo koncerne Vorarlbergon.. Inter 1958 kaj 1960 li lektoris en Katanio, poste asistentis ĉe la Instituto pri romanistiko en Innsbruck. Habilitiĝo sukcesis samloke en 1969 post defendo de la fonologia disertacio *Sprachgestalt als Folge und Fügung. Zur Phonologie des Dolomitenladinischen (Badiot) und seiner Nachbarn* (Tübingen 1972). En 1970/71 li gastprofesoris ĉe Ŝtata Universitato de Ohio en Columbus (ĉe Hans-Erich Keller). Inter 1972 ĝis emeritiĝo en 2001 li fruktodone agadis en la sekcio lingvistika ene de la katedro pri latinidaj lingvoj *Romanistik I* ĉe la insbruka universitato.

Li daŭre engaĝiĝis en la publikigado de toponimiaj fakverkoj.

## Honoroj kaj oficoj publikaj 
* 1976: nomumiĝo ''Officier dans l'Ordre des Palmes Académiques*
* 1978: komisionano pri dialektoscienco kaj nompriesplorado de la Aŭstra akademio de la Sciencoj
* 1983-2001: estro de la ekzamenkomisiono pri la gimnaziinstruadrajteco
* 1986: prezidanto de la kulturkomitato de la instituto ladinia *Majon di Fa-scegn* (Fassa-valo)
* 1992: meritkrucaljuĝo *Österreichisches Ehrenkreuz für Wissenschaft und Kunst I. Klasse*
* 1994: membro de *Società di Studi Trentini di Scienze Storiche*
* 1995: koresponda membro ĉe *Accademia Roveretana degli Agiati di Scienze*
* 1996-98: vicprezidanteco ĉe *Akademio de germanaj-italaj studoj* en Meran

## Verkoj 
* (eld. kune kun Eberhard Tiefenthaler) *Weltoffene Romanistik. Festschrift Alwin Kuhn zum 60. Geburtstag*, Innsbruck 1963
* (kompletigo kaj prilaboro) Antone Pizzinini, *Parores ladines. Vokabulare badiot-tudësk*, Innsbruck 1966
* (eld. kune kun Johannes Kramer) *Verbum Romanicum. Festschrift für Maria Iliescu*, Hamburg 1993
* (kune kun Paul Videsott) *Ennebergisches Wörterbuch/Vocabolar Mareo. Ennebergisch-deutsch, mit einem rückläufigen Wörterbuch und einem deutsch-ennebergischen Index*, Innsbruck 1998
* (eld. kune kun Eugen Thurnher) *Sprache und Dichtung in Vorderösterreich. Elsass, Schweiz, Schwaben, Vorarlberg, Tirol. Ein Symposium für Achim Masser zum 65. Geburtstag am 12. Mai 1998*, Innsbruck 2000
* (eld. kune kun Maria Iliescu und Paul Videsott) *Die vielfältige Romania. Dialekt – Sprache – Überdachungssprache. Gedenkschrift für Heinrich Schmid (1921–1999)*, Vich 2001

## Referencoj 
## Literaturo 
* *Ladinia et Romania. Festschrift für Guntram A. Plangg zum 65. Geburtstag'', eldonis Maria Iliescu, Werner Marxgut, Erich Mayr, Heidi Siller-Runggaldier kaj Lotte Zörner, Vich 1998
* Paul Videsott: Ethistorio de la katedro pri romanistiko en Innsbruck 

## Eksteraj ligiloj 
* 
* Etbiografio sur la altlernejaj paĝoj insbrukaj  (kun foto)

Kategorio:Aŭstraj filologoj
Kategorio:Naskiĝintoj en 1933
Kategorio:Universitato de Innsbruck
Kategorio:Romanĉa lingvo
Kategorio:Loknomscienco
Joseph Hooton Taylor Jr.

**Joseph Hooton TAYLOR Jr**. (29-an de marto, 1941) estas usona astrofizikisto kaj li ricevis la Nobel-premion pri fiziko kune kun Russell Alan Hulse pro ilia eltrovo de "nova tipo de pulsaro, eltrovo kiu malfermis supre novajn eblecojn por la studo de gravito."

En 1974, Hulse kaj Taylor eltrovis la unuan pulsaron en binara sistemo, nomita PSR B1913+16 post kiam ties poziciigo en la ĉielo, dum enketo por pulsaroj ĉe la Observatorio Arecibo en Porto-Riko. Kvankam ĝi ne estis komprenita ĉe la tempo, tio ĉi estis ankaŭ la unua de kio estas nun nomitaj brokantaĵaj pulsaroj: Neŭtronaj steloj kiu estis turnaditaj ĝis rapidaj turniĝadaj indicoj de la translokigo de amaso al iliaj surfacoj de kunula stelo.

En 1992 li estis premiita la Wolf-Premio pri Fiziko. 

## Referencoj 
Kategorio:Studentoj de universitato Harvard
Kategorio:Membroj de la Usona Akademio de Artoj kaj Sciencoj
Kategorio:Radioamatoroj
Kategorio:Wolf-premiitoj pri fiziko
Kategorio:Nobel-premiitoj pri fiziko
Kategorio:Usonaj kvakeroj
Kategorio:Usonaj Nobel-premiitoj
Kategorio:Usonaj astronomoj
Kategorio:Membroj de la Usona Nacia Akademio de Sciencoj
Kategorio:Relativecoteoriistoj
129564 Christy

'*129564 *Christy''''' estas  asteroido de la ĉefa asteroida zono, en orbita resonanco 3:7 kun Marso. 

## Malkovro 
Ĝi estis malkovrita la  de la usona astronomo Marc W. Buie elde la Stacio Anderson Mesa de la Observatorio Lowell, proksime de Flagstaff (Arizono, Usono)..

## Nomo 
Ĝia nomo honoras la usonan astronomon James Walter Christy, anon dum multenombraj jaroj de la personaro de la Mararmea Observatorio de Usono, malkovrinton de Karono, la plej granda natura satelito de 134340 Plutono. Apenaŭ tridek jaroj antaŭ, Jim rimarkis tiun, kiun multenombraj aliaj malsukcesis rimarki kaj malŝlosis multenombrajn pordojn al la studo pri la Plutona sistemo.

## Eksteraj ligiloj 
* 
* 
* 

Kategorio:Asteroidoj de la ĉefa zono
Kategorio:Malkovrita de Marc W. Buie
Kategorio:Astronomiaj objektoj malkovritaj en 1997
Komputa logiko

La **komputa logiko** estas la matematika logiko aplikita al la kunteksto de la komputoscienco. Ties uzo estas fundamenta en variaj niveloj: en la komputaj cirkvitoj, en la logika programaro kaj en la analizo kaj optimigo (de tempaj kaj spacaj rimedoj) de algoritmoj.

La logiko etendiĝas al la kerno de la informadiko dum ĝi aperas kiel fako: nome la verko de Alan Turing pri la *Entscheidungsproblem* (decidproblemo) sekve de la laboro de Kurt Gödel pri nekompletaj teoremoj. La nocio de la komputilo de ĝenerala uzado kiu aperis el tiu laboro estis ege grava por la desegnistoj de la informadika maŝinaro en la 1940-aj jaroj.

En la 1950-aj kaj 1960-aj jaroj, esploroj antaŭdiris, ke, kiam la homa sciaro povu esprimi sin uzante la logikon kun matematikaj notacioj, estus eble krei maŝinon kapablan rezoni nome artefarita intelekto. Tio rezultis pli malfacila ol esperita pro la komplekseco de la homa rezonado. En la logiko de programaro, programo konsistas en kolekto de aksiomoj kaj reguloj. La sistemoj de logika programaro (kiel Prolog) kalkulas la konsekvencojn de la aksiomoj kaj de la reguloj organizitaj por respondi konsulton.

Aktuale, la logiko estas etende aplikita en la kampoj de artefarita intelekto kaj de sciencoj de komputiko, kaj tiuj kampoj havigas riĉan fonton de problemoj en la formala kaj neformala logikoj. La teorio de la argumentado estas bona ekzemplo de kiel la logiko estas aplikata al la artefarita intelekto.

Kategorio:Logiko
Kategorio:Teoria komputiko
Probableca logiko

**Probableca logiko** estas maniero rezonadi kiu celas kombini la kapablon plibonigi la necertecon kiun havas la teorio de probableco kun la kapablo ekspluati la strukturon de la formala argumentado kiun havas la dedukta logiko. La rezulto estas formalismo pli riĉa kaj pli esprimpova kun ampleksa gamo de eblaj areoj de aplikado. La probableca logiko estas natura etendo de la vertabeloj de la tradicia logiko, sed diference, la rezultoj kiujn ĝi difinas estas derivataj de esprimoj de probableco. Unu de la problemoj kun la probablecaj logikoj estas ke ili tendencas multobligi la komputan kompleksecon de siaj probablecaj kaj logikaj komponantoj. Alia problemo estas la eblo de rezultoj kontraŭintuiciaj, kiel tiuj kiuj aperas en la subjektiva logiko bazita sur pruvaro kiu faras uzon de la teorio Dempster-Shafer. La neceso barakti kontraŭ ampleksa vario de kuntekstoj kaj problemoj rezultis en multaj diversaj proponoj.

## Eblaj areoj de aplikado 
* Argumento
* Artefarita intelekto
* Biokomputiko
* Filozofio de la scienco
* Ludoteorio
* Psikologio
* Statistiko

Kategorio:Logiko
Teatro Nissay

La **Teatro Nissay** (日 生 劇場, Nissei Gekijō ) estas teatro en Ĉijoda, Tokio, Japanio. Ĝi situas en la konstruaĵo Nissay Hibiya, projektita de la arkitekto Togo Murano . Ĝi estis kompletigita en 1963 kaj malfermiĝis per prezentado de Germana Operejo Berlino.
Ĝi havas 1330 sidlokojn kaj programas diversajn spektaklojn de muzikaloj kaj operoj .

## Eksteraj ligiloj 
Kategorio:Konstruaĵoj en Tokio
Kategorio:Kvartalo Ĉijoda
Logiko de supera ordo

En matematiko kaj logiko, **logiko de supera ordo** estas formo de predikatkalkulo distingata de la predikata logiko de la unua ordo pere de aldonaj kvantigiloj kaj, fojfoje, per pli forta semantiko. Logiko de supera ordo kun sia norma semantiko estas pli esprimkapabla, sed ĝiaj model-teoriaj ecoj estas pli kompleksaj ol tiuj de la unuaorda logiko.

La anglalingva termino por *logiko de supera ordo* nome "higher-order logic", mallongigita kiel HOL, estas ofte uzata por referenci simplan predikatkalkulon de supera ordo. Tie "simpla" indikas, ke subkuŝa teorio de tipoj estas la teorio de simplaj tipoj, nomata ankaŭ simpla teorio de tipoj. Leon Chwistek kaj Frank P. Ramsey proponis tion kiel simpligon de la komplika kaj aspra branĉigita teorio de tipoj specifita en la *Principia Mathematica* de Alfred North Whitehead kaj Bertrand Russell. Nuntempe simplaj tipoj estas rimedo por ekskludi plurformajn kaj dependajn tipojn.

## Notoj 
## Bibliografio 
* Andrews, Peter B. (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 2a eld, Kluwer Academic Publishers, ISBN 1-4020-0763-9
* Stewart Shapiro, 1991, "Foundations Without Foundationalism: A Case for Second-Order Logic". Oxford University Press., ISBN 0-19-825029-0
* Stewart Shapiro, 2001, "Classical Logic II: Higher Order Logic," en Lou Goble, eld., The Blackwell Guide to Philosophical Logic. Blackwell, ISBN 0-631-20693-0
* Lambek, J. kaj Scott, P. J., 1986. Introduction to Higher Order Categorical Logic, Cambridge University Press, ISBN 0-521-35653-9
* Jacobs, Bart (1999). Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics 141. North Holland, Elsevier. ISBN 0-444-50170-3.
* Benzmüller, Christoph; Miller, Dale (2014). "Automation of Higher-Order Logic". In Gabbay, Dov M.; Siekmann, Jörg H.; Woods, John (eld.). Handbook of the History of Logic, Volume 9: Computational Logic. Elsevier. ISBN 978-0-08-093067-1.

Kategorio:Logiko
Paul Grice

**Herbert Paul GRICE** (13-a de Marto 1913, Birmingham, Anglio - 28-a de Aŭgusto 1988, Berkeley, Kalifornio), estis brita filozofo, konata ĉefe pro siaj kontribuoj al la filozofio de lingvo en la fakoj de la teorio de la signifo kaj de la komunikado. Lia laboro, kompilita en lia verko *Studies in the Way of Words*, estis ege grava en filozofio kaj lingva pragmatiko, kun implicoj ankaŭ en la medio de la kogna scienco ĝenerale. 

Li estis profesoro en la Universitato de Oksfordo ĝis 1967, kaj poste en la Universitato de Kalifornio en Berkeley, Usono, kie li mortis. La laboro de Grice konstituas unu de la fundamentoj en la moderna alproksimiĝo al la pragmatiko. Oni principe konsideras liajn kontribuojn al la studo de la signifo ĉe la parolanto kaj de la lingva signifo (semantiko), same kiel la interrilatoj inter ambaŭ aferoj. 

## Verkoj
* Grice (1941). "Personal Identity", Mind 50, 330–350; reprinted in J. Perry (ed.), Personal Identity, University of California Press, Berkeley, 1975, pp. 73–95.
* Grice, H.P. (1957). "Meaning", Philosophical Review, 66(3). Reprinted as ch.14 of Grice 1989, pp. 213–223.
* Grice (1961). "The Causal Theory of Perception", Proceedings of the Aristotelian Society 35 (supl.), 121-52. 
* Grice, H.P. (1968). "Utterer's Meaning, Sentence Meaning, and Word Meaning," Foundations of Language, 4. 
* Grice (1969). "Vacuous Names", in D. Davidson and J. Hintikka (eld.), Words and Objections, D. Reidel, Dordrecht, pp. 118–145.
* Grice, H.P. (1969). "Utterer's Meaning and Intentions", The Philosophical Review, 78. 
* Grice, H.P. (1971). "Intention and Uncertainty", Proceedings of the British Academy, pp. 263–279.
* Grice, H.P. (1975). "Method in Philosophical Psychology: From the Banal to the Bizarre", Proceedings and Addresses of the American Philosophical Association (1975), pp. 23–53.
* Grice, H.P. (1975). "Logic and Conversation," Syntax and Semantics, vol. 3 eldonita de P. Cole kaj J. Morgan, Academic Press. 
* Grice, H.P. (1978). "Further Notes on Logic and Conversation," Syntax and Semantics, vol. 9 eldonita de P. Cole, Academic Press.
* Grice (1981). "Presupposition and Conversational Implicature", en P. Cole (eld.), Radical Pragmatics, Academic Press, New York, pp. 183–198. 
* Grice, H.P. (1989). Studies in the Way of Words. Harvard University Press.
* Grice, H.P. (1991). The Conception of Value. Oxford University Press. (His 1983 Carus Lectures.)
* Grice, H.P., (2001). Aspects of Reason (Richard Warner, eld.). Oxford University Press.

## Bibliografio
* Siobhan Chapman: Paul Grice: Philosopher and Linguist. Houndmills: Palgrave Macmillan, 2005.
* Wayne Davis: Implicature: Intention, Convention, and Principle in the Failure of Gricean Theory. Cambridge: Cambridge University Press, 1998.

Kategorio:Analizaj filozofoj
Kategorio:Britaj filozofoj
Kategorio:Pragmatiko
Kvantuma logiko

En kvantuma mekaniko, **kvantuma logiko** estas serio de reguloj por rezonado pri propozicioj kiuj sekvas la principojn de kvantuma teorio. Tiu esplorareo kaj ties nomo originiĝis en artikolo de 1936 de Garrett Birkhoff kaj John von Neumann, kiuj estis klopodante rekongruigi la ŝajnan nekonsistecon de la klasika logiko kun la fakto rilataj al la mezurado de komplementaj variabloj en kvantuma mekaniko, tiel kiel pozicio kaj momanto.

Kvantuma logiko povas esti formulata ĉu kiel modifita versio de propozicia logiko aŭ kiel nekomutativa kaj ne-asocia plurvalora logiko.

Kvantuma logiko estis proponita kiel la ĝusta logiko por la propozicia inferenco ĝenerale, plej rimarkinde fare de la filozofo Hilary Putnam, almenaŭ je unu momento de sia kariero. Tiu tezo estis grava ingredienco en la artikolo de Putnam de 1968 nome "Is Logic Empirical?" en kiu li analizis la epistemologian statuson de la reguloj de propozicia logiko. Putnam atribuas la ideon ke anomalioj asociaj al kvantumaj mezuroj originitaj kun anomalioj en la logiko de fiziko mem al la fizikisto David Finkelstein. Tamen, tiu ideo estis en la aero dum iom da tempo kaj estis revivigita kelkajn jarojn pli frue fare de George Mackey per sia verko pri grupa prezento kaj simetrio.

## Notoj 
Kategorio:Logiko
Kategorio:Matematika logiko
Kategorio:Kvantummekaniko
Loos-lez-Lille (stacidomo)

**Loos-lez-Lille** estas franca stacidomo sur linio  - , situanta en  Loos, en departemento Nord, regiono Hauts-de-France.

Temas pri stacidomo de Société nationale des chemins de fer français (SNCF), priservata de trajnoj  Hauts-de-France.

Ĝi situas ĉe kilometra punkto (PK)  de la linio Fives - Abbeville (289000).

## Vidu ankaŭ 
* Loos

## Eksteraj ligiloj 
* 
* 

Kategorio:Stacidomoj de Francio
Kategorio:Fervojaj stacioj en Nord
Kategorio:Loos
Plurvalora logiko

**Plurvalora logiko** estas sistemo de logiko kiu malakceptas la principon de la tria ekskludita de la duvaloraj logikoj kaj akceptas pli da veraj valoroj ol la tradiciaj vera kaj falsa.​ Diversaj plurvaloraj logikoj povas akcepti diferencajn kvantojn de veraj valoroj: el tri, ĝis infinito (ajna reela nombro inter 0 kaj 1).

La plurvaloraj logikoj disvastiĝis speciale el la laboroj de la polaj filozofoj Jan Łukasiewicz kaj Emil Post kaj el iliaj rilatoj kun la kvantuma fiziko, sed estis eksponitaj jam antaŭe, kun diferencaj fokusoj, por Hegel, Hugh MacColl, Charles Sanders Peirce kaj Nikolai A. Vasiliev. Stephen Kleene prilaboris la vertabelojn por sistemo de trivalora logiko. Ekzemplo por ilustri la trivaloron en fiziko estis la paradokso de la kato de Schrödinger.

## Notoj 
## Bibliografio 
* Gödel, K. (1932): Zum intuitionistischen Aussagenkalkül, Anzeiger Akademie der Wissenschaften Wien, Math.-naturwiss. Klasse 69, 65-66.
* Gottwald, S. (2001) "A Treatise on Many-Valued Logics"; *Studies in Logic and Computation*, vol. 9, Research Studies Press Ltd., Baldock.
* Hegel, G. (1812- 1816) "La Ciencia de la Lógica"; *Filosofía de la Lógica y la naturaleza*, traduko de E. Ovejero kaj Maury. Buenos Aires: Editorial Claridad, 1969, p.p. 110-114.
* Kleene, S.C. (1938) "On notation for ordinal numbers"; *Journal Symbolic Logic* 3: 150-155.
* Kripke, S.A. (1975) "Outline of a theory of truth"; *Journal of Philosophy* 72: 690-716.
* Łukasiewicz, J. (1920) "O logice trojwartosciowej"; *Ruch Filozoficny* 5: 170-171.
* Post, E. L. (1920) "Determination of all closed systems of truth tables"; *Bulletin American Mathematical Society* 26: 437.
:"Introduction to a general theory of elementary propositions"; *American Journal Mathematics* 43: 163-185.
* Velarde Lombraña, Julián (1989) *Historia de la lógica*. Universidad de Oviedo, p.p. 409-417. ISBN 84-7468-186-3

Kategorio:Logiko