- barcan
- бархан (серповидная песчаная дюна), материковая дюна
compound barcan многосложный бархан
shingle barcan галечный бархан
snow barcan снежный бархан
submarine barcan подводный бархан
English-Russian dictionary of geology. 2011.
English-Russian dictionary of geology. 2011.
Barcan formula — In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulae) (i) syntactically state principles or interchange between quantifiers and modalities; (ii) semantically state a… … Wikipedia
Barcan formula — A fundamental thesis in quantified modal logic, first isolated by the 20th century American philosopher Ruth Barcan Marcus. It was originally the schema that ⋄(∃x )A x strictly implies (∃x )⋄Ax (informally: if possibly something is A, then… … Philosophy dictionary
Ruth Barcan Marcus — (* 2. August 1921 in der Bronx, New York)[1] ist eine US amerikanische Philosophin und Logikerin. Sie ist eine der Begründerinnen der quantifizierten Modallogik (modale Prädikatenlogik) und der Theorie der starren Desigantion ( direct reference ) … Deutsch Wikipedia
Ruth Barcan Marcus — (born 1921 in Bronx, New York) is the American philosopher and logician after whom the Barcan formula is named. She is a pioneering figure in the quantification of modal logic and the theory of direct reference. She has written seminal papers on… … Wikipedia
Ruth Barcan Marcus — Pour les articles homonymes, voir Marcus. Ruth Barcan Marcus (1921 dans le Bronx ) est une philosophe et logicienne américaine, plus particulièrement connue pour ses découvertes en logique modale, comme la Formule de Barcan. Ses travaux de… … Wikipédia en Français
MARCUS, RUTH BARCAN — (1921– ), U.S. logician and philosopher who played a key role in many of the philosophical debates of the second half of the 20th century. Born and educated in New York City, Ruth Barcan received her B.A. in mathematics and philosophy from New… … Encyclopedia of Judaism
Barca — Barcan, adj. /bahr keuh/, n. 1. an ancient Carthaginian family to which Hamilcar, Hasdrubal, and Hannibal belonged. 2. Cyrenaica. * * * … Universalium
Barca — Barcan, adj. /bahr keuh/, n. 1. an ancient Carthaginian family to which Hamilcar, Hasdrubal, and Hannibal belonged. 2. Cyrenaica … Useful english dictionary
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Ruth Marcus — Ruth Barcan Marcus Ruth Barcan Marcus (1921 ) est une philosophe et logicienne américaine, plus particulièrement connue pour ses découvertes en logique modale, comme la Formule de Barcan. Ses travaux de philosophie du langage et philosophie de la … Wikipédia en Français
Sydney Push — The Sydney Push was a predominantly left wing intellectual sub culture in Sydney from the late 1940s to the early 70s. Well known associates of The Push include John Flaus, Harry Hooton, Margaret Fink, Lex Banning, Eva Cox, Paddy McGuinness,… … Wikipedia