« first day (1609 days earlier)      last day (3317 days later) » 

12:40 AM
@AndrewCashner: congratulations! :) I will write a proper message later on since I am returning from São Paulo in a very shaking bus!
 
 
2 hours later…
2:40 AM
Hello,
\input opmac
\localcolor
\headline={Foo\hfil\Red bar\lower1ex\null\vadjust{\hrule}}
I have no problems with {\Green colors
\vfil\break
at more pages}. Really.
\bye
Hello @DavidCarlisle
@DavidCarlisle This show that LaTeX colors are superfluous complicated.
 
 
1 hour later…
3:44 AM
@wipet how can we make your version work for DVI output?
 
 
3 hours later…
6:56 AM
DVI output is not supported because this is only more complication today. But XeTeX (internally outputs to dvi) is supported automatically. And pdftex or lusTeX with direct pdf output is supported. If someone needs dvi output then he/she really know, why it is needed, and he/she can replace one line with \input opmac by three lines:
\newcount\pdfoutput \pdfoutput=1
\input opmac
\input opmac-xetex
Or with two lines:
\let\XeTeXversion=\relax
\input opmac
 
 
2 hours later…
8:39 AM
@wipet yes as I say you have to put a colour setting in the headline.
 
8:59 AM
@DavidCarlisle No. If there isn't colour setting then the headline is black. Like the first word Foo in my example.
 
9:12 AM
@wipet yes true it works in this case (using the pdftex color stack support which is newer than latex) that helps in some cases but it's still the case that in general box setting is unsafe unless extra groups are added.
 
@DavidCarlisle Fisrt: the \setbox is not the case of \headline typesetting. And when users use the primitive \setbox then they know the behavior of the primitive and they know that \localcolor declaration in opmac sets the colour restoring by \aftergroup. All is documented.
And opmac is older then pdftex colorstack support too. The re-implementation using colorstack was done in Dec. 2014. Before this, the external file was used to simulating the colorstack, so the right result was printed after second run of TeX. But another behavior was identical.
 
@wipet documentation doesn't really help the problem. Of course it's OK in typical plain (or opmac) use where the underlying macros are simple macros that cover simple cases, and the assumption is that the document author is in control of the macro stack. LaTeX aims to be used for a rather wider set of documents and document authors
 
9:27 AM
@DavidCarlisle I see @Willrobertson has popped by
 
@DavidCarlisle My message was: latex's \hbox{\hbox{...}} in \headline when colours typesetting is redundant. It is possible to do it more simple.
 
@wipet No, it wasn't because unlike opmac latex has users, and changing implementations breaks things, the extra group added to the headline for colour is there because there was nowhere else to add colour support so it was "wrapped" around the existing headline box. that avoided breaking lots of documents, if it means 20 years later one stackexchange answer needs 7 \aftergroup, that's a reasonable tradeoff
 
10:26 AM
Yay I'm back!
 
11:05 AM
@PauloCereda boo Welcome back
 
@DavidCarlisle <3
 
yo'
Good early morning, everybody
 
@yo' Good morning! :)
 
@PauloCereda Did the bus arrive just now? ;-)
 
@egreg Thankfully no. :) I arrived 2AM. :)
 
yo'
11:10 AM
@PauloCereda oh :(
 
@yo' No worries, pal. :) I'm used to this.
 
@PauloCereda @DavidCarlisle A question for testing your skills with picture mode:
4
Q: Draw a car profile with TikZ

Giacomo AlessandroniI have drawn a simple car with this code: \begin{tikzpicture} \shade[top color=red, bottom color=white, shading angle={135}] [draw=black,fill=red!20,rounded corners=1.2ex,very thick] (1.5,.5) rectangle (6.5,2.5); \draw[draw=black,fill=gray!50,thick] (3,.5) circle (.5); \draw[...

 
yo'
@PauloCereda it doesn't mean it doesn't deserve an "oh" :)
 
@yo' <3
@egreg ooh I can't wait for @David's skills. :)
 
@PauloCereda I was just contemplating posting a link to
8
A: Christmas List / Catalog

David CarlisleLaTeX is so not designed for this kind of document. But if you must, must. \documentclass{article} \usepackage{graphicx} \begin{document} \setlength\unitlength{1cm} \vspace*{\fill} \noindent \begin{picture}(0,0)\bfseries\large \put(4,3){\includegraphics{house}} \put(0.5,5){\parbox{5cm}{\ragge...

 
11:12 AM
@PauloCereda The very shaky bus helps you not to miss your stop.
 
@DavidCarlisle Nah it deserves a brand new car. :)
@egreg So true. :)
 
@PauloCereda but I didn't get that one at Christmas:(
 
@DavidCarlisle Oh no!
 
 
2 hours later…
1:42 PM
I'm scared! :)
 
@JosephWright the strangely off-topic questions are in fact spam. I think we can zap them. Usually if I search the text it is literally garbled from some common source
-2
Q: Game of war age android?

Mattew HenrySome one understands some thing in regards to a-game called "Warfare"? I have no idea what type of sport it's (card or board-game or something that way), However , I just know its title, and I need to understand more about it.. Please, assist me! Thanks!!

-2
Q: Game called "Warfare"?

Mattew HenrySome one understands some thing in regards to a-game called "Warfare"? I have no idea what type of sport it's (card or board-game or something that way), However , I just know its title, and I need to understand more about it.. Please, assist me! Thanks!! I am presuming everything you are doing i...

 
2:03 PM
@egreg: Got my Matthäuspassion CD ready. :)
 
@PauloCereda :)
@PauloCereda I shall be reading Mark's Passion tomorrow evening.
 
@egreg But I like Johannes too. :)
@egreg ooh how nice! :) We will have a procession in the morning.
 
 
2 hours later…
3:52 PM
Every time i open the tikz/pgf manual my machine is nearly breaking down.
 
4:02 PM
@Johannes_B You need SumatraPDF if you have windoze
@PauloCereda :) Nice
@PauloCereda I made the mistake of hey I haven't listened to Haken for a while let me do that and it's been on the repeat mode for a few days now . youtube.com/watch?v=DO61NWKkyWQ @AlanMunn might also like it.
 
@percusse ooh
 
@percusse Zathura in a quite old version on ubuntu. Breaks down all the time, but i somehow like it.
What would we do here?
1
Q: natbib plainnat and parenthesis around year

Andreas NotengMy school requires the bibliography to be in this format: author (year). title. address: publisher I've managed everything except the parentheses around year and the colon after address by editing the plainnat style. I can't seem to wrap my head around the syntax for the functions in the .bst ...

@percusse Nice :-)
 
4:31 PM
@percusse I think this is much more @egreg 's style... :)
@percusse BTW I'm always interested in your musical suggestions.
 
@AlanMunn It will instantly become my background music. :P (Vivaldi, at the moment, Gluck follows)
 
@egreg I was too 'slow' to comment on the Albinoni. (I was trying to find the adjectival form of 'adagio' but I don't think it exists.) Or is it both an adverb and an adjective?
 
4:49 PM
@AlanMunn Adagio is an adverb. Used as a name when referring to a musical piece.
@AlanMunn The original meaning is at leisure: ad agio
 
@egreg Ah, ok, so that's why no adjective form.
 
@AlanMunn No, it's different from allegro which is an adjective.
 
@AlanMunn Use numbers. Saves you the trouble of using a pipe and putting a clever face when you have to mention a tempo :)
grave	slow and solemn	~ 40
largo	very slow	40 - 60
lento	very slow	60 - 66
adagio	slow and stately	66 - 76
andante	at a walking pace	76 - 108
moderato	moderately	108 - 120
allegretto	moderately fast	120 - 132
allegro	fast and bright	120 - 168
vivace	lively and fast	~ 140
presto	very fast	168 - 200
prestissimo	extremely fast	208 -
 
@percusse boo. :)
 
WTF? unbelievably fast should be added
 
4:54 PM
@percusse No, I was just trying to make a joke about being too 'adagio' to comment on the Albinoni (since @egreg had edited his original message.)
 
My metronome has these numbers too to help newbies. :)
@percusse Valentina Lisitsa hardcore level. :)
 
@AlanMunn Believe me this time, I got the joke :)
 
@percusse Baroque music didn't know those numbers; and mostly they didn't care being that precise.
 
@PauloCereda I have a fastforward button so she doesn't matter
 
@percusse LOL
 
4:56 PM
@egreg Enter polyrhythms ...
 
@Johannes_B use \begin{picture} instead
 
@percusse On the other hand, when I hear playing the last measures of Beethoven's Ninth at almost the same tempo as the previous ones I shiver.
 
@PauloCereda This video contains content from Disney, who has blocked it in your country on copyright grounds.
 
@DavidCarlisle Oh no!
 
5:01 PM
@egreg It makes a huge difference in which tempo it is played. But emphasis is also important. I think you would like this pseudoanalysis youtu.be/FJO176NhyDU?t=7m28s
 
@PauloCereda but it seems if you take the title and put it in the yt search box there are dozens of not blocked ones:-)
 
@AlanMunn Unbelievable.
 
5:17 PM
@PauloCereda You just made it an ellipse
 
@percusse :P
 
@egreg Just the idea of a theramin inside a matryoshka is unbelievable.
 
@AlanMunn I listened to a few performances of the finale: Toscanini played it as slow as possible, Bernstein quite fast, Furtwängler a real prestissimo.
 
 
2 hours later…
yo'
7:08 PM
@PauloCereda oh Chopin!
 
@yo' Damn, Chopin!
 
yo'
@egreg Janacek and Chopin, noted. (Getting ready for your visit :D )
 
@yo' I'll bring my iPod. :P
 
yo'
@egreg get good headphones too to filter my 200W PA :)
 
7:23 PM
3
Q: Is it possible to see my script while presenting in Beamer?

Sibbs GamblingI love slides created with Beamer, and I am using it. Yet, I also quite like that PowerPoint is able to show my script on my screen and show the slides on the projector while I am presenting. Is it a way to achieve this with Beamer or other TeX techniques?

Am I missing something here? Just seems to want the idea of notes
 
@yo' LOL
 
yo'
@JosephWright as long as he doesn't specify how should the PDF file look like, it's OT or UWYA, but let's see what'll happen :-) (And IMHO: if you need notes, your lectures may not be well prepared. If you still need notes, make ones. On paper.)
(or is it "make them"?)
 
@yo' I agree with the parenthetic comment: I very much favour the idea that you should be able to talk about your slides, and if necessary any notes should be 'to hand' (that's how I lecture)
@yo' 'Script' worries me!
 
yo'
@JosephWright well, "not our business" ... :D
 
@yo' Yes, hence the fact my comment on the question is purely about trying to understand the technical requirement, and the fact that as (lead) beamer maintainer I am committed to doing my best to make this sort of thing work
 
yo'
7:28 PM
(btw, I read "parenthetic" as "pathetic" first, confused me a bit. :D )
 
@yo' :-)
@percusse I note you've mentioned the 'quirks' of beamer's notes concept: once I've moved the issues to GitHub I am meaning to look at some of this
 
cfr
Is OverLeaf the best choice of online service for teaching workshops on LaTeX? I would need to set this up without the benefit of a 'Teaching Plan' or 'Pro' account i.e. just using what I can get for free. As far as I can tell, this should be possible but any advice would be welcome.
 
@cfr I think it's almost certainly no worse than any of the alternatives: all seem to have much the same on offer
@cfr I assume you can be sure of network access during your teaching sessions
 
cfr
@JosephWright Well, as sure as I can be of anything IT related. If there's no network access, the students won't be able to login to the network to use the computers at all, so there really isn't much I can do to mitigate the problems that would cause.
 
@cfr Granted: I meant you are teaching a group where you can at least be sure that they should have network access
@cfr When I do LaTeX courses, that's not the case
 
cfr
7:42 PM
@JosephWright Yes. We're scheduled for a computer lab, so they should have network access ;). And they should be able to login and use a web browser. And I should be able to use LCD and I should even have a working monitor. The world of 'should's is a great place to teach!
 
@cfr What topics do you cover (and in how much time)?
 
8:08 PM
@cfr All thanks to Lewis and Stalnaker. :)
@JosephWright To be fair, for some for whom English isn't a first language, it can be helpful to have written bits of your talk. (Even though I agree with you in general).
 
@AlanMunn Notes, yes, practice, yes, script, no
 
@JosephWright You've never seen a philosopher give a talk then. :) They usually literally read a paper!
 
@AlanMunn WRONG WRONG WRONG
 
@JosephWright LOL I agree. It's quite bizarre. And some of them don't even bother to change expressions like "as we have seen above".
 
@AlanMunn Perhaps it's the nature of the subject (although I suspect really good speakers are good in whatever they talk about)
 
8:16 PM
@JosephWright I think one of the differences between the humanities and the sciences is that in the sciences we are mainly concerned about content, not form, but in the humanities, they are concerned about form a lot, so they think that the way things are written matters.
@JosephWright This 'read a paper' method is common in literary studies as well.
 
@AlanMunn How has the fact this is a bad approach been missed?
 
@JosephWright But that's the point: they don't think it's a bad approach...
@JosephWright If the exact turn of phrase is prized, then reading will win over our style of presentation.
 
@AlanMunn What, every piece of advice on giving a presentation in the last what 3000 years?
 
@JosephWright Although that's a nice thought, I suspect that the non-reading method is comparatively new even in the sciences.
 
@AlanMunn Not sure: older papers are written as transcripts of what was said, so I suspect they worked the other way around more. I was thinking though that advice on good rhetoric goes back to ancient Greece at least.
 
cfr
8:23 PM
@JosephWright Well, I've never done this before. Ask me after the first one on Wednesday! Each workshop is 8 hours, with 1 hour of that for lunch and breaks. I've sort of been given the materials used previously but they only cover one workshop, they don't include the slides except as a handout and they don't include the source or the USB keys with portable TeX Live. So, er... I'm panicking somewhat.
 
@JosephWright See e.g. books.google.com/ngrams/…
 
I have the bestest template evar for a course. :)
 
@AlanMunn Yes but I'm not sure we should take 'read' to mean 'stood with a script intended for print and slavishly spoke the content'
 
cfr
@AlanMunn I don't know about 'usually'. Some philosophers do this. Many do not. And advice varies wildly, too: everything from read it no matter what to read it unless you are confident speaking it to don't read it no matter what.
 
@JosephWright Actually I think we should take it as exactly that, given that 'read' was the word chosen. And the fact that the use has steadily declined makes me think that it's initial use was relatively literal.
 
8:27 PM
@AlanMunn Perhaps, but if you read a paper from 200 years ago the style is much more conversational than one written today
 
@cfr Sorry to overgeneralize. But in the sciences, reading a talk is almost unheard of, and I would say universally thought to be a bad idea.
@JosephWright That may be true too. Not much syntax done 200 years ago... :)
 
@AlanMunn Yes: see it only with inexperienced people not talking in their native language, and even then ...
@AlanMunn Possibly not, but there certainly was natural philosophy (Proc. Royal Soc., etc.)
 
@JosephWright Yes, of course. I just meant that unlike you I have no 200 yr old papers that I might ever have read.
 
yo'
@AlanMunn I'm glad you don't call philosophy a science :)
 
@AlanMunn :-)
@AlanMunn I've got a few in my PhD thesis (isolation of palladium as an element, ca. 1815)
 
8:31 PM
I'm thinking this is OT. Thoughts? vv
0
Q: How to use latex symbols in SciDAVIs graph

Susovan MandalHow can I use latex symbols in SciDAVIs graphs. Is there any way I can export the SciDAVIs graph to TiKz compatible TEX files? Please Help

 
@AlanMunn Certainly ones from the late 1800s are interesting
@PaulGessler Yes: trigger pulled
 
yo'
@PaulGessler I've got no idea what they speak about :D
 
@yo' SciDAVIs is a fork of QtiPlot, which is itself a copy (more-or-less) of Origin
 
@JosephWright cool, thanks.
 
@egreg Thanks for adding the link on the answers question
 
8:35 PM
@JosephWright It was a good occasion for adding a comment to the other answer
 
@egreg Indeed
 
@JosephWright I figured you might. The earliest reference in mine was 1957.
 
yo'
@AlanMunn I should cite Euklid to beat you all :D
 
@AlanMunn I had Turing's paper from '36. :)
 
@AlanMunn Pre-war is pretty common in the 'synthesis' section for chemistry, I was at the time making something of a point to my boss by going back to ~1800
 
8:41 PM
@yo' I once heard a talk by a student who said "With Frege 1892, I assume..." which sounded really ridiculous.
 
yo'
@AlanMunn what?
 
@JosephWright :)
 
@Alan: you got a file transfer. :P
@AlanMunn ooh from Frege to Gödel.
 
@yo' In my LaTeX course I quote Archimedes' Κύκλου μέτρησις, does it count?
 
@yo' Well it's really weird to say "With X", when the person is dead for sure, and even if the person is alive, it's a bit odd to use "With X" where you are a student and X is a super important person in the field.
 
yo'
8:43 PM
@AlanMunn ah. I think I didn't even know that figure.
 
@yo' Who Frege?
@egreg Was that in the context of talking about floats? :)
 
yo'
@AlanMunn no, using "With <someone>, I ..." with the meaning "In the same way as <someone>, I ..."
 
@yo' Ah, ok. Yes, it's possible, although personally I don't think I'd ever use it.
 
yo'
@AlanMunn I always have problems with conjunctions in math text, one has to be inventive in order that he's not repetitive.
I recently learned "to this end", which I really like
 
8:52 PM
@AlanMunn To show the language capabilities of LaTeX
 
@egreg Archimedes principle: the upward force by the text on a float is equal to the weight of the text the float displaces. :)
7
 
I wonder if heretical views are tolerated
You typed your question in a system that can do pretty much all those things, the only one it doesn't do natively being pdf generation which depends on the print to pdf capability of the client browser. Not to say don't use TeX, but there are alternatives. — David Carlisle 1 min ago
 
cfr
9:15 PM
@AlanMunn ?? Isn't that conflating modal with deontic logic?
@JosephWright Thank you. That looks more promising, although I haven't investigated very thoroughly yet - just noticed that the sources are here. (Half the stuff I've been given in PDF form isn't even formatted for A4, while the other half is.)
 
@cfr No idea, I'm sure they're the same in some possible world. :)
 
cfr
@AlanMunn That seems logically confused..., but perhaps the thought it just beyond my ken.
 
yo'
@DavidCarlisle it's too broad IMHO, but I won't cast a vote
 
9:32 PM
@cfr Both Lewis and Stalnaker are considered the co-creaters of possible worlds semantics for the analysis of counterfactuals. I don't know enough about the formal logic side of the differences, though.
 
@yo' yes
 
yo'
What do we do with new answers to old questions that were on-topic back then but are off-topic now?
0
A: Proper symbol for two sets not intersecting?

NickyYou might want to use \not\cap. I'm not sure whether this symbol is official, but it worked for me (I've seen it being used in popular proceedings though).

 
9:47 PM
@cfr UK-TUG stuff originally written by @NicolaTalbot with edits mainly by me but with contributions from the rest of our 'team'
@yo' Close as off-topic
 
yo'
@JosephWright one thanks. vote cast.
 
@yo' Mod hammer applied
 
yo'
btw, can anybody explain me, (@Alan?) how do you really work with verbs whose past and 3rd form are identical to the infinitive? I seems to me often really difficult to know the tense.
 
@yo' Example?
 
@yo' You mean like 'put' and 'put'?
 
yo'
9:50 PM
@AlanMunn yes
@JosephWright I put it there.
(I don't have a really good example now, but for the sentence above, you may need a large context to understand it correcty)
 
@yo' Well in English, as a general rule, an eventive verb (as opposed to stative) can't be in the present tense, it must be in the present progressive unless it's talking about a generic/habitual action. And I think those verbs are all eventive so typically they will be interpreted as past not present.
 
yo'
@AlanMunn well, you use present to speak about future.
 
@yo' Well sometimes, but that context is quite special. Most of the time you would still prefer the present progressive.
 
yo'
/googling "present progressive"...
ah, synonym to "present continuous" :D
but imagine a situation like this (sorry for a bit of silliness):
A: Who's putting the missile into the weapon?
B: I put it there. (Meaning, I do that always)
A pushes the fire button, interpreting the above sentence as "I have put it there"
 
Some examples: (* = ungrammatical; # = infelicitous/odd for the context)
*I eat the apple.
I am eating the apple.
I eat apples every day.
@yo' Well theoretically possible, but I doubt a cooperative speaker would do that.
 
yo'
9:57 PM
^^ Well, as long as the apple isn't like Prometheus' livers :D
@AlanMunn Yeah I know, it's a silly example. But it shows what I mean...
 
@yo' Yes, but ambiguity in language is ubiquitous, and most of the time we figure it out perfectly using the context.
 
yo'
@AlanMunn true
but it always bothers me
 
@yo' And given the habitual constraint on the simple present for those verbs, the chance for ambiguous contexts is relatively slim.
@yo I suspect it bothers you because deep down you don't really believe that you can't use the simple present without being habitual... :)
 
cfr
10:36 PM
@AlanMunn Yes, I know. But should is deontic. It isn't about possibility.
@JosephWright Well, thanks to all of you.
 
yo'
@AlanMunn sorry I missed that one (missing apostrophe in my nickname). Well, you're probably right. But I think that what bothers me is that as a mathematician, it feels to me that having verbs like put is similar to calling two quite different mathematical objects the same way. And what probably bothers me truly is that we do that! :-/
 
cfr
@yo' You'd hate Welsh. We are very short on present/future tenses. In the written language, we only have one. In the spoken language, we can distinguish present from future.
 
@yo' You would hate to speak Mandarin then. Almost no morphological distinctions at all for tense, number, person, etc. on nouns or verbs.
@cfr John should be here by now. certainly has a non-deontic meaning.
 
yo'
@cfr Czech language's got 2 tenses for some verbs and 3 for some other verbs
 
Exsultate, iubilate just being played! :)
 
yo'
10:43 PM
@AlanMunn "non-deontic"?
 
@yo' Epistemic, if you prefer.
 
cfr
@AlanMunn But it is normative. It is not possibility. The possible worlds stuff is about the logic and ontology of metaphysical possibility, really.
 
yo'
@AlanMunn now that you explained it to me, I can finally understand what both "non-ewewhowe" and "epifwqhdvplptjei" mean :D
 
@yo' :)
 
cfr
Not = epistemic non-deontic...
 
yo'
10:44 PM
@cfr I know only Episturmian
 
cfr
@yo' ;)
 
yo'
@AlanMunn now that I know what it is, I think I don't agree.
 
@cfr In linguistics possible worlds semantics is applied to all sorts of modality. Modals are treated in terms of quantification over possible worlds, with the different types of modality being different types of quantification or different restrictions on the domain of quantification.
@yo' Which about what John should be here by now means?
 
yo'
Imagine you send a child to your friends 10 blocks away and you tell them. In 20 minutes, they say to themselves: "John should be here by now. Has something bad happened?"
ah damn, maybe I don't understand google now.
 
@yo' Right, that's the meaning I have in mind.
 
yo'
10:50 PM
@AlanMunn ok good. But I can imagine it the other way around, too.
 
@yo' Right.
 
@AlanMunn The same is in Italian; the conditional dovrebbe hasn't necessarily a deontic meaning. The example would be identical.
 
yo'
@egreg the problem is that the equivalent of should (in French and Czech at least) is the conditional, and not the indicative.
 
@yo' Advantages/disadvantages of having a richer morphology than English.
 
yo'
@egreg English has shall vs. should playing the role. In Czech, the conditional is a compound tense only.
 
@yo' Except nobody in N. America at least uses 'shall' unless they are writing laws.
 
yo'
@egreg yeah, I should alternate the two.
 
@AlanMunn There's the whole shall/will business to worry about in any case
 
@JosephWright No, that's the point: we don't worry over here at all. :)
 
yo'
@AlanMunn :) You spoil the language :D
 
10:59 PM
@AlanMunn No?
@AlanMunn People don't read Fowler and Fowler?
 
@JosephWright Nobody in the US reads Fowler, I don't think. Strunk and White is a common US style guide. (I've never read it.) I have a copy of Fowler from when I was an undergrad.
 
@AlanMunn Doesn't S&W cover this too?
@AlanMunn I'd have imagined it would be more definite in the US than the UK (as US English is in some senses 'older' than UK English)
 
yo'
@AlanMunn thanks for explaining me why the badge has got this meaningless meaningful name
 
@JosephWright But on 'shall' and 'will', 'shall' is simply falling into disuse, I think. Other than sort of frozen expressions like "Shall we go", nobody uses it in speech or writing except legal documents. And 'would' replaces 'should' in things like "I should like that", which is ok for you, I suspect.
@yo' Your welcome. [sic]
 
@AlanMunn I'll bring my towel, remember to bring your's.
 
11:07 PM
@egreg Well that's a stupid spelling rule, though. Even worse is possessive 'its' spelt the way it is.
 
@AlanMunn You'd be considered a savior by many young people who don't know the difference between its and it's. (And older people too.)
 
@egreg How much life would improve if I were in charge. :)
 
cfr
Deontic logic is a kind of modal logic in one sense. So syntactically, it is similar although you might want axioms to make things come out correctly. But the semantics is different so 'possible worlds' is for possibility - one interpretation, if you like, of a particular syntactical system. But the semantics for a deontic logic would have to be different.
You can have a single system in terms of syntactic validity (axioms are the same, formulae are the same etc.) but you might interpret that system in different ways semantically. (Syntactic - proof; semantic - truth.) The syntactical syste
 
@AlanMunn I always remember when I was a high school teacher and a colleague came into the teachers' room waving a paper by a student who had spelled illuminismo with an apostrophe: ill'uminismo
 
@cfr I think we're talking at cross purposes here. I'm not talking about different logics, but the way modality in natural languages is modelled in linguistics.
 
cfr
11:14 PM
@egreg Only the older ones. The younger ones have never heard of it's.
 
@egreg Apostrophes: the difference between knowing your shit and knowing you're shit.
3
 
cfr
@AlanMunn Yes, I think you are right. But my original use of should was not to do with possibility at all. So possible worlds wouldn't help, unfortunately. (There may be no possible world in which the university's IT works as it should.)
 
yo'
@AlanMunn But only if you're not the shit
 
cfr
@AlanMunn I read a week or so ago that such-and-such would resolve lives hiccups and problems in a student's submission. This had me extremely confused for a while....
 
@cfr I am still confused. What a strange conjunction of things. And how do you resolve a life?
@cfr Yes, I understand the meaning distinction, but in linguistic accounts of modality these are all modelled in terms of possible worlds, and the different types of readings are based on restrictions on those worlds.
 
11:27 PM
@AlanMunn :)
 
yo'
Does this make any sense to anybody? Has the OP asked a and answered it himself?
0
Q: Cover page lay-out

mmhenrotI'd like to make the cover page as seen in the image below and be able to put it in a .tex-file. This cover page itself is made within LaTeX, but it's not compatible with XeTeX, and it uses at least 3 different files with definitions etc. I'd thus like to know if it's possible to make a fresh, n...

 
cfr
11:42 PM
@AlanMunn So you can't say that something impossible ought to be the case? I have a feeling that I am digging myself deeper into a hole here...
@AlanMunn I think it should be resolve life's hiccups and problems.
 
@cfr :) Ok got it.
 
@cfr And the automatic spelling corrector changed lifes into lives
 
@cfr I'm falling into the hole with you, I'm afraid. This is not my area , so I don't think I can easily explain things in a way that would connect up with the philosophical literature that you know.
 

« first day (1609 days earlier)      last day (3317 days later) »